Related papers: Comparison of Kummer logarithmic topologies with c…
In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the…
Full level-n structures on smooth, complex curves are trivializations of the n-torsion points of their Jacobians. We give an algebraic proof that the etale cohomology of the moduli space of smooth, complex curves of genus at least 2 with…
Using the higher analytic torsion form of Bismut and Lott we construct a characteristic class for smooth sphere bundles. We calculate this class in the case where the sphere bundle comes from a complex vector bundle. Related to these…
Let $\mathcal{G}=\mathrm{Spec}(A)$ be a finite and flat group scheme over the ring of algebraic integers $R$ of a number field $K$ and suppose that the generic fiber of $\mathcal{G}$ is the constant group scheme over $K$ for a finite group…
In this paper we continue our investigation of the global categorical symmetries that arise when gauging finite higher groups and their higher subgroups with discrete torsion. The motivation is to provide a common perspective on the…
In this paper, we describe an algorithm that, for a smooth connected curve $X$ over a field $k$ with normal completion having arithmetic genus $p_a(X)$, a finite locally constant sheaf $\mathcal A$ on $X_{et}$ of abelian groups of torsion…
We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one…
Given a holomorphic family $f:\mathcal{X} \to S$ of compact complex manifolds of dimension $n$ and a relatively ample line bundle $L\to \mathcal{X}$, the higher direct images $R^{n-p}f_*\Omega^p_{\mathcal{X}/S}(L)$ carry a natural hermitian…
Inspired by the log Gromov-Witten (or GW) theory of Gross-Siebert/Abramovich-Chen, we introduce a geometric notion of log J-holomorphic curve relative to a simple normal crossings symplectic divisor defined in [FMZ1]. Every such moduli…
In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Koll\'ar's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical…
Let $U$ be a smooth and connected curve over an algebraically closed field of positive characteristic, with smooth compactification $X$. We generalize classical Geometric Class Field theory to provide a classification of fppf $G$-torsors…
This article extends the study of cyclic ramified covers of the projective line defined by Kummer equations. We consider the most general case of such covers, allowing arbitrary orders in the roots of the generating radicant. The primary…
In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe…
Let F be a smooth surface in a smooth projective threefold T, and let X=2F be the first infinitesimal neighborhood of X in T. A locally Cohen-Macaulay curve C in X gives rise to two effective divisors on F, namely the curve part P of the…
The Hilbert scheme X^{[a]} of points on a complex manifold X is a compactification of the configuration space of a-element subsets of X. The integral cohomology of X^{[a]} is more subtle than the rational cohomology. In this paper, we…
In these notes we study left-invariant involutive structures on $\mathrm{SU}(2)$, the most na\"ive non-commutative compact Lie group. We determine closedness of the range (in the smooth topology) of a single complex vector field spanning…
We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of…
We investigate the topological theory obtained by twisting the N=(2,2) supersymmetric nonlinear sigma model with target a bihermitian space with torsion. For the special case in which the two complex structures commute, we show that the…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
We consider parahoric Bruhat-Tits group schemes over a smooth projective curve and torsors under them. If the characteristic of the ground field is either zero or positive but not too small and the generic fiber is absolutely simple and…