Related papers: Borel complexity of modules

Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says…

In this note we show that a ring R is left perfect if and only if every left R-module is weakly supplemented if and only if R is semilocal and the radical of the countably infinite free left R-module has a weak supplement.

We give a complete classification (up to isomorphism) of Lie conformal algebras which are free of rank two as $\C[\partial]$-modules, and determine their automorphism groups.

Let $R/S$ be a Frobenius extension and $k$ be a positive integer. We prove that an $R$-module is $k$-torsionfree if and only if so is its underlying $S$-module. As an application, we obtain that if $S$ is a quasi $k$-Gorenstein ring then so…

Let $R$ be a finite unital commutative ring. We introduce a new class of finite groups, which we call hereditary groups over $R$. Our main result states that if $G$ is a hereditary group over $R$ then a unital algebra isomorphism between…

We classify finite irreducible conformal modules over a class of infinite Lie conformal algebras ${\frak {B}}(p)$ of Block type, where $p$ is a nonzero complex number. In particular, we obtain that a finite irreducible conformal module over…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

Let $X$ be a geometrically irreducible smooth projective curve, of genus at least three, defined over the field of real numbers. Let $G$ be a connected reductive affine algebraic group, defined over $\mathbb R$, such that $G$ is nonabelian…

We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers…

It is proved that a module $M$ over a Noetherian local ring $R$ of prime characteristic and positive dimension has finite flat dimension if Tor$_i^R({}^e R, M)=0$ for dim $R$ consecutive positive values of $i$ and infinitely many $e$. Here…

Let $M$ be an $R$-module and $c$ the function from $M$ to the ideals of $R$ defined by $c(x) = \cap \lbrace I \colon I \text{is an ideal of} R \text{and} x \in IM \rbrace $. $M$ is said to be a content $R$-module if $x \in c(x)M $, for all…

We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is…

Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of…

This paper is devoted to constructing simple modules of the planar Galilean conformal algebra. We study the tensor products of finitely many simple $\mathcal{U}(\mathcal{H})$-free modules with an arbitrary simple restricted module, where…

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is $\bf{0^{(\alpha)}}$ for…

We study some closely interrelated notions of Homological Algebra: (1) We define a topology on modules over a not-necessarily commutative ring $R$ that coincides with the $R$-topology defined by Matlis when $R$ is commutative. (2) We…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

We introduce the notion of idempotent radical class of module coalgebras over a bialgebra B. We prove that if R is an idempotent radical class of B-module coalgebras, then every B-module coalgebra contains a unique maximal B-submodule…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

Let $R$ be a finite ring and let $M, N$ be two finite left $R$-modules. We present two distinct deterministic algorithms that decide in polynomial time whether or not $M$ and $N$ are isomorphic, and if they are, exhibit an isomorphism. As…