Related papers: Mumford's formula on the universal Picard stack
Families of stable curves of genus $\gamma$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_\gamma$. It is natural to compactify the corresponding moduli problem using stable maps…
Inside the moduli space of curves of genus 2 with 2 marked points we consider the loci of curves admitting a map to P^1 of degree d totally ramified over the two marked points, for d>= 2. Such loci have codimension two. We compute the class…
We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…
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…
Let $X$ be a non-singular quasi-projective variety over a field, and let $\mathcal E$ be a vector bundle over $X$. Let $\mathbb G_X({d}, \mathcal E)$ be the Grassmann bundle of $\mathcal E$ over $X$ parametrizing corank $d$ subbundles of…
Let X be an irreducible smooth complex projective curve of genus g at least 4. Let M(r,\Lambda) be the moduli space of stable vector bundles over X or rank r and fixed determinant \Lambda, of degree d. We give a new proof of the fact that…
For a toric Deligne-Mumford (DM) stack, we can consider a certain generalization of the Frobenius endomorphism. For such an endomorphism on a two-dimensional toric DM stack, we show that the push-forward of the structure sheaf generates the…
We determine the Picard number and the Ulrich complexity of general bidouble covers of the projective plane, providing the first systematic study of Ulrich bundles on non-cyclic abelian covers. For a bidouble plane branched along three…
Let G be a Lie goup, let M and N be smooth connected G-manifolds, let f be a smooth G-map from M to N, and let P denote the fiber of f. Given a closed and equivariantly closed relative 2-form for f with integral periods, we construct the…
The Weil-Kostant integrality theorem states that given a smooth manifold endowed with an integral complex closed 2-form, then there exists a line bundle with connection on this manifold with curvature the given 2-form. It also characterises…
We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such…
Given a sheaf on a projective space P^n we define a sequence of canonical and easily computable Chow complexes on the Grassmannians of planes in P^n, generalizing the Beilinson monad on P^n. If the sheaf has dimension k, then the Chow form…
This work establishes the geometric component of Deligne's longstanding program on refined Grothendieck-Riemann-Roch formulas expressed through determinants of cohomology. The approach relies on a newly developed universal category of Chern…
We find for g at most 5 a stratification of depth g-2 of the moduli space of curves M_g with the property that its strata are affine and the classes of their closures provide a Q-basis for the Chow ring of M_g. The first property confirms a…
In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists…
Let G be a split reductive group. We introduce the moduli problem of "bundle chains" parametrizing framed principal G-bundles on chains of lines. Any fan supported in a Weyl chamber determines a stability condition on bundle chains. Its…
In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal…
We compute the topological monodromy of every family of complete intersection curves. Like in the case of plane curves previously treated by the second-named author, we find the answer is given by the $r$-spin mapping class group associated…
We prove the existence of tilting bundles on global quotient stacks that are produced by compatible finite group actions on flat families.
We construct vector-valued modular forms on moduli spaces of curves and abelian varieties using effective divisors in projectivized Hodge bundles over moduli of curves. Cycle relations tell us the weight of these modular forms. In…