Half polarized U(1) symmetric vacuum spacetimes with AVTD behavior

In a previous work, we used a polarization condition to show that there is a family of U(1) symmetric solutions of the vacuum Einstein equations such that each exhibits AVTD (Asymptotic Velocity Term Dominated) behavior in the neighborhood of its singularity. Here we consider the general case of U(1) bundles and determine a condition, called the half polarization condition, necessary and sufficient in our context, for AVTD behavior near the singularity.