Toric Border Bases

We extend the theory and the algorithms of Border Bases to systems of Laurent polynomial equations, defining "toric" roots. Instead of introducing new variables and new relations to saturate by the variable inverses, we propose a more efficient approach which works directly with the variables and their inverse. We show that the commutation relations and the inversion relations characterize toric border bases. We explicitly describe the first syzygy module associated to a toric border basis in terms of these relations. Finally, a new border basis algorithm for Laurent polynomials is described and a proof of its termination is given for zero-dimensional toric ideals

Border bases for lattice ideals

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\"obner 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 .Comment: 25 pages, 3 figures. Comments welcome!, MEGA'2015 (Special Issue), Jun 2015, Trento, Ital

Deformations of Border Bases

Here we study the problem of generalizing one of the main tools of Groebner basis theory, namely the flat deformation to the leading term ideal, to the border basis setting. After showing that the straightforward approach based on the deformation to the degree form ideal works only under additional hypotheses, we introduce border basis schemes and universal border basis families. With their help the problem can be rephrased as the search for a certain rational curve on a border basis scheme. We construct the system of generators of the vanishing ideal of the border basis scheme in different ways and study the question of how to minimalize it. For homogeneous ideals, we also introduce a homogeneous border basis scheme and prove that it is an affine space in certain cases. In these cases it is then easy to write down the desired deformations explicitly.Comment: 21 page

Grassmannians and Koszul duality

Let $X$ be a partial flag variety, stratified by orbits of the Borel. We give a criterion for the category of modular perverse sheaves to be equivalent to modules over a Koszul ring. This implies that modular category $\mathcal O$ is governed by a Koszul-algebra in small examples.Comment: 35 page

On crystal operators in Lusztig's parametrizations and string cone defining inequalities

Let $\mathbf{w}_0$ be a reduced expression for the longest element of the Weyl group, adapted to a quiver of type $A_n$. We compare Lusztig's and Kashiwara's (string) parametrizations of the canonical basis associated with $\mathbf{w}_0$. Crystal operators act in a finite number of patterns in Lusztig's parametrization, which may be seen as vectors. We show this set gives the system of defining inequalities of the string cone constructed by Gleizer and Postnikov. We use combinatorics of Auslander-Reiten quivers, and as a by-product we get an alternative enumeration of a set of inequalities defining the string cone, based on hammocks.Comment: To appear in Glasgow Mathematical Journal. Revised version of LMNO preprint 2011-23 UMR CNRS 6139, Caen University, Franc

A Uq(gl^(2∣2))1U_q\bigl(\hat{gl}(2|2)\bigr)_1-Vertex Model: Creation Algebras and Quasi-Particles I

The infinite configuration space of an integrable vertex model based on $U_q\bigl(\hat{gl}(2|2)\bigr)_1$ is studied at $q=0$. Allowing four particular boundary conditions, the infinite configurations are mapped onto the semi-standard supertableaux of pairs of infinite border strips. By means of this map, a weight-preserving one-to-one correspondence between the infinite configurations and the normal forms of a pair of creation algebras is established for one boundary condition. A pair of type-II vertex operators associated with an infinite-dimensional $U_q\bigl(gl(2|2)\bigr)$-module $\mathring V$ and its dual $\mathring V^*$ is introduced. Their existence is conjectured relying on a free boson realization. The realization allows to determine the commutation relation satisfied by two vertex operators related to the same $U_q\bigl(gl(2|2)\bigr)$-module. Explicit expressions are provided for the relevant R-matrix elements. The formal $q\to0$ limit of these commutation relations leads to the defining relations of the creation algebras. Based on these findings it is conjectured that the type II vertex operators associated with $\mathring V$ and $\mathring V^*$ give rise to part of the eigenstates of the row-to-row transfer matrix of the model. A partial discussion of the R-matrix elements introduced on $\mathring V\otimes \mathring V^*$ is given.Comment: 45 pages, 5 figures, to appear in Nucl. Phys.