Related papers: Elementary matrix-computational proof of Quillen-S…
A double Ore extension is a natural generalization of the Ore extension. We prove that a connected graded double Ore extension of an Artin-Schelter regular algebra is Artin-Schelter regular. Some other basic properties such as the…
Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero i-th self-extension group for infinitely many positive integers i. It is shown by recollement of…
In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…
Motivated by the splitting principle, we define certain simplicial complexes associated to an associative ring $A$, which have an action of the general linear group $GL(A)$. This leads to an exact sequence, involving Quillen's algebraic…
Let k be a subring of the field of rational functions in \alpha, s which contains \alpha^{1}, \alpha^{-1}, s^{1}, s^{-1}, . Let M be a compact oriented 3-manifold, and let K(M) denote the Kauffman skein module of M over k. Then K(M) is the…
We prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the…
A triangular matrix ring A is defined by a triplet (R,S,M) where R and S are rings and M is an S-R-bimodule. In the main theorem of this paper we show that if T is a tilting S-module, then under certain homological conditions on M as an…
We show that every finitely generated cohomologically trivial module over $RG$, where $G$ is a finite $p$-group and $R$ is a $p$-adic ring, splits as the direct sum of a finite cohomologically trivial $RG$-module and a free $RG$-module.…
From a quantum $K$-matrix of the fundamental representation, we construct one for the Kirillov-Reshetikhin module by fusion construction. Using the $\imath$crystal theory by the last author, we also obtain combinatorial $K$-matrices…
Let D^n be the closed unit polydisk in C^n. Consider the ring C_r of complex-valued continuous functions on D^n that are real symmetric, that is, f(z)=(f(z^*))^* for all z in D^n. It is shown that C_r is projective free, that is, finitely…
For $O$ an imaginary quadratic ring, we compute a fundamental polyhedron of $\text{PE}_2(O)$, the projective elementary subgroup of $\text{PSL}_2(O)$. This allows for new, simplified proofs of theorems of Cohn, Nica, Fine, and Frohman.…
Given a set $A$ and an abelian group $B$ with operators in $A$, in the sense of Krull and Noether, we introduce the Ore group extension $B[x; \sigma_B, \delta_B]$ as the additive group $B[x]$, with $A[x]$ as a set of operators. Here, the…
It is shown that when q is a primitive root of unity of order not equal to 2 mod 4, A(SL_q(2)) is a free module of finite rank over the coordinate ring of the classical group SL(2). An explicit set of generators is provided.
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…
Let $B$ be an one-point extension of a finite dimensional $k$-algebra $A$ by a simple $A$-module at a source point $i$. In this paper, we classify the $\tau$-tilting modules over $B$. Moreover, it is shown that there are equations $$|\tilt…
We find necessary and sufficient conditions for the finite separability of finitely generated commutative rings. Namely, we prove that every such ring is a finite extension of its torsion ideal $I_k$ where $k$ is square-free, and $I_k$ is a…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
Let $K$ be an extension of $\mathbb{Q}$ and $A/K$ an elliptic curve. If $\mathrm{Gal}(\bar K/K)$ is finitely generated, then $A$ is of infinite rank over $K$. In particular, this implies the $g=1$ case of the Junker-Koenigsmann conjecture.…
In this article we consider the Ore extension Algebra for the algebra $\mathcal{A}$ of functions with finite support on a countable set. We derive explicit formulas for twisted derivations on $\mathcal{A}.$ We give a description for the…
This is a survey and research note on the modified Orlik conjecture derived from the division theorem introduced in [2]. The division theorem is a generalization of classical addition-deletion theorems for free arrangements. The division…