arXiv subjects

Vladimiro Benedetti

Publications and source records attributed to Vladimiro Benedetti.

At least 19 recordsLinked to original sources

arXiv2026

Some divisors in the moduli space of Debarre-Voisin varieties

Let $V_{10}$ be a 10-dimensional complex vector space and let $σ\in\bigwedge^3V_{10}^\vee$ be a non-zero alternating 3-form. One can define several associated degeneracy loci: the Debarre-Voisin hyperkähler variety $X_6^σ\subset\mathrm{Gr}(6,V_{10})$, the Peskine variety $X_1^σ\subset\mathbf{P}(V_{10})$, and the hyperplane section $X_3^σ\subset \mathrm{Gr}(3,V_{10})$. We prove that when smooth, the varieties $X_6^σ$, $X_1^σ$, and $X_3^σ$ share one common integral Hodge structure, and that $X_1^σ$ and $X_3^σ$ both satisfy the integral Hodge conjecture in all degrees. This is obtained as a consequence of a detailed analysis of the geometry of these varieties along three divisors in the moduli space. On one of the divisors, an associated K3 surface $S$ of degree 6 can be constructed geometrically and the Debarre-Voisin fourfold is shown to be isomorphic to a moduli space of twisted sheaves on $S$, in analogy with the case of cubic fourfolds containing a plane.

math.AG↗

arXiv2026

An atomic criterion for irrationality without quantum computations

The birational invariants introduced by Katzarkov-Kontsevich-Pantev-Yu allows one to obtain irrationality results for varieties whose quantum cohomology is well-behaved. We observe that under certain cohomological conditions, we can deduce irrationality of a very general member from the theory of atoms without actually computing them, using only monodromy equivariance of quantum multiplication and irreducibility of the monodromy representation. Our criterion applies to the very general cubic and Gushel-Mukai fourfolds, whose irrationalities were already known, but also to the very general K{ü}chle fourfold of type (c5), which is a Fano manifold of index one.

math.AG↗

arXiv2026

Logarithmic Derivations of Adjoint Discriminants

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane incidence, twisted by the tautological ample line bundle is isomorphic to logarithmic differentials along $D$. Then we focus on the adjoint discriminant $D$ of a simple Lie group with Lie algebra $\mathfrak{g}$ over an algebraically closed field $\mathbf{k}$ of characteristic zero and study the logarithmic module $\mathrm{Der}_{\mathbf{U}}(-\log(D))$ over $\mathbf{U} = \mathbf{k}[\mathfrak{g}]$. When $\mathfrak{g}$ is simply laced, we show that this module has two direct summands: the $G$-invariant part, which is free with generators in degrees equal to the exponents of $G$, and the $G$-variant part, which is of projective dimension one, presented by the Jacobian matrix of the basic invariants of $G$ and isomorphic to the image of the map $\mathbf{ad}\,: \mathfrak{g} \otimes \mathbf{U}(-1) \rightarrow \mathfrak{g} \otimes \mathbf{U}$ given by the Lie bracket. When $\mathfrak{g}$ is not simply laced, we give a length-one equivariant graded free resolution of $\mathrm{Der}_{\mathbf{U}}(-\log(D))$ in terms of the exponents of $G$ and of the quasi-minuscule representation of $G$.

math.AG↗

arXiv2026

Quantum cohomology and birational geometry of Verra fourfolds

We compute the small quantum cohomology ring of a Verra fourfold. Using the theory of atoms recently developped by Katzarkov--Kontsevich--Pantev--Yu, and building on recent papers of the authors, we deduce that a Verra fourfold is never birational to a very general cubic fourfold, nor to a very general Gushel--Mukai fourfold, whereas it was previously known that a general Verra fourfold is birational to a general nodal Gushel--Mukai fourfold. More precisely, we show that for every smooth cubic fourfold or smooth Gushel--Mukai fourfold that is birational to some Verra fourfold, the primitive cohomology is isomorphic, as a rational Hodge structure, to the middle cohomology of some projective K3 surface.

math.AG↗

arXiv2026

Quantum cohomology and irrationality of Gushel-Mukai fourfolds

