SearcharxivSearch

arXiv subjects

Riccardo Moschetti

Publications and source records attributed to Riccardo Moschetti.

At least 19 recordsLinked to original sources

Motivic and cohomological stabilisation of the Quot scheme of points

We prove that the motive of the punctual Quot scheme $\mathrm{Quot}^d(\mathscr O^{\oplus r}_{\mathbb A^n})_0$ stabilises, when $n \to \infty$, to $[\mathrm{Gr}(d-1,\infty)]\cdot \sum_{i=0}^{r-1}\mathbb L^{di}$. We similarly show that the Poincar\'e polynomial of the Quot scheme $ \mathrm{Quot}^d(\mathscr O^{\oplus r}_{\mathbb A^n})$ stabilises and we compute the limit in terms of the infinite Grassmannian. Finally, we prove that the motive of the nested Hilbert scheme stabilises to the motive of the infinite flag variety and we compute the cohomology ring in the limit. These results provide affirmative evidence to a question of Pandharipande concerning the cohomology of Quot schemes on $\mathbb A^\infty$.

math.AG

Enriques surfaces with non-generic non-degeneracy

We study the non-degeneracy invariant $\mathrm{nd}(Y)$ of complex Enriques surfaces in families. Our first main result shows that $\mathrm{nd}(Y)$ cannot increase under specialization. The second main result is the conclusion of the computation of the non-degeneracy invariant for the $155$ families of $(\tau,\overline{\tau})$-generic surfaces introduced by Brandhorst and Shimada. Of the previously known $144$ cases, only $3$ satisfy $\mathrm{nd}(Y)\neq10$, which is the non-degeneracy invariant of a general Enriques surface. The remaining $11$ families studied in this article also have non-generic non-degeneracy. To compute this, we produce upper bounds on $\mathrm{nd}(Y)$ by refining this invariant into two others: the Fano and Mukai non-degeneracy invariants, which are related to two different classes of projective realizations of Enriques surfaces. As a result, we find the first known examples of Enriques surfaces with $\mathrm{nd}(Y)=9$.

math.AG

L-equivalence and Fourier--Mukai partners of cubic fourfolds

We study L-equivalence in the Grothendieck ring of varieties and its interaction with categorical invariants of cubic fourfolds. Assuming a Derived Torelli-type criterion for Kuznetsov components and a mild condition on the discriminant of the transcendental lattice, we prove a counting formula for Fourier--Mukai partners of such cubic fourfolds. As an application, we exhibit cubic fourfolds with a fixed algebraic lattice admitting a unique non-trivial Fourier--Mukai partner, which is trivially L-equivalent to the original. Finally, we show that L-equivalence classes of cubic fourfolds are finite.

math.AG

Conic linear series and pencils of plane quartics

We study linear systems cut out by cones of fixed degree on a smooth complex curve $C\subset\mathbb{P}^{3}$. We develop a systematic study of the families of such systems, considering their limits, their infinitesimal behaviour and some associated geometric structures. As an application, we prove the existence of a non-isotrivial pencil of quartics with only one base point, all whose members are irreducible and whose general member is smooth.

math.AG

Enumeration of partitions via socle reduction

We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.

math.CO

Pencils of plane cubics with one base point

We study pencils of plane cubics with only one base point and general member smooth, giving a complete classification. Under the additional hypothesis that all members are irreducible, we prove that there exists a unique non-isotrivial pencil with these properties up to projective transformation. We compare our construction with the classical approaches given by Gattazzo, Beauville and Miranda-Persson.

math.AG

The motive of the Hilbert scheme of points in all dimensions

We prove a closed formula for the generating function $\mathsf Z_d(t)$ of the motives $[\mathrm{Hilb}^d(\mathbb A^n)_0] \in K_0(\mathrm{Var}_{\mathbb C})$ of punctual Hilbert schemes, summing over $n$, for fixed $d>0$. The result is an expression for $\mathsf Z_d(t)$ as the product of the zeta function of $\mathbb P^{d-1}$ and a polynomial $\mathsf P_d(t)$, which in particular implies that $\mathsf Z_d(t)$ is a rational function. Moreover, we reduce the complexity of $\mathsf P_d(t)$ to the computation of $d-8$ initial data, and therefore give explicit formulas for $\mathsf Z_d(t)$ in the cases $d \leq 8$, which in turn yields a formula for $[\mathrm{Hilb}^{\leq 8}(X)]$ for any smooth variety $X$. We perform a similar analysis for the Quot scheme of points, obtaining explicit formulas for the full generating function (summing over all ranks and dimensions) for $d \leq 4$. In the limit $n \to \infty$, we prove that the motives $[\mathrm{Hilb}^d(\mathbb A^n)_0]$ stabilise to the class of the infinite Grassmannian $\mathrm{Gr}(d-1,\infty)$. Finally, exploiting our geometric methods, we conjecture (and partially confirm) a structural result on the 'error' measuring the discrepancy between the count of higher dimensional partitions and MacMahon's famous guess.

