SearcharxivSearch

arXiv subjects

Andrea Bruno

Publications and source records attributed to Andrea Bruno.

15 recordsLinked to original sources

The second syzygy schemes of curves of large degree

The present paper is a natural continuation of a previous work where we studied the second syzygy scheme of canonical curves. We find sufficient conditions ensuring that the second syzygy scheme of a genus--$g$ curve of degree at least $2g+2$ coincide with the curve. If the property $(N_2)$ is satisfied, the equality is ensured by a more general fact. If $(N_2)$ fails, then the analysis uses the known case of canonical curves.

math.AG

Symmetry resolution of the computable cross-norm negativity of two disjoint intervals in the massless Dirac field theory

We investigate how entanglement in the mixed state of a quantum field theory can be described using the cross-computable norm or realignment (CCNR) criterion, employing a recently introduced negativity. We study its symmetry resolution for two disjoint intervals in the ground state of the massless Dirac fermion field theory, extending previous results for the case of adjacent intervals. By applying the replica trick, this problem boils down to computing the charged moments of the realignment matrix. We show that, for two disjoint intervals, they correspond to the partition function of the theory on a torus with a non-contractible charged loop. This confers a great advantage compared to the negativity based on the partial transposition, for which the Riemann surfaces generated by the replica trick have higher genus. This result empowers us to carry out the replica limit, yielding analytic expressions for the symmetry-resolved CCNR negativity. Furthermore, these expressions provide also the symmetry decomposition of other related quantities such as the operator entanglement of the reduced density matrix or the reflected entropy.

hep-th

Irreducibility of Severi varieties on K3 surfaces

Let $(S,L)$ be a general primitively polarized $K3$ surface of genus $g$. For every $0\leq δ\leq g$ we consider the Severi variety parametrizing integral curves in $|L|$ with exactly $δ$ nodes as singularities. We prove that its closure in $|L|$ is connected as soon as $δ\leq g-1$. If $δ\leq g-4$, we obtain the stronger result that the Severi variety is irreducible, as predicted by a well-known conjecture. The results are obtained by degeneration to Halphen surfaces.

math.AG

On the Reliability of the PNU for Source Camera Identification Tasks

The PNU is an essential and reliable tool to perform SCI and, during the years, became a standard de-facto for this task in the forensic field. In this paper, we show that, although strategies exist that aim to cancel, modify, replace the PNU traces in a digital camera image, it is still possible, through our experimental method, to find residual traces of the noise produced by the sensor used to shoot the photo. Furthermore, we show that is possible to inject the PNU of a different camera in a target image and trace it back to the source camera, but only under the condition that the new camera is of the same model of the original one used to take the target image. Both cameras must fall within our availability. For completeness, we carried out 2 experiments and, rather than using the popular public reference dataset, CASIA TIDE, we preferred to introduce a dataset that does not present any kind of statistical artifacts. A preliminary experiment on a small dataset of smartphones showed that the injection of PNU from a different device makes it impossible to identify the source camera correctly. For a second experiment, we built a large dataset of images taken with the same model DSLR. We extracted a denoised version of each image, injected each one with the RN of all the cameras in the dataset and compared all with a RP from each camera. The results of the experiments, clearly, show that either in the denoised images and the injected ones is possible to find residual traces of the original camera PNU. The combined results of the experiments show that, even in theory is possible to remove or replace the \ac{PNU} from an image, this process can be, easily, detected and is possible, under some hard conditions, confirming the robustness of the \ac{PNU} under this type of attacks.

eess.IV

On hyperplane sections of K3 surfaces

Let C be a Brill-Noether-Petri curve of genus g\geq 12. We prove that C lies on a polarized K3 surface, or on a limit thereof, if and only if the Gauss-Wahl map for C is not surjective. The proof is obtained by studying the validity of two conjectures by J. Wahl. Let I_C be the ideal sheaf of a non-hyperelliptic, genus g, canonical curve. The first conjecture states that, if g\geq 8, and if the Clifford index of C is greater than 2, then H^1(P^{g-1}, I_C^2(k))=0, for k\geq 3. We prove this conjecture for g\geq 11. The second conjecture states that a Brill-Noether-Petri curve of genus g\geq 12 is extendable if and only if C lies on a K3 surface. As observed in the Introduction, the correct version of this conjecture should admit limits of polarised K3 surfaces in its statement. This is what we prove in the present work.

