Related papers: Parametrized Abel-Jacobi maps and abelian cycles i…

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show it is of finite injective dimension. It can be used as a model for rational $G$-spectra in the sense that there is a homology…

For a oriented genus g surface with one boundary component, S, the Torelli group is the group of orientation preserving homeomorphisms of S that induce the identity on homology. The Magnus representation of the Torelli group represents the…

We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid…

Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Ma\~n\'e supercritical energy level, we…

(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a…

The tautological Chow ring of the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$ was defined and calculated by van der Geer in 1999. By studying the Torelli pullback of algebraic cycles classes from…

Let S be a closed oriented surface of genus g > 1, and let T denote its Torelli group. First, given a set E of homotopically nontrivial, pairwise disjoint, pairwise nonisotopic simple closed curves on S, we determine precisely when a…

Let G be a group. The intersection graph G(G) of G is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper nontrivial subgroups of G; and there is an edge between two distinct…

Let l be a prime and G a pro-l group with torsion-free abelianization. We produce group-theoretic analogues of the Johnson/Morita cocycle for G -- in the case of surface groups, these cocycles appear to refine existing constructions when…

In the classical case of irreducible smooth algebraic curves every genus $2$ curve is hyperelliptic, or in other words there is a complete linear series $g_2^1$ on them. On the other hand if $g > 2$, then a generic smooth curve of genus $2$…

We consider the associated graded $\bigoplus_{k\geq 1} \Gamma_k \mathcal{I} / \Gamma_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I} = \Gamma_1 \mathcal{I} \supset \Gamma_2 \mathcal{I} \supset \Gamma_3 \mathcal{I} \supset…

In this paper, we consider the moduli space $\cSU_C(r,\cO_C)$ of rank $r$ semistable vector bundles with trivial determinant on a smooth projective curve $C$ of genus $g$. When the rank $r=2$, F. Kirwan constructed a smooth log resolution…

To every $Q$-irreducible representation $r$ of a finite group $H$, there corresponds a simple factor $A$ of $Q[H]$ with an involution $\tau$. To this pair $(A,\tau)$, we associate an arithmetic group $\Omega$ consisting of all $(2g-2)\times…

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…

We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly…

The Torelli group, I(S_g), is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface. There are three types of elements that naturally arise in studying I(S_g): bounding pair maps,…

The Torelli group of a compact non-orientable Klein surface is the subgroup of the modular group consisting of the mapping classes that act trivially on the first homology group of the surface. We prove that if a surface has genus at least…

Let X be a smooth projective curve of genus at least two over the complex numbers. A pair (E,\phi) over X consists of an algebraic vector bundle E over X and a holomorphic section \phi of E. There is a concept of stability for pairs which…

We generalize the $K$ matrix formulation to non-trivial non-Abelian families of 2+1D topological orders. Given a topological order $\mathcal C$, any topological order in the same non-Abelian family as $\mathcal C$ can be efficiently…

The toric code can be constructed as a gauge theory of finite groups on oriented two dimensional lattices. Here we construct analogous models with the gauge fields belonging to groupoids, which are categories where every morphism has an…