arXiv research

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…

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

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 prove that there are examples of finitely generated groups G together with group ring elements Q \in \bbQ G for which the von Neumann dimension \dim_{LG}\ker Q is irrational, so (in conjunction with other known results) answering a question of Atiyah.

Study properties of group rings of three-manifold groups.

We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ functor homology to reduce to the abelian case. As an application, we also compute t…

We give formulas for the Whitehead groups and the rational $K$-theory groups of the (integer group ring of the) Hilbert modular group in terms of its maximal finite subgroups.

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…

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…

Researchers find Frobenius manifold structures on orbits spaces of finite groups.

In this paper we continue the study of generic properties of the Novikov complex, began in the work "The incidence coefficients in the Novikov complex are generically rational functions" ( dg-ga/9603006). For a Morse map $f:M\to S^1$ there is a refined version of Novikov complex, defined over the Novikov completion of …

Using a theorem of Lück-Reich-Rognes-Varisco, we show that the Whitehead group of Thompson's group T is infinitely generated, even when tensored with the rationals. To this end we describe the structure of the centralizers and normalizers of the finite cyclic subgroups of T, via a direct geometric approach based on rot…

Study on high-dimensional solid tori reveals infinite generation in their diffeomorphism groups.

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…

We calculate the intersection ring of three-dimensional graph manifolds with rational coefficients and give an algebraic characterization of these rings when the manifold's underlying graph is a tree. We are able to use this characterization to show that the intersection ring obstructs arbitrary three-manifolds from be…

In the first part of the paper we construct a ring structure on the rational cobordism classes of Morin maps (i. e. smooth generic maps of corank 1). We show that associating to a Morin map its singular strata defines a ring homomorphism to $Ω_* \otimes \Q$, the rational oriented cobordism ring. This is proved by analy…

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true without any assumption on q and for any isotropic, absolutely almost simple group G d…

We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian $\Z / L \Z$-cover of the surface. If the surface has one marked point, then the answer is $\Q^{τ(L)}$, where $τ(L)$ is the number of positive divisors of $L$. If the surface i…

We use elementary methods to compute the L2-dimension of the eigenspaces of the Markov operator on the lamplighter group and of generalizations of this operator on other groups. In particular, we give a transparent explanation of the spectral measure of the Markov operator on the lamplighter group found by Grigorchuk-Z…

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends…

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 ``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 study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative …

Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely defined unbounded operators affiliated to the group von Neumann algebra. We prove…

Torelli groups' homology is finitely generated in stable range.

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

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.

We prove that the Farrell-Jones assembly map for connective algebraic K-theory is rationally injective, under mild homological finiteness conditions on the group and assuming that a weak version of the Leopoldt-Schneider conjecture holds for cyclotomic fields. This generalizes a result of Bökstedt, Hsiang, and Madsen, …

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 …

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.

The moduli space of stable vector bundles on a Riemann surface is smooth when the rank and degree are coprime, and is diffeomorphic to the space of unitary connections of central constant curvature. A classic result of Newstead and Atiyah-Bott asserts that its rational cohomology ring is generated by the universal clas…

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 …

We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphis…

Let $M$ be either $S^2\times S^2$ or the one point blow-up $\cp# \bcp$ of $\cp$. In both cases $M$ carries a family of symplectic forms $\om_\la$, where $\la > -1$ determines the cohomology class $[\om_\la]$. This paper calculates the rational (co)homology of the group $G_\la$ of symplectomorphisms of $(M,\om_\la)$ as …

Quasitoric spaces were introduced by Davis and Januskiewicz in their 1991 Duke paper. There they extensively studied topological invariants of quasitoric manifolds. These manifolds are generalizations or topological counterparts of nonsingular projective toric varieties. In this article we study structures and invarian…

By work of Berglund and Madsen, the rings of rational characteristic classes of fibrations and smooth block bundles with fibre $D^{2n}\sharp(S^n\times S^n)^{\sharp g}$, relative to the boundary, are for $2n\ge 6$ independent of $g$ in degrees $*\le (g-6)/2$. In this note, we explain how this range can be improved to $*…

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…

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

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

We investigate the cohomology of the level 4 subgroup of the braid group, namely, the kernel of the mod 4 reduction of the Burau representation at $t=-1$. This group is also equal to the kernel of the mod 2 abelianization of the pure braid group. We give an exact formula for the first Betti number; it is a quartic poly…

We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution that admit such an algorithm. We give two applications: first, any order that admi…

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

New instanton invariants for rational homology spheres defined and shown to be functorial.

Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie alge…

Study Coxeter groups over fusion rings and their geometric realisations.

Paper defines Farey Recursive Functions and explores their properties.

In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring motions of general ring links in $\mathbb{R}^3$. This sequence allowed us to build th…