代数几何

In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.

This article is a continuation of my previous paper on miraculous pentagrams published in Annales Scientifiques de Facult\'e des Sciences de Toulouse in 2013. We discuss the moduli space of miraculous pentagrams which is the Del Pezzo…

We define certain stacks of rank one sheaves on a smooth projective variety, and show that they admit proper good moduli spaces. We offer several applications to contractions of subschemes inside Hilbert schemes of points. We construct a…

We survey what is known about Fano threefold weighted complete intersections from the point of view of birational rigidity.

We study quasi-$F^e$-split and quasi-$F$-regular singularities, which generalize Yobuko's quasi-$F$-splitting. We establish Fedder type criteria that characterize these properties for hypersurfaces. These criteria offer explicit tools for…

This is the first article in a series aimed at classifying normal del Pezzo surfaces of Picard rank one over algebraically closed fields of arbitrary characteristic up to an isomorphism. Our guiding invariant is the height of a del Pezzo…

Let $(X,D)$ be an open log del Pezzo surface of rank one, that is, $X$ is a normal projective surface of Picard rank one, the boundary $D$ is a reduced nonzero divisor on $X$, and the anti-log canonical divisor $-(K_X+D)$ is ample. We show…

Let $(X,\Delta)$ be a dlt log Calabi-Yau pair admitting a polarized endomorphism. We show that $(X,\Delta)$ is a finite quotient of a toric log Calabi-Yau fibration over an abelian variety. We provide an example which shows that the…

For a polynomial function $f \colon \mathbb{C}^n \longrightarrow \mathbb{C}$, it is well-known in singularity theory (after Thom, Pham, Verdier,...) that outside a finite subset of $\mathbb{C}$, the function is a locally trivial…

We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In…

We give a list of universal linear relations between the Euler characteristics of manifolds consisting of multisingularities of a generic Lagrangian map into a five-dimensional space. From these relations it follows, in particular, that the…

We show that A. Javanpeykar's proof of Belyi's theorem for smooth complete intersections of general type in ordinary projective spaces can be generalised to smooth complete intersections of general type in generalised Grassmannians and…

We use the construction of the stable homotopy category by Khan-Ravi to calculate the integral $T$-equivariant $K$-theory spectrum of a flag variety over an affine scheme, where $T$ is a split torus associated to the flag variety. More…

Building on To\"en's work on affine stacks, we develop a certain homotopy theory for schemes, which we call "unipotent homotopy theory." Over a field of characteristic $p>0$, we prove that the unipotent homotopy group schemes…

Consider the space parameterising curves of genus g>1 equipped with a quadratic differential with simple zeroes. We use the geometry of isomonodromic deformations to construct a complex hyperkahler structure on the total space of its…

A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the August 2025 version, with a completely revised section on vanishing cycles.

We introduce the notion of $\mathbb{E}_\infty$-descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are $\mathbb{E}_\infty$-descendable. As an application, we prove a variant of…

The BRIDGES meeting in gauge theory, extremal structures, and stability was held in June 2024 at l'Institut d'\'Etudes Scientifiques de Carg\`ese in Corsica, organized by Daniele Faenzi, Eveline Legendre, Eric Loubeau, and Henrique S\'a…

We study several properties of the symmetric power $S^mX$ of a smooth variety $X$. We describe the Picard and divisor class groups of $S^mX$ when $X$ is projective. We give a complete description of the stratification of $S^mX$ by iterated…

We prove that the Nash problem holds for two-dimensional rational double points in all characteristics. The proof is based on a direct computation of the families of arcs through these singularities.