Related papers: Equivariant Groebner bases and the Gaussian two-fa…
This article presents a formula for products of Schubert classes in the quantum cohomology ring of the Grassmannian. We introduce a generalization of Schur symmetric polynomials for shapes that are naturally embedded in a torus. Then we…
A contemporary and exciting application of Groebner bases is their use in computational biology, particularly in the reverse engineering of gene regulatory networks from experimental data. In this setting, the data are typically limited to…
This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for…
Let $(f\_1,\dots, f\_s) \in \mathbb{Q}\_p [X\_1,\dots, X\_n]^s$ be a sequence of homogeneous polynomials with $p$-adic coefficients. Such system may happen, for example, in arithmetic geometry. Yet, since $\mathbb{Q}\_p$ is not an effective…
The ({\em classical}, {\em small quantum}, {\em equivariant}) cohomology ring of the grassmannian $G(k,n)$ is generated by certain derivations operating on an exterior algebra of a free module of rank $n$ ({\em Schubert Calculus on a…
In this paper, we make a contribution to the computation of Gr\"obner bases. For polynomial reduction, instead of choosing the leading monomial of a polynomial as the monomial with respect to which the reduction process is carried out, we…
The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame…
For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…
Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…
We extend the theory of bilinear forms on the Green ring of a finite group developed by Benson and Parker to the context of the Grothendieck group of a triangulated category with Auslander-Reiten triangles, taking only relations given by…
By applying a Gr\"{o}bner-Shirshov basis of the symmetric group $S_{n}$, we give two formulas for Schubert polynomials, either of which involves only nonnegative monomials. We also prove some combinatorial properties of Schubert…
In this work, we build a covariant basis for operators acting on the $(j,0)\oplus(0,j)$ Lorentz group representations. The construction is based on an analysis of the covariant properties of the parity operator, which for these…
This is a further investigation of our approach to group actions in homological algebra in the settings of homology of {\Gamma}-simplicial groups, particularly of {\Gamma}-equivariant homology and cohomology of {\Gamma}-groups. This…
A conformal partition function ${\cal P}_n^m(s)$, which arose in the theory of Diophantine equations supplemented with additional restrictions, is concerned with {\it self-dual symmetric polynomials} -- reciprocal ${\sf R}^{\{m\}}_ {S_n}$…
Boij-S\"oderberg theory characterizes syzygies of graded modules and sheaves on projective space. This paper continues earlier work with S. Sam, extending the theory to the setting of $GL_k$-equivariant modules and sheaves on Grassmannians.…
Fix a finite group G and an n-dimensional orthogonal G-representation V. We define the equivariant factorization homology of a V-framed smooth G-manifold with coefficients in an $E_V$-algebra using a two-sided bar construction, generalizing…
Gr{\"o}bner bases is one the most powerful tools in algorithmic non-linear algebra. Their computation is an intrinsically hard problem with a complexity at least single exponential in the number of variables. However, in most of the cases,…
We introduce a method to construct general multivariate positive definite kernels on a nonempty set $X$ that employs a prescribed bounded completely monotone function and special multivariate functions on $X$.\ The method is consistent with…
We give a proof of a Conjecture of Walker which states that one can recover the lengths of the bars of a circular linkage from the cohomology ring of the configuration space. For a large class of length vectors, this has been shown by…
We investigate the Cohen-Macaulay property for rings of invariants under multiplicative actions of a finite group $G$. By definition, these are $G$-actions on Laurent polynomial algebras that stabilize the multiplicative group consisting of…