math.AG

Rank two vector bundles on polarised Halphen surfaces and the Gauss-Wahl map for du Val curves

A genus-g du Val curve is a degree-3g plane curve having 8 points of multiplicity g, one point of multiplicity g-1, and no other singularity. We prove that the corank of the Gauss-Wahl map of a general du Val curve of odd genus (>11) is equal to one. This, together with the results of [1], shows that the characterisation of Brill-Noether-Petri curves with non-surjective Gauss-Wahl map as hyperplane sections of K3 surfaces and limits thereof, obtained in [3], is optimal.

math.AG

Explicit Brill-Noether-Petri general curves

Let $p_1,\dots, p_9$ be the points in $\mathbb A^2(\mathbb Q)\subset \mathbb P^2(\mathbb Q)$ with coordinates $$(-2,3),(-1,-4),(2,5),(4,9),(52,375), (5234, 37866),(8, -23), (43, 282), \Bigl(\frac{1}{4}, -\frac{33}{8} \Bigr)$$ respectively. We prove that, for any genus $g$, a plane curve of degree $3g$ having a $g$-tuple point at $p_1,\dots, p_8$, and a $(g-1)$-tuple point at $p_9$, and no other singularities, exists and is a Brill-Noether general curve of genus $g$, while a general curve in that $g$-dimensional linear system is a Brill-Noether-Petri general curve of genus $g$.

math.AG

Mukai's program for curves on a K3 surface

Let C be a general element in the locus of curves in M_g lying on some K3 surface, where g is congruent to 3 mod 4 and greater than or equal to 15. Following Mukai's ideas, we show how to reconstruct the K3 surface as a Fourier-Mukai transform of a Brill-Noether locus of rank two vector bundles on C.

math.AG

On some fibrations of $\overline{M}_{0,n}$

The paper is a second step in the study of $\overline{M}_{0,n}$ started in arXiv:1006.0987 [math.AG]. We study fiber type morphisms of this moduli space via Kapranov's beautiful description. Our final goal is to understand if any dominant morphism $f: \overline{M}_{0,n} \to X$ with positive dimensional fibers factors through forgetful morphisms. We prove that this is true if either $n \leq 7$ or $\rm {dim} X \leq 2$ or the rational map induced on $P^{n-3}$ has linear general fibers. Along the way we give examples of forgetful morphisms whose fibers are connected curves of arbitrarily high positive genus, for $n>>0$.

math.AG

A note on the Petri loci

Let $\M_g$ be the course moduli space of complex projective nonsingular curves of genus $g$. We prove that when the Brill-Noether number $ρ(g,r,n)$ is non-negative every component of the Petri locus $P^r_{g,n}\subset \M_g$ whose general member is a curve $C$ such that $W^{r+1}_n(C) = \emptyset$, has codimension one in $\M_g$.

math.AG

The automorphisms group of $\overline{M}_{0,n}$

In this paper we study fiber type morphisms between moduli spaces of pointed rational curves. Via Kapranov's description we are able to prove that the only such morphisms are forgetful maps. This allow us to show that the Automorphism group of $\overline{M}_{0,n}$ is the permutation group on $n$ elements as soon as $n\geq 5$.

math.AG

On homaloidal polynomials

We classify homogeneous polynomials which split as powers of linear forms and whose polar map is birational.

math.AG

Log Sarkisov Program

The purpose of this paper is two-fold. The first is to give a tutorial introduction to the Sarkisov program, a 3-dimensional generalization of Castelnuovo-Nöther Theorem ``untwisting" birational maps between Mori fiber spaces, which was recently established by Corti after Sarkisov and Reid. The second is an attempt to give a logarithmic generalization of the program, introducing the notion of the Sarkisov relation. We give a simple description of the structure of the program and clarify the mechanism of termination connected to the boundedness conjecture of (log) Q-Fano n-folds by Borisov.

alg-geom