代数几何
In this work we study line arrangements consisting in lines passing through three non-aligned points. We call them triangular arrangements. We prove that any combinatorics of a triangular arrangement is always realized by a…
Motivated by problems on the \'etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the \'etale…
We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…
For a simple flop $X\dashrightarrow X'$, we construct a correspondence between genus $0$ descendant Gromov-Witten theories of $X$ and $X'$. We show that the Fourier-Mukai equivalence induced by $X\dashrightarrow X'$ is compatible, in a…
For a smooth projective surface $S$, Johnson, Oprea, and Pandharipande defined cohomological descendent generating series for the Quot schemes of rank-$0$ quotients of $\mathcal{O}_S^{\oplus N}$. We prove that these series are rational in…
Let X(1,3,a) be a crepant resolution of the quotient singularity C^3/G, where G is a diagonal cyclic subgroup of SL(3,\C) acting on C^3 with weights (1,3,a). For each such X(1,3,a), we construct a (Q,W)-configuration of spherical objects in…
A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an…
We provide a short proof of the necessity of Crawley-Boevey's condition in his solution to the Deligne-Simpson problem. The proof relies on the local neighbourhood theorem for $2$-Calabi-Yau categories due to Davison together with…
We study one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Working within a deliberately minimal finite-node bulk/localized-sector formalism, we identify the first categorical layer suggested…
We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial…
A Tate-Shafarevich twist $X^\phi\to B$ of a fibration $X\to B$ modifies it by a $1$-cocycle of flows of vector fields relative to the base, locally in the analytic topology. Sacc\`a conjectured that the total spaces of two projective…
We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring…
We study the integral models of meta-unitary Shimura varieties through the lens of Scholze's fiber product conjecture. Reformulating Bultel's original construction in terms of moduli stacks of Shtukas and Igusa stacks, we prove the validity…
We establish the equivalence of three notions of $\mathbb{F}_q$-rational points on weighted projective spaces $\mathbb{P}_{\mathbf{w}}^n$ and derive explicit combinatorial formulas for their enumeration, leveraging Burnside's lemma and gcd…
We determine the ring structure of the torus-equivariant cohomology of rank-one juggling varieties with rational coefficients. By realizing these varieties as cyclic quiver Grassmannians, we construct a Knutson--Tao type basis for their…
Using the homological sieve method developed by Das--Lehmann--Tosteson and the author, we prove Peyre's all height approach to Manin's conjecture for split quintic del Pezzo surfaces defined over $\mathbb F_q(t)$ assuming $q$ is…
We investigate in this paper the so-called pointed Shafarevich problem for families of primitive symplectic varieties. More precisely, for any fixed pointed curve $(B, 0)$ and any fixed primitive symplectic variety $X$, among all locally…
In this paper, we present a general wall crossing theory for K-stability and K-moduli of log Fano pairs whose boundary divisors can be non-proportional to the anti-canonical divisor. Along the way, we prove that there are only finitely many…
In this work, we describe a prenormal form for the generators of the semigroup of a toric variety $X \subset \mathbb{C}^p$ with isolated singularity at the origin and smooth normalization. A complete description of the semigroup is given…
We study the integral Chow ring of the stack $\mathcal{H}_{g,n}$ parametrizing $n$-pointed smooth hyperelliptic curves of genus $g$. We compute the integral Chow ring of $\mathcal{H}_{g,n}$ for $n=1,2$ completely, while for $3\leq…