arXiv subjects

Lars Kadison

Publications and source records attributed to Lars Kadison.

At least 19 recordsLinked to original sources

arXiv2018

Uniquely separable extensions

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 proven that this idempotent is full if and only the H-depth is 1 (H-separable extension). Similarly, a split extension has a bimodule projection; this idempotent is full if and only if the ring extension has depth 1 (centrally projective extension). Separable and split extensions have separability idempotents and bimodule projections in 1 - 1 correspondence via an endomorphism ring theorem in Section~3. If the separable idempotent is unique, then the separable extension is called uniquely separable. A Frobenius extension with invertible $E$-index is uniquely separable if the centralizer equals the center of the over-ring. It is also shown that a uniquely separable extension of semisimple complex algebras with invertible E-index has depth 1. Earlier group-theoretic results are recovered and related to depth $1$. The dual notion, uniquely split extension, only occurs trivially for finite group algebra extensions over complex numbers.

math.RA↗

arXiv2017

Separable equivalence of rings and symmetric algebras

We continue a study of separable equivalence from Hokkaido Mathematical Journal 24 (1995), 527-549. We prove that symmetric separable equivalent rings $A$ and $B$ are linked by a Frobenius bimodule ${}_AP_B$ such that $A$ is $P$-separable over $B$. Separably equivalent rings are linked by a biseparable bimodule $P$. In addition, the ring extension $A \rightarrow$ End $P_B$ is split, separable Frobenius. It is observed that left and right finite projective bimodules over symmetric algebras are Frobenius bimodules; twisted by the Nakayama automorphisms if over Frobenius algebras.

math.RA↗

arXiv2017

An in-Depth Look at Quotient Modules

The coset $G$-space of a finite group and a subgroup is a fundamental module of study of Schur and others around 1930; for example, its endomorphism algebra is a Hecke algebra of double cosets. We study and review its generalization $Q$ to Hopf subalgebras, especially the tensor powers and similarity as modules over a Hopf algebra, or what's the same, Morita equivalence of the endomorphism algebras. We prove that $Q$ has a nonzero integral if and only if the modular function restricts to the modular function of the Hopf subalgebra. We also study and organize knowledge of $Q$ and its tensor powers in terms of annihilator ideals, sigma categories, trace ideals, Burnside ring formulas, and when considering semisimple Hopf algebras, the depth of $Q$ in terms of the McKay quiver and the Green ring.

math.QA↗

arXiv2016

A quantum subgroup depth

The Green ring of the half quantum group $H=U_n(q)$ is computed in [Chen, Van Oystaeyen, Zhang]. The tensor product formulas between indecomposables may be used for a generalized subgroup depth computation in the setting of quantum groups -- to compute depth of the Hopf subalgebra $H$ in its Drinfeld double $D(H)$. In this paper the Hopf subalgebra quotient module $Q$ (a generalization of the permutation module of cosets for a group extension) is computed and, as $H$-modules, $Q$ and its second tensor power are decomposed into a direct sum of indecomposables. We note that the least power $n$, referred to as depth, for which $Q^{\otimes (n)}$ has the same indecomposable constituents as $Q^{\otimes (n+1)}$ is $n = 2$, since $ Q^{\otimes (2)}$ contains all $H$-module indecomposables, which determines the minimum even depth $d_{ev}(H,D(H)) = 6$.

math.RT↗

arXiv2015

Algebra depth in tensor categories

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary Frobenius extension. We study the core Hopf ideal of a Hopf subalgebra, noting that the length of the annihilator chain of tensor powers of the quotient module is linearly related to the depth, if the Hopf algebra is semisimple. A tensor categorical definition of depth is introduced, and a summary from this new point of view of previous results are included. It is shown in a last section that the depth, Bratteli diagram and relative cyclic homology of algebra extensions are Morita invariants.

math.QA↗

arXiv2014

Subgroup depth and twisted coefficients

Danz computes the depth of certain twisted group algebra extensions in Comm. Alg. (2011), which are less than the values of the depths of the corresponding untwisted group algebra extensions in Burciu et al, I.E.J.A. (2011). In this paper, we show that the closely related h-depth of any group crossed product algebra extension is less than or equal to the h-depth of the corresponding (finite rank) group algebra extension. A convenient theoretical underpinning to do so is provided by the entwining structure of a right $H$-comodule algebra A and a right H-module coalgebra C for a Hopf algebra H. Then A tensor C is an A-coring, where corings have a notion of depth extending h-depth. This coring is Galois in certain cases where C is the quotient module Q of a coideal subalgebra R < H. We note that this applies for the group crossed product algebra extension, so that the depth of this Galois coring is less than the h-depth of H in G. Along the way, we show that subgroup depth behaves exactly like combinatorial depth with respect to the core of a subgroup, and extend results in Kadison J.Pure Appl.Alg. (2014) to coideal subalgebras of finite dimension.

