arXiv research

Paper computes rational cohomology of spin hyperelliptic mapping class groups.

Complex group cohomology surprisingly simple.

The study classifies manifolds with specific rational cohomology properties.

The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the modul…

We give a characterization of closed, simply connected, rationally elliptic 6-manifolds in terms of their rational cohomology rings and a partial classification of their real cohomology rings. We classify rational, real and complex homotopy types of closed, simply connected, rationally elliptic 7-manifolds. We give par…

We classify simply connected, closed cohomogeneity one manifolds with singly generated or 4-periodic rational cohomology and positive Euler characteristic.

Study on cohomology of spin hyperelliptic mapping class groups.

Paper shows hyperbolic 3-manifolds can sound the same but have different cohomology.

We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a 1-connected closed manifold M whose rational cohomology algebra belongs to this class,…

We classify all biquotients whose rational cohomology rings are generated by one element. As a consequence we show that the Gromoll-Meyer 7-sphere is the only exotic sphere which can be written as a biquotient.

The cohomology of the pure string motion group PSigma_n admits a natural action by the hyperoctahedral group W_n. Church and Farb conjectured that for each k > 0, the sequence of degree k rational cohomology groups of PSigma_n is uniformly representation stable with respect to the induced action by W_n, that is, the de…

Maps between classifying spaces for certain groups are studied, with rational cohomology results.

Paper calculates Torelli group's cohomology second group.

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 rat…

The article proves estimates on homotopy and cohomology dimensions in fibrations.

We consider the interplay of point counts, singular cohomology, étale cohomology, eigenvalues of the Frobenius and the Grothendieck ring of varieties for two families of varieties: spaces of rational maps and moduli spaces of marked, degree $d$ rational curves in $\mathbb{P}^n$. We deduce as special cases algebro-geome…

We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is…

Study Torelli subgroups of handlebody groups and their cohomology.

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and …

The study shows conditions for Kähler manifolds to have rational cohomology.

Study cohomology of surfaces with punctures and boundaries, proving bounds on rational cohomology.

Parametric Cartan theory of exterior differential systems, and explicit cohomology of projective manifolds reveal united rationality features of differential algebraic geometry.

The Johnson kernel is the subgroup of the mapping class group of a surface generated by Dehn twists along bounding simple closed curves, and has the second Johnson homomorphism as a free abelian quotient. In terms of the representation theory of the symplectic group, we give a complete description of cup products of tw…

We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.

The study shows conditions for Kähler manifolds to have rational cohomology of complex projective space.

By a Cantor group we mean a topological group homeomorphic to the Cantor set. We show that a compact metric space of rational cohomological dimension $n$ can be obtained as the orbit space of a Cantor group action on a metric compact space of covering dimension $n$. Moreover, the action can be assumed to be free if $n=…

Let h be a rationally even cohomology theory and h^ the natural differential refinement, as defined by Hopkins and Singer. We consider the possible definitions of the relative differential cohomology groups, generalizing the analogous picture for the Deligne cohomology, and we show the corresponding long exact sequence…

A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in degree 1, proving that if the dimension of the holomorphic invariants is 1 or 2, then…

In this paper it is shown that multiplicative cohomology theories that are rationally even -- a technical condition that is often satisfied -- the Hopkins-Singer construction of generalized differential cohomology has a unital, graded commutative multiplicative structure. To this end, an explicit integration and a diff…

In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the cohomology of the pure mapping class group of surfaces and some manifolds of hi…

Odd GKM-manifolds with non-negative curvature split cohomology.

Introduces a framework for rational homotopy theory in diffeological spaces.

Compute group cohomology for mapping class group with non-symplectic coefficients.

Same cohomology for curves with levels, proving stable range.

In this paper we study non-negatively curved and rationally elliptic GKM$_4$ manifolds and orbifolds. We show that their rational cohomology rings are isomorphic to the rational cohomology of certain model orbifolds. These models are quotients of isometric actions of finite groups on non-negatively curved torus orbifol…

Symplectic Torelli groups of positive rational surfaces are trivial or sphere braid groups.

We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres.

Improved theorem on curvature and manifold symmetry.

We show that the group cohomology of torsion-free virtually polycyclic groups and the continuous cohomology of simply connected solvable Lie groups can be computed by the rational cohomology of algebraic groups. Our results are generalizations of certian results on the cohomology of solvmanifolds and infra-solvmanifold…

We demonstrate how by using the intersection theory to calculate the cohomology of $G_2$-manifolds constructed by using the generalized Kummer construction. For one example we find the generators of the rational cohomology ring and describe the product structure.

Consider a complete orientable manifold with countably many components of bounded dimension. Suppose that its rational homology is infinitely generated in some degree. Then there is no choice of weight function for which the natural map from weighted L^2 cohomology to de Rham cohomology is surjective in that degree.

The paper explores existence of specific almost complex manifolds with unique Betti numbers.

We prove that the moduli space of curves with level structures has an enormous amount of rational cohomology in its cohomological dimension. As an application, we prove that the coherent cohomological dimension of the moduli space of curves is at least g-2. Well known conjectures of Looijenga would imply that this is s…

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain …

Homology of abelian differentials stabilizes with more zeros.

New invariant P helps classify simply-connected 8-manifolds.

We characterize primary operations in differential cohomology via stacks, and illustrate by differentially refining Steenrod squares and Steenrod powers explicitly. This requires a delicate interplay between integral, rational, and mod p cohomology, as well as cohomology with U(1) coefficients and differential forms. A…

The ``symplectic cut'' construction [Lerman] produces two symplectic orbifolds $C_-$ and $C_+$ from a symplectic manifold $M$ with a Hamiltonian circle action. We compute the rational cohomology ring of $C_+$ in terms of those of $M$ and $C_-$.