math.AG

The non-degeneracy invariant of Brandhorst and Shimada's families of Enriques surfaces

Brandhorst and Shimada described a large class of Enriques surfaces, called $(\tau,\overline{\tau})$-generic, for which they gave generators for the automorphism groups and calculated the elliptic fibrations and the smooth rational curves up to automorphisms. In the present paper, we give lower bounds for the non-degeneracy invariant of such Enriques surfaces, we show that in most cases the invariant has generic value $10$, and we present the first known example of complex Enriques surface with infinite automorphism group and non-degeneracy invariant not equal to $10$.

math.AG

Fullness of the Kuznetsov-Polishchuk exceptional collection for the spinor tenfold

Kuznetsov and Polishchuk provided a general algorithm to construct exceptional collections of maximal length for homogeneous varieties of type A,B,C,D. We consider the case of the spinor tenfold and we prove that the corresponding collection is full, i.e. it generates the whole derived category of coherent sheaves. As a step of the proof, we construct some resolutions of homogeneous vector bundles which might be of independent interest.

math.AG

A computational view on the non-degeneracy invariant for Enriques surfaces

For an Enriques surface $S$, the non-degeneracy invariant $\mathrm{nd}(S)$ retains information on the elliptic fibrations of $S$ and its polarizations. In the current paper, we introduce a combinatorial version of the non-degeneracy invariant which depends on $S$ together with a configuration of smooth rational curves, and gives a lower bound for $\mathrm{nd}(S)$. We provide a SageMath code that computes this combinatorial invariant and we apply it in several examples. First we identify a new family of nodal Enriques surfaces satisfying $\mathrm{nd}(S)=10$ which are not general and with infinite automorphism group. We obtain lower bounds on $\mathrm{nd}(S)$ for the Enriques surfaces with eight disjoint smooth rational curves studied by Mendes Lopes-Pardini. Finally, we recover Dolgachev and Kond\=o's computation of the non-degeneracy invariant of the Enriques surfaces with finite automorphism group and provide additional information on the geometry of their elliptic fibrations.

math.AG

A note on non-uniform points for projections of hypersurfaces

Let X be an irreducible, reduced complex projective hypersurface of degree d. A uniform point for X is a point P such that the projection of X from P has maximal monodromy. We extend and improve some results concerning the finiteness of the locus of non-uniform points for projections of hypersurfaces obtained by the authors and Cuzzucoli only for P not contained in X.

math.AG

Z/rZ-equivariant covers of P^1 with moving ramification

Let X -> P^1 be a general cyclic cover. We give a simple formula for the number of equivariant meromorphic functions on X subject to ramification conditions at variable points. This generalizes and gives a new proof of a recent result of the second author and Pirola on hyperelliptic odd covers.

math.AG

Hyperelliptic odd coverings

We investigate a class of odd (ramification) coverings $C \to \mathbb{P}^1$ where $C$ is hyperelliptic, its Weierstrass points maps to one fixed point of $\mathbb{P}^1$ and the covering map makes the hyperelliptic involution of $C$ commute with an involution of $\mathbb{P}^1$. We show that the total number of hyperelliptic odd coverings of minimal degree $4g$ is ${3g \choose g-1} 2^{2g}$ when $C$ is general. Our study is approached from three main perspectives: if a fixed effective theta characteristic is fixed they are described as a solution of a certain class of differential equations; then they are studied from the monodromy viewpoint and a deformation argument that leads to the final computation.

math.AG

Monodromy of projections of hypersurfaces

Let $X$ be an irreducible, reduced complex projective hypersurface of degree $d$. A point $P$ not contained in $X$ is called uniform if the monodromy group of the projection of $X$ from $P$ is isomorphic to the symmetric group $S_d$. We prove that the locus of non--uniform points is finite when $X$ is smooth or a general projection of a smooth variety. In general, it is contained in a finite union of linear spaces of codimension at least $2$, except possibly for a special class of hypersurfaces with singular locus linear in codimension $1$. Moreover, we generalise a result of Fukasawa and Takahashi on the finiteness of Galois points.

math.AG

Alternating Catalan numbers and curves with triple ramification

It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g.

math.AG

A descent criterion for equivalences between equivariant derived categories

We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between the equivariant derived categories to descend to the categories of perfect complexes.

math.AG

Equivalence of K3 surfaces from Verra threefolds

We study (2,2) divisors in $P^2 \times P^2$ giving rise to pairs of non-isomorphic, derived equivalent and L-equivalent K3 surfaces of degree 2. In particular, we confirm the existence of such fourfolds as predicted by Kuznetsov and Shinder in \cite{KS}.

math.AG