 |
Volume 3
Troisième volume de l'Épijournal de Géométrie Algébrique - 2019
1. Sur des familles infinies d’actions non équivalentes du cercle réel sur l’espace affine de dimension 4
Le résultat principal de cet article est de construire des familles infinies de formes réelles équivariantes, non équivalentes entre elles, d’actions linéaires de $\mathbb{C}^*$ sur l’espace affine de dimension 4. L’article [F-MJ] construisait un exemple d’action du cercle non linéarisable. Ici nous généralisons ce résultat en développant une nouvelle approche qui nous permet de comparer les différentes formes réelles. Les constructions de ces formes réelles s’appuient sur la structure de $\mathrm{O}_2(\mathbb{C})$-fibrés vectoriels équivariants.
2. Double spinor Calabi-Yau varieties
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.
3. $\overline{M}_{1,n}$ is usually not uniruled in characteristic $p$
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.
4. Socle pairings on tautological rings
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$.
5. Smooth affine group schemes over the dual numbers
Nous construisons une équivalence entre la catégorie des schémas en groupes affines et lisses sur l'anneau des nombres duaux généralisés k[I], et la catégorie des extensions de la forme 1 → Lie(G, I) → E → G → 1 où G est un schéma en groupes affine, lisse sur k. Ici k est un anneau commutatif arbitraire et k[I] = k ⊕ I avec I 2 = 0. L'équivalence est donnée par la restriction de Weil, et nous construisons un foncteur quasi-inverse explicite que nous appelons extension de Weil. Ces foncteurs sont compatibles avec les structures exactes et avec les structures de champs en O k-modules des deux catégories. Nos constructions s'appuient sur le schéma en algèbres de groupe d'un schéma en groupes affines, que nous introduisons et dont nous donnons les propriétés principales. En application, nous donnons une classification de Dieudonné pour les schémas en groupes commutatifs, lisses, unipotents sur k[I] lorsque k est un corps parfait.
6. P-adic lattices are not Kähler groups
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.
7. Irregular Hodge numbers of confluent hypergeometric differential equations
We give a formula computing the irregular Hodge numbers for a confluent hypergeometric differential equation.
8. Equivariant perverse sheaves on Coxeter arrangements and buildings
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.
9. Pluricomplex Green's functions and Fano manifolds
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.
10. Q_l-cohomology projective planes and singular Enriques surfaces in characteristic two
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).
11. Sur l'hyperbolicité de graphes associés au groupe de Cremona
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.
12. On the B-Semiampleness Conjecture
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.
13. Weighted Projective Lines and Rational Surface Singularities
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.
14. Chern classes of automorphic vector bundles, II
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.
15. Coincidence of two Swan conductors of abelian characters
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.
16. Isomorphisms between complements of projective plane curves
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.
17. Higher rank sheaves on threefolds and functional equations
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.
18. Rigidity properties of holomorphic Legendrian singularities
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.
19. CARTAN GEOMETRIES ON COMPLEX MANIFOLDS OF ALGEBRAIC DIMENSION ZERO
Nous montrons que toute variété complexe compacte de dimension algébrique nulle possédant une géométrie de Cartan holomorphe de type algébrique doit avoir un groupe fondamental infini. Il s’agit d’une généralisation du théorème principal de [DM] où le même résultat était montré dans le cas particulier des connexions affines holomorphes et des structures conformes holomorphes.
20. Variation of stable birational types in positive characteristic
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.