math.RT↗

arXiv2013

A tower condition characterizing normality

We define left relative H-separable tower of rings and continue a study of these begun by Sugano. It is proven that a progenerator extension has right depth two if and only if the ring extension together with its right endomorphism ring is a left relative H-separable tower. In particular, this applies to twisted or ordinary Frobenius extensions with surjective Frobenius homomorphism. For example, normality for Hopf subalgebras of finite-dimensional Hopf algebras is also characterized in terms of this tower condition.

math.RA↗

arXiv2013

Subalgebra depths within the path algebra of an acyclic quiver

Constraints are given on the depth of diagonal subalgebras in generalized triangular matrix algebras. The depth of the top subalgebra B = A /rad A in a finite, connected, acyclic quiver algebra A over an algebraically closed field K is then computed. Also the depth of the primary arrow subalgebra 1K + rad A = B in A is obtained. The two types of subalgebras have depths 3 and 4 respectively, independent of the number of vertices. An upper bound on depth is obtained for the quotient of a subalgebra pair.

math.RT↗

arXiv2012

Hopf subalgebras and tensor powers of generalized permutation modules

By means of a certain module V and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R of a finite-dimensional Hopf algebra H is finite. The module V is the counit representation induced from R to H, which is then a generalized permutation module, as well as a module coalgebra. We show that if in the subalgebra pair either Hopf algebra has finite representation type, or V is either semisimple with R* pointed, projective, or its tensor powers satisfy a Burnside ring formula over a finite set of Hopf subalgebras including R, then the depth of R in H is finite. One assigns a nonnegative integer depth to V, or any other H-module, by comparing the truncated tensor algebras of V in a finite tensor category and so obtains an upper and lower bound for depth of a Hopf subalgebra. For example, a relative Hopf restricted module has depth 1, and a permutation module of a corefree subgroup has depth less than the number of values assumed by its character.

math.RT↗

arXiv2011

Odd H-depth and H-separable extensions

A subring pair B < A has right depth 2n if the n+1'st relative Hochschild bar resolution group is isomorphic to a direct summand of a multiple of the n'th relative Hochschild bar resolution group as A-B-bimodules; depth 2n+1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n-1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B. In this paper the H-depth of semisimple subalgebra pairs is derived from the transpose inclusion matrix, and for QF extensions it is derived from the odd depth of the endomorphism ring extension. For general extensions characterizations of H-depth are possible using the H-equivalence generalization of Morita theory. In certain nice categories of bimodules the minimum depth and H-depth of certain types of ring extensions are always finite.

math.RA↗

arXiv2010

Ideal depth of QF extensions

A minimum depth d^I(S --> R) is assigned to a ring homomorphism S --> R and a R-R-bimodule I. The recent notion of depth of a subring d(S,R)in a paper by Boltje-Danz-Kuelshammer is recovered when I = R and S --> R is the inclusion mapping. Ideal depth gives lower bounds for d(S,R) in case of group C-algebra pair or semisimple complex algebra extensions. If R | S is a QF extension of finite depth, minimum left and right even depth are shown to coincide. If R < S is moreover a Frobenius extension with R a right S-generator, its subring depth is shown to coincide with its tower depth. In the process formulas for the ring, module, Frobenius and Temperley-Lieb structures are provided for the tensor product tower above a Frobenius extension. A depth 3 QF extension is embedded in a depth 2 QF extension; in turn certain depth n extensions embed in depth 3 extensions if they are Frobenius extensions or other special ring extensions with ring structures on their relative Hochschild bar resolution groups.

math.RA↗

arXiv2009

When weak Hopf algebras are Frobenius

We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this property, there is a weak Hopf algebra H with base A which is not Frobenius (and consequently, it is not Frobenius "over" A either). We give, moreover, a categorical counterpart of the result that a Hopf algebra is a Frobenius algebra for a noncoassociative generalization of weak Hopf algebra.

math.QA↗

arXiv2009

On subgroup depth

We define a notion of depth for an inclusion of multimatrix algebras B < A based on a comparison of powers of the induction-restriction table M (and its transpose matrix). This notion of depth coincides with the depth from [Kadison, 2008]. In particular depth 2 extensions coincides with normal extensions as introduced by Rieffel in 1979. For a group extension H < G a necessary depth n condition is given in terms of the core of H in G. We prove that the subgroup depth of symmetric groups S_n < S_{n+1} is 2n-1. An appendix by S. Danz and B. Kuelshammer determines the subgroup depth of alternating groups A_n < A_{n+1} as well as dihedral groups.

math.GR↗

arXiv2009

Subgroups of depth three and more

A subalgebra pair of semisimple complex algebras B < A with inclusion matrix M is depth two if MM^t M < nM for some positive integer n and all corresponding entries. If A and B are the group algebras of finite group-subgroup pair H < G, the induction-restriction table equals M and S = MM^t satisfies S^2 < nS iff the subgroup H is depth three in G; similarly depth n > 3 by successive right multiplications of this inequality with alternately M and M^t. We show that a Frobenius complement in a Frobenius group is a nontrivial class of examples of depth three subgroups. Depth-3 towers of Hopf algebras are also considered: a tower of Hopf algebras A > B > C is shown to be depth-3 if C < core(B).

math.GR↗

arXiv2008

Similarity, Codepth Two Bicomodules and QF Bimodules

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra homomorphisms. Also a notion of codepth two bicomodule is introduced. The last section applies similarity to an endomorphism ring theorem for quasi-Frobenius (QF) bimodules and then to finite depth ring extensions. For QF extensions, we establish that left and right depth two are equivalent notions as well as a converse endomorphism theorem, and characterize depth three in terms of separability and depth two.

math.RA↗

arXiv2008

Semisimple Hopf algebras and their depth two Hopf subalgebras

We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing (then restricting) modules several times as opposed to one time creates no new simple constituents. This point of view was taken in the paper http://arxiv.org/abs/math/0409346 which established a normality result in case H and K are finite group algebras. On the other hand this means that K is normal in H when H | K is a Galois extension with respect to action of generalized bialgebras such as bialgebroids, weak Hopf algebras or Hopf algebroids. The generalized Galois picture of depth two is the point of view we take here: after showing the centralizer R is separable algebra via Hopf invariant theory, we compute that the depth two semisimple Hopf algebra pair H | K is free Frobenius extension with Markov trace satisfying all hypotheses considered in Kadison and Nikshych, Frobenius Extensions and Weak Hopf Algebras, J.Algebra 244 (2001). By the main theorem in that paper it is then a Galois extension with action of semisimple weak Hopf algebra (also regular and possessing Haar integral). Then the Galois canonical isomorphism (via coring theory) restricted to integral induces algebra homomorphism from Hopf algebra into weak Hopf algebra with kernel HK^+ = K^+H.

math.QA↗

arXiv2007

Simplicial Hochschild cochains as an Amitsur complex

It is shown that the cochain complex of relative Hochschild A-valued cochains of a depth two extension A | B under cup product is isomorphic as a differential graded algebra with the Amitsur complex of the coring S = End {}_BA_B over the centralizer R = A^B with grouplike element 1_S, which itself is isomorphic to the Cartier complex of S with coefficients in the (S,S)-bicomodule R^e. This specializes to finite dimensional algebras, H-separable extensions and Hopf-Galois extensions.

math.RA↗

arXiv2007

Finite depth and Jacobson-Bourbaki correspondence

We introduce a notion of depth three tower of three rings C < B < A with depth two ring extension A | B recovered when B = C. If A = \End B_C and B | C is a Frobenius extension, this captures the notion of depth three for a Frobenius extension in arXiv:math/0107064 and arXiv:math/0108067, such that if B | C is depth three, then A | C is depth two (a phenomenon of finite depth subfactors, see arXiv:math/0006057). We provide a similar definition of finite depth Frobenius extension with embedding theorem utilizing a depth three subtower of the Jones tower. If A, B and C correspond to a tower of subgroups G > H > K via the group algebra over a fixed base ring, the depth three condition is the condition that subgroup K has normal closure K^G contained in H. For a depth three tower of rings, there is a pre-Galois theory for the ring \End {}_BA_C and coring (A ø_B A)^C involving Morita context bimodules and left coideal subrings. This is applied in two sections to a specialization of a Jacobson-Bourbaki correspondence theorem for augmented rings to depth two extensions with depth three intermediate division rings.

math.QA↗