Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0407095

Separable Functors and Formal Smoothness

Alessandro Ardizzoni
View original source ↗Read source document ↗Export metadata ↓

Also available from

Abstract

The natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms. This is performed investigating the relation between formal smoothness and separability of certain functors and led to other results related to Hopf algebra theory. Between them we prove that the existence of $ad$-(co)invariant integrals for a Hopf algebra $H$ is equivalent to the separability of some forgetful functors. In the finite dimensional case, this is also equivalent to the separability of the Drinfeld Double $D(H)$ over $H$. Hopf algebras which are formally smooth as (co)algebras are characterized. We prove that given a bialgebra surjection $π:E\to H$ with nilpotent kernel such that $H$ is a Hopf algebra which is formally smooth as a $K$-algebra, then $π$ has a section which is a right $H$-colinear algebra homomorphism. Moreover, if $H$ is also endowed with an $ad$-invariant integral, then this section can be chosen to be $H$-bicolinear. We also deal with the dual case.

Explore related subjects

math.QAmath.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alessandro Ardizzoni. 2007-05-08. Separable Functors and Formal Smoothness. https://doi.org/10.1017/is007011015jkt012

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

KEEP EXPLORING

Related papers

arXiv2026

Revisiting the Algebraic and Analytic Descriptions of Quantum Mechanics

The Wintner-Wielandt theorem exposes a fundamental incompatibility between the canonical commutation relation (CCR) and the Hilbert-space formulation of quantum mechanics. While the conventional approach preserves the CCR by extending the Hilbert-space framework to a rigged Hilbert space, this work develops the complementary alternative. Retaining the Hilbert space, the unavoidable trace obstruction requires a boundary modification of the CCR, consistently realizable only in a space of finite, albeit arbitrarily large, dimension. In this setting, the eigenvalue problems of position and momentum admit explicit solutions within the Hilbert space. We show that the highest-energy components of the position eigenvectors retain a non-vanishing uniform weight, implying that the full spectrum remains relevant. The resulting autonomous matrix algebra also yields a new physical observable, the action difference. In the position basis, this observable gives rise to a momentum matrix with a discrete Cauchy kernel. After an alternating phase transformation, this matrix acts on plane waves in the infinite equidistant lattice model as the Schroedinger momentum operator, revealing a structural connection between the algebraic and analytic approaches. This framework retains the standard Hilbert-space spectral theory and remains closely connected to the familiar analytical structure of quantum mechanics, including the momentum operator and the uncertainty principle.

math.QA↗
arXiv2026

Clifford BMW Categories and Conformal Embeddings of Types B C and D

In this paper, we give diagrammatic descriptions of the quantum subgroups coming from conformal embeddings of the form $\mathcal{V}(\mathfrak{g}, \check{h}) \subset \mathcal{V}(\mathfrak{so}_{\dim \mathfrak{g}}, 1)$ for $\mathfrak{g}\in \left\{\mathfrak{so}_N, \mathfrak{sp}_{2N}\right\}$, as well as the conformal embeddings of the form $\mathcal{V}(\mathfrak{sp}_{2r + 2}, 2r) \subset \mathcal{V}(\mathfrak{so}_{\dim \mathfrak{sp}_{2r + 2}}, 1)$, extending the techniques of Edie-Michell and Snyder which applied to conformal embeddings of the form $\mathcal{V}(\mathfrak{sl}_r, r) \subset \mathcal{V}(\mathfrak{so}_{\dim \mathfrak{sl}_r}, 1)$. Our main conceptual innovation is the use of fermion condensation to construct a continuous family of planar superalgebras, which we call the Clifford BMW supercategories. The tower of endomorphism algebras, $CW_n(σ, ε)$ is a combination of Birman Wenzl Murakami algebras and Clifford algebras, much in the spirit of the Hecke Clifford algebras. This tower of algebras appears to be new, and already yields some exciting combinatorics.

math.QA↗
arXiv2026

Reflections of Nichols algebras in braided monoidal categories

Let $\C$ be an essentially small abelian rigid braided monoidal category. We prove a reflection theorem for Nichols algebras in $\Ind(\C)$ and show that tuples admitting all reflections define connected semi-Cartan graphs. As applications, we prove that a finite Nichols algebra has a generating object of length at most one in $PSU(2)_k$ for odd $k\ge3$, in $SU(2)_{4m}$ for $m\ge1$, and in the representation categories of the Virasoro minimal models $\mathcal M(2,p)$ for odd $p\ge5$. In all three families, we prove that every finite pre-Nichols algebra is a Nichols algebra.

math.QA↗