We compute the small quantum cohomology of Gushel-Mukai fourfolds. Following [13], our computations imply that the very general ones are not rational. Following [8], and thanks to a suitable deformation of the small quantum cohomology ring, we also deduce that a rational Gushel-Mukai fourfold has the same rational cohomology as some K3 surface.

math.AG↗

arXiv2026

Minimal-Degree Foliations on Cominuscule Grassmannians

Given $X$ a cominuscule Grassmannian (or irreducible Hermitian symmetric space) and an integer $p,$ we compute the minimum $l(p)$ such that $H^0 (Ω^p_X (l(p)))$ is not 0. This allows us to conclude that any codimension-one foliation of degree zero on a cominuscule Grassmannian is a pencil of hyperplanes, improving a result of the first and third authors with D. Faenzi. We also deduce the structure of codimension-one foliations of degree one. Finally, we provide families of examples of high codimensional foliations of minimal degree on classical Grassmannians, Lagrangian Grassmannians, Spinor varieties, and the Cayley plane.

math.AG↗

arXiv2025

Göpel Varieties

We show that the Coble hypersurfaces, uniquely characterized by the remarkable property that their singular loci are an abelian surface and a Kummer threefold, respectively, belong to a family of hypersurfaces exhibiting similar behavior, but defined in various types of homogeneous spaces. With the help of Jordan-Vinberg theory, we show how these hypersurfaces can be parametrized by G{ö}pel type varieties inside projectivized representations of complex reflection groups.

math.AG↗

arXiv2025

Intersection of two quadrics: modular interpretation and Hitchin morphism

The cotangent bundle $T^*X$ of a smooth intersection $X$ of two quadrics admits a Lagrangian fibration determined by the intrinsic geometry of $X$. We show that this fibration is actually the Hitchin morphism if we endow $X$ with a structure of moduli space of twisted Spin-bundles. This generalises the classical result for threefolds, in which case it recovers the Hitchin fibration for the moduli space of rank two bundles with fixed determinant of odd degree on a curve of genus two.

math.AG↗

arXiv2024

On a conjecture on aCM and Ulrich sheaves on degeneracy loci

In this paper we address a conjecture by Kleppe and Miró-Roig stating that suitable twists by line bundles (on the smooth locus) of the exterior powers of the normal sheaf of a standard determinantal locus are arithmetically Cohen--Macaulay, and even Ulrich when the locus is linear determinantal. We do so by providing a very simple locally free resolution of such sheaves obtained through the so-called Weyman's Geometric Method.

math.AG↗

arXiv2024

Quantum K-theory of IG(2, 2n)

We prove that the Schubert structure constants of the quantum K-theory rings of symplectic Grassmannians of lines have signs that alternate with codimension and vanish for degrees at least 3. We also give closed formulas that characterize the multiplicative structure of these rings, including the Seidel representation and a Chevalley formula.

math.AG↗

arXiv2023

Hecke cycles on moduli of vector bundles and orbital degeneracy loci

Given a smooth genus two curve $C$, the moduli space SU$_C(3)$ of rank three semi-stable vector bundles on $C$ with trivial determinant is a double cover in $\mathbb{P}^8$ branched over a sextic hypersurface, whose projective dual is the famous Coble cubic, the unique cubic hypersurface that is singular along the Jacobian of $C$. In this paper we continue our exploration of the connections of such moduli spaces with the representation theory of $GL_9$, initiated in \cite{GSW} and pursued in \cite{GS, sam-rains1, sam-rains2, bmt}. Starting from a general trivector $v$ in $\wedge^3\mathbb{C}^9$, we construct a Fano manifold $D_{Z_{10}}(v)$ in $G(3,9)$ as a so-called orbital degeneracy locus, and we prove that it defines a family of Hecke lines in SU$_C(3)$. We deduce that $D_{Z_{10}}(v)$ is isomorphic to the odd moduli space SU$_C(3, \mathcal{O}_C(c))$ of rank three stable vector bundles on $C$ with fixed effective determinant of degree one. We deduce that the intersection of $D_{Z_{10}}(v)$ with a general translate of $G(3,7)$ in $G(3,9)$ is a K3 surface of genus $19$.

math.AG↗

arXiv2023

Derived category of the spinor 15-fold

