Showing 1–17 of 17 results for author: Ida, M

Postulation for 2-superfat points in the plane

Authors: Stefano Canino, Maria Virginia Catalisano, Alessandro Gimigliano, Monica Ida, Alessandro Oneto

Abstract: We study the postulation of 0-dimensional schemes given by unions of 2-superfat points in general position in the plane, i.e., the union of local schemes defined by the intersection of two distinct double lines. We prove that such schemes have good postulation, i.e., they have the expected Hilbert function. We also show the good postulation of such schemes when we add a general 3-fat point. Finall… ▽ More We study the postulation of 0-dimensional schemes given by unions of 2-superfat points in general position in the plane, i.e., the union of local schemes defined by the intersection of two distinct double lines. We prove that such schemes have good postulation, i.e., they have the expected Hilbert function. We also show the good postulation of such schemes when we add a general 3-fat point. Finally, we use these results to answer a peculiar kind of interpolation problem. △ Less

Submitted 28 January, 2025; originally announced January 2025.

Comments: 12 pages

MSC Class: 14C20; 14N05

Superfat points and associated tensors

Authors: Stefano Canino, Maria Virginia Catalisano, Alessandro Gimigliano, Monica Idà

Abstract: 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-super… ▽ More 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. △ Less

Submitted 18 September, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 20 pages, 6 figures

Report number: BCSim-2022-s04 MSC Class: 14N07; 15A69; 14C99

On the Jacobian Scheme of a plane curve

Authors: Stefano Canino, Alessandro Gimigliano, Monica Idà

Abstract: 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… ▽ More 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. △ Less

Submitted 7 February, 2024; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 19 pages, 3 tables, 3 figures

MSC Class: 14B05; 14H20

Newton-Puiseux algorithm and triple points for planes curves

Authors: Stefano Canino, Alessandro Gimigliano, Monica Idà

Abstract: 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 com… ▽ More 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. △ Less

Submitted 13 June, 2022; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: 28 pages, 19 figures

MSC Class: 14H20; 14H50;

Remarks on double points of plane curves

Authors: Alessandro Gimigliano, Monica Idà

Abstract: 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$. 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$. △ Less

Submitted 16 January, 2022; originally announced January 2022.

Comments: 15 pages

MSC Class: 14H20

Singularities of plane rational curves via projections

Authors: Alessandra Bernardi, Alessandro Gimigliano, Monica Idà

Abstract: 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 s… ▽ More 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. △ Less

Submitted 18 May, 2017; v1 submitted 7 September, 2016; originally announced September 2016.

Comments: 23 pages, 4 algorithms. Conjecture 4.4 in v1, now is Proposition 4.4. Accepted for the publication in JSC

On Parameterizations of plane rational curves and their syzygies

Authors: Alessandra Bernardi, Alessandro Gimigliano, Monica Idà

Abstract: 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)$ (… ▽ More 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}$. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: 12 Pages

On plane rational curves and the splitting of the tangent bundle

Authors: Alessandro Gimigliano, Brian Harbourne, Monica Idà

Abstract: 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 compl… ▽ More 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. △ Less

Submitted 16 June, 2013; v1 submitted 5 February, 2011; originally announced February 2011.

Comments: 23 pages (version 2 corrects minor typographical errors)

MSC Class: 14C20; 13P10; 14J26; 14J60

Computing symmetric rank for symmetric tensors

Authors: A. Bernardi, A. Gimigliano, M. Idà

Abstract: We consider the problem of determining the symmetric tensor rank for symmetric tensors with an algebraic geometry approach. We give algorithms for computing the symmetric rank for $2\times ... \times 2$ tensors and for tensors of small border rank. From a geometric point of view, we describe the symmetric rank strata for some secant varieties of Veronese varieties. We consider the problem of determining the symmetric tensor rank for symmetric tensors with an algebraic geometry approach. We give algorithms for computing the symmetric rank for $2\times ... \times 2$ tensors and for tensors of small border rank. From a geometric point of view, we describe the symmetric rank strata for some secant varieties of Veronese varieties. △ Less

Submitted 9 August, 2010; v1 submitted 12 August, 2009; originally announced August 2009.

Comments: Journal of Symbolic Computation

MSC Class: 14N05; 13P05; 14J26

Journal ref: Journal of Symbolic Computation 46, (2011), 34-53

Secant varieties to osculating varieties of Veronese embeddings of $\mathbb{P}^n$

Authors: A. Bernardi, M. V. Catalisano, A. Gimigliano, M. Idà

Abstract: A well known theorem by Alexander-Hirschowitz states that all the higher secant varieties of $V_{n,d}$ (the $d$-uple embedding of $\mathbb{P}^n$) have the expected dimension, with few known exceptions. We study here the same problem for $T_{n,d}$, the tangential variety to $V_{n,d}$, and prove a conjecture, which is the analogous of Alexander-Hirschowitz theorem, for $n\leq 9$. Moreover. we prov… ▽ More A well known theorem by Alexander-Hirschowitz states that all the higher secant varieties of $V_{n,d}$ (the $d$-uple embedding of $\mathbb{P}^n$) have the expected dimension, with few known exceptions. We study here the same problem for $T_{n,d}$, the tangential variety to $V_{n,d}$, and prove a conjecture, which is the analogous of Alexander-Hirschowitz theorem, for $n\leq 9$. Moreover. we prove that it holds for any $n,d$ if it holds for $d=3$. Then we generalize to the case of $O_{k,n,d}$, the $k$-osculating variety to $V_{n,d}$, proving, for $n=2$, a conjecture that relates the defectivity of $σ_s(O_{k,n,d})$ to the Hilbert function of certain sets of fat points in $\mathbb{P}^n$. △ Less

Submitted 17 July, 2008; v1 submitted 15 July, 2008; originally announced July 2008.

Comments: 23 pages

MSC Class: 14M99

Journal ref: Journal of Algebra, 321, (2009), pp. 982-1004

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

Authors: Edoardo Ballico, Monica Idà

Abstract: 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. 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. △ Less

Submitted 8 October, 2007; originally announced October 2007.

Comments: 18 pages

MSC Class: 14N05

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

Authors: Alessandro Gimigliano, Brian Harbourne, Monica Idà

Abstract: 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… ▽ More 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. △ Less

Submitted 18 June, 2007; originally announced June 2007.

Comments: 15 pages + 9 page appendix

MSC Class: 14C20; 13P10; 14J26; 14J60

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

Authors: Alessandro Gimigliano, Brian Harbourne, Monica Idà

Abstract: 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. 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. △ Less

Submitted 14 June, 2007; originally announced June 2007.

Comments: 17 pages

MSC Class: 14C20

Osculating Varieties of Veronesean and their higher secant varieties

Authors: A. Bernardi, M. V. Catalisano, A. Gimigliano, M. Idà

Abstract: We consider the varieties $O_{k,n.d}$ of the k-osculating spaces to the Veronese varieties, the $d-$uple embeddings of $\PP n$; we study the dimension of their higher secant varieties. Via inverse systems (apolarity) and the study of certain spaces of forms we are able, in several cases, to determine whether those secant varieties are defective or not. We consider the varieties $O_{k,n.d}$ of the k-osculating spaces to the Veronese varieties, the $d-$uple embeddings of $\PP n$; we study the dimension of their higher secant varieties. Via inverse systems (apolarity) and the study of certain spaces of forms we are able, in several cases, to determine whether those secant varieties are defective or not. △ Less

Submitted 8 March, 2004; originally announced March 2004.

Comments: 12 pages

MSC Class: 14M99

Investigation of transition frequencies of two acoustically coupled bubbles using a direct numerical simulation technique

Authors: Masato Ida

