Special volume in honour of Claire Voisin

This volume consists in articles written in honour of Claire Voisin.

1. Finiteness for self-dual classes in integral variations of Hodge structure

Benjamin Bakker ; Thomas W. Grimm ; Christian Schnell ; Jacob Tsimerman.
We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the o-minimal structure $\mathbb{R}_{\mathrm{an},\exp}$.

2. Smooth subvarieties of Jacobians

Olivier Benoist ; Olivier Debarre.
We give new examples of algebraic integral cohomology classes on smooth projective complex varieties that are not integral linear combinations of classes of smooth subvarieties. Some of our examples have dimension 6, the lowest possible. The classes that we consider are minimal cohomology classes on Jacobians of very general curves. Our main tool is complex cobordism.

3. The cotangent bundle of K3 surfaces of degree two

Fabrizio Anella ; Andreas Höring.
K3 surfaces have been studied from many points of view, but the positivity of the cotangent bundle is not well understood. In this paper we explore the surprisingly rich geometry of the projectivised cotangent bundle of a very general polarised K3 surface $S$ of degree two. In particular, we describe the geometry of a surface $D_S \subset \mathbb{P}(\Omega_S)$ that plays a similar role to the surface of bitangents for a quartic in $\mathbb{P}^3$.

4. Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras

Yifei Chen ; Baohua Fu ; Qifeng Li.
To each complex composition algebra $\mathbb{A}$, there associates a projective symmetric manifold $X(\mathbb{A})$ of Picard number one, which is just a smooth hyperplane section of the following varieties ${\rm Lag}(3,6), {\rm Gr}(3,6), \mathbb{S}_6, E_7/P_7.$ In this paper, it is proven that these varieties are rigid, namely for any smooth family of projective manifolds over a connected base, if one fiber is isomorphic to $X(\mathbb{A})$, then every fiber is isomorphic to $X(\mathbb{A})$.

5. Chow groups of surfaces of lines in cubic fourfolds

Daniel Huybrechts.
The surface of lines in a cubic fourfold intersecting a fixed line splits motivically into two parts, one of which resembles a K3 surface. We define the analogue of the Beauville-Voisin class and study the push-forward map to the Fano variety of all lines with respect to the natural splitting of the Bloch-Beilinson filtration introduced by Mingmin Shen and Charles Vial.

6. Perverse-Hodge complexes for Lagrangian fibrations

Junliang Shen ; Qizheng Yin.
Perverse-Hodge complexes are objects in the derived category of coherent sheaves obtained from Hodge modules associated with Saito's decomposition theorem. We study perverse-Hodge complexes for Lagrangian fibrations and propose a symmetry between them. This conjectural symmetry categorifies the "Perverse = Hodge" identity of the authors and specializes to Matsushita's theorem on the higher direct images of the structure sheaf. We verify our conjecture in several cases by making connections with variations of Hodge structures, Hilbert schemes, and Looijenga-Lunts-Verbitsky Lie algebras.

7. K-stability for varieties with a big anticanonical class

Chenyang Xu.
We extend the algebraic K-stability theory to projective klt pairs with a big anticanonical class. While in general such a pair could behave pathologically, it is observed in this note that K-semistability condition will force them to have a klt anticanonical model, whose stability property is the same as the original pair.

8. Remarks on the geometry of the variety of planes of a cubic fivefold

René Mboro.
This note presents some properties of the variety of planes $F_2(X)\subset G(3,7)$ of a cubic $5$-fold $X\subset \mathbb P^6$. A cotangent bundle exact sequence is first derived from the remark made by Iliev and Manivel that $F_2(X)$ sits as a Lagrangian subvariety of the variety of lines of a cubic $4$-fold, which is a hyperplane section of $X$. Using the sequence, the Gauss map of $F_2(X)$ is then proven to be an embedding. The last section is devoted to the relation between the variety of osculating planes of a cubic $4$-fold and the variety of planes of the associated cyclic cubic $5$-fold.

9. The second fundamental form of the moduli space of cubic threefolds in $\mathcal A_5$

Elisabetta Colombo ; Paola Frediani ; Juan Carlos Naranjo ; Gian Pietro Pirola.
We study the second fundamental form of the Siegel metric in $\mathcal A_5$ restricted to the locus of intermediate Jacobians of cubic threefolds. We prove that the image of this second fundamental form, which is known to be non-trivial, is contained in the kernel of a suitable multiplication map. Some ingredients are: the conic bundle structure of cubic threefolds, Prym theory, Gaussian maps and Jacobian ideals.

10. Measures of association between algebraic varieties, II: self-correspondences

Robert Lazarsfeld ; Olivier Martin.
Following a suggestion of Jordan Ellenberg, we study measures of complexity for self-correspondences of some classes of varieties. We also answer a question of Rhyd concerning curves sitting in the square of a very general hyperelliptic curve.

11. On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

Ekaterina Amerik ; Frédéric Campana.
We investigate algebraically coisotropic submanifolds $X$ in a holomorphic symplectic projective manifold $M$. Motivated by our results in the hypersurface case, we raise the following question: when $X$ is not uniruled, is it true that up to a finite étale cover, the pair $(X,M)$ is a product $(Z\times Y, N\times Y)$ where $N, Y$ are holomorphic symplectic and $Z\subset N$ is Lagrangian? We prove that this is indeed the case when $M$ is an abelian variety, and give some partial answer when the canonical bundle $K_X$ is semi-ample. In particular, when $K_X$ is nef and big, $X$ is Lagrangian in $M$ (in fact this also holds without nefness assumption). We also remark that Lagrangian submanifolds do not exist on a sufficiently general Abelian variety, in contrast to the case when $M$ is irreducible hyperkähler.

12. Categorical absorptions of singularities and degenerations

Alexander Kuznetsov ; Evgeny Shinder.
We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper category. We construct (under appropriate assumptions) a categorical absorption for a projective variety $X$ with isolated ordinary double points. We further show that for any smoothing $\mathcal{X}/B$ of $X$ over a smooth curve $B$, the smooth part of the derived category of $X$ extends to a smooth and proper over $B$ family of triangulated subcategories in the fibers of $\mathcal{X}$.

13. On the dual positive cones and the algebraicity of a compact Kähler manifold

Hsueh-Yung Lin.
We investigate the algebraicity of compact Kähler manifolds admitting a positive rational Hodge class of bidimension $(1,1)$. We prove that if the dual Kähler cone of a compact Kähler manifold $X$ contains a rational class as an interior point, then its Albanese variety is projective. As a consequence, we answer the Oguiso--Peternell problem for Ricci-flat compact Kähler manifolds. We also study related algebraicity problems for threefolds.

14. Cohomology classes of complex approximable algebras

Catriona Maclean.
Huayi Chen introduces the notion of an approximable graded algebra, which he uses to prove a Fujita-type theorem in the arithmetic setting, and asked if any such algebra is the graded ring of a big line bundle on a projective variety. This was proved to be false in a previous paper of the author's, who subsequently proved that any such algebra is associated to an infinite Weil divisor. In this paper, we show that over the complex numbers, this infinite Weil divisor necessarily has finite cohomology class.

15. Difference varieties and the Green-Lazarsfeld Secant Conjecture

Gavril Farkas.
The Green-Lazarsfeld Secant Conjecture is a generalization of Green's Conjecture on syzygies of canonical curves to the cases of arbitrary line bundles. We establish the Green-Lazarsfeld Secant Conjecture for curves of genus g in all the divisorial case, that is, when the line bundles that fail to be (p+1)-very ample form a divisor in the Jacobian of the curve.