We construct a full exceptional Lefschetz collection on the spinor 15-fold consisting of a connected component of the space of orthogonal 6-dimensional subspaces of a 12-dimensional complex vector space, isotropic with respect of a fixed non-degenerate quadratic form. The collection is made of 2 twists of a 4-item block and 8 twists of a 3-item block, confirming a conjecture of Kuznetsov and Smirnov. We speculate that a similar collection might work for the Freudenthal E7-variety.

math.AG↗

arXiv2023

Rationality of peskine varieties

We study the rationality of the Peskine sixfolds in P^9. We prove the rationality of the Peskine sixfolds in the divisor D^{3,3,10} inside the moduli space of Peskine sixfolds and we provide a cohomological condition which ensures the rationality of the Peskine sixfolds in the divisor D^{1,6,10} (notation from [BS]). We conjecture, as in the case of cubic fourfolds containing a plane, that the cohomological condition translates into a cohomological and geometric condition involving the Debarre-Voisin hyperk{ä}hler fourfold associated to the Peskine sixfold.

math.AG↗

arXiv2023

The Coble Quadric

Given a smooth genus three curve $C$, the moduli space of rank two stable vector bundles on C with trivial determinant embeds in $\mathbb{P}^8$ as a hypersurface whose singular locus is the Kummer threefold of $C$; this hypersurface is the Coble quartic. Gruson, Sam and Weyman realized that this quartic could be constructed from a general skew-symmetric fourform in eight variables. Using the lines contained in the quartic, we prove that a similar construction allows to recover SU$_C(2, L)$, the moduli space of rank two stable vector bundles on C with fixed determinant of odd degree L, as a subvariety of $G(2, 8)$. In fact, each point $p \in C$ defines a natural embedding of SU$_C(2, \mathcal{O}(p))$ in $G(2, 8)$. We show that, for the generic such embedding, there exists a unique quadratic section of the Grassmannian which is singular exactly along the image of SU$_C(2, \mathcal{O}(p))$, and thus deserves to be coined the Coble quadric of the pointed curve $(C, p)$.

math.AG↗

arXiv2023

Codimension one foliations on homogeneous varieties

The aim of this paper is to study codimension one foliations on rational homogeneous spaces, with a focus on the moduli space of foliations of low degree on Grassmannians and cominuscule spaces. Using equivariant techniques, we show that codimension one degree zero foliations on (ordinary, orthogonal, symplectic) Grassmannians of lines, some spinor varieties, some Lagrangian Grassmannians, the Cayley plane (an $E_6$-variety) and the Freudenthal variety (an $E_7$-variety) are identified with restrictions of foliations on the ambient projective space. We also provide some evidence that such results can be extended beyond these cases.

math.AG↗

arXiv2022

Cohomology of hyperplane sections of (co)adjoint varieties

In this paper we study general hyperplane sections of adjoint and coadjoint varieties. We show that these are the only sections of homogeneous varieties such that a maximal torus of the automorphism group of the ambient variety stabilizes them. We then study their geometry, provide formulas for their classical cohomology rings in terms of Schubert classes and compute the quantum Chevalley formula. This allows us to obtain results about the semi-simplicity of the (small) quantum cohomology, analogous to those holding for (co)adjoint varieties.

math.AG↗

arXiv2022

Discriminants of Theta-Representations

Tevelev has given a remarkable explicit formula for the discriminant of a complex simple Lie algebra, which can be defined as the equation of the dual hypersurface of the minimal nilpotent orbit, or of the so-called adjoint variety. In this paper we extend this formula to the setting of graded Lie algebras, and express the equation of the corresponding dual hypersurfaces in terms of the reflections in the little Weyl groups, the associated complex reflection groups. This explains for example why the codegree of the Grassmannian $G(4, 8)$ is equal to the number of roots of $\mathfrak{e}_7$ .

math.AG↗

arXiv2021

Projective manifolds whose tangent bundle is Ulrich

In this article, we give numerical restrictions on the Chern classes of Ulrich bundles on higher-dimensional manifolds, which are inspired by the results of Casnati in the case of surfaces. As a by-product, we prove that the only projective manifolds whose tangent bundle is Ulrich are the twisted cubic and the Veronese surface. Moreover, we prove that the cotangent bundle is never Ulrich.

math.AG↗