Related papers: Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$

Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free as an R-module. We show that if A has an admissible system…

The objective of this paper is to give alternative proofs for the symmetric Poincar\'e-Birkhoff-Witt theorem utilizing the Magnus recursion formulae or Dynkin's non-commutative polynomial comparison method and simple universal algebraic…

We introduce and study Lyndon bases of split $\imath$quantum groups $\mathbf{U}^\imath(\mathfrak{g})$. A relationship between the Lyndon bases and PBW-type bases was provided. As an application, we establish the existence of canonical bases…

We construct convex PBW-type Lyndon bases for two-parameter quantum groups U_{r,s}({so}_{2n+1}) with detailed commutation relations. It turns out that under a certain condition, the restricted two-parameter quantum group…

We prove two multivariate $q$-binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau…

In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.

We give a new proof of Raynaud-Gruson's theorem regarding flattening by blow-ups. The proof is direct, by working directly on the inverse limit of admissible blow-ups, which is a valuative space similar to the classical Zariski-Riemann…

Many rings and algebras arising in quantum mechanics can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. Indeed, Weyl algebras, enveloping algebras of finite-dimensional Lie algebras (and its quantization), Artamonov…

We prove the Feynman rule conjectured by Bershadsky-Cecotti-Ooguri-Vafa arXiv:hep-th/9309140 and the anomaly equations conjectured by Yamaguchi-Yau arXiv:hep-th/0406078 for the Gromov-Witten theory of the Calabi-Yau threefolds $Z_6 \subset…

We establish a universal approach to solution of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows to apply Groebner---Shirshov bases method for Lie algebras to solve the ideal membership problem…

An purely algebraic proof of the PBW theorem of U_q(gl(m,n)) is given. Lusztig's conjecture is extended to the super case. The Lusztig's tensor product theorem is established.

Given a submanifold Z inside X, let Y be the blow-up of X along Z. When the normal bundle of Z in X is convex with a minor assumption, we prove that genus-zero GW-invariants of Y with cohomology insertions from X, are identical to…

We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation…

In this note, we explain that Ross-Thomas' result on the weighted Bergman kernels on orbifolds can be directly deduced from our previous result. This result plays an important role in the companion paper to prove an orbifold version of…

Let $X$ be a smooth complex projective algebraic variety. Let $\mathcal{G}$ be a $G$-banded gerbe with $G$ a finite abelian group. We prove an exact formula expressing genus $g$ orbifold Gromov-Witten invariants of $\mathcal{G}$ in terms of…

In this survey, we formulate the Gr\"{o}bner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned.

Let $\mathcal{G}$ be a countably infinite group of unitary operators on a complex separable Hilbert space $H$. Let $X = \{x_{1},...,x_{r}\}$ and $Y = \{y_{1},...,y_{s}\}$ be finite subsets of $H$, $r < s$, $V_{0} = \bar{span}…

We give a decomposition of the equivariant Kasparov category for discrete quantum group with torsions. As an outcome, we show that the crossed product by a discrete quantum group in a certain class preserves the UCT. We then show that…

A generalized Hopf algebra structure for the positive (negative) part of the Drinfeld-Jimbo quantum group of type A_n is established without make any use of the usual deformation of the abelian part of sl_{n+1}.

For any differential graded (DG for short) Poisson algebra $A$ given by generators and relations, we give a "formula" for computing the universal enveloping algebra $A^e$ of $A$. Moreover, we prove that $A^e$ has a Poincar\'e-Birkhoff-Witt…