Border bases for lattice ideals
Authors:
Giandomenico Boffi,
Alessandro Logar
Abstract:
The main ingredient to construct an O-border basis of an ideal I $\subseteq$ K[x1,. .., xn] is the order ideal O, which is a basis of the K-vector space K[x1,. .., xn]/I. In this paper we give a procedure to find all the possible order ideals associated with a lattice ideal IM (where M is a lattice of Z n). The construction can be applied to ideals of any dimension (not only zero-dimensional) and…
▽ More
The main ingredient to construct an O-border basis of an ideal I $\subseteq$ K[x1,. .., xn] is the order ideal O, which is a basis of the K-vector space K[x1,. .., xn]/I. In this paper we give a procedure to find all the possible order ideals associated with a lattice ideal IM (where M is a lattice of Z n). The construction can be applied to ideals of any dimension (not only zero-dimensional) and shows that the possible order ideals are always in a finite number. For lattice ideals of positive dimension we also show that, although a border basis is infinite, it can be defined in finite terms. Furthermore we give an example which proves that not all border bases of a lattice ideal come from Gröbner bases. Finally, we give a complete and explicit description of all the border bases for ideals IM in case M is a 2-dimensional lattice contained in Z 2 .
△ Less
Submitted 29 August, 2016;
originally announced August 2016.
A Littlewood-Richardson filtration at roots of 1 for multiparameter deformations of skew Schur modules.
Authors:
G. Boffi,
M. Varagnolo
Abstract:
Let R be a commutative ring, q a unit of R and P a multiplicatively antisymmetric matrix with coefficients which are integers powers of q. Denote by SE(q,P) the multiparameter quantum matrix bialgebra associated to q and P.Slightly generalizing [Hashimoto-Hayashi,Tohoku Math.Tohoku Math.J. 44(1992)],we define a multiparameter deformation $L_{ł/μ}V_P$ of the classical skew Schur module.In case R is…
▽ More
Let R be a commutative ring, q a unit of R and P a multiplicatively antisymmetric matrix with coefficients which are integers powers of q. Denote by SE(q,P) the multiparameter quantum matrix bialgebra associated to q and P.Slightly generalizing [Hashimoto-Hayashi,Tohoku Math.Tohoku Math.J. 44(1992)],we define a multiparameter deformation $L_{ł/μ}V_P$ of the classical skew Schur module.In case R is a field and q is not a root of 1, arguments like those given in [H-H] show that $L_{ł/μ}V_P$ is irreducible and its decomposition into irreducibles is $\sum_νc(ł/μ;ν)L_νV_P$ where the coefficients are the usual Littlewood-Richardson ones. When R is any ring and q is allowed to be a root of 1, we construct a filtration of $L_{ł/μ}V_P$ as an SE(q,P)-comodule, such that its associated graded object is precisely $\sum_νc(ł/μ;ν)L_νV_P$.
△ Less
Submitted 2 January, 1995;
originally announced January 1995.
