Related papers: Ind-\'etale vs Formally \'etale

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished…

Let $A$ be a quasi-hereditary algebra. We prove that in many cases, a tilting module is rigid (i.e. has identical radical and socle series) if it does not have certain subquotients whose composition factors extend more than one layer in the…

Koszul property was generalized to homogeneous algebras of degree N>2 in [5], and related to N-complexes in [7]. We show that if the N-homogeneous algebra A is generalized Koszul, AS-Gorenstein and of finite global dimension, then one can…

Let $A$ be a special biserial algebra over an algebraically closed field. We show that the first Hohchshild cohomology group of $A$ with coefficients in the bimodule $A$ vanishes if and only if $A$ is representation finite and simply…

We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable…

We discuss certain homological properties of graded algebras whose trivial modules admit non-pure resolutions. Such algebras include both of Artin-Schelter regular algebras of types (12221) and (13431). Under certain conditions, a module…

The celebrated Drozd's theorem asserts that a finite-dimensional basic algebra $\Lambda$ over an algebraically closed field $k$ is either tame or wild, whereas the Crawley-Boevey's theorem states that given a tame algebra $\Lambda$ and a…

It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

In this short paper we prove that a finite dimensional algebra is hereditary if and only if there is no loop in its ordinary quiver and every $\tau$-tilting module is tilting.

We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…

Let $\mathcal{C}$ be a category with pullbacks. We define a $\textit{Beck torsor}$ in $\mathcal{C}$ as a morphism $Z\to Y$ in $\mathcal{C}$ which is a torsor for a Beck module over $Y$. We say that an object $X$ of $\mathcal{C}$ is…

We call a finite-dimensional K-algebra A geometrically irreducible if for all d, all connected components of the affine scheme of d-dimensional A-modules are irreducible. We show that the geometrically irreducible algebras without loops…

We show that finite-dimensional Lie algebras over a field of characteristic zero such that their high-degree cohomology in any finite-dimensional non-trivial irreducible module vanishes, are, essentially, direct sums of semisimple and…

In this paper, we study Heisenberg vertex algebras over fields of prime characteristic. The new feature is that the Heisenberg vertex algebras are no longer simple unlike in the case of characteristic zero. We then study a family of simple…

We call a finite-dimensional K-algebra A geometrically irreducible if for all d all connected components of the affine scheme of d-dimensional A-modules are irreducible. We prove that a geometrically irreducible algebra with exactly two…

Consider a complex affine variety $\tilde V$ and a real analytic Zariski-dense submanifold V of $\tilde V$. We compare modules over the ring $O (\tilde V)$ of regular functions on $\tilde V$ with modules over the ring $C^\infty (V)$ of…

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…

We consider modules E over a C*-algebra A which are equipped with a map into A_+ that has the formal properties of a norm. We completely determine the structure of these modules. In particular, we show that if A has no nonzero commutative…

Let $\mathcal{O}_K$ be a discrete valuation ring with fraction field $K$ of characteristic $0$ and algebraically closed residue field $k$ of characteristic $p > 0$. Let $A/K$ be an abelian variety of dimension $g$ with a $K$-rational point…