Algebraic methods for parameterized codes and invariants of vanishing ideals over finite fields

Let K be a finite field with q elements and let X be a subset of a projective space P^{s-1}, over the field K, which is parameterized by Laurent monomials. Let I(X) be the vanishing ideal of X. Some of the main contributions of this paper are in determining the structure of I(X) and some of their invariants. It is shown that I(X) is a lattice ideal. We introduce the notion of a parameterized code arising from X and present algebraic methods to compute and study its dimension, length and minimum distance. For a parameterized code arising from a connected graph we are able to compute its length and to make our results more precise. If the graph is non-bipartite, we show an upper bound for the minimum distance. We also study the underlying geometric structure of X.Comment: Finite Fields Appl., to appea

Regularity and algebraic properties of certain lattice ideals

We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We relate the Hilbert series and the generators of I and I\~. If dim(I)=1, we relate the degrees of I and I\~. It is shown that the regularity of certain lattice ideals is additive in a certain sense. Then, we give some applications. For finite fields, we give a formula for the regularity of the vanishing ideal of a degenerate torus in terms of the Frobenius number of a semigroup. We construct vanishing ideals, over finite fields, with prescribed regularity and degree of a certain type. Let X be a subset of a projective space over a field K. It is shown that the vanishing ideal of X is a lattice ideal of dimension 1 if and only if X is a finite subgroup of a projective torus. For finite fields, it is shown that X is a subgroup of a projective torus if and only if X is parameterized by monomials. We express the regularity of the vanishing ideal over a bipartie graph in terms of the regularities of the vanishing ideals of the blocks of the graph.Comment: Bull. Braz. Math. Soc. (N.S.), to appea

Complete intersection vanishing ideals on degenerate tori over finite fields

We study the complete intersection property and the algebraic invariants (index of regularity, degree) of vanishing ideals on degenerate tori over finite fields. We establish a correspondence between vanishing ideals and toric ideals associated to numerical semigroups. This correspondence is shown to preserve the complete intersection property, and allows us to use some available algorithms to determine whether a given vanishing ideal is a complete intersection. We give formulae for the degree, and for the index of regularity of a complete intersection in terms of the Frobenius number and the generators of a numerical semigroup.Comment: Arabian Journal of Mathematics, to appea

Vanishing ideals over graphs and even cycles

Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of generators of I(X), when X is the algebraic toric set associated to an even cycle or to a connected bipartite graph with pairwise disjoint even cycles. In this case, a fomula for the regularity of I(X) is given. We show an upper bound for this invariant, when X is associated to a (not necessarily connected) bipartite graph. The upper bound is sharp if the graph is connected. We are able to show a formula for the length of the parameterized linear code associated with any graph, in terms of the number of bipartite and non-bipartite components