代数几何

In this paper, we study the $\eta$-completed part of the motivic spectrum $\text{MSp}$ constructed by Panin and Walter, representing the universal $\text{Sp}$-oriented cohomology theory. In particular, we investigate the inclusion…

Let $X$ be a complex smooth Fano variety of dimension $n$. Assume that $X$ admits a birational contraction of an extremal ray. In this paper, we give a classification of such $X$ when the pseudoindex is equal to $\frac{\dim X}{2}$.

In this paper we propose and study topological and Hodge theoretic analogues of Grothendieck's section conjecture over the complex numbers. We study these questions in the context of family of curves, in particular Kodaira fibrations, and…

Using the $\infty$-categorical enhancement of mixed Hodge modules constructed by the author in a previous paper, we explain how mixed Hodge modules canonically extend to algebraic stacks, together with all the $6$ operations and weights. We…

Let $X$ be a smooth threefold over an algebraically closed field of positive characteristic. We prove that an arbitrary flop of $X$ is smooth. To this end, we study Gorenstein curves of genus one and two-dimensional elliptic singularities…

Fedorov and Sabbah--Yu calculated the (irregular) Hodge numbers of hypergeometric connections. In this paper, we study the irregular Hodge filtrations on hypergeometric connections defined by rational parameters, and provide a new proof of…

The problem of studying the two seemingly unrelated sets of invariants forming the Segre and the Verlinde series has gone through multiple different adaptations including a version for the virtual geometries of Quot schemes on surfaces and…

We study extension of scalars for sheaves of vector spaces, assembling results that follow from well-known statements about vector spaces, but also developing some complements. In particular, we formulate Galois descent in this context, and…

Let $R$ be a complete valuation ring of mixed characteristic $(0,p)$ with algebraically closed fraction field $K$ and residue field $k$. Let $X/R$ be a smooth projective morphism. We show that if $X_k$ is stably rational, then $H^3(X_K,…

These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…

Rayleigh quotient minimization deals with optimizing a quadratic homogeneous function over a sphere. Its critical points correspond to the normalized eigenvectors of the symmetric matrix associated with the quadratic form. In this paper, we…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

Let $M_1$ be the moduli space of the KSBA stable surfaces $X$ of geometric genus $p_g(X)=1$ realizing the minimal possible volume $K_X^2=\frac1{143}$. We show that its reduced part $M_{1,\rm red}$ is a $10$-dimensional projective variety…

We show that super Gromov-Witten invariants can be defined and computed by methods of tropical geometry. When the target is a point, the super invariants are descendant invariants on the moduli space of curves, which can be computed…

We study the Hulek--Verrill families of Calabi--Yau threefolds. They are birationally equivalent to fibred products of elliptic surfaces, so we expect to be able to compute periods on these threefolds by integrating products of elliptic…

Let $X$ be a smooth projective variety with a nef anticanonical divisor over an algebraically closed field of characteristic $p>0$. In this paper, we establish a precise structure of $X$ under the condition that $a_X: X \to {\rm Alb}(X)$ is…

We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac…

Hartshorne developed a theory of generalized divisors on Gorenstein schemes to characterize codimension-one closed subschemes without embedded points. Generalized divisors can be viewed as a generalization of Weil divisors to non-normal…

In the toric variety $\mathcal{T}$, with Cox ring graded by $\deg(z_{2i})=(1,-1,0)$, $\deg(z_{2i+1})=(1,0,-1)$ and $\deg(w_\pm)=(0,1,0),(0,0,1)$, we study hypersurfaces $\widetilde{X}^{2n}\subset\mathcal T$ of multidegree $(2d+1,-d,-d)$…

We describe affine monoids whose group of invertible elements is an active semidirect product of a unipotent group and a torus, in terms of comultiplications on the algebra of regular functions. We introduce the notion of a root monoid,…