Vanishing ideals over complete multipartite graphs

DOI10.1016/J.JPAA.2013.11.005MaRDI QIDQ393520zbMATHOpenAlexFDO

Publication date 23 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.0734

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25) Linear codes (general theory) (94B05) Finite ground fields in algebraic geometry (14G15) Applications to coding theory and cryptography of arithmetic geometry (14G50) Geometric methods (including applications of algebraic geometry) applied to coding theory (94B27) Commutative rings defined by binomial ideals, toric rings, etc. (13F65)

Abstract: We study the vanishing ideal of the parametrized algebraic toric associated to the complete multipartite graph

G = m a t h c a l K_{a l p h a_{1}, ..., a l p h a_{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 emph{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

m a x s e t a l p h a_{1} (q - 2), ..., a l p h a_{r} (q - 2), l c e i l (n - 1) (q - 2) / 2 c e i l

, where

n = a l p h a_{1} + ... + a l p h a_{r}

.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Vanishing ideals over complete multipartite graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q393520)