代数几何
We exhibit planar, rational curves of large degree over ${\mathbb F}_2$ that have a unique singular point, which has multiplicity 2. In characteristic 0 such curves exist only for degrees up to $6$. v.2: references updated and examples of…
Our purpose in this paper is to construct new examples of twisted Brill Noether loci on curves of genus g greater than 2 with negative expected dimension. We begin by completing the proof of Butler's conjecture for coherent systems of…
We study the iterated limit of a quaternary of means of four terms through the period map from the family of cyclic fourfold coverings of the complex projective line branching at six points to the three-dimensional complex ball…
We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit…
We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality…
For a Noetherian scheme $X$ of finite Krull dimension, Neeman recently established two characterizations of the regularity of $X$ using strong generators and bounded $t$-structures on $\operatorname{Perf}(X)$. In this note, we obtain…
Let $\Sigma_b$ be a closed Riemann surface of genus $b$. We investigate finite quotients $G$ of the pure braid group on two strands $\mathsf{P}_2(\Sigma_b)$ which do not factor through $\pi_1(\Sigma_b \times \Sigma_b)$. Building on our…
I prove "Lefschetz principle"-type theorems for semistable and curve semistable Higgs sheaves on smooth projective varieties defined over an algebraically closed field of characteristic $0$. These theorems are applied to reduce a…
The integral identity conjecture of Kontsevich and Soibelman plays an important role in proving the existence of motivic Donaldson-Thomas invariants for three-dimensional noncommutative Calabi-Yau manifolds. There are a number of different…
Nikulin-type orbifolds are certain singular 4-dimensional irreducible holomorphic symplectic varieties. We show that the monodromy group of Nikulin-type orbifolds is maximal and classify finite order symplectic automorphisms up to…
We prove that the number of curves of a fixed genus g over finite fields is a polynomial function of the size of the field if and only if g is at most 8. Furthermore, we determine for each positive genus g the smallest n such that the…
In this paper, we discuss the cancellation and splitting of the symplectic modules. The symplectic cancellation result presented here can be thought of as an analog of the Projective module cancellation result of Fasel. The symplectic…
We prove a collection of formulas for products of Schubert classes in the quantum $K$-theory ring $QK(X)$ of a cominuscule flag variety $X$. This includes a $K$-theory version of the Seidel representation, stating that the quantum product…
We introduce a category of filtered sheaves on a circle to describe the Stokes phenomenon of linear difference equations with mild singularity. The main result is a mild difference analog of the Riemann-Hilbert correspondence for germs of…
We prove a conjectural correspondence of Cao-Maulik-Toda which relates Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve to the Gopakumar-Vafa invariants of a smooth fiber under an…
We compute the Frobenius trace functions of mirabolic character sheaves defined over a finite field. The answer is given in terms of the character values of general linear groups over the finite field, and the structure constants of…
Let $\pi:(X,L)\rightarrow \mathbb D^*$ be the Fermat family of cubic curves in $\mathbb P^2$. For each $k\geq 1$, we construct a valuatively independent basis for $H^0(X,L^k)$. The construction uses a canonical cost function determined by a…
Let $(X,\Delta)$ be a smooth complex projective simple normal crossing pair of dimension $n\geq 3$ endowed with an everywhere nondegenerate logarithmic conformal tensor. If $K_X+\Delta$ is not nef, then precisely one of the following…
We describe the prismatic F-gauge associated to a finite flat height one group scheme over a smooth variety of positive characteristic. As applications, we derive the description of the crystalline Dieudonn\'e module of…
We study projective one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Existing finite-node theory isolates one rank-one local sector per node on the perverse-sheaf, mixed-Hodge-module, and…