代数几何

Let $\pi\,:\, X \,\longrightarrow\, Y$ be a finite morphism of smooth projective varieties defined over an algebraically closed field of characteristic zero. We study the necessary and sufficient criteria for $\pi$ such that there exists a…

We study Fourier transforms induced by Markman's projectively hyperholomorphic bundles on products of hyper-K\"ahler varieties of $K3^{[n]}$-type. As applications, we prove the following. (a) Derived equivalent hyper-K\"ahler varieties of…

We give yet another proof of the Riemann hypothesis for smooth projective varieties over a finite field (Deligne's theorem), by reducing to the hypersurface case. The latter was established by N. Katz via an elementary argument. A reduction…

We show that for any degree $d$ hypersurface $Y \subset X$ in a possibly singular projective variety $X \subset \mathbf{P}^N$, the total Betti number of $Y$ is bounded by $3\text{deg}(X)\cdot d^n + C\cdot d^{n-1}$ for some explicit constant…

We give a lower bound on the Ulrich complexity of hypersurfaces of dimension $n \ge 6$. The bound improves the result in [BES] for $n \le 78$.

The moduli space of bundle stable pairs $\overline{M}_C(2,\Lambda)$ on a smooth projective curve $C$, introduced by Thaddeus, is a smooth Fano variety of Picard rank two. Focusing on the genus two case, we show that its K-moduli space is…

We study stability conditions on reducible Kodaira curves obtained from degenerations of elliptic curves. We describe connected components of the spaces of stability conditions and compute the groups of deck transformations of those…

We establish a relative Riemann-Hilbert correspondence for Alexander complexes (also known as Sabbah specialization complexes) by using relative regular holonomic $\mathscr D$-modules in an equivariant way, which particularly gives a…

In this paper, we define vector bundles within the framework of almost mathematics (referred to as almost vector bundles) and establish the $v$-descent theorem together with a structure theorem for these bundles over perfectoid spaces. The…

The border apolarity technique was introduced in our earlier work for secant varieties over complex numbers. We extend the theory to cactus varieties of toric varieties over any algebraically closed field. A border cactus decomposition is a…

Let $Y$ be an irreducible non-singular affine $G$-variety with a $2$-large action. We show that the Hamiltonian reduction $T^*Y/\!\!/\!\!/G$ is a symplectic variety with terminal singularities, isomorphic to the affine closure of…

In a previous paper, arXiv:1301.4409, we showed that the moduli space of curves C with a G-symmetry (that is, with a faithful action of a finite group G), having a fixed generalized homological invariant, is irreducible if the genus g' of…

We prove that the local Euler class of a line on a degree $2n-1$ hypersurface in projective $n+1$ space is given by a product of indices of Segre involutions. Segre involutions and their associated indices were first defined by Finashin and…

For a smooth quasi-affine variety $X$, the affine closure $\overline{T^*X} := \text{Spec}(\mathbb{K}[T^*X])$ contains $T^*X$ as an open subset, and its smooth locus carries a symplectic structure. A natural question is whether…

We develop algorithms to compute two versions of the motivic Hilbert zeta function for curve singularities: the classical version, applicable to singularities with a monomial valuation semigroup or to singular curves defined by…

In this paper, we classify irregular threefolds with numerically trivial canonical divisors in positive characteristic. For such a variety, if its Albanese dimension is not maximal, then the Albanese morphism will induce a fibration which…

Given a crepant contraction f to a singularity X, we may expect a derived symmetry of the source of f. Under easily-checked geometric assumptions, I construct such a symmetry when X is a hypersurface in a smooth ambient S, using a spherical…

This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of…

Based on previous work by the author we deduce that the invariant introduced by Bierstone and Milman in order to give a proof for constructive resolution of singularities in characteristic zero can be determined purely by considering…

For Fano varieties, significant progress has been made recently in the study of $K$-stability, while the understanding of the weaker but more algebraic concept of $(-K)$-slope stability remains intricate. For instance, a conjecture…