Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0606489

Anchor maps and stable modules in depth two

Lars Kadison
View original source ↗Read source document ↗Export metadata ↓

Abstract

An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu math.QA/9905192, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids S = End {}_BA_B and T = End {}_AA\otimes_BA_A over the centralizer R = C_A(B) are the modules {}_SR and R_T studied in math.RA/0505004, math.RA/0408155 and math.GR/0409346, which provide information about the bialgebroids and the extension (cf. math.QA/0409106). The anchor maps for the Hopf algebroids in math.KT/0105105 and math.QA/0508411 reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in math.QA/0508638. We sketch a theory of stable $A$-modules and their endomorphism rings and generalize the smash product decomposition in Prop. 1.1, (L. Kadison, Hopf Algebroid and H-separable extensions, Proc. A.M.S. 131 (2003), 2993-3002) to any A-module. We observe that Schneider's coGalois theory (Isr.J.Math 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.

Explore related subjects

math.QAmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lars Kadison. 2006-08-14. Anchor maps and stable modules in depth two. https://arxiv.org/abs/math/0606489

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On singular vectors and associated Weyl elements for simply-laced universal affine vertex operator algebras

Given a finite-dimensional complex simple Lie algebra $\mathfrak{g}$ and a complex number $κ$, let $V^κ(\mathfrak{g})$ be the associated universal affine vertex algebra. Gorelik and Kac [GK07] gave a sufficient and necessary condition for $V^κ(\mathfrak{g})$ to be simple. In this paper, for simply-laced $\mathfrak{g}$ and non-critical $κ$, we determine the weights of singular vectors of $V^κ(\mathfrak{g})$ with minimal conformal weights, when $V^κ(\mathfrak{g})$ is not simple. We further determine all the longest Weyl elements in the Kashiwara-Tanisaki character theorem [KT00] which correspond to the weights of the singular vectors.

math.QA↗
arXiv2026

Modular invariants and NIM-reps

Given a pivotal module category over a spherical fusion category, we introduce the encircling module, a module over the fusion algebra defined using the pivotal structure, and prove that it is isomorphic to the NIM-rep as a fusion algebra module. When applied to the $\mathcal{TM}$ realisation of the modular invariant partition function (arXiv:1911.09024), this identifies the NIM-rep multiplicities with the entries $Z_{I,I^\vee}$ of the modular invariant (its diagonal relative to the charge-conjugation invariant, which is the one given by the regular module category), providing a categorical generalisation of Böckenhauer, Evans and Kawahigashi's results (arXiv:math/9907149). We also show that for indecomposable module categories the dimension condition on $\mathcal{TM}$ required for modular invariance is automatically satisfied, and that $\mathcal{TM}$ is, as an algebra, the full centre of the module category in the sense of Davydov, Kong and Runkel (arXiv:1307.5956), which for module categories of algebras is the full centre of Fjelstad, Fuchs, Runkel and Schweigert (arXiv:hep-th/0612306). Consequently $\mathcal{TM}$ gives rise to Cardy algebras in the sense of Kong and Runkel (arXiv:0807.3356).

math.QA↗
arXiv2026

A diagrammatic presentation for every pivotal pointed fusion category

We provide a generators and relations presentation of pivotal pointed fusion categories, $Vec(G,ω,π)$. Unlike the well-known skeletal model, our presentation is strict and allows multiple isomorphic objects. Our main tool is skein theory, which allows us to apply topological tools to understand the relations of morphisms in the category. This expository paper provides details of skein-theoretic work in the setup that allows multiple isomorphic labels in the generators, which didn't previously exist in the literature.

math.QA↗