arXiv research

New argument for 3-manifold cohomology with $\mathbb{F}_2$ coefficients.

We present a deRham model for Chen-Ruan cohomology ring of abelian orbifolds. We introduce the notion of \emph{twist factors} so that formally the stringy cohomology ring can be defined without going through pseudo-holomorphic orbifold curves. Thus our model can be viewed as the classical description of Chen-Ruan cohom…

Generalizes cohomology ring result for combinatorial line arrangements.

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 …

Division algorithm for surface group rings yields standard complexes and cohomological dimensions.

We study an integration theory in circle equivariant cohomology in order to prove a theorem relating the cohomology ring of a hyperkahler quotient to the cohomology ring of the quotient by a maximal abelian subgroup, analogous to a theorem of Martin for symplectic quotients. We discuss applications of this theorem to q…

Researchers compute the cohomology ring of a foliation defined by a group action.

Motivated by orbifold string theory, we introduce orbifold cohomology group for any almost complex orbifold and orbifold Dolbeault cohomology for any complex orbifold. Then, we show that our new cohomology group satisfies Poincare duality and has a natural ring structure. Some examples of orbifold cohomology ring are c…

Study cohomology rings of Grassmannians using Clifford algebras and symmetric spaces.

We give an explicit formula for the cohomology of a right angled Artin group with group ring coefficients in terms of the cohomology of its defining flag complex.

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

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

We give a presentation for the Floer cohomology ring $HF^*(Σ\times S^1)$, where $Σ$ is a Riemann surface of genus bigger than one, which coincides with the conjectural presentation for the quantum cohomology ring of the moduli space of flat SO(3)-connections of odd degree over $Σ$. We study the spectrum of the action o…

We calculate the integer cohomology ring and stable tangent bundle of a family of compact, 3-Sasakian 7-manifolds constructed by Boyer, Galicki, Mann, and Rees. Previously only the rational cohomology ring was known. The most important part of the cohomology ring is a torsion group that we describe explicitly and whose…

Researchers describe the dual of cohomology generators for SU(2) character varieties of surfaces.

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 prove that the spaces of chains in $\bbr^d$ for $d\geq 3$ are determined by their (${\rm mod}2$)-cohomology rings.

We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are available at regular primes, but we seek more conceptual answers in terms of lo…

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.

We construct several infinite families of nonnegatively curved manifolds of low cohomogeneity and small dimension which can be distinguished by their cohomology rings. In particular, we exhibit an infinite family of eight-dimensional cohomogeneity one manifolds of nonnegative curvature with pairwise non-isomorphic comp…

We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function for certain skew Schur polynomials. As an application, we compute the nilpotency d…

We identify two Frobenius manifolds obtained from two different differential Gerstenhaber-Batalin-Vilkovisky algebras on a compact Kaehler manifold. One is constructed on the Dolbeault cohomology, and the other on the de Rham cohomology. Our result can be considered as a generalization of the identification of the Dolb…

We describe the cohomology ring of the moduli space of a flexible polygon in geometrically meaningful terms. We propose two presentations, both are computation friendly: there are simple rules for cup product.

We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ri…

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 ``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_-$.

We compute the integer cohomology rings of the ``polygon spaces'' introduced in [Hausmann,Klyachko,Kapovich-Millson]. This is done by embedding them in certain toric varieties; the restriction map on cohomology is surjective and we calculate its kernel using ideas from the theory of Gröbner bases. Since we do not inver…

The ideal of relations in the (small) quantum cohomology ring of the generalized flag manifold $G/B$ has been determined by B. Kim. We are going to point out a limited number of properties that, if they are satisfied by an $R[q_1,...,q_l]$-bilinear product $\circ$ on $H^*(G/B)\otimes R[q_1,...,q_l$, then the ring $(H^*…

We define an integer graded symplectic Floer cohomology and a Fintushel-Stern type spectral sequence which are new invariants for monotone Lagrangian sub-manifolds and exact isotopes. The Z-graded symplectic Floer cohomology is an integral lifting of the usual Z_Sigma(L)-graded Floer-Oh cohomology. We prove the Kunneth…

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

The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are…

We compute the cohomology with group ring coefficients of the complement of a finite collection of affine hyperplanes in a finite dimensional complex vector space. It is nonzero in exactly one degree, namely the degree equal to the rank of the hyperplane arrangement.

Using mirror symmetry as described by Hori and Vafa, we compute the quantum equivariant cohomology ring of toric manifolds. This ring arises naturally in topological gauged sigma-models and is related to the Hamiltonian Gromov-Witten invariants of the target manifold.

New proof for 4D symplectic manifolds: equivariant cohomology determines diffeotype.

The main result of the paper is a Borel type description of the $Sp(1)^n$-equivariant cohomology ring of the manifold $Fl_n(\mathbb{H})$ of all complete flags in $\mathbb{H}^n$. To prove this, we obtain a Goresky-Kottwitz-MacPherson type description of that ring.

We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).

Generalised characteristic classes are constructed for bordism cohomologies which allow a natural extension of classical genera to these bordism cohomology rings taking values in singular cohomology.

We prove that two closed oriented 3-manifolds have isomorphic quintuplets (homology, space of spin structures, linking pairing, cohomology rings, Rochlin function) if, and only if, they belong to the same class of a certain surgery equivalence relation introduced by Goussarov and Habiro.

The paper studies tautological rings of strata of differentials, proving cohomological stability and no relations in specific degrees.

Study free circle actions on specific 7-manifolds with positive Ricci curvature.

Study properties of group rings of three-manifold groups.

For a finite group G acting on a smooth projective variety X, we construct two new G-equivariant rings: first the stringy K-theory of X, and second the stringy cohomology of X. For a smooth Deligne-Mumford stack Y we also construct a new ring called the full orbifold K-theory of Y. For a global quotient Y=[X/G], the ri…

We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Ca…

For any $n\geq 7$, $k\geq 3$, we give pairs of compact flat $n$-manifolds $M, M'$ with holonomy groups $\mathbb Z_2^k$, that are strongly isospectral, hence isospectral on $p$-forms for all values of $p$, having nonisomorphic cohomology rings. Moreover, if $n$ is even, $M$ is Kähler while $M'$ is not. Furthermore, with…

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…

Study on cohomology of special linear groups over Euclidean number rings.

Study cohomology rings of 3D manifolds with round fold maps into the plane.

It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds …