Searcharxiv⌕ Search

arXiv subjects

Monica Idà

Publications and source records attributed to Monica Idà.

11 recordsLinked to original sources

Some remarks on degeneracy of tridimensional tensors

We study tridimensional tensors on the complex field from the point of view of hypermatrices, taking into consideration the problem of determining whether they are degenerate or not, concise or not, what is their essential format if they are non-coincise, and, in some cases, their tensor rank. We use a geometrical approach to these problems which, in part, goes back to Schläfli and consists in studying certain determinantal schemes associated to the hypermatrix.

math.AG↗

Superfat points and associated tensors

We consider 0-dimensional schemes supported at a single point in n-space that are m-symmetric, i.e. that intersect any smooth curve passing through the point with length m, and the ones among them that are maximal with respect to inclusion (called m-superfat points). We study properties of such schemes, in particular for n=2. We give a first application of the simplest such schemes, namely 2-superfat points in the plane, by studying varieties defined by them on Veronese and Segre-Veronese varieties and the (symmetric or partially symmetric) tensors they parameterize.

math.AG↗

On the Jacobian Scheme of a plane curve

We study the Jacobian scheme of a plane algebraic curve at an ordinary singularity, characterizing it through a geometric property. We compute the Tjurina number for a family of curves at an ordinary singularity showing that it reaches the minimum possible value, using very elementary methods, essentially Gröbner basis. We give an algorithm that gives the analytic type of a double point using the algebraic version of the Mather-Yau Theorem.

math.AG↗

Newton-Puiseux algorithm and triple points for planes curves

The paper is an introduction to the use of the classical Newton-Puiseux procedure, oriented to an algorithmic description of it. This procedure enables to get polynomial approximations for parameterizations of branches of an algebraic plane curve at a singular point. We look for an approach that can be easily grasped and almost self contained. We illustrate the use of the algorithm, first in a completely worked out example of a curve with a point of multiplicity 6, and secondly in the study of triple points on reduced plane curves.

math.AG↗

Remarks on double points of plane curves

We study the relation between the type of a double point of a plane curve and the curvilinear 0-dimensional subschemes of the curve at the point. An Algorithm related to a classical procedure for the study of double points via osculating curves is described and proved. Eventually we look for a way to create examples of rational plane curves with given singularities $A_s$.

math.AG↗

Singularities of plane rational curves via projections

We consider the parameterization ${\mathbf{f}}=(f_0,f_1,f_2)$ of a plane rational curve $C$ of degree $n$, and we want to study the singularities of $C$ via such parameterization. We do this by using the projection from the rational normal curve $C_n\subset \mathbb{P}^n$ to $C$ and its interplay with the secant varieties to $C_n$. In particular, we define via ${\mathbf{f}}$ certain 0-dimensional schemes $X_k\subset \mathbb{P}^k$, $2\leq k\leq (n-1)$, which encode all information on the singularities of multiplicity $\geq k$ of $C$ (e.g. using $X_2$ we can give a criterion to determine whether $C$ is a cuspidal curve or has only ordinary singularities). We give a series of algorithms which allow to get info about the singularities from such schemes.

math.AG↗

On Parameterizations of plane rational curves and their syzygies

Let $C$ be a plane rational curve of degree $d$ and $p:\tilde C \rightarrow C$ its normalization. We are interested in the splitting type $(a,b)$ of $C$, where $\mathcal{O}_{\mathbb{P}^1}(-a-d)\oplus \mathcal{O}_{\mathbb{P}^1}(-b-d)$ gives the syzigies of the ideal $(f_0,f_1,f_2)\subset K[s,t]$, and $(f_0,f_1,f_2)$ is a parameterization of $C$. We want to describe in which cases $(a,b)=(k,d-k)$ ($2k\leq d)$, via a geometric description; namely we show that $(a,b)=(k,d-k)$ if and only if $C$ is the projection of a rational curve on a rational normal surface in $\mathbb{P}^{k+1}$.

math.AG↗

On plane rational curves and the splitting of the tangent bundle

Given an immersion $ϕ: P^1 \to ¶^2$, we give new approaches to determining the splitting of the pullback of the cotangent bundle. We also give new bounds on the splitting type for immersions which factor as $ϕ: P^1 \cong D \subset X \to P^2$, where $X \to P^2$ is obtained by blowing up $r$ distinct points $p_i \in P^2$. As applications in the case that the points $p_i$ are generic, we give a complete determination of the splitting types for such immersions when $r \leq 7$. The case that $D^2=-1$ is of particular interest. For $r \leq8$ generic points, it is known that there are only finitely many inequivalent $ϕ$ with $D^2=-1$, and all of them have balanced splitting. However, for $r=9$ generic points we show that there are infinitely many inequivalent $ϕ$ with $D^2=-1$ having unbalanced splitting (only two such examples were known previously). We show that these new examples are related to a semi-adjoint formula which we conjecture accounts for all occurrences of unbalanced splitting when $D^2=-1$ in the case of $r=9$ generic points $p_i$. In the last section we apply such results to the study of the resolution of fat point schemes.

math.AG↗

On the minimal free resolution for fat point schemes of multiplicity at most 3 in P^2

Let Z be a fat point scheme in P^2 supported on general points. Here we prove that if the multiplicities are at most 3 and the length of Z is sufficiently high then the number of generators of the homogeneous ideal I_Z in each degree is as small as numerically possible. Since it is known that Z has maximal Hilbert function, this implies that Z has the expected minimal free resolution.

math.AG↗

Betti numbers for fat point ideals in the plane: a geometric approach

We consider the open problem of determining the graded Betti numbers for fat point subschemes supported at general points of the projective plane. We relate this problem to the open geometric problem of determining the splitting type of the pullback of the cotangent bundle on the plane to the normalization of certain rational plane curves. We give a conjecture for the graded Betti numbers which would determine them in all degrees but one for every fat point subscheme supported at general points of the plane. We also prove our Betti number conjecture in a broad range of cases. An appendix discusses many more cases in which our conjecture has been verified computationally and provides a new and more efficient computational approach for computing graded Betti numbers in certain degrees. It also demonstrates how to derive explicit conjectural values for the Betti numbers and how to compute splitting types.

math.AG↗

The role of the cotangent bundle in resolving ideals of fat points in the plane

We study the connection between the generation of a fat point scheme supported at general points in the plane and the behaviour of the cotangent bundle with respect to some rational curves particularly relevant for the scheme. We put forward two conjectures, giving examples and partial results in support of them.

math.AG↗