代数几何

The Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was…

In their work, \cite{GR}, Gaitsgory and Rozenblyum introduce a derived version of the well-studied arc spaces of classical algebraic geometry. They observe that these derived spaces do not differ from their classical counterparts in the…

We study the relationship between line bundles on tropical compactifications of a very affine variety $Y$ and toric b-divisors on the associated tropical variety ${\rm Trop}(Y)$. By focusing on numerical equivalence classes, we construct a…

We study numerical invariants associated with the reduction of singularities of holomorphic foliation germs on $(\mathbb{C}^2, 0)$. Building on our previous work on generalized curve foliations, we extend explicit formulas for several…

Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove…

For prime Fano threefolds $X$ of genus $g=12$, $10$ or $9$, and for totally disjoint pairs of lines $Z_1$, $Z_2$ in $X$, we establish links from the blowups of $X$ along $Z_1$ and $Z_2$. If $g=12$, then the links end with the blowups of…

We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets…

We construct an explicit normal singular affine toric variety X of dimension five over an algebraically closed field of characteristic three such that the normalized Nash blowup of X already contains an open affine subset isomorphic to X.…

Asgarli, Ghioca, and Reichstein proved that if $K$ is a field with $|K|>2$, then for any positive integers $d$ and $n$, and separable field extension $L/K$ with degree $m=\binom{n+d}{d}$, there exists a point $P\in \mathbb{P}^n(L)$ which…

In this paper, we see several basic properties of graded linear series. We firstly see that, if a graded linear series contains an ample series, then so are the pullbacks of the system under birational morphisms. Using this proposition, we…

We compute the genus-0 permutation-equivariant quantum K-theory of Fermat singularities, in parallel with the Givental-Lee theory for projective varieties. We extend Givental-Tonita's formalism of adelic Lagrangian cones to the singularity…

In this paper, we prove a refinement of the Katsura theorem on finite group actions on abelian surfaces such that the quotient is birational to a $K3$ surface. As an application, we compute traces of Frobenius on the Neron--Severi groups of…

Notes on algebraic stacks, prepared for an 11-lecture course at the NCTS, Taipei, during the fall of 2022.

In this paper, we consider some variations on Mann's definition $\infty$-categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that have the additional requirement of having Grothendieck and…

We show that every flag variety contains a naturally defined homogeneous cominuscule subvariety. From the Dynkin diagram of the flag variety, we compute the Dynkin diagram of that subvariety.

This expository article is based on the author's talk at the Kinosaki Algebraic Geometry Symposium 2025. We discuss some recent progress surrounding stable degeneration in algebraic K-stability theory.

In this note, we prove a correspondence between filtrations and b-divisors over a general class of Noetherian local domains. As an application in the global setting, we prove a recent conjecture of Ro\'e-Urbinati.

We prove that the connection vector fields associated to ample Poisson line bundles are not locally hamiltonian unless the Poisson structure is zero. We use this result to provide further evidence on Bondal's conjecture regarding the…

Given a connected reductive algebraic group $G$, we consider the class of spherical subgroups $H \subset G$ such that $H$ is regularly embedded in a parabolic subgroup $P \subset G$ and $H,P$ have a common Levi subgroup $L$. In a previous…

A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate,…