scholarly journals On the geometry of lattices and finiteness of Picard groups

Author(s):  
Florian Eisele

Abstract 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.

Author(s):  
Ruaa Jawad ◽  
Nicole Snashall

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].


2006 ◽  
Vol 05 (02) ◽  
pp. 153-192 ◽  
Author(s):  
EDWARD L. GREEN ◽  
NICOLE SNASHALL ◽  
ØYVIND SOLBERG

For a finite dimensional monomial algebra Λ over a field K we show that the Hochschild cohomology ring of Λ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated K-algebra of Krull dimension at most one. This was conjectured to be true for any finite dimensional algebra over a field in [13].


2019 ◽  
Vol 2019 (756) ◽  
pp. 183-226 ◽  
Author(s):  
David Eisenbud ◽  
Bernd Ulrich

AbstractWe prove duality results for residual intersections that unify and complete results of van Straten, Huneke–Ulrich and Ulrich, and settle conjectures of van Straten and Warmt.Suppose that I is an ideal of codimension g in a Gorenstein ring, and {J\subset I} is an ideal with {s=g+t} generators such that {K:=J:I} has codimension s. Let {{\overline{I}}} be the image of I in {{\overline{R}}:=R/K}.In the first part of the paper we prove, among other things, that under suitable hypotheses on I, the truncated Rees ring {{\overline{R}}\oplus{\overline{I}}\oplus\cdots\oplus{\overline{I}}{}^{t+1}} is a Gorenstein ring, and that the modules {{\overline{I}}{}^{u}} and {{\overline{I}}{}^{t+1-u}} are dual to one another via the multiplication pairing into {{{\overline{I}}{}^{t+1}}\cong{\omega_{\overline{R}}}}.In the second part of the paper we study the analogue of residue theory, and prove that, when {R/K} is a finite-dimensional algebra over a field of characteristic 0 and certain other hypotheses are satisfied, the socle of {I^{t+1}/JI^{t}\cong{\omega_{R/K}}} is generated by a Jacobian determinant.


2018 ◽  
Vol 28 (5) ◽  
pp. 339-344
Author(s):  
Andrey V. Zyazin ◽  
Sergey Yu. Katyshev

Abstract Necessary conditions for power commuting in a finite-dimensional algebra over a field are presented.


Author(s):  
Michael Larsen ◽  
Aner Shalev

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,


2020 ◽  
Vol 296 (3-4) ◽  
pp. 1157-1183 ◽  
Author(s):  
Jenny August

Abstract We prove that the stable endomorphism rings of rigid objects in a suitable Frobenius category have only finitely many basic algebras in their derived equivalence class and that these are precisely the stable endomorphism rings of objects obtained by iterated mutation. The main application is to the Homological Minimal Model Programme. For a 3-fold flopping contraction $$f :X \rightarrow {\mathrm{Spec}\;}\,R$$ f : X → Spec R , where X has only Gorenstein terminal singularities, there is an associated finite dimensional algebra $$A_{{\text {con}}}$$ A con known as the contraction algebra. As a corollary of our main result, there are only finitely many basic algebras in the derived equivalence class of $$A_{\text {con}}$$ A con and these are precisely the contraction algebras of maps obtained by a sequence of iterated flops from f. This provides evidence towards a key conjecture in the area.


2004 ◽  
Vol 77 (1) ◽  
pp. 123-128 ◽  
Author(s):  
W. D. Munn

AbstractIt is shown that the following conditions on a finite-dimensional algebra A over a real closed field or an algebraically closed field of characteristic zero are equivalent: (i) A admits a special involution, in the sense of Easdown and Munn, (ii) A admits a proper involution, (iii) A is semisimple.


Sign in / Sign up

Export Citation Format

Share Document