Search results for "13D02"

showing 5 items of 5 documents

Splittings of Toric Ideals

2019

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.

Binomial (polynomial)Betti numberPrime idealExistential quantificationCommutative Algebra (math.AC)01 natural sciencesCombinatoricsInteger matrixMathematics::Algebraic Geometry0103 physical sciencesFOS: MathematicsGraded Betti numbers; Graphs; Toric idealsMathematics - Combinatorics0101 mathematicsMathematics::Symplectic GeometryMathematicsAlgebra and Number TheorySimple graphIdeal (set theory)Mathematics::Commutative AlgebraGraded Betti numbers Graphs Toric ideals010102 general mathematicsMathematics::Rings and Algebras16. Peace & justiceMathematics - Commutative AlgebraSettore MAT/02 - AlgebraToric ideals13D02 13P10 14M25 05E40Settore MAT/03 - Geometria010307 mathematical physicsCombinatorics (math.CO)Graded Betti numbersGraphs
researchProduct

Regularity and h-polynomials of toric ideals of graphs

2020

For all integers 4 ≤ r ≤ d 4 \leq r \leq d , we show that there exists a finite simple graph G = G r , d G= G_{r,d} with toric ideal I G ⊂ R I_G \subset R such that R / I G R/I_G has (Castelnuovo–Mumford) regularity r r and h h -polynomial of degree d d . To achieve this goal, we identify a family of graphs such that the graded Betti numbers of the associated toric ideal agree with its initial ideal, and, furthermore, that this initial ideal has linear quotients. As a corollary, we can recover a result of Hibi, Higashitani, Kimura, and O’Keefe that compares the depth and dimension of toric ideals of graphs.

Hilbert seriesBetti numberGeneral MathematicsDimension (graph theory)0102 computer and information sciencesCommutative Algebra (math.AC)01 natural sciencesRegularityCombinatoricssymbols.namesakeMathematics - Algebraic GeometryCorollaryMathematics::Algebraic GeometryGraded Betti numbers; Graphs; Hilbert series; Regularity; Toric idealsFOS: MathematicsIdeal (ring theory)13D02 13P10 13D40 14M25 05E400101 mathematicsAlgebraic Geometry (math.AG)QuotientHilbert–Poincaré seriesMathematicsSimple graphDegree (graph theory)Mathematics::Commutative AlgebraApplied Mathematics010102 general mathematicsMathematics - Commutative AlgebraSettore MAT/02 - AlgebraToric ideals010201 computation theory & mathematicsGraded Betti numbers Graphs Hilbert series Regularity Toric idealssymbolsSettore MAT/03 - GeometriaGraded Betti numbersGraphs
researchProduct

Symmetric locally free resolutions and rationality problems

2022

We show that the birationality class of a quadric surface bundle over $\mathbb{P}^2$ is determined by its associated cokernel sheaves. As an application, we discuss stable-rationality of very general quadric bundles over $\mathbb{P}^2$ with discriminant curves of fixed degree. In particular, we construct explicit models of these bundles for some discriminant data. Among others, we obtain various birational models of a nodal Gushel-Mukai fourfold, as well as of a cubic fourfold containing a plane. Finally, we prove stable irrationality of several types of quadric surface bundles.

Mathematics - Algebraic GeometryMathematics::Algebraic GeometryApplied MathematicsGeneral MathematicsFOS: Mathematics13D02 14E08 14D06 14J32 14J45quadric bundle Brauer class symmetric resolutions rationalitySettore MAT/03 - GeometriaMathematics - Commutative AlgebraCommutative Algebra (math.AC)Mathematics::Symplectic GeometryAlgebraic Geometry (math.AG)Communications in Contemporary Mathematics
researchProduct

Truncated modules and linear presentations of vector bundles

2018

We give a new method to construct linear spaces of matrices of constant rank, based on truncated graded cohomology modules of certain vector bundles as well as on the existence of graded Artinian modules with pure resolutions. Our method allows one to produce several new examples, and provides an alternative point of view on the existing ones.

Pure mathematicsRank (linear algebra)General Mathematics[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]Vector bundle010103 numerical & computational mathematicsLinear presentationCommutative Algebra (math.AC)01 natural sciences[ MATH.MATH-AC ] Mathematics [math]/Commutative Algebra [math.AC]Mathematics - Algebraic GeometryComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: MathematicsPoint (geometry)MSC: 13D02 16W50 15A30 14J600101 mathematicsVector bundleAlgebraic Geometry (math.AG)MathematicsMathematics::Commutative Algebra010102 general mathematicsConstruct (python library)Graded truncated moduleMathematics - Commutative AlgebraInstanton bundleCohomology[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]Matrix of co nstant rank[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Constant (mathematics)
researchProduct

Torsion of a finite base locus

2018

We interpret geometrically the torsion of the symmetric algebra of the ideal sheaf of a zero-dimensional scheme Z defined by $n+1$ equations in an $n$-dimensional variety. This leads us to generalise a formula of A.Dimca and S.Papadima in positive characteristic for a rational transformation with finite base locus. Among other applications, we construct an explicit example of a homaloidal curve of degree $5$ in characteristic $3$, answering negatively a question of A.V.D\'oria, S.H.Hassanzadeh and A.Simis.

[ MATH ] Mathematics [math][MATH.MATH-AC] Mathematics [math]/Commutative Algebra [math.AC]Mathematics - Algebraic Geometry13D02 14E05 14B05 14H20[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC][MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG][MATH] Mathematics [math][MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG][MATH]Mathematics [math]Mathematics - Commutative Algebra[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG][ MATH.MATH-AC ] Mathematics [math]/Commutative Algebra [math.AC]
researchProduct