Related papers: The Birman-Craggs-Johnson homomorphism and abelian…

Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We…

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

This is the first in a series of papers exploring the relationship between the Rohlin invariant and gauge theory. We discuss the Casson-type invariant of a 3-manifold with the integral homology of a torus, given by counting projectively…

This paper establishes an explicit obstruction to constructing algebraic cycles from automorphic cohomology classes on Shimura varieties. We produce a rational Hodge class $\Omega_E$ in the intersection cohomology of the Baily-Borel…

The Torelli group of a genus $g$ oriented surface $\Sigma_g$ is the subgroup $\mathcal{I}_g$ of the mapping class group ${\rm Mod}(\Sigma_g)$ consisting of all mapping classes that act trivially on ${\rm H}_1(\Sigma_g, \mathbb{Z})$. The…

For a semisimple real Lie group $G$, we study topological properties of moduli spaces of polystable parabolic $G$-Higgs bundles over a Riemann surface with a divisor of finitely many distinct points. For a split real form of a complex…

We construct nontrivial cohomology classes of the space $Imb(S^1,\R^n)$ of imbeddings of the circle into $\R^n$, by means of Feynman diagrams. More precisely, starting from a suitable linear combination of nontrivalent diagrams, we…

Let SI(S_g) denote the hyperelliptic Torelli group of a closed surface S_g of genus g. This is the subgroup of the mapping class group of S_g consisting of elements that act trivially on H_1(S_g;Z) and that commute with some fixed…

Let R be a compact oriented surface of genus g with one boundary component. Homology cylinders over R form a monoid IC into which the Torelli group I of R embeds by the mapping cylinder construction. Two homology cylinders M and M' are said…

The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that…

We study the relation between the set of oriented $\mathbb{Z}/d$-homology $3$-spheres and the level-$d$ mapping class groups, the kernels of the canonical maps from the mapping class group of an oriented surface to the symplectic group with…

We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…

We relate the torsion part of the Abel-Jacobi kernel in the Griffiths group of 1-cycles to a birational invariant analogous to the degree 4 unramified cohomology and an invariant associated to the generalized Hodge conjecture in degree…

Let $\Sigma$ be an open Riemann surface and $Hol (\Sigma)$ be the Lie algebra of holomorphic vector fields on $\Sigma.$ We fix a projective structure (i.e. a local $SL_2(C)-$structure) on $\Sigma.$ We calculate the first group of cohomology…

We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm…

We call an integral homology sphere $\textit{non-trivially}$ bounds a rational homology ball if it is obstructed from bounding an integral homology ball. After Fintushel and Stern's well-known example $\Sigma(2,3,7)$, Akbulut and Larson…

We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Po\'enaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur…

If T is an ergodic automorphism of a Lebesgue probability space (X,A,m), the set of coboundries B = db =T(b)+b with symmetric difference + form a subgroup of the set of cocycles A. Using tools from descriptive set theory, Greg Hjorth showed…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

Let $\Sigma_g$ denote the closed orientable surface of genus $g$ and fix an arbitrary simplicial triangulation of $\Sigma_g$. We construct and study a natural surjective group homomorphism from the surface braid group on $n$ strands on…