代数几何
Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive…
The Hurwitz form of a projective variety characterizes linear spaces of complementary dimension which meet the variety non-transversally. We extend this notion to varieties in a product of projective spaces. This parallels the multigraded…
We present a complete classification of all arrangements of eight planes in projective threespace that give rise to double octic Calabi-Yau threefolds. Building on earlier work, we determine all 455 combinatorial types and describe the…
We obtain a cohomological interpretation for Batyrev's stringy Hodge numbers in the full generality in which they are defined. In a previous paper, the second and third authors used motivic integration to define the stringy Hodge--Deligne…
We investigate the Brill-Noether theory of rank-two, degree-$d$ stable vector bundles of speciality $3$ on a general $\nu$-gonal curve of genus $g$, $3 \leq \nu < \lfloor \frac{g+3}{2} \rfloor$. Our approach leverages universal extension…
In his proof of the fundamental lemma of the Langlands program, Ng\^o initiated the study of the decomposition theorem for abelian fibrations. When an abelian fibration admits a duality structure, the decomposition theorem and the perverse…
We compute the Balmer spectrum of the category of perfect complexes on an algebraic stack admitting a finite locally free cover by an affine scheme and identify it with the homogeneous spectrum of the cohomology ring.
Let $Y$ denote an irreducible projective curve with at most nodes as singularities and defined over an algebraically closed field of characteristic zero. We study the restriction of the twisted Picard bundles on the compactified Jacobian…
We introduce the notion of domain of finite type $\mathscr{D}\subset\mathbb{R}^n$ generalizing an earlier work of Bodin, Popescu-Pampu and Sorea. Then, we prove that every finite graph admitting a good orientation whose vertices have degree…
By a lattice theoretic approach, Brandhorst--Hashimoto has made the list of K3 surfaces with finite groups of automorphisms which properly contain a maximal symplectic automorphism group. We give $3$ different explicit descriptions to the…
The 121 real schemes, i.e., ambient isotopy classes, of smooth real plane algebraic curves of degree seven were classified by Viro (1984). By constructing one patchwork of the dilated triangle $7\cdot\Delta_2$ for each real scheme, we…
We study finite abelian groups acting on three-dimensional rationally connected varieties. We concentrate on the groups of K3 type, that is, abelian extensions by a cyclic group of groups that faithfully act on a K3 surface. In particular,…
We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes…
We show the resolution of indeterminacy of rational maps from a regular surface to a tame stack locally of finite type over an excellent scheme. The proof uses the valuative criterion for proper tame morphisms, which was proved by Bresciani…
We study unramified Galois $\mathbb{Z}_3 \times \mathbb{Z}_3$ coverings of genus 2 curves and the corresponding Prym varieties and Prym maps. In particular, we prove that any such covering can be reconstructed from its Prym variety, that…
This paper replaces the previous longer version and focuses on the specialty $2$ case. More precisely, in this paper we address the Brill-Noether theory for rank-two, degree $d$ stable bundles of speciality $2$ on a general $\nu$-gonal…
We show that a compact K\"ahler manifold $M$ containing a smooth connected divisor $D$ such that $M \setminus D$ is a homology cell, e.g., contractible, must be projective space with $D$ a hyperplane, provided $\dim M \not \equiv 3 \pmod…
We present a fast and accurate solution to the perspective $n$-points problem, by way of a new approach to the n=4 case. Our solution hinges on a novel separation of variables: given four 3D points and four corresponding 2D points on the…
We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual…
We study equisingularity of families of reduced curves over smooth parameter spaces of arbitrary positive dimension, using the difference between two analytic invariants of a curve singularity: the multiplicity of its Jacobian ideal and its…