arXiv research

Obstruction theory for complex bigraded differential algebras.

This paper is devoted to discussing affine Hirsch foliations on $3$-manifolds. First, we prove that up to isotopic leaf-conjugacy, every closed orientable $3$-manifold $M$ admits $0$, $1$ or $2$ affine Hirsch foliations. Furthermore, every case is possible. Then, we analyze the $3$-manifolds admitting two affine Hirsch…

Computes monopole Floer homology for three-manifolds.

We prove a theorem of Leray-Hirsch type and give an explicit blow-up formula for Dolbeault cohomology on (\emph{not necessarily compact}) complex manifolds. We give applications to strongly $q$-complete manifolds and the $\partial\bar{\partial}$-lemma.

In our book on cohomological methods in transformation groups the minimal Hirsch-Brown model was used to good effect. The construction there, however, was rather abstract. Here, for smooth compact connected Lie group actions on smooth closed manifolds, we give a much more explicit construction of the minmal Hirsch-Brow…

For a gerbe $\Y$ over a smooth proper Deligne-Mumford stack $\B$ banded by a finite group $G$, we prove a structure result on the Gromov-Witten theory of $\Y$, expressing Gromov-Witten invariants of $\Y$ in terms of Gromov-Witten invariants of $\B$ twisted by various flat $U(1)$-gerbes on $\B$. This is interpreted as a…

We prove that the Teichmüller space of the Hirsch foliation (a minimal foliation of a closed 3-manifold by non-compact hyperbolic surfaces) is homeomorphic to the space of closed curves in the plane. This allows us to show that that the space of hyperbolic metrics on the foliation is a trivial principal fiber bundle. A…

If $X$ is an orientable, strongly minimal $PD_4$-complex and $π_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $π$ is a 2-knot group then (a) if $π$ is virtually solvable then either $π$ has two ends or $π\congΦ$, with presentation $\langle{a,t}|ta=a^2t\rangle$, or $π$ is torsion-f…

Rectifies flat singular points for area-minimizing currents.

The paper proves a spacetime version of dihedral rigidity for cubes in 3D spacetime.

New insights on nilpotent groups with balanced presentations.

We apply the lifting theorem of Searle and the second author to put metrics of almost nonnegative curvature on the fake RP^{6}s of Hirsch and Milnor and on the analogous fake RP^{14}s.

Paper solves quantum differential equations for projective bundles using Borel multitransforms.

We extend Gromov's notion of asymptotic dimension of finitely generated groups to all discrete groups. In particular, we extend the Hurewicz type theorem proven in [B-D2] to general groups. Then we use this extension to prove a formula for the asymptotic dimension of finitely generated solvable groups in terms of their…

The equivariant cohomology ring of a GKM manifold is isomorphic to the cohomology ring of its GKM graph. In this paper we explore the implications of this fact for equivariant fiber bundles for which the total space and the base space are both GKM and derive a graph theoretical version of the Leray-Hirsch theorem. Then…

The paper proves a spacetime positive mass theorem for singular initial data sets.

We show that the asymptotic dimension of box spaces behaves (sub)additively with respect to extensions of groups. As a result, we obtain that for an elementary amenable group, the asymptotic dimension of any of its box spaces is bounded above by its Hirsch length. This bound is shown to be an equality for a large subcl…

Let X be a finite CW-complex of dimension q. If its fundamental group $π_{1}(X)$ is polycyclic of Hirsch number h>q we show that at least one of the homotopy groups $π_{i}(X)$ is not finitely generated. If h=q or h=q-1 the same conclusion holds unless X is an Eilenberg-McLane space $K(π_{1}(X),1)$.

We consider embeddings of 3-manifolds $M$ in $S^4$ such that the two complementary regions $X$ and $Y$ each have nilpotent fundamental group. If $β=β_1(M)$ is odd then these groups are abelian and $β\leq3$. In general, $π_1(X)$ and $π_1(Y)$ have 3-generator presentations, and $β\leq6$. We determine all such nilpotent g…

In this paper we define two regular homotopy invariants c and i for immersions of oriented 3-manifolds into R^5 in a geometric manner. The pair (c(f),i(f)) completely describes the regular homotopy class of the immersion f. The invariant i corresponds to the 3-dimensional obstruction that arises from Hirsch-Smale theor…

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept o…

