No Arabic abstract
A fibration of ${mathbb R}^n$ by oriented copies of ${mathbb R}^p$ is called skew if no two fibers intersect nor contain parallel directions. Conditions on $p$ and $n$ for the existence of such a fibration were given by Ovsienko and Tabachnikov. A classification of smooth fibrations of ${mathbb R}^3$ by skew oriented lines was given by Salvai, in analogue with the classification of oriented great circle fibrations of $S^3$ by Gluck and Warner. We show that Salvais classification has a topological variation which generalizes to characterize all continuous fibrations of ${mathbb R}^n$ by skew oriented copies of ${mathbb R}^p$. We show that the space of fibrations of ${mathbb R}^3$ by skew oriented lines deformation retracts to the subspace of Hopf fibrations, and therefore has the homotopy type of a pair of disjoint copies of $S^2$. We discuss skew fibrations in the complex and quaternionic setting and give a necessary condition for the existence of a fibration of ${mathbb C}^n$ (${mathbb H}^n$) by skew oriented copies of ${mathbb C}^p$ (${mathbb H}^p$).
We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the homotopy type of the infinite symmetric product of M^g, generalizing a well-known fact for the torus. Over a non-orientable surface, we show that this space is homotopy equivalent to a disjoint union of two tori, whose common dimension corresponds to the rank of the first (co)homology group of the surface. Similar calculations are provided for products of surfaces, and show a close analogy with the Quillen-Lichtenbaum conjectures in algebraic K-theory. The proofs utilize Tyler Lawsons work in deformation K-theory, and rely heavily on Yang-Mills theory and gauge theory.
We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton cite{Lup} on the formality within a fibration. Our result has two applications. First, we show that for certain cofibrations, the coformality of the cofiber implies the coformality of the base. Secondly, we show that the total spaces of certain spherical fibrations are Koszul in the sense of Berglund cite{Ber}.
A smooth fibration of $mathbb{R}^3$ by oriented lines is given by a smooth unit vector field $V$ on $mathbb{R}^3$, for which all of the integral curves are oriented lines. Such a fibration is called skew if no two fibers are parallel, and it is called nondegenerate if $ abla V$ vanishes only in the direction of $V$. Nondegeneracy is a form of local skewness, though in fact any nondegenerate fibration is globally skew. Nondegenerate and skew fibrations have each been recently studied, from both geometric and topological perspectives, in part due to their close relationship with great circle fibrations of $S^3$. Any fibration of $mathbb{R}^3$ by oriented lines induces a plane field on $mathbb{R}^3$, obtained by taking the orthogonal plane to the unique line through each point. We show that the plane field induced by any nondegenerate fibration is a tight contact structure. For contactness we require a new characterization of nondegenerate fibrations, whereas the proof of tightness employs a recent result of Etnyre, Komendarczyk, and Massot on tightness in contact metric 3-manifolds. We conclude with some examples which highlight relationships among great circle fibrations, nondegenerate fibrations, skew fibrations, and the contact structures associated to fibrations.
Given a path-connected space $X$ and $Hleqpi_1(X,x_0)$, there is essentially only one construction of a map $p_H:(widetilde{X}_H,widetilde{x}_0)rightarrow(X,x_0)$ with connected and locally path-connected domain that can possibly have the following two properties: $(p_{H})_{#}pi_1(widetilde{X}_H,widetilde{x}_0)=H$ and $p_H$ has the unique lifting property. $widetilde{X}_H$ consists of equivalence classes of paths starting at $x_0$, appropriately topologized, and $p_H$ is the endpoint projection. For $p_H$ to have these two properties, $T_1$ fibers are necessary and unique path lifting is sufficient. However, $p_H$ always admits the standard lifts of paths. We show that $p_H$ has unique path lifting if it has continuous (standard) monodromies toward a $T_1$ fiber over $x_0$. Assuming, in addition, that $H$ is locally quasinormal (e.g., if $H$ is normal) we show that $X$ is homotopically path Hausdorff relative to $H$. We show that $p_H$ is a fibration if $X$ is locally path connected, $H$ is locally quasinormal, and all (standard) monodromies are continuous.
We prove that the sectional category of the universal fibration with fibre X, for X any space that satisfies a well-known conjecture of Halperin, equals one after rationalization.