We present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalises the one on projective spaces. This is done by generalising the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of perverse instanton sheaves in the general case, along with a hypercohomological characterisation of these sheaves in the particular case of projective spaces.

We extend to compact Kähler manifolds some classical results on linear representation of fundamental groups of complex projective manifolds. Our approach, based on an interversion lemma for fibrations with tori versus general type manifolds as fibers, gives a refinement of the classical work of Zuo. We extend to the Kähler case some general results on holomorphic convexity of coverings such as the linear Shafarevich conjecture.

In order to develop the foundations of derived logarithmic geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log-étale maps, and use them to define derived log stacks.

A trisymplectic structure on a complex $2n$-manifold is a three-dimensional space ${\rm\Omega}$ of closed holomorphic forms such that any element of ${\rm\Omega}$ has constant rank $2n$, $n$ or zero, and degenerate forms in ${\rm\Omega}$ belong to a non-degenerate quadric hypersurface. We show that a trisymplectic manifold is equipped with a holomorphic 3-web and the Chern connection of this 3-web is holomorphic, torsion-free, and preserves the three symplectic forms. We construct a trisymplectic structure on the moduli of regular rational curves in the twistor space of a hyperkähler manifold, and define a trisymplectic reduction of a trisymplectic manifold, which is a complexified form of a hyperkähler reduction. We prove that the trisymplectic reduction in the space of regular rational curves on the twistor space of a hyperkähler manifold $M$ is compatible with the hyperkähler reduction on $M$. As an application of these geometric ideas, we consider the ADHM construction of instantons and show that the moduli space of rank $r$, charge $c$ framed instanton bundles on $\mathbb{C}\mathbb{P}^{3}$ is a smooth trisymplectic manifold of complex dimension $4rc$. In particular, it follows that the moduli space of rank two, charge $c$ instanton bundles on $\mathbb{C}\mathbb{P}^{3}$ is a smooth complex manifold dimension $8c-3$, thus settling part of a 30-year-old conjecture.

Cet article est une contribution à la fois au calcul du nombre de fibrés de Hitchin sur une courbe projective et à l’explicitation de la partie nilpotente de la formule des traces d’Arthur-Selberg pour une fonction test très simple. Le lien entre les deux questions a été établi dans [Chaudouard, Sur le comptage des fibrés de Hitchin. À paraître aux actes de la conférence en l’honneur de Gérard Laumon]. On décompose cette partie nilpotente en une somme d’intégrales adéliques indexées par les orbites nilpotentes. Pour les orbites de type «régulières par blocs», on explicite complètement ces intégrales en termes de la fonction zêta de la courbe.

We analyze the relationship between two compactifications of the moduli space of maps from curves to a Grassmannian: the Kontsevich moduli space of stable maps and the Marian–Oprea–Pandharipande moduli space of stable quotients. We construct a moduli space which dominates both the moduli space of stable maps to a Grassmannian and the moduli space of stable quotients, and equip our moduli space with a virtual fundamental class. We relate the virtual fundamental classes of all three moduli spaces using the virtual push-forward formula. This gives a new proof of a theorem of Marian–Oprea–Pandharipande: that enumerative invariants defined as intersection numbers in the stable quotient moduli space coincide with Gromov–Witten invariants.

We endow certain GKZ-hypergeometric systems with a natural structure of a mixed Hodge module, which is compatible with the mixed Hodge module structure on the Gauß–Manin system of an associated family of Laurent polynomials. As an application we show that the underlying perverse sheaf of a GKZ-system with rational parameter has quasi-unipotent local monodromy.

Let $X$ be an algebraic curve. We study the problem of parametrizing geometric structures over $X$ which are only generically defined. For example, parametrizing generically defined maps (rational maps) from $X$ to a fixed target scheme $Y$. There are three methods for constructing functors of points for such moduli problems (all originally due to Drinfeld), and we show that the resulting functors are equivalent in the fppf Grothendieck topology. As an application, we obtain three presentations for the category of $D$-modules ‘on’ $B(K)\backslash G(\mathbb{A})/G(\mathbb{O})$, and we combine results about this category coming from the different presentations.

We show that some hypergeometric monodromy groups in ${\rm Sp}(4,\mathbf{Z})$ split as free or amalgamated products and hence by cohomological considerations give examples of Zariski dense, non-arithmetic monodromy groups of real rank $2$. In particular, we show that the monodromy group of the natural quotient of the Dwork family of quintic threefolds in $\mathbf{P}^{4}$ splits as $\mathbf{Z}\ast \mathbf{Z}/5\mathbf{Z}$. As a consequence, for a smooth quintic threefold $X$ we show that the group of autoequivalences $D^{b}(X)$ generated by the spherical twist along ${\mathcal{O}}_{X}$ and by tensoring with ${\mathcal{O}}_{X}(1)$ is an Artin group of dihedral type.

