We study mathematical expectations of Betti numbers of configuration spaces of planar linkages, viewing the lengths of the bars of the linkage as random variables. Our main result gives an explicit asymptotic formulae for these mathematical expectations for two distinct probability measures describing the statistics of the length vectors when the number of links tends to infinity. In the proof we use a combination of geometric and analytic tools. The average Betti numbers are expressed in terms of volumes of intersections of a simplex with certain half-spaces.
We show the minimal total Betti number of a closed almost complex manifold of dimension $2n\ge 8$ is four, thus confirming a conjecture of Sullivan except for dimension $6$. Along the way, we prove the only simply connected closed complex manifold having total Betti number three is the complex projective plane.
A quasitoric manifold is a $2n$-dimensional compact smooth manifold with a locally standard action of an $n$-dimensional torus whose orbit space is a simple polytope. In this article, we classify quasitoric manifolds with the second Betti number $β_2=2$ topologically. Interestingly, they are distinguished by their cohomology rings up to homeomorphism.
We show that, for any $k\geq 1$, there exist non-formal compact orientable $(k-1)$-connected $n$-manifolds with $k$-th Betti number $b_k=b\geq 0$ if and only if $n\geq \max \{4k-1, 4k+3-2b\}$.
Two simple polytopes of dimension 3 having the identical bigraded Betti numbers but non-isomorphic Tor-algebras are presented. These polytopes provide two homotopically different moment-angle manifolds having the same bigraded Betti numbers. These two simple polytopes are the first examples of polytopes that are (toric) cohomologically rigid but not combinatorially rigid.
We provide a proof for an inequality between volume and L2-Betti numbers of aspherical manifolds for which Gromov outlined a strategy based on general ideas of Connes. The implementation of that strategy involves measured equivalence relations, Gaboriau's theory of L2-Betti numbers of R-simplicial complexes, and other themes of measurable group theory. Further, we prove new vanishing theorems for L2-Betti numbers that generalize a classical result of Cheeger and Gromov. As one of the corollaries, we obtain a gap theorem which implies vanishing of L2-Betti numbers of an aspherical manifold when…
For a graph $G$, a graph cubeahedron $\square_G$ and a graph associahedron $\triangle_G$ are simple convex polytopes which admit (real) toric manifolds. In this paper, we introduce a graph invariant, called the $b$-number, and we show that the $b$-numbers compute the Betti numbers of the real toric manifold $X^\mathbb{R}(\square_G)$ corresponding to a graph cubeahedron. The $b$-number is a counterpart of the notion of $a$-number, introduced by S. Choi and the second named author, which computes the Betti numbers of the real toric manifold $X^\mathbb{R}(\triangle_G)$ corresponding to a graph as…
We show that the only rational homology spheres which can admit almost complex structures occur in dimensions two and six. Moreover, we provide infinitely many examples of six-dimensional rational homology spheres which admit almost complex structures, and infinitely many which do not. We then show that if a closed almost complex manifold has sum of Betti numbers three, then its dimension must be a power of two.
Toric origami manifolds are characterized by origami templates, which are combinatorial models built by gluing polytopes together along facets. In this paper, we examine the topology of orientable toric oigami manifolds with coorientable folding hypersurface. We determine the fundamental group. In our previous paper [HP], we studied the ordinary and equivariant cohomology rings of simply connected toric origami manifolds. We conclude this paper by computing some Betti numbers in the non-simply connected case.
There have been several recent articles studying homology of various types of random simplicial complexes. Several theorems have concerned thresholds for vanishing of homology, and in some cases expectations of the Betti numbers. However little seems known so far about limiting distributions of random Betti numbers. In this article we establish Poisson and normal approximation theorems for Betti numbers of different kinds of random simplicial complex: Erdős-Rényi random clique complexes, random Vietoris-Rips complexes, and random Čech complexes. These results may be of practical interest in to…
This note announces recent exciting progress on the frontier between algebraic topology and probability theory. It is intended for a journal which publishes such announcements (without an abstract, typically in Russian). A description of a larger work in progress is included in the concluding remarks.
We study $b'_1(M)$, the co-rank of the fundamental group of a smooth closed connected manifold $M$. We calculate this value for the direct product of manifolds. We characterize the set of all possible combinations of $b'_1(M)$ and the first Betti number $b_1(M)$ by explicitly constructing manifolds with any possible combination of $b'_1(M)$ and $b_1(M)$ in any given dimension. Finally, we apply our results to the topology of Morse form foliations. In particular, we construct a manifold $M$ and a Morse form $ω$ on it for any possible combination of $b'_1(M)$, $b_1(M)$, $m(ω)$, and $c(ω)$, where…
We will prove that the number of deformation equivalence classes of surfaces homotopy equivalent to a smooth, closed 4-manifold is finite, if the first Betti number is equal to one, and the second Betti number is equal to zero.
The Linial-Meshulam complex model is a natural higher-dimensional analog of the Erdős-Rényi graph model. In recent years, Linial and Peled established a limit theorem for Betti numbers of Linial-Meshulam complexes with an appropriate scaling of the underlying parameter. The present paper aims to extend that result to more-general random simplicial complex models. We introduce a class of homogeneous and spatially independent random simplicial complexes, including the Linial-Meshulam complex model and the random clique complex model as special cases, and we study the asymptotic behavior of their…
We construct a spectral sequence for L2-type cohomology groups of discrete measured groupoids. Based on the spectral sequence, we prove the Hopf-Singer conjecture for aspherical manifolds with poly-surface fundamental groups. More generally, we obtain a permanence result for the Hopf-Singer conjecture under taking fiber bundles whose base space is an aspherical manifold with poly-surface fundamental group. As further sample applications of the spectral sequence, we obtain new vanishing theorems and explicit computations of L2-Betti numbers of groups and manifolds and obstructions to the existe…
Given a reducible $3$-manifold $M$ with an aspherical summand in its prime decomposition and a homeomorphism $f\colon M\to M$, we construct a map of degree one from a finite cover of $M\rtimes_f S^1$ to a mapping torus of a certain aspherical $3$-manifold. We deduce that $M\rtimes_f S^1$ has virtually infinite first Betti number, except when all aspherical summands of $M$ are virtual $T^2$-bundles. This verifies all cases of a conjecture of T.-J. Li and Y. Ni, that any mapping torus of a reducible $3$-manifold $M$ not covered by $S^2\times S^1$ has virtually infinite first Betti number, except…
We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rational cohomology $S^2\times {\mathbb C}P^2$. An infinite family of six-dimensional simply connected biquotients whose second Betti number is three, different from Totaro's biquotients, is considered and it is proved that none of biquotient from this family is geometrically formal…
We use stratified Morse theory for a manifold with corners to give a new bound for the sum of the Betti numbers of a hypersurface in R^n_> defined by a polynomial with n+l+1 terms.
The bigraded Betti numbers b^{-i,2j}(P) of a simple polytope P are the dimensions of the bigraded components of the Tor groups of the face ring k[P]. The numbers b^{-i,2j}(P) reflect the combinatorial structure of P as well as the topology of the corresponding moment-angle manifold \mathcal Z_P, and therefore they find numerous applications in combinatorial commutative algebra and toric topology. Here we calculate some bigraded Betti numbers of the type β^{-i,2(i+1)} for associahedra, and relate the calculation of the bigraded Betti numbers for truncation polytopes to the topology of their mom…
Given a chain complex with the only modification that each cell of the complex has a probability distribution assigned. We will call this complex - a random complex and what should be understood in practice, is that we have a classical chain complex whose cells appear and disappear according to some probability distributions. In this paper, we will try to find the stochastic homology of random complex, whose simplices have independent discrete distributions.
We study the persistent homology of random Čech complexes. Generalizing a method of Penrose for studying random geometric graphs, we first describe an appropriate theoretical framework in which we can state and address our main questions. Then we define the kth persistent Betti number of a random Čech complex and determine its asymptotic order in the subcritical regime. This extends a result of Kahle on the asymptotic order of the ordinary kth Betti number of such complexes to the persistent setting.
We initiate the study of local topology of random graphs. The high level goal is to characterize local "motifs" in graphs. In this paper, we consider what we call the layer-$r$ subgraphs for an input graph $G = (V,E)$: Specifically, the layer-$r$ subgraph at vertex $u \in V$, denoted by $G_{u; r}$, is the induced subgraph of $G$ over vertex set $Δ_{u}^{r}:= \left\{v \in V: d_G(u,v) = r \right\}$, where $d_G$ is shortest-path distance in $G$. Viewing a graph as a 1-dimensional simplicial complex, we then aim to study the $1$st Betti number of such subgraphs. Our main result is that the $1$st Be…
Let $P$ be a set of $n$ random points in $R^d$, generated from a probability measure on a $m$-dimensional manifold $M \subset R^d$. In this paper we study the homology of $U(P,r)$ -- the union of $d$-dimensional balls of radius $r$ around $P$, as $n \to \infty$, and $r \to 0$. In addition we study the critical points of $d_P$ -- the distance function from the set $P$. These two objects are known to be related via Morse theory. We present limit theorems for the Betti numbers of $U(P,r)$, as well as for number of critical points of index $k$ for $d_P$. Depending on how fast $r$ decays to zero as…
We study certain random simplicial complexes, called random quota complexes. A quota complex on $N+1$ weighted vertices is constructed by adding an $n$-simplex if the sum of the weights of the vertices is below a given quota, $q$. In this paper, the weights of the vertices are chosen i.i.d. with a Bernoulli distribution. The main result of this paper is that the expectation of the $m^{\textrm{th}}$ Betti number, i.e., the dimension of the $m^{\textrm{th}}$ homology group, is unimodal in $m$.
In this paper we give a formula for the homotopy groups of $(n-1)$-connected $2n$-manifolds as a direct sum of homotopy groups of spheres in the case the $n^{th}$ Betti number is larger than $1$. We demonstrate that when the $n^{th}$ Betti number is $1$ the homotopy groups might not have such a decomposition. The techniques used in this computation also yield formulae for homotopy groups of connected sums of sphere products and CW complexes of a similar type. In all the families of spaces considered here, we establish a conjecture of J. C. Moore.
Let $M$ be a simply-connected $m$ dimensional manifold of finite type and $k$ a positif integer. In this paper we show that the rational Betti numbers of each component of the space of immersions of $M$ in $\mathbb{R}^{m+k}$, have polynomial growth. As consequence, we deduce that, if $M$ is a manifold with Euler characteristic $χ\left(M\right)\leq -2$, the Betti numbers of smooth embeddings, $Emb\left(M ,\mathbb{R}^{m+k}\right)$, have exponential growth if $k\geq m+1$. The main tool of this work is the construction of an explicit model of the space of immersions.
We will provide bounds on both the Betti numbers and the torsion part of the homology of hyperbolic orbifolds. These bounds are linear in the volume and are a direct consequence of an efficient simplicial model of the thick part, which we will construct as well. The homology statements complement previous work of Bader, Gelander and Sauer (torsion homology of manifolds), Samet (Betti numbers of orbifolds) and a classical theorem of Gromov (Betti numbers of manifolds). For arithmetic, non-compact hyperbolic orbifolds -- i.e. in the case of arithmetic, non-uniform lattices in $\operatorname{Isom…
Given a simply connected, closed four manifold, we associate to it a simply connected, closed, spin five manifold. This leads to several consequences : the stable and unstable homotopy groups of such a four manifold is determined by its second Betti number, and the ranks of the homotopy groups can be explicitly calculated. We show that for a generic metric on such a smooth four manifold with second Betti number at least three, the number of geometrically distinct periodic geodesics of length at most l grow exponentially as a function of l. The number of closed Reeb orbits of length at most l o…
The topology and geometry of random fields - in terms of the Euler characteristic and the Minkowski functionals - has received a lot of attention in the context of the Cosmic Microwave Background (CMB), as the detection of primordial non-Gaussianities would form a valuable clue on the physics of the early Universe. The virtue of both the Euler characteristic and the Minkowski functionals in general, lies in the fact that there exist closed form expressions for their expectation values for Gaussian random fields. However, the Euler characteristic and Minkowski functionals are summarizing charac…
This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6, 2012. We describe a formula (obtained in joint work with Alvise Trevisan) for computing the Betti numbers of real toric manifolds, based on a study of cohomology with coefficients in rank one local systems for various polyhedral products. Applying this formula, we recover Henderson's computation of the Betti numbers of real Hessenberg varieties. We conclude wit…
This study presents a numerical analysis of the topology of a set of cosmologically interesting three-dimensional Gaussian random fields in terms of their Betti numbers $β_0$, $β_1$ and $β_2$. We show that Betti numbers entail a considerably richer characterization of the topology of the primordial density field. Of particular interest is that Betti numbers specify which topological features - islands, cavities or tunnels - define its spatial structure. A principal characteristic of Gaussian fields is that the three Betti numbers dominate the topology at different density ranges. At extreme de…
In this article we study algebraic properties of the specific class of groups $\mathcal{G}$ generated by direct products and wreath products. Such class of groups appears in calculation of fundamental groups of orbits of Morse functions on compact manifolds. We prove that for any group $G\in\mathcal{G}$ the ranks of the center $Z(G)$ and the quotient by commutator subgroup $G/[G,G]$ coincide. Moreover, this rank is a first Betti number of the orbit of Morse function.
Using factorization homology, we realize the rational homology of the unordered configuration spaces of an arbitrary manifold $M$, possibly with boundary, as the homology of a Lie algebra constructed from the compactly supported cohomology of $M$. By locating the homology of each configuration space within the Chevalley-Eilenberg complex of this Lie algebra, we extend theorems of Bödigheimer-Cohen-Taylor and Félix-Thomas and give a new, combinatorial proof of the homological stability results of Church and Randal-Williams. Our method lends itself to explicit calculations, examples of which we …
In this paper, we prove a number of inequalities between the signature and the Betti numbers of a 4-manifold with even intersection form. Furthermore, we introduce a new geometric group invariant and discuss some of its properties.
We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connected Sasakian manifolds, and produce an example of a non-formal quasi-regular Sasakian manifold with Betti numbers $b_1=0$ and $b_2\,> 1$.
