代数几何
In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…
Let $(S, 0) \subset (\mathbb{C}^{d+1},0)$ be an irreducible germ of hypersurface. The germ $(S,0)$ is quasi-ordinary if $(S,0)$ has a finite projection to $(\mathbb{C}^d,0)$ which is unramified outside the coordinate hyperplanes. This…
Affine Deligne-Lusztig varieties in the fully Hodge-Newton decomposable (or minute) case are the only larger class of ADLVs which could be described completely in the past. Instances of them play important roles in arithmetic geometry, from…
We study the higher Nash blow-ups introduced by T. Yasuda and investigate the higher version of the classical Nobile's theorem. In particular, we give a characteristic free proof of the higher Nobile's theorem for the graded case. We also…
We give an overview of recent developments around a characteristic class version of the Hodge index theorem for singular complex algebraic varieties. This was formulated by Brasselet-Schuermann-Yokura as a conjecture expressing the…
We classify the number of $k$-rational lines and conic fibrations on del Pezzo surfaces over a field $k$ in terms of relatively minimal surfaces and establish rational curve analogues of the inverse Galois problem for del Pezzo surfaces. We…
In this paper, we study homogeneous convex foliations on the complex projective plane $\mathbb{P}^2$. A foliation is called convex if all of its leaves, except straight lines, have no inflection points, and such foliations form a Zariski…
In this paper, we prove that for a threefold of Fano type $X$ and a movable $\mathbb{Q}$-Cartier Weil divisor $D$ on $X$, the number of smooth varieties that arise during the running of a $D$-MMP is bounded by $1 + h^1(X, 2D)$.…
In this paper, we generalize the notion of rational singularities for any reflexive sheaf of rank $1$, link our notion of rational singularities with the notion of rational singularities in [Kov11], and prove generalizations of standard…
It is known that the set of log canonical thresholds (lcts) on any varieties with fixed dimension satisfies the ascending chain condition. Inspired by the foliated minimal model program, it is intriguing to study the foliated version of…
We establish, for each orbifold crepantly resolving a Kleinian singularity, the existence of the cohomological Hall algebra (COHA) of coherent sheaves supported on the exceptional locus and explicitly compute this COHA as a completion of…
Let $X=G/H$ be a spherical homogeneous variety for a complex reductive algebraic group $G$. We prove that the orbit space of $X$ under the action of a maximal compact subgroup $K\subset G$ is homeomorphic to the valuation cone of $X$. We…
We construct explicit families of hyperelliptic curves over $\QQ$ whose Jacobians admit complex multiplication (CM). Each curve in these families is defined by \[ v^2 = (u+2)\,\varphi_d(u), \quad d = 2^e \text{ or } d=p \geq 3 \text{…
We give a solution to the Poincar\'e Problem, in the formulation of Cerveau and Lins Neto. We obtain a bound on the degree of general leaves of foliations of general type, which is linear in $g$. To achieve this we study the birational…
In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a…
We show that a Frobenius reciprocity map on character varieties of surfaces is a Poisson embedding.
We construct a fully-faithful functor of $\infty$-categories from complexes of D-cap modules with Fr\'echet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\infty$-categories of D-cap modules…
In this survey, we explain how to compute both the quadratic Euler characteristic of nearby cycles, and the motivic monodromy, at a quasi-homogeneous singularity. This gives, for such singularity, a quadratic refinement to the…
Consider a projective variety $X \subset \mathbb{P}^n$ (over an algebraically closed field of characteristic zero), together with a (reduced) simple normal crossings divisor $E \subset \mathbb{P}^n$, where the degrees of both $X$ and $E$…
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…