Related papers: Subalgebra and Khovanskii bases equivalence

We develop the theory of Gr\"obner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division…

Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build…

Starting from a recently-introduced algebraic structure on spin foam models, we define a Hopf algebra by dividing with an appropriate quotient. The structure, thus defined, naturally allows for a mirror analysis of spin foam models with…

Let $\mathbf U^{\imath}\equiv\mathbf U^{\imath} (\mathfrak{sl}_2)$ be Letzter's coideal subalgebra of quantum $\mathfrak{sl}_2$ corresponding to the symmetric pair $(\mathfrak{sl}_2(\mathbb C),\mathbb C)$. As a subalgebra of quantum…

Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible…

The purpose of this paper is to discuss a number of issues that crop up in the computation of Poisson brackets in field theories. This is specially important for the canonical approaches to quantization and, in particular, for loop quantum…

Schubert polynomials form a basis of the polynomial ring. This basis and its structure constants have received extensive study. Recently, Pan and Yu initiated the study of top Lascoux polynomials. These polynomials form a basis of a…

This paper extends the article of the Bruns and Conca on SAGBI bases and their computation (J. Symb. Comput. 120 (2024)) in two directions. (i) We describe the extension of the Singular library sagbiNormaliz.sing to the computation of…

We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of…

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

The theory of Newton--Okounkov bodies provides direct relations and points out analogies between the theory of mixed volumes of convex bodies, on the one hand, and the intersection theories of Cartier divisors and of Shokurov $b$-divisors,…

We define Khovanov-Lauda-Rouquier subalgebras which are generalizations of redotted versions of Webster's tensor product algebras of type $A_1$. Quotient algebras of these subalgebras are isomorphic to Webster's tensor product algebras in…

In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…

Polynomial relations for generators of $su(2)$ Lie algebra in arbitrary representations are found. They generalize usual relation for Pauli operators in spin 1/2 case and permit to construct modified Holstein-Primakoff transformations in…

In this paper we introduce an algebra embedding $\iota:K< X >\to S$ from the free associative algebra $K< X >$ generated by a finite or countable set $X$ into the skew monoid ring $S = P * \Sigma$ defined by the commutative polynomial ring…

We find the minimal dimension for a truncated polynomial algebra over an arbitrary field for which there exists a "non-thin" subalgebra. Moreover, we discuss examples of subalgebras, and count them in low dimensions.

We create several families of bases for the symmetric polynomials. From these bases we prove that certain Schur symmetric polynomials form a basis for quotients of symmetric polynomials that generalize the cohomology and the quantum…

The Hodge algebra structures on the homogeneous coordinate rings of Grassmann varieties provide semi-toric degenerations of these varieties. In this paper we construct these semi-toric degenerations using quasi-valuations and triangulations…

We consider the Lie-algebraic notion of commutant in the setting of Poisson algebra. This provides a framework for deforming Hamiltonian differential equations. By taking a subalgebra of the algebra of integrals, and considering the set of…

In this note we give a theoretical support by means of quotient polynomial rings for the computation formulas of the dimension of abelian codes.