代数几何

We develop a $\mathbf{P}^1$-unstable non-$\mathbf{A}^1$-invariant theory of motivic spaces and spectra, and construct the Gysin map therein for regular immersions. This in particular gives the Gysin map in the Annala--Hoyois--Iwasa…

We introduce the concise secant varieties, which are, informally speaking, modular partial desingularisations of secant varieties to Segre embeddings. More precisely, they are projective and birational to the abstract secant varieties, yet…

Superspecial curves are important objects in number theory and algebraic geometry, and the existence in genus $g \geq 4$ remains an open problem for all but finitely many characteristics $p > 0$. As a computational approach to this problem,…

We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended $r$-spin classes to the extended direction and deduce…

Given $X$ a cominuscule Grassmannian (or irreducible Hermitian symmetric space) and an integer $p,$ we compute the minimum $l(p)$ such that $H^0 (\Omega^p_X (l(p)))$ is not 0. This allows us to conclude that any codimension-one foliation of…

We address the question of normal-crossings-preserving resolution of singularities (NC-preserving resolution), and compare the cases of characteristic 0 and characteristic 2. In characteristic 0, it is shown by Belotto da Silva and…

We study the homology groups of the complement of a complexified real line arrangement with coefficients in complex rank-one local systems. Using Borel--Moore homology, we establish an algorithm computing their dimensions via the real…

Let $K$ be a complete non-archimedean field over $\mathbb{Q}_p$, $G$ be a rigid group over $K$, and $X$ be a perfectoid space over $K$. We consider the natural morphism of sites $\nu: X_v \to X_{\mathrm{\acute{e}t}}$. It is known from work…

We compute the intersections between the automorphism strata and the pullback by the Torelli map of the Ekedahl-Oort strata inside the moduli space of genus two curves. We first describe explicitly which possible automorphism groups a genus…

Consider real-analytic mapping-germs, (R^n,o)-> (R^m,o). They can be equivalent (by coordinate changes) complex-analytically, but not real-analytically. However, if the transformation of complex-equivalence is identity modulo higher order…

Let $S$ be a complex smooth projective surface with a genus two fibration, and $\mathrm{Aut}_s(S)$ the group of symplectic automorphisms, fixing every holomorphic 2-forms (if any) on $S$. Based on the work of Jin-Xing Cai, we observe in…

Splitting invariants describe how a plane curve "splits" by the pull-back under a Galois cover over the projective plane whose branch locus contains no component of the plane curve. They enable us to distinguish the embedded topology of…

We study Arinkin's Poincar\'e sheaf $\mathcal{P}_C$ on the singular locus of $\overline{\mathsf{Jac}}_C$, the compactified Jacobian of rank one torsion-free sheaves on an integral nodal projective curve $C$. Each stratum of the singular…

In this article, we carry out the flattening techniques developped in a former work in order to ``embellish" a map between compact analytic spaces, to describe the structure of its image, getting this way a substitute for Chevalley's…

A conjecturally complete list of connected components of complements of discriminant varieties (aka wave fronts) of smooth function singularities of type $X_{10}^3$ and $X_{10}^1$ is presented; it are the first examples of not…

We define a new notion of affine subspace concentration conditions for lattice polytopes, and prove that they hold for smooth and reflexive polytopes with barycenter at the origin. Our proof involves considering the slope stability of the…

We prove that the moduli space of numerical Godeaux surfaces with torsion group $\mathbb{Z}/2$ is irreducible and unirational of dimension 8. Moreover, we show that the topological fundamental group of these surfaces is also $\mathbb{Z}/2$.…

We develop a theory of principal determinants and hypergeometric systems for realizable matroids. Our framework parallels the toric theory of Gel'fand, Kapranov, and Zelevinsky (GKZ), but with the combinatorics of matroids and their flats…

The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $\Gamma$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not…

The holomorphy conjecture for suspensions of plane curve singularities and the holomorphy and monodromy conjectures for L\^e-Yomdin singularities of surfaces are proved. The first part of this paper provides formul{\ae} for the motivic and…