代数几何
Let ${\rm k}$ be an algebraically closed field of characteristic 0 and $G$ a connect, reductive group over it. Let $X$ be a projective $G$-variety of complexity 1. We classify $G$-equivariant normal test configurations of $X$ with integral…
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of these in a higher version of the Zariski topos, in order to do…
The tame fundamental group scheme for an algebraic variety is the maximal linearly reductive quotient of Nori's fundamental group scheme. In this paper, we study the tame fundamental group schemes of smooth curves defined over algebraically…
We prove that the Albanese morphism of any normal proper variety $X$ in positive characteristic satisfying $S^0(X, \omega_X) \neq 0$ and $P_2(X) = 1$ is surjective with connected fibers, adn that $\mathrm{Alb}(X)$ is ordinary. We obtain…
In this paper we develop an algebraic theory to study the problem of finding the minimum distance point from an algebraic variety with respect to the Hermitian distance function. The theory generalizes the Euclidean Distance degree…
The double ramification (DR) cycle associated to a line bundle on a family of curves detects where the line bundle becomes fibrewise-trivial. The Hodge-DR Conjecture proposes a formula for powers of the first Chern class of a natural line…
In this paper, we establish a structure theorem for minimal projective klt varieties $X$ that satisfiy Miyaoka's equality $3c_2(X) = c_1(X)^2$. Specifically, we prove that the canonical divisor $K_X$ is semi-ample and that the Kodaira…
We establish a connection between generalised commuting schemes $C_g(U_n)$ of higher genus $g$, which are associated with a group scheme $U_n$ consisting of upper triangular unipotent matrices, and the representation homology…
We give formulas for various valuative invariants of linearized ample line bundles on a projective spherical variety. Then we show how to use these formulas to study $g$-solitons on a Fano spherical variety. As a corollary, we show that for…
In this article, we present two structural results about the Renaudineau-Shaw spectral sequence that computes the cohomology of T-hypersurfaces. The first is a Poincar{\'e} duality satisfied by all its pages of positive index. The second is…
Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…
We construct period sheaves for Hamiltonian spaces, as conjectured in the work of Ben-Zvi, Sakellaridis and Venkatesh, using the perverse pullback functors introduced in the authors' previous work. We prove a dimensional reduction…
Let $\mathbb{F}_q$ be a finite field, and let $F \in \mathbb{F}_q [X]$ be a polynomial with $d = \text{deg} \left( F \right)$ such that $\gcd \left( d, q \right) = 1$. In this paper we prove that the $c$-Boomerang uniformity, $c \neq 0$, of…
We establish a comparison result relating non-archimedean cylinder counts and logarithmic cylinder counts in a smooth affine log Calabi-Yau variety. Using the decomposition theorem and the gluing formula from log Gromov-Witten theory, we…
We address the question of effectivity for calculation of local Weil functions from the viewpoint of presentations of Cartier divisors. This builds on the approach of Bombieri and Gubler as well as the perspective of our earlier works.…
We give a general construction of the motivic fundamental groupoid at tangential basepoints, extending previous works of P. Deligne, A. B. Goncharov, and M. Levine, which were limited to ordinary basepoints or to specific varieties. Given a…
Nonvanishing theorems play a central role in birational geometry, since they derive geometric consequences from numerical information and constitute a crucial step towards abundance and semiampleness problems. General nonvanishing…
We introduce the relative Matsui spectrum, a new invariant associated with a stable \(\infty\)-category equipped with an action. This construction generalizes both Balmer's tensor triangular spectra and Matsui's triangular spectra, and…
The goal of this paper is to first define a Hodge theoretic fundamental group for smooth connected complex algebraic varieties and then prove and study a right exact sequence of Hodge theoretic fundamental groups associated to a smooth…
In this article we study adjoint hypersurfaces of geometric objects obtained by intersecting simple polytopes with few facets in $\mathbb{P}^5$ with the Grassmannian $\mathrm{Gr}(2,4)$. These generalize the positive Grassmannian, which is…