代数几何
In \cite{BCO25}, Bruzzo, Capasso and Otero extended the notion of ampleness of vector bundles to the more general context of Higgs bundles. But the ampleness of Higgs bundles did not coincide with the ampleness of vector bundles when the…
We develop a general theory of Cartesian and non-Cartesian polynomials on products of complex spaces $\mathbb{C}^{n_1} \times \cdots \times \mathbb{C}^{n_k}$. We prove that, for any fixed degree $d \ge 2$, a (Zariski) generic polynomial is…
We prove that being of klt type is not an open condition in flat families of varieties. This answers a question of Han and Jiang. The construction in this paper substantially uses generative AI: the general idea for the counterexample was…
We study the Cox rings of smooth anticanonical Calabi-Yau hypersurfaces in smooth toric Fano varieties. Using the combinatorics of primitive pairs of the ambient Fano polytope and the description of Cox rings of embedded varieties via…
In this paper, we study tensor spaces beyond the boundary format and analyze whether the general critical space coincides with the general span of singular vector tuples. For all tensor spaces exceeding the boundary format by one in an…
We give negative answers to both parts of a question of Mauri and Moraga on log Calabi-Yau pairs whose boundary decomposes into big divisors. The main result of this paper is obtained by generative AI, particularly Chatgpt 5.5 pro and the…
We show that the cohomology of the structure sheaf of smooth and proper schemes over a complete non-archimedean field $K$ of characteristic zero, can be refined to an $\mathbf{A}^1$-invariant cohomology theory of smooth (not necessarily…
In this article, we compute both the algebraic and the analytic Brauer groups of a homogeneous space under the action of a connected, simply connected, semisimple complex algebraic group, where the stabilizer subgroup is closed and…
We introduce a notion of K-stability for adjoint foliated structures via test configurations and the foliated Donaldson-Futaki invariant. We prove reduction to special test configurations for adjoint Fano foliated structures by showing that…
We denote by $\mathcal{R}_{g;m}$ the moduli space of $m$--pointed Prym curves of genus $g$, that is, tuples $[\widetilde C / C; x_1, \dots, x_m]$ where $[C, x_1, \dots, x_m]$ is an $m$--pointed curve of genus $g$ and $\widetilde C/ C$ is an…
We show that for every foliation $\mathcal{F}$ of rank $r$ on a normal projective variety, the optimal constant in the bend-and-break inequality for tangent rational curves is $r+1$. The proof combines the method of Bogomolov--McQuillan and…
Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and…
We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by asymptotic invariants, closely paralleling the theory of volumes in algebraic geometry. We introduce and…
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the…
For a wildly ramified extension $K/k$ of complete discrete valuation fields we study collections of elements of $k[G]$ (where $G=Gal(K/k)$) that fit well for constructing bases of various associated Galois modules and orders. In the case…
We prove that the anti-canonical volume of an $n$-dimensional K-semistable Fano manifold that is not $\mathbb{P}^n$ is at most $2n^n$. Moreover, the volume is equal to $2n^n$ if and only if $X\cong \mathbb{P}^1\times \mathbb{P}^{n-1}$ or…
We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0}…
Using techniques in logarithmic geometry, we construct a logarithmic analogue of the Fulton--MacPherson configuration spaces. We similarly construct a logarithmically smooth degeneration of the Fulton--MacPherson configuration spaces. Both…
We compute the Cox ring of an embedded variety $X \subseteq Z$ within a Mori dream space, under the assumption that the pullback map induces an isomorphism at the level of divisor class groups. We show that the Cox ring of $X$ is the…
Given two real symmetric matrices, their eigenvalue configuration is the relative arrangement of their eigenvalues on the real line. In this paper, we consider the following problem: given two parametric real symmetric matrices and an…