代数几何

Let $X$ be the variety of flexes of plane cubics. We prove that (1) $X$ is an irreducible rational algebraic variety endowed with a faithful algebraic action of ${\rm PSL}_3$; (2) $X$ is ${\rm PSL}_3$-equivariantly birationally isomorphic…

For any log Fano pair with a torus action, we associate a computable invariant to it, such that the pair is (weighted) K-polystable if and only if this invariant is greater than one. As an application, we present examples of Fano varieties…

We prove that for a locally stable family of klt singularities with constant local volume, the ideal sequences of the minimizing valuations for the normalized volume function form a family of ideals with flat cosupport, which induces a…

Let $\Sigma_{g'}\to \Sigma_g$ be a cover of an orientable surface of genus g by an orientable surface of genus g', branched at n points, with Galois group H. Such a cover induces a virtual action of the mapping class group…

We describe the obstruction to decomposing in degrees $\leq p$ the de Rham complex of a smooth variety over a perfect field $k$ of characteristic $p$ that lifts over $W_2(k)$, and show that there exist liftable smooth projective varieties…

We study hyperbolicity properties of the moduli space of polarized abelian varieties (also known as the Siegel modular variety) in characteristic $p$. Our method uses the plethysm operation for Schur functors as a key ingredient and…

We prove vanishing results for the coherent cohomology of the good reduction modulo $p$ of the Siegel variety with coefficients in some automorphic bundles. We show that for an automorphic bundle with highest weight $\lambda$ near the walls…

In algebraic geometry there is a well-known categorical equivalence between the category of normal proper integral curves over a field $k$ and the category of finitely generated field extensions of $k$ of transcendence degree $1$. In this…

Starting from computer experiments with the fundamental group of the Cartwright--Steger surface, we construct an infinite tower $(X_n)_{n\ge 1}$ of normal projective surfaces obtained by successive $\mathbb Z/3$-Galois covers $X_{n}\to…

In this paper, we determine the motive of the classifying torsor of an algebraic torus. As a result, we give an exact sequence describing the degree 4 cohomological invariants of algebraic tori. Using results by Blinstein and Merkurjev,…

We define quantum deformations of Adams operations in $K$-theory, in the framework of quasimap quantum $K$-theory. They provide $K$-theoretic analogs of the quantum Steenrod operations from equivariant symplectic Gromov--Witten theory. We…

This work revolves around the question of whether a given resonance variety is associated with a vector bundle. We show the existence of a family of natural morphisms on a stratification of the resonance variety to a suitable family of a…

We extend work of Voight and the second author to compute the log canonical ring of a wild stacky curve over a field of characteristic $p > 0$, which allows us to compute rings of mod $p$ modular forms of level $\Gamma_{0}(N)$. Our approach…

We investigate locally closed subspaces of projectivized strata of abelian differentials which classify trigonal curves with canonical divisor a multiple of a trigonal divisor. We describe their orbifold structure using linear systems on…

Edoukou, Ling and Xing in 2010, conjectured that in \mathbb{P}^n(\mathbb{F}_{q^2}), n \geq 3, the maximum number of common points of a non-degenerate Hermitian variety \mathcal{U}_n and a hypersurface of degree d is achieved only when the…

A sequence is difference algebraic (or D-algebraic) if finitely many shifts of its general term satisfy a polynomial relationship; that is, they are the coordinates of a generic point on an affine hypersurface. The corresponding equations…

Positive geometries were introduced by Arkani-Hamed--Bai--Lam as a method of computing scattering amplitudes in theoretical physics. We show that a positive geometry from a polytope admits a log resolution of singularities to another…

A classical problem in algebraic geometry is to construct smooth algebraic varieties with prescribed properties. In the approach via smoothings, one first constructs a degenerate scheme with the prescribed properties, and then shows the…

For a non-constant complex rational function $P$, the lemniscate of $P$ is defined as the set of points $z\in \mathbb C$ such that $\vert P(z)\vert =1$. The lemniscate of $P$ coincides with the set of real points of the algebraic curve…

We determine the possible finite groups $G$ of symplectic automorphisms of hyperk\"ahler manifolds which are deformation equivalent to the second Hilbert scheme of a K3 surface. We prove that $G$ has such an action if, and only if, it is…