On the geometry of lattices and finiteness of Picard groups

Let ( K , 𝒪 , k ) {(K,\mathcal{O},k)} be a p-modular system with k algebraically closed and 𝒪 {\mathcal{O}} unramified, and let Λ be an 𝒪 {\mathcal{O}} -order in a separable K-algebra. We call a Λ-lattice L rigid if Ext Λ 1 ⁡ ( L , L ) = 0 {{\operatorname{Ext}}^{1}_{\Lambda}(L,L)=0} , in analogy with the definition of rigid modules over a finite-dimensional algebra. By partitioning the Λ-lattices of a given dimension into “varieties of lattices”, we show that there are only finitely many rigid Λ-lattices L of any given dimension. As a consequence we show that if the first Hochschild cohomology of Λ vanishes, then the Picard group and the outer automorphism group of Λ are finite. In particular, the Picard groups of blocks of finite groups defined over 𝒪 {\mathcal{O}} are always finite.

Torsion Pairs and Ringel Duality for Schur Algebras

Let A be a finite-dimensional algebra over an algebraically closed field. We use a functorial approach involving torsion pairs to construct embeddings of endomorphism algebras of basic projective A–modules P into those of the torsion submodules of P. As an application, we show that blocks of both the classical and quantum Schur algebras S(2,r) and Sq(2,r) in characteristic p > 0 are Morita equivalent as quasi-hereditary algebras to their Ringel duals if they contain 2pk simple modules for some k.

On Quiver Grassmannians and Orbit Closures for Gen-Finite Modules

We show that endomorphism rings of cogenerators in the module category of a finite-dimensional algebra A admit a canonical tilting module, whose tilted algebra B is related to A by a recollement. Let M be a gen-finite A-module, meaning there are only finitely many indecomposable modules generated by M. Using the canonical tilts of endomorphism algebras of suitable cogenerators associated to M, and the resulting recollements, we construct desingularisations of the orbit closure and quiver Grassmannians of M, thus generalising all results from previous work of Crawley-Boevey and the second author in 2017. We provide dual versions of the key results, in order to also treat cogen-finite modules.

On band modules and $$\tau $$-tilting finiteness

In this paper, motivated by a $$\tau $$ τ -tilting version of the Brauer-Thrall Conjectures, we study general properties of band modules and their endomorphisms in the module category of a finite dimensional algebra. As an application we describe properties of torsion classes containing band modules. Furthermore, we show that a special biserial algebra is $$\tau $$ τ -tilting finite if and only if no band module is a brick. We also recover a criterion for the $$\tau $$ τ -tilting finiteness of Brauer graph algebras in terms of the Brauer graph.

Hochschild cohomology, finiteness conditions and a generalization of d-Koszul algebras

Given a finite-dimensional algebra [Formula: see text] and [Formula: see text], we construct a new algebra [Formula: see text], called the stretched algebra, and relate the homological properties of [Formula: see text] and [Formula: see text]. We investigate Hochschild cohomology and the finiteness condition (Fg), and use stratifying ideals to show that [Formula: see text] has (Fg) if and only if [Formula: see text] has (Fg). We also consider projective resolutions and apply our results in the case where [Formula: see text] is a [Formula: see text]-Koszul algebra for some [Formula: see text].

WHEN ARE THERE ENOUGH PROJECTIVE PERVERSE SHEAVES?

Let X be a topologically stratified space, p be any perversity on X and k be a field. We show that the category of p-perverse sheaves on X, constructible with respect to the stratification and with coefficients in k, is equivalent to the category of finite-dimensional modules over a finite-dimensional algebra if and only if X has finitely many strata and the same holds for the category of local systems on each of these. The main component in the proof is a construction of projective covers for simple perverse sheaves.

Representability and autoequivalence groups

For a finite dimensional algebra A, the bounded homotopy category of projective A-modules and the bounded derived category of A-modules are dual to each other via certain categories of locally-finite cohomological functors. We prove that the duality gives rise to a 2-categorical duality between certain strict 2-categories involving bounded homotopy categories and bounded derived categories, respectively. We apply the 2-categorical duality to the study of triangle autoequivalence groups.

Igusa-Todorov function on path rings

The aim of this paper is to study the relation between the Igusa-Todorov functions for $A$, a finite dimensional algebra, and the algebra $AQ$. In particular it is proved that $\fidim (AQ) = \fidim (A) + 1$ when $A$ is a Gorenstein algebra. As a consequence of the previous result, it is exhibited an example of a family of algebras $\{A_n\}_{n \in \mathbb{N}}$ such that $\fidim (A_n) = n$ and each $A_n$ is of $\Omega^{\infty}$-infinite representation type.

Residually finite dimensional algebras and polynomial almost identities

Let [Formula: see text] be a residually finite dimensional algebra (not necessarily associative) over a field [Formula: see text]. Suppose first that [Formula: see text] is algebraically closed. We show that if [Formula: see text] satisfies a homogeneous almost identity [Formula: see text], then [Formula: see text] has an ideal of finite codimension satisfying the identity [Formula: see text]. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra [Formula: see text] over [Formula: see text] is almost [Formula: see text]-Engel, then [Formula: see text] has a nilpotent (respectively, locally nilpotent) ideal of finite codimension if char [Formula: see text] (respectively, char [Formula: see text]). Next, suppose that [Formula: see text] is finite (so [Formula: see text] is residually finite). We prove that, if [Formula: see text] satisfies a homogeneous probabilistic identity [Formula: see text], then [Formula: see text] is a coset identity of [Formula: see text]. Moreover, if [Formula: see text] is multilinear, then [Formula: see text] is an identity of some finite index ideal of [Formula: see text]. Along the way we show that if [Formula: see text] has degree [Formula: see text], and [Formula: see text] is a finite [Formula: see text]-algebra such that the probability that [Formula: see text] (where [Formula: see text] are randomly chosen) is at least [Formula: see text], then [Formula: see text] is an identity of [Formula: see text]. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon,