Related papers: Gr\"obner-Shirshov bases for Coxeter groups I
In this note we investigate the Cheltsov--Rubinstein conjecture. We show that this conjecture does not hold in general and some counterexamples will be presented.
We establish Gr\"obner--Shirshov bases theory for commutative dialgebras. We show that for any ideal $I$ of $Di[X]$, $I$ has a unique reduced Gr\"obner--Shirshov basis, where $Di[X]$ is the free commutative dialgebra generated by a set $X$,…
We prove Gieseker conjecture for an homogeneous space $X$, saying that if $X$ has no non-trivial tame coverings then it has no non-trivial regular singular $\mathscr{O}_X$-coherent $\mathscr{D}_{X/k}$-modules. In order to do so we prove a…
For any Coxeter system we establish the existence (conjectured by Rouquier) of analogues of standard and costandard objects in 2-braid groups. This generalizes a known extension vanishing formula in the BGG category O.
There were defined by R. Shwartz OGS for non-abelian groups, as an interesting generalization of the basis of finite abelian groups. The definition of OGS states that that every element of a group has a unique presentation as a product of…
Let W be an irreducible finitely generated Coxeter group. The geometric representation of W in GL(V) provides a discrete embedding in the orthogonal group of the Tits form (the associated bilinear form of the Coxeter group). If the Tits…
In this article, we prove a generalization of a theorem (Ogg's conjecture) due to Bary Mazur for arbitrary $N\in \N$ and for {\it number fields}. The main new observation is a modification of a theorem due to Glenn Stevens for the…
The Grothendieck-Serre conjecture predicts that on a regular local ring, no nontrivial reductive torsor becomes trivial over the fraction field. While this conjecture has been proven in the equicharacteristic case, it remains open in the…
In the paper, we establish Gr\"obner-Shirshov bases for semirings and commutative semirings. As applications, we obtain Gr\"obner-Shirshov bases and A. Blass's (1995) and M. Fiore -T. Leinster's (2004) normal forms of the semirings…
We use probabilistic methods to prove that many Coxeter groups are incoherent. In particular, this holds for Coxeter groups of uniform exponent > 2 with sufficiently many generators.
We prove here some supplementary statements that appeared without proof in I. Panin, A. Stavrova, N. Vavilov, On Grothendieck--Serre's conjecture concerning principal $G$-bundles over reductive group schemes:I, arXiv:0905.1418
The algebraic formulation of the derivation and integration related by the First Fundamental Theorem of Calculus (FFTC) gives rise to the notion of differential Rota-Baxter algebra. The notion has a remarkable list of categorical…
In this paper, we obtain Groebner-Shirshov (non-commutative Gr\"obner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $\delta$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form…
Motivated by work of Coxeter (1957), we study a class of algebras associated to Coxeter groups, which we term 'generalized nil-Coxeter algebras'. We construct the first finite-dimensional examples other than usual nil-Coxeter algebras;…
In this paper, we establish the Composition-Diamond lemma for associative nonunitary Rota-Baxter algebras with weight $\lambda$. As applications, we obtain a linear basis of a free commutative Rota-Baxter algebra without unity and show that…
We show that if a countably generated Lie algebra $H$ does not contain isomorphic copies of certain finite-dimensional nilpotent Lie algebras $A$ and $B$ (satisfying some mild conditions), then $H$ embeds into a quotient of $A \ast B$ that…
We prove the Burghelea Conjecture for groups satisfying some additional cohomological property.
In this paper, we generalize the Lyndon-Shirshov words to Lyndon-Shirshov $\Omega$-words on a set $X$ and prove that the set of all non-associative Lyndon-Shirshov $\Omega$-words forms a linear basis of the free Lie $\Omega$-algebra on the…
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gr\"{o}bner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish…
We introduce a notion of representation for a class of generalised quivers known as Coxeter quivers. These representations are built using fusion categories associated to $U_q(\mathfrak{s}\mathfrak{l}_2)$ at roots of unity and we show that…