Study on rigidity with non-negative intermediate curvature on low-dimensional manifolds.

The weight $θ$-sheaf $\underline{\mathbb{R}}_{X,θ}$ helps us to reinterpret Morse-Novikov cohomologies via sheaf theory. We give several theorems of Künneth and Leray-Hirsch types. As applications, we prove that the $θ$-Lefschetz number is independent of $θ$ and calculate the Morse-Novikov cohomologies of projective bu…

Holomorphic Koszul-Brylinski homology studied via Dolbeault cohomology.

The paper proves manifold splitting theorems with nonnegative intermediate curvature.

Study improves understanding of Ricci curvature in manifolds.

We view Dolbeault-Morse-Novikov cohomology H^{p,q}_η(X) as the cohomology of the sheaf Ω_{X,η}^p of η-holomorphic p-forms and give several bimeromorphic invariants. Analogue to Dolbeault cohomology, we establish the Leray-Hirsch theorem and the blow-up formula for Dolbeault-Morse-Novikov cohomology. At last, we conside…

Explains a theorem about curves in the plane.

Shows flexible sheaves as fibrant objects for Gromov's h-principle.

We prove that the asymptotic Assouad-Nagata dimension of a connected Lie group $G$ equipped with a left-invariant Riemannian metric coincides with its topological dimension of $G/C$ where $C$ is a maximal compact subgroup. To prove it we will compute the Assouad-Nagata dimension of connected solvable Lie groups and sem…

We show that a flat principal bundle with compact connected structure group and its adjoint bundles of Lie groups have the same cohomology as the trivial bundle, which is done by proving they satisfy the condition for the Leray-Hirsch theorem. This information has been used to construct a cohomology class of the adjoin…

We recognize the Gromoll-Meyer sphere Sigma^7 as the geodesic join of a simple closed geodesic and a minimal subsphere Sigma^5, which can be equivariantly identified with the Brieskorn sphere W^5_3. As applications we in particular determine the full isometry group of Sigma^7, classify all closed subgroups that act fre…

The geometric Hopf invariant of a stable map F is a stable Z_2-equivariant map h(F) such that the stable Z_2-equivariant homotopy class of h(F) is the primary obstruction to F being homotopic to an unstable map. In this paper we express the geometric Hopf invariant of the Umkehr map F of an immersion f:M^m \to N^n in t…

We prove an asymptotic analog of the classical Hurewicz theorem on mappings which lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As a…

Sharp dimension constraints for positive intermediate curvature metrics are established.

Extends h-principle to stratified spaces using sheaf and jet theories.

Proves non-existence of metrics with positive curvature for certain connected sums.

Article strengthens initial data rigidity theorem to show unique spacetime extension.

Upper estimate of Dirac eigenvalue linked to hyperspherical radius.

In 1969 M. Gromov in his PhD thesis greatly generalized Smale-Hirsch-Phillips immersion-submersion theory by proving what is now called the h-principle for invariant open differential relations over open manifolds. Gromov extracted the original geometric idea of Smale and put it to work in the maximal possible generali…

3D spheres with certain properties approach the round sphere.

In this paper, based upon the basic theory for glued manifolds in M.W. Hirsch (1976) \cite[Chapter 8, §2 Gluing Manifolds Together]{h}, we give a method of constructing homeomorphisms between two small covers over simple convex polytopes. As a result we classify, up to homeomorphism, all small covers over a 3-dimension…

Sharp stability of Möbius group among sphere-valued maps proved in arbitrary dimensions.

The abstract discusses embedding manifolds in open books and contact structures.

Develops slope detection for 3-manifolds with torus boundaries.

In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group o…

We show that some embedded standard $13$-spheres in Shimada's exotic $15$-spheres have $\mathbb{Z}_2$ quotient spaces, $P^{13}$s, that are fake real $13$-dimensional projective spaces, i.e., they are homotopy equivalent, but not diffeomorphic to the standard $\mathbb{R}\mathrm{P}^{13}$. As observed by F. Wilhelm and th…

The paper embeds 4-manifolds into CP^2 x CP^1 using Lefschetz fibrations.