代数几何
We prove a projection-triangle statement for projective Calabi--Yau threefold conifold degenerations and use it to organize an intersection-space Hodge atom shadow package. For a nodal central fiber $X_0$, assume the relevant…
Explicit formulas determining the dimension and the degree of the singular subscheme of hypersurfaces in ${\mathbb P}^n$ are given in terms of the graded Betti numbers of the minimal free resolution of the corresponding Jacobian algebra.…
Non-commutative crepant resolutions (NCCRs) are non-commutative versions of classical crepant resolutions in algebraic geometry. For 3-dimensional terminal Gorenstein singularities Iyama and Wemyss proved that all NCCRs are connected by…
We determine the non-reduced components of global nilpotent cones in various cases of interest. In particular, under the appropriate coprimality conditions, we show: (1) the global nilpotent cone for an $L$-twisted…
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). We…
We establish the generalized canonical bundle formula for generalized lc-trivial fibrations with irrational coefficients over non-compact bases in the complex analytic setting, and we show that the discriminant b-divisor and moduli…
We investigate cohomological invariants and motivic invariants of semisimple algebraic groups arising in the Freudenthal magic square. Besides, we show that if the Rost invariant of a strongly inner group of type $E_7$ is a sum of at most…
We prove that one may approximate parametric suprema of constructible and power-constructible functions using functions within the same class. This resolves a conjecture by Adiceam and Cluckers, which was posited after studying a question…
Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various…
We introduce the notion of a Hodge-Riemann pair of cohomology classes that generalizes the classical Hodge-Riemann bilinear relations, and the notion of a Bogomolov pair of cohomology classes that generalizes the Bogomolov inequality for…
We show the finiteness of the N\'eron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal…
This work develops new ideas and tools to establish wall-crossing in Calabi-Yau four categories as originally conjectured by Gross-Joyce-Tanaka. In the process, I set up some necessary new language, including a natural refinement of Joyce's…
In this note, we show that there exists an autoequivalence of positive categorical entropy on the derived category of bielliptic surfaces. This gives the first example of a surface admitting positive categorical entropy in the absence of…
For a subfield $\K$ of the field $\C$ of complex numbers, we consider curve and divisorial valuations on the algebra $\K[[x,y]]$ of formal power series in two variables with the coeficients in $\K$. We compute the semigroup Poincar\'e…
We give conditions for topological and bi-Lipschitz equivalences within a class of mixed singularities of Pham-Brieskorn type. As a consequence, we construct infinite families that are topologically trivial but have distinct bi-Lipschitz…
This article studies the moduli spaces of semistable objects related to two families of Enriques categories over K3 surfaces, coming from quartic double solids and special Gushel--Mukai threefolds. In particular, some classic geometric…
We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
The G3-property of a subvariety was introduced by Hironaka-Matsumura, and plays an important role for deducing connectedness and extension results. Unfortunately, it's a rather elusive notion, which is not always easy to establish. Most of…
We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface $\mathrm{S}$. In particular, we investigate the nature…