Table of Contents
Fetching ...

Rings of differential operators on singular generalized multi-cusp algebras

Volodymyr Bavula, K. Hakami

Abstract

The aim of the paper is to study the ring of differential operators $\mathcal{D}(A(m))$ on the generalized multi-cusp algebra $A(m)$ where $m\in \mathbb{N}^n$ (of Krull dimension $n$). The algebra $A(m)$ is singular apart from the single case when $m=(1, \ldots , 1)$. In this case, the algebra $A(m)$ is a polynomial algebra in $n$ variables. So, the $n$'th Weyl algebra $A_n=\mathcal{D} (A(1, \ldots , 1))$ is a member of the family of algebras $\mathcal{D}(A(m))$. We prove that the algebra $\mathcal{D}(A(m))$ is a central, simple, $\mathbb{Z}^n$-graded, finitely generated Noetherian domain of Gelfand-Kirillov dimension $2n$. Explicit finite sets of generators and defining relations is given for the algebra $\mathcal{D}(A(m))$. We prove that the Krull dimension and the global dimension of the algebra $\mathcal{D}(A(m))$ is $n$. An analogue of the Inequality of Bernstein is proven. In the case when $n=1$, simple $\mathcal{D}(A(m))$-modules are classified.

Rings of differential operators on singular generalized multi-cusp algebras

Abstract

The aim of the paper is to study the ring of differential operators on the generalized multi-cusp algebra where (of Krull dimension ). The algebra is singular apart from the single case when . In this case, the algebra is a polynomial algebra in variables. So, the 'th Weyl algebra is a member of the family of algebras . We prove that the algebra is a central, simple, -graded, finitely generated Noetherian domain of Gelfand-Kirillov dimension . Explicit finite sets of generators and defining relations is given for the algebra . We prove that the Krull dimension and the global dimension of the algebra is . An analogue of the Inequality of Bernstein is proven. In the case when , simple -modules are classified.
Paper Structure (4 sections, 28 theorems, 47 equations, 2 figures)

This paper contains 4 sections, 28 theorems, 47 equations, 2 figures.

Key Result

Theorem 1.1

Let $m=(m_1, \ldots ,m_n)\in \mathbb{N}^n$. Then

Figures (2)

  • Figure 1: AADBB1
  • Figure :

Theorems & Definitions (28)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Theorem 2.1
  • Theorem 2.2
  • Corollary 2.3
  • Proposition 2.4
  • Theorem 2.5
  • ...and 18 more