Source author record

Lars Kadison

Lars Kadison appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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

preprint2007arXiv

Skew Hopf algebras, irreducible extensions and the pi-method

To a depth two extension A | B, we associate the dual bialgebroids S := \End {}_BA_B and T := (A ø_B A)^B over the centralizer R=C_A(B). In the set-up where R is a subalgebra of B, which is quite common, two nondegenerate pairings of S and T will define an anti-automorphism τof the algebra S. Making use of a two-sided depth two structure, we prove that τis an antipode and S is a Hopf algebroid of a type we call skew Hopf algebra. A final section discusses how τand the nondegenerate pairings generalize to modules via the pi-method for depth two, and a certain derived mapping of cochain complexes is nullhomotopic.

preprint2001arXiv

Are biseparable extensions Frobenius?

In Secion~1 we describe what is known of the extent to which a separable extension of unital associative rings is a Frobenius extension. A problem of this kind is suggested by asking if three algebraic axioms for finite Jones index subfactors are dependent. In Section~2 the problem in the title is formulated in terms of separable bimodules. In Section~3 we specialize the problem to ring extensions, noting that a biseparable extension is a two-sided finitely generated projective, split, separable extension. Some reductions of the problem are discussed and solutions in special cases are provided. In Section~4 various examples are provided of projective separable extensions that are neither finitely generated nor Frobenius and which give obstructions to weakening the hypotheses of the question in the title. We show in Section~5 that existing characterizations of the separable extensions among the Frobenius extensions in are special cases of a result for adjoint functors.