Related papers: Composition-Diamond Lemma for Modules

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincar\'{e} duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one…

A recent result of N. Abe implies that the Gabber-Joseph conjecture is true for the first-degree extensions between Verma modules with regular integral highest weights.

Highest weight modules of the double affine Lie algebra $\widehat{\widehat{\mathfrak{sl}}}_{2}$ are studied under a new triangular decomposition. Singular vectors of Verma modules are determined using a similar condition with horizontal…

We sample some Poincare-Birkhoff-Witt theorems appearing in mathematics. Along the way, we compare modern techniques used to establish such results, for example, the Composition-Diamond Lemma, Groebner basis theory, and the homological…

We establish Gr\"{o}bner-Shirshov bases theory for Gelfand-Dorfman-Novikov algebras over a field of characteristic $0$. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $R=\mathbb{K}[x_1,x_2,...x_n]$ the polynomial ring in $n$ variables over $\mathbb K.$ We study bases of the free $R$-module $W_n(\mathbb{K})$ of all…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

We classify contravariant pairings between standard Whittaker modules and Verma modules over a complex semisimple Lie algebra. These contravariant pairings are useful in extending several classical techniques for category $\mathcal{O}$ to…

For a skew polynomial ring $R=A[X;\theta,\delta]$ where $A$ is a commutative Frobenius ring, $\theta$ an endomorphism of $A$ and $\delta$ a $\theta$-derivation of $A$, we consider cyclic left module codes $\mathcal{C}=Rg/Rf\subset R/Rf$…

We classify simple Whittaker modules for classical Lie superalgebras in terms of their parabolic decompositions. We establish a type of Mili\v{c}i\'c-Soergel equivalence of a category of Whittaker modules and a category of Harish-Chandra…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

Let $(R,\mm,K)$ be a regular local ring containing a field $k$ such that either char $k=0$ or char $k=p$ and tr-deg $K/\BF_p\geq 1$. Let $g_1,\ldots,g_t$ be regular parameters of $R$ which are linearly independent modulo $\mm^2$. Let…

We prove that the modules of differential operators of order 2 on the classical Coxeter arrangements are free by exhibiting bases. For this purpose, we use Cauchy-Sylvester's theorem on compound determinants and Saito-Holm's criterion. In…

This is an English translation of the author's Ph.D. thesis, accumulating his results on a construction of Cohen-Macaulay modules over a polynomial ring that appeared in the study of Cauchy-Fueter equations. This construction is generalized…

Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $\Omega$-operated algebra is a an (associative) algebra equipped with a…

We provide geometric constructions of modules over the graded Cherednik algebra $\mathfrak{H}^{gr}_\nu$ and the rational Cherednik algebra $\mathfrak{H}^{rat}_\nu$ attached to a simple algebraic group $\mathbb{G}$ together with a pinned…

In this paper, we review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory.

Let $\mathfrak{g}$ be a classial Lie algebra and $\mathfrak{p}$ be a maximal parabolic subalgebra. Let $M$ be a generalized Verma module induced from a one dimensional representation of $\mathfrak{p}$. Such $M$ is called a scalar type…

In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we…

We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is…