2013/02/04 by Jorge Neves, Neves, Jorge, Maria Vaz Pinto +1
Mathematics · #11T71 #14G15 #14G50 #94B05 #94B27 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics #Primary 13C13 #Secondary 13P25 #math.AC #math.AG #msc:11T71 #msc:13C13 #msc:13P25 #msc:14G15 #msc:14G50 #msc:94B05 #msc:94B27
paper · pdf · doi:10.48550/arxiv.1302.0734
14 pages, 4 figures. Version to appear in JPPA
arxiv created 2013/09/28 · arxiv updated 2013/10/01
We study the vanishing ideal of the parametrized algebraic toric associated to the complete multipartite graph \G=Kα1,...,αr over a finite field of order q. We give an explicit family of binomial generators for this lattice ideal, consisting of the generators of the ideal of the torus, (referred to as type I generators), a set of quadratic binomials corresponding to the cycles of length 4 in \G and which generate the toric algebra of \G (type II generators) and a set of binomials of degree q-1 obtained combinatorially from \G (type III generators). Using this explicit family of generators of the ideal, we show that its Castelnuovo--Mumford regularity is equal to max\setα1(q-2),...,αr(q-2), \lceil (n-1)(q-2)/2\rceil, where n=α1+... + αr.