We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decomposition of $\scriptstyle{k}$ has the form $\scriptstyle{k=p_1... p_r}$ for distinct primes $\scriptstyle{p_i}$ then $\scriptstyle{M^5_k}$ is uniquely determined.
We implement methods from computational homology to obtain a topological signal of singularity formation in a selection of geometries evolved numerically by Ricci flow. Our approach, based on persistent homology, produces precise, quantitative measures describing the behavior of an entire collection of data across a discrete sample of times. We analyze the topological signals of geometric criticality obtained numerically from the application of persistent homology to models manifesting singularities under Ricci flow. The results we obtain for these numerical models suggest that the topological…
Using Banchoff's discrete Morse Theory, in tandem with Bloch's result on the strong connection between the former and Forman's Morse Theory, and our own previous algorithm based on the later, we show that there exists a curvature-based, efficient Persistent Homology scheme for networks and hypernetworks. We also broaden the proposed method to include more general types of networks, by using Bloch's extension of Banchoff's work. Moreover, we show the connection between defect and Forman's Ricci curvature that exists in the combinatorial setting, thus explaining previous empirical results showin…
In this paper we prove that a complete noncompact manifold with nonnegative Ricci curvature has a trivial codimension one homology unless it is a split or flat normal bundle over a compact totally geodesic submanifold. In particular, we prove the conjecture that a complete noncompact manifold with positive Ricci curvature has a trivial codimension one integer homology. We also have a corollary stating when the codimension two integer homology of such a manifold is torsion free.
In this short note we discuss upper bounds for the critical values of homology classes in the based and free loop space of manifolds carrying a Riemannian or Finsler metric of positive Ricci curvature. In particular it follows that a shortest closed geodesic on a simply-connected $n$-dimensional manifold of positive Ricci curvature $\textrm{Ric} \ge n-1$ has length $\le n π.$
Let $Σ$ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds $M_+, M_-$ in $Σ$ are called dual to each other if the complement $Σ- M_+$ strongly homotopy retracts onto $M_-$ or vice-versa. In this paper we will give a complete answer of which integral triples $(n; m_+, m_-)$ can appear, where $n=dim Σ-1$, $m_+={codim}M_+ -1$ and $m_-={codim}M_- -1$.
Motivated by prominent problems like the Hilali conjecture Yamaguchi--Yokura recently proposed certain estimates on the relations of the dimensions of rational homotopy and rational cohomology groups of fibre, base and total spaces in a fibration of rationally elliptic spaces. In this article we prove these estimates in the category of formal elliptic spaces and, in general, whenever the total space in addition has positive Euler characteristic or has the rational homotopy type of a homogeneous manifold (respectively of a known example) of positive sectional curvature. Additionally, we provide…
In this paper we demonstrate the existence of Sasakian-Einstein structures on certain 2-connected rational homology 7-spheres. These appear to be the first non-regular examples of Sasakian-Einstein metrics on simply connected rational homology spheres. We also briefly describe the rational homology 7-spheres that admit regular positive Sasakian structures.
We give a new construction of monopole Floer homology for spin-c rational homology 3-spheres. As applications we define two invariants of certain smooth compact 4-manifolds with b_1=1 and b^+=0.
We prove that the Seiberg-Witten invariants of a rational homology sphere are determined in a very explicit fashion by the Casson-Walker invariant and the Reidemeister torsion
We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle-Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimensions at least three with a rational homology sphere that has vanishing simplicial volume. As an application of this study, we obtain new examples of manifolds that do not support transitive Anosov diffeomorphisms, inc…
We prove the existence of Sasakian-Einstein metrics on infinitely many rational homology spheres in all odd dimensions greater than 3. In dimension 5 we obain somewhat sharper results. There are examples where the number of effective parameters in the Einstein metric grows exponentially with dimension.
We record an answer to the question "In which dimensions is the connected sum of two closed almost complex manifolds necessarily an almost complex manifold?". In the process of doing so, we are naturally led to ask "For which values of l is the connected sum of l closed almost complex manifolds necessarily an almost complex manifold?". We answer this question, along with its non-compact analogue, using obstruction theory and Yang's results on the existence of almost complex structures on (n-1)-connected 2n-manifolds. Finally, we partially extend Datta and Subramanian's result on the nonexisten…
Let $D$ be a smooth divisor in a compact complex manifold $X$ and let $β\in (0,1)$. We show that in any positive co-homology class on $X$ there is a Kähler metric with cone angle $2πβ$ along $D$ which has bounded Ricci curvature. We use this result together with the Aubin-Yau continuity method to give an alternative proof of a well-known existence theorem for Kahler-Einstein metrics with cone singularities.
We show that any closed biquotient with finite fundamental group admits metrics of positive Ricci curvature. Also, let M be a closed manifold on which a compact Lie group G acts with cohomogeneity one, and let L be a closed subgroup of G which acts freely on M. We show that the quotient N := M/L carries metrics of nonnegative Ricci and almost nonnegative sectional curvature. Moreover, if N has finite fundamental group, then N admits also metrics of positive Ricci curvature. Particular examples include infinite families of simply connected manifolds with the rational cohomology rings and integr…
In this work, we study the Kähler-Ricci flow on rational homogeneous varieties exploring the interplay between projective algebraic geometry and representation theory which underlies the classical Borel-Weil theorem. By using elements of representation theory of semisimple Lie groups and Lie algebras, we give an explicit description for all solutions of the homogeneous Kähler-Ricci flow on rational homogeneous varieties. This description enables us to compute explicitly the maximal existence time for any homogeneous solution and obtain explicit upper and lower bounds for several geometric quan…
We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that $Y$ generates the third homology. The main tool of the proof is a relative Bauer-Furuta-type invariant on a periodic-end 4-manifold. As a consequence, we give obstructions to positive scalar curvature metrics on spin rational homology $S^{1} \times S^{3}$, typically described as the coincidence of various Frøyshov-type invariants. This coincidence also yields…
We show that the moduli space of positive Ricci curvature metrics on all the total spaces of $S^7$-bundles over $S^8$ which are rational homology spheres has infinitely many path components. Furthermore, we carry out the diffeomorphism classification of quotients of Milnor spheres by a certain involution and show that the moduli space of metrics of non-negative sectional on them has infinitely many path components. Finally, a diffeomorphism finiteness result is obtained on quotients of Shimada spheres by the same type of involution and we show that for the types that can be expressed by an inf…
Let $X$ be a compact Kähler manifold. We prove that if $X$ admits a smooth Hermitian metric $ω$ with quasi-positive second Chern-Ricci curvature $\mathrm{Ric}^{(2)}(ω)$, then $X$ is projective and rationally connected. In particular, $X$ is simply connected.
The Ricci flow is a parabolic evolution equation in the space of Riemannian metrics of a smooth manifold. To some extent, Einstein equations give rise to a similar hyperbolic evolution. The present text is an introductory exposition to Bianchi-Ricci and Bianchi-Einstein flows, that is, the restricted finitely dimensional dynamical systems, obtained by considering homogeneous metrics.
In a previous paper, we proved that a projective Kähler manifold of positive total scalar curvature is uniruled. At the other end of the spectrum, it is a well-known theorem of Campana and Kollár-Miyaoka-Mori that a projective Kähler manifold of positive Ricci curvature is rationally connected. In the present work, we investigate the intermediate notion of $k$-positive Ricci curvature and prove that for a projective $n$-dimensional Kähler manifold of $k$-positive Ricci curvature the MRC fibration has generic fibers of dimension at least $n-k+1$. We also establish an analogous result for projec…
We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are also considered. In addition, we prove that rational homology of the subgroup of the Torelli group of genus g generated by all the Dehn twists along separating simple closed curves is infinite dimensional for g>2.
