Third volume of Épijournal de Géométrie Algébrique - 2019
Lucy Moser-Jauslin.
The main result of this article is to construct infinite families of non-equivalent equivariant real forms of linear C*-actions on affine four-space. We consider the real form of $\mathbb{C}^*$ whose fixed point is a circle. In [F-MJ] one example of a non-linearizable circle action was constructed. Here, this result is generalized by developing a new approach which allows us to compare different real forms. The constructions of these forms are based on the structure of equivariant $\mathrm{O}_2(\mathbb{C})$-vector bundles.
Will Sawin.
Using etale cohomology, we define a birational invariant for varieties in
characteristic $p$ that serves as an obstruction to uniruledness - a variant on
an obstruction to unirationality due to Ekedahl. We apply this to
$\overline{M}_{1,n}$ and show that $\overline{M}_{1,n}$ is not uniruled in
characteristic $p$ as long as $n \geq p \geq 11$. To do this, we use Deligne's
description of the etale cohomology of $\overline{M}_{1,n}$ and apply the
theory of congruences between modular forms.
Laurent Manivel.
Consider the ten-dimensional spinor variety in the projectivization of a
half-spin representation of dimension sixteen. The intersection X of two
general translates of this variety is a smooth Calabi-Yau fivefold, as well as
the intersection Y of their projective duals. We prove that although X and Y
are not birationally equivalent, they are derived equivalent and L-equivalent
in the sense of Kuznetsov and Shinder.
Felix Janda ; Aaron Pixton.
We study some aspects of the $\lambda_g$ pairing on the tautological ring of
$M_g^c$, the moduli space of genus $g$ stable curves of compact type. We
consider pairing kappa classes with pure boundary strata, all tautological
classes supported on the boundary, or the full tautological ring. We prove that
the rank of this restricted pairing is equal in the first two cases and has an
explicit formula in terms of partitions, while in the last case the rank
increases by precisely the rank of the $\lambda_g\lambda_{g - 1}$ pairing on
the tautological ring of $M_g$.
Bruno Klingler.
In this note we show that any lattice in a simple p-adic Lie group is not the
fundamental group of a compact Ka\"hler manifold, as well as some variants of
this result.
Claude Sabbah ; Jeng-Daw Yu.
We give a formula computing the irregular Hodge numbers for a confluent
hypergeometric differential equation.
Nicholas McCleerey ; Valentino Tosatti.
We show that if a Fano manifold does not admit Kahler-Einstein metrics then
the Kahler potentials along the continuity method subconverge to a function
with analytic singularities along a subvariety which solves the homogeneous
complex Monge-Ampere equation on its complement, confirming an expectation of
Tian-Yau.
Martin H. Weissman.
When $W$ is a finite Coxeter group acting by its reflection representation on
$E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C},
{\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb
C}$, smooth with respect to the stratification by reflection hyperplanes. By
using Kapranov and Schechtman's recent analysis of perverse sheaves on
hyperplane arrangements, we find an equivalence of categories from
${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ to a category of
finite-dimensional modules over an algebra given by explicit generators and
relations.
We also define categories of equivariant perverse sheaves on affine
buildings, e.g., $G$-equivariant perverse sheaves on the Bruhat--Tits building
of a $p$-adic group $G$. In this setting, we find that a construction of
Schneider and Stuhler gives equivariant perverse sheaves associated to depth
zero representations.
Matthias Schütt.
We classify singular Enriques surfaces in characteristic two supporting a
rank nine configuration of smooth rational curves. They come in one-dimensional
families defined over the prime field, paralleling the situation in other
characteristics, but featuring novel aspects. Contracting the given rational
curves, one can derive algebraic surfaces with isolated ADE-singularities and
trivial canonical bundle whose Q_l-cohomology equals that of a projective
plane. Similar existence results are developed for classical Enriques surfaces.
We also work out an application to integral models of Enriques surfaces (and K3
surfaces).
Matthieu ROMAGNY ; Dajano Tossici.
We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \to \text{Lie}(G, I) \to E \to G \to 1$ where G is an affine, smooth group scheme over k. Here k is an arbitrary commutative ring and $k[I] = k \oplus I$ with $I^2 = 0$. The equivalence is given by Weil restriction, and we provide a quasi-inverse which we call Weil extension. It is compatible with the exact structures and the $\mathbb{O}_k$-module stack structures on both categories. Our constructions rely on the use of the group algebra scheme of an affine group scheme; we introduce this object and establish its main properties. As an application, we establish a Dieudonné classification for smooth, commutative, unipotent group schemes over $k[I]$.
Anne Lonjou.
To reinforce the analogy between the mapping class group and the Cremona
group of rank $2$ over an algebraic closed field, we look for a graph
analoguous to the curve graph and such that the Cremona group acts on it
non-trivially. A candidate is a graph introduced by D. Wright. However, we
demonstrate that it is not Gromov-hyperbolic. This answers a question of A.
Minasyan and D. Osin. Then, we construct two graphs associated to a Vorono\"i
tesselation of the Cremona group introduced in a previous work of the autor. We
show that one is quasi-isometric to the Wright graph. We prove that the second
one is Gromov-hyperbolic.
Enrica Floris ; Vladimir Lazić.
The B-Semiampleness Conjecture of Prokhorov and Shokurov predicts that the
moduli part in a canonical bundle formula is semiample on a birational
modification. We prove that the restriction of the moduli part to any
sufficiently high divisorial valuation is semiample, assuming the conjecture in
lower dimensions.
Hélène Esnault ; Michel Harris.
We prove that the $\ell$-adic Chern classes of canonical extensions of
automorphic vector bundles, over toroidal compactifications of Shimura
varieties of Hodge type over $\bar{ \mathbb{Q}}_p$, descend to classes in the
$\ell$-adic cohomology of the minimal compactifications. These are invariant
under the Galois group of the $p$-adic field above which the variety and the
bundle are defined.
Kazuya Kato ; Takeshi Saito.
There are two ways to define the Swan conductor of an abelian character of
the absolute Galois group of a complete discrete valuation field. We prove that
these two Swan conductors coincide.
Mattias Hemmig.
In this article, we study isomorphisms between complements of irreducible
curves in the projective plane $\mathbb{P}^2$, over an arbitrary algebraically
closed field. Of particular interest are rational unicuspidal curves. We prove
that if there exists a line that intersects a unicuspidal curve $C \subset
\mathbb{P}^2$ only in its singular point, then any other curve whose complement
is isomorphic to $\mathbb{P}^2 \setminus C$ must be projectively equivalent to
$C$. This generalizes a result of H. Yoshihara who proved this result over the
complex numbers. Moreover, we study properties of multiplicity sequences of
irreducible curves that imply that any isomorphism between the complements of
these curves extends to an automorphism of $\mathbb{P}^2$. Using these results,
we show that two irreducible curves of degree $\leq 7$ have isomorphic
complements if and only if they are projectively equivalent. Finally, we
describe new examples of irreducible projectively non-equivalent curves of
degree $8$ that have isomorphic complements.
Amin Gholampour ; Martijn Kool.
We consider the moduli space of stable torsion free sheaves of any rank on a
smooth projective threefold. The singularity set of a torsion free sheaf is the
locus where the sheaf is not locally free. On a threefold it has dimension
$\leq 1$. We consider the open subset of moduli space consisting of sheaves
with empty or 0-dimensional singularity set.
For fixed Chern classes $c_1,c_2$ and summing over $c_3$, we show that the
generating function of topological Euler characteristics of these open subsets
equals a power of the MacMahon function times a Laurent polynomial. This
Laurent polynomial is invariant under $q \leftrightarrow q^{-1}$ (upon
replacing $c_1 \leftrightarrow -c_1$). For some choices of $c_1,c_2$ these open
subsets equal the entire moduli space.
The proof involves wall-crossing from Quot schemes of a higher rank reflexive
sheaf to a sublocus of the space of Pandharipande-Thomas pairs. We interpret
this sublocus in terms of the singularities of the reflexive sheaf.
Jun-Muk Hwang.
We study the singularities of Legendrian subvarieties of contact manifolds in
the complex-analytic category and prove two rigidity results. The first one is
that Legendrian singularities with reduced tangent cones are
contactomorphically biholomorphic to their tangent cones. This result is partly
motivated by a problem on Fano contact manifolds. The second result is the
deformation-rigidity of normal Legendrian singularities, meaning that any
holomorphic family of normal Legendrian singularities is trivial, up to
contactomorphic biholomorphisms of germs. Both results are proved by exploiting
the relation between infinitesimal contactomorphisms and holomorphic sections
of the natural line bundle on the contact manifold.
Indranil Biswas ; Sorin Dumitrescu ; Benjamin McKay.
We show that compact complex manifolds of algebraic dimension zero bearing a holomorphic Cartan geometry of algebraic type have infinite fundamental group. This generalizes the main Theorem in [DM] where the same result was proved for the special cases of holomorphic affine connections and holomorphic conformal structures.
Osamu Iyama ; Michael Wemyss.
In this paper we study rational surface singularities R with star shaped dual
graphs, and under very mild assumptions on the self-intersection numbers we
give an explicit description of all their special Cohen-Macaulay modules. We do
this by realising R as a certain Z-graded Veronese subring S^x of the
homogeneous coordinate ring S of the Geigle-Lenzing weighted projective line X,
and we realise the special CM modules as explicitly described summands of the
canonical tilting bundle on X. We then give a second proof that these are
special CM modules by comparing qgr S^x and coh X, and we also give a necessary
and sufficient combinatorial criterion for these to be equivalent categories.
In turn, we show that qgr S^x is equivalent to qgr of the reconstruction
algebra, and that the degree zero piece of the reconstruction algebra coincides
with Ringel's canonical algebra. This implies that the reconstruction algebra
contains the canonical algebra, and furthermore its qgr category is derived
equivalent to the canonical algebra, thus linking the reconstruction algebra of
rational surface singularities to the canonical algebra of representation
theory.
Stefan Schreieder.
Let k be an uncountable algebraically closed field and let Y be a smooth
projective k-variety which does not admit a decomposition of the diagonal. We
prove that Y is not stably birational to a very general hypersurface of any
given degree and dimension. We use this to study the variation of the stable
birational types of Fano hypersurfaces over fields of arbitrary characteristic.
This had been initiated by Shinder, whose method works in characteristic zero.