Related papers: Gr\"obner-Shirshov bases and their calculation
Gel'fand-Dorfman algebras (GD algebras) give a natural construction of Lie conformal algebras and are in turn characterized by this construction. In this paper, we define the Gel'fand-Dorfman bialgebra (GD bialgebras) and enrich the above…
We revisit the application of Shelah's Revised GCH Theorem \cite{SheRGCH} to diamond. We also formulate a generalization of the theorem and prove a small fragment of it. Finally we consider another application of the theorem, to covering…
It is shown how the theory of classical $W$--algebras can be formulated on a higher genus Riemann surface in the spirit of Krichever and Novikov. An intriguing relation between the theory of $A_1$ embeddings into simple Lie algebras and the…
We give an introduction to the theory of determinantal ideals and rings, their Groebner bases, initial ideals and algebras, respectively. The approach is based on the straightening law and the Knuth-Robinson-Schensted correspondence. The…
In this paper, we generalize the arithmetic Chern-Simons theory to regular flat separated schemes of finite type over rings of integers of number fields by applying the duality theorems for arithmetic schemes.
The Gr\"obner basis technique for calculating Feynman diagrams proposed in [O.V. Tarasov, Acta Physica Polonica, v. B29 (1998) 2655] is applied to the two-loop propagator type integrals with arbitrary masses and momentum. We describe the…
The purpose of this article is to analyze several Lie algebras associated to "orbit configuration spaces" obtained from a group G acting freely, and properly discontinuously on the upper 1/2-plane H^2. The Lie algebra obtained from the…
We introduce the notion of a Lie-like algebra$^{\diamond}$ (superalgebra$^{\diamond}$) for $\diamond\in\{^{1-st}, ^{2-nd}, ^{3-rd} \}$.
It is shown how certain idempotents in the Griess algebra generate the discrete series representations for the Virasoro algebra inside the Frenkel-Lepowsky-Meurman's moonshine module vertex operator algebra. It is also shown that each…
Novikov algebras are algebras whose associators are left-symmetric and right multiplication operators are mutually commutative. A Gel'fand-Dorfman bialgebra is a vector space with a Lie algebra structure and a Novikov algebra structure,…
We present an implementation of the algorithm for computing Groebner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data…
In this paper, we present a first approach toward a Burchnall-Chaundy theory for the skew Ore polynomials of higher order generated by quadratic relations defined by Golovashkin and Maksimov \cite{GolovashkinMaksimov1998}.
Algebraic basics on Temperley-Lieb algebras are proved in an elementary and straightforward way with the help of tensor categories behind them.
In this paper the derivation algebra and automorphism group of the twisted deformative Schr\"{o}dinger-Virasoro Lie algebras are determined.
We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal…
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…
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
We present a mathematical framework of gauge theories that is based upon a skew-adjoint Lie algebra and a generalized Dirac operator, both acting on a Hilbert space.
We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…
For the Lie algebras $g_n= \mathfrak{o}_{2n+1},\mathfrak{sp}_{2n},\mathfrak{o}_{2n}$ a simple construction of a base in an irreducible representation is given. The construction of this base uses the method of $Z$-invariants of Zhelobenko…