Abstract: The theoretical results regarding the ``transition frequencies'' of two acoustically interacting bubbles have been verified numerically. The theory provided by Ida [Phys. Lett. A 297 (2002) 210] predicted the existence of three transition frequencies per bubble, each of which has the phase difference of $π/2$ between a bubble's pulsation and the external sound field, while previous theories pred… ▽ More The theoretical results regarding the ``transition frequencies'' of two acoustically interacting bubbles have been verified numerically. The theory provided by Ida [Phys. Lett. A 297 (2002) 210] predicted the existence of three transition frequencies per bubble, each of which has the phase difference of $π/2$ between a bubble's pulsation and the external sound field, while previous theories predicted only two natural frequencies which cause such phase shifts. Namely, two of the three transition frequencies correspond to the natural frequencies, while the remaining does not. In a subsequent paper [M. Ida, Phys. Rev. E 67 (2003) 056617], it was shown theoretically that transition frequencies other than the natural frequencies may cause the sign reversal of the secondary Bjerknes force acting between pulsating bubbles. In the present study, we employ a direct numerical simulation technique that uses the compressible Navier-Stokes equations with a surface-tension term as the governing equations to investigate the transition frequencies of two coupled bubbles by observing their pulsation amplitudes and directions of translational motion, both of which change as the driving frequency changes. The numerical results reproduce the recent theoretical predictions, validating the existence of the transition frequencies not corresponding to the natural frequency. △ Less

Submitted 7 October, 2004; v1 submitted 16 November, 2001; originally announced November 2001.

Comments: 18 pages, 8 figures, in press

Journal ref: J. Phys. Soc. Jpn. 73 (2004), pp.3026-3033

A conservative semi-Lagrangian method for oscillation-free computation of advection processes

Authors: Masato Ida

Abstract: The semi-Lagrangian method using the hybrid-cubic-rational interpolation function [M. Ida, Comput. Fluid Dyn. J. 10 (2001) 159] is modified to a conservative method by incorporating the concept discussed in [R. Tanaka et al., Comput. Phys. Commun. 126 (2000) 232]. In the method due to Tanaka et al., not only a physical quantity but also its integrated quantity within a computational cell are use… ▽ More The semi-Lagrangian method using the hybrid-cubic-rational interpolation function [M. Ida, Comput. Fluid Dyn. J. 10 (2001) 159] is modified to a conservative method by incorporating the concept discussed in [R. Tanaka et al., Comput. Phys. Commun. 126 (2000) 232]. In the method due to Tanaka et al., not only a physical quantity but also its integrated quantity within a computational cell are used as dependent variables, and the mass conservation is completely achieved by giving a constraint to a forth-order polynomial used as an interpolation function. In the present method, a hybrid-cubic-rational function whose optimal mixing ratio was determined theoretically is employed for the interpolation, and its derivative is used for updating the physical quantity. The numerical oscillation appearing in results by the method due to Tanaka et al. is sufficiently eliminated by the use of the hybrid function. △ Less

Submitted 20 November, 2001; v1 submitted 10 October, 2001; originally announced October 2001.

Comments: 17 pages, 8 figures, accepted for publication in Comput. Phys. Commun., Some misprint corrected

Report number: formerly math.SC/0110111 MSC Class: 65M06; 65M12

Journal ref: Comput. Phys. Commun. 143/2 pp.142-154 (2002)

Hybrid-Cubic-Rational Semi-Lagrangian Method with the Optimal Mixing

Authors: Masato Ida

Abstract: A semi-Lagrangian method for advection equation with hybrid cubic-rational interpolation is introduced. In the present method, the spatial profile of physical quantities is interpolated with a combination of a cubic and a rational function. For achieving both high accuracy and convexity preserving of solution, the two functions are mixed in the optimal ratio which is given theoretically. Accurac… ▽ More A semi-Lagrangian method for advection equation with hybrid cubic-rational interpolation is introduced. In the present method, the spatial profile of physical quantities is interpolated with a combination of a cubic and a rational function. For achieving both high accuracy and convexity preserving of solution, the two functions are mixed in the optimal ratio which is given theoretically. Accuracy and validity of this method is demonstrated with some numerical experiments. △ Less

Submitted 4 July, 2001; originally announced July 2001.

Comments: 9 pages, 9 figures, Latex, Revtex3, Submitted to Computational Fluid Dynamics Journal on February 9

Report number: formerly math.SC/0107025 MSC Class: 65M06; 65M12

Journal ref: Computational Fluid Dynamics JOURNAL, vol. 10, no. 2 (2001) pp.159-168