We extend our previous work in collaboration with Ngô Bao Châu and give a fixed point formula for the elliptic part of moduli spaces of $G$-shtukas with arbitrary modifications. Our formula is similar to the fixed point formula of Kottwitz for certain Shimura varieties. Our method is inspired by that of Kottwitz and simpler than that of Lafforgue for the fixed point formula of the moduli space of Drinfeld $\text{GL} (r)$-shtukas.

We study the moduli space of a product of stable varieties over the field of complex numbers, as defined via the minimal model program. Our main results are: (a) taking products gives a well-defined morphism from the product of moduli spaces of stable varieties to the moduli space of a product of stable varieties; (b) this map is always finite étale; and (c) this map very often is an isomorphism. Our results generalize and complete the work of Van Opstall in dimension $1$. The local results rely on a study of the cotangent complex using some derived algebro-geometric methods, while the global ones use some differential-geometric input.

We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic. In Part II of the paper, which is an appendix, we compute the Tannakian Galois group of the category of one-variable admissible real nilpotent orbits with split limit. We then use the answer to recover an unpublished theorem of Deligne, which characterizes the ${\mathrm{sl} }_{2} $-splitting of a real mixed Hodge structure.

We investigate parabolic Higgs bundles and $\Gamma $-Higgs bundles on a smooth complex projective variety.

Let $(X,D)$ be a dlt pair, where $X$ is a normal projective variety. We show that any smooth family of canonically polarized varieties over $X\setminus \,{\rm Supp}\lfloor D \rfloor $ is isotrivial if the divisor $-(K_X+D)$ is ample. This result extends results of Viehweg–Zuo and Kebekus–Kovács. To prove this result we show that any extremal ray of the moving cone is generated by a family of curves, and these curves are contracted after a certain run of the minimal model program. In the log Fano case, this generalizes a theorem by Araujo from the klt to the dlt case. In order to run the minimal model program, we have to switch to a $\mathbb Q$-factorialization of $X$. As $\mathbb Q$-factorializations are generally not unique, we use flops to pass from one $\mathbb Q$-factorialization to another, proving the existence of a $\mathbb Q$-factorialization suitable for our purposes.

Using the cohomology theory of Dwork, as developed by Adolphson and Sperber, we exhibit a deterministic algorithm to compute the zeta function of a nondegenerate hypersurface defined over a finite field. This algorithm is particularly well suited to work with polynomials in small characteristic that have few monomials (relative to their dimension). Our method covers toric, affine, and projective hypersurfaces, and also can be used to compute the L-function of an exponential sum.

We study the stable pairs theory of local curves in 3-folds with descendent insertions. The rationality of the partition function of descendent invariants is established for the full local curve geometry (equivariant with respect to the scaling 2-torus), including relative conditions and odd-degree insertions for higher-genus curves. The capped 1-leg descendent vertex (equivariant with respect to the 3-torus) is also proven to be rational. The results are obtained by combining geometric constraints with a detailed analysis of the poles of the descendent vertex.

We associate to a test configuration for a polarized variety a filtration of the section ring of the line bundle. Using the recent work of Boucksom and Chen we get a concave function on the Okounkov body whose law with respect to Lebesgue measure determines the asymptotic distribution of the weights of the test configuration. We show that this is a generalization of a well-known result in toric geometry. As an application, we prove that the pushforward of the Lebesgue measure on the Okounkov body is equal to a Duistermaat–Heckman measure of a certain deformation of the manifold. Via the Duisteraat–Heckman formula, we get as a corollary that in the special case of an effective ℂ×-action on the manifold lifting to the line bundle, the pushforward of the Lebesgue measure on the Okounkov body is piecewise polynomial.

We consider stacks of filtered $\varphi $-modules over rigid analytic spaces and adic spaces. We show that these modules parameterize $p$-adic Galois representations of the absolute Galois group of a $p$-adic field with varying coefficients over an open substack containing all classical points. Further, we study a period morphism (defined by Pappas and Rapoport) from a stack parameterizing integral data, and determine the image of this morphism.

We show that the Hilbert scheme, that parameterizes all ideals with the same Hilbert function over a Clements–Lindström ring W, is connected. More precisely, we prove that every graded ideal is connected by a sequence of deformations to the lex-plus-powers ideal with the same Hilbert function. This is an analogue of Hartshorne’s theorem that Grothendieck’s Hilbert scheme is connected. We also prove a conjecture by Gasharov, Hibi, and Peeva that the lex ideal attains maximal Betti numbers among all graded ideals in W with a fixed Hilbert function.

We define stacky Lie groups to be group objects in the 2-category of differentiable stacks. We show that every connected and étale stacky Lie group is equivalent to a crossed module of the form (Γ,G) where Γ is the fundamental group of the given stacky Lie group and G is the connected and simply connected Lie group integrating the Lie algebra of the stacky group. Our result is closely related to a strictification result of Baez and Lauda.