Hilbertian Frobenius algebras
Autor: | Poinsot, Laurent |
---|---|
Přispěvatelé: | Centre de Recherche de l'École de l'air (CReA), Armée de l'air et de l'espace, Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord |
Rok vydání: | 2020 |
Předmět: |
Frobenius compatibility relation
Mathematics::Operator Algebras [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] Mathematics - Operator Algebras orthogonal sets Mathematics - Commutative Algebra Commutative Algebra (math.AC) Functional Analysis (math.FA) Mathematics - Functional Analysis Mathematics::Category Theory FOS: Mathematics semisimplicity Banach algebras Operator Algebras (math.OA) |
Zdroj: | Communications in Algebra Communications in Algebra, Taylor & Francis, In press |
ISSN: | 0092-7872 1532-4125 |
DOI: | 10.48550/arxiv.2003.04149 |
Popis: | International audience; Commutative Hilbertian Frobenius algebras are those commutative semi-group objects in the monoidal category of Hilbert spaces, for which the Hilbert adjoint of the multiplication satisfies the Frobenius compatibility relation, that is, this adjoint is a bimodule map. In this note we prove that they split as an orthogonal direct sum of two closed ideals, their Jacobson radical which in fact is nothing but their annihilator, and the closure of the linear span of their group-like elements. As a consequence such an algebra is semisimple if, and only if, its multiplication has a dense range. In particular every commutative special Hilbertian algebra, that is, with a coisometric multiplication, is semisimple. Extending a known result in the finite-dimensional situation, we prove that the structures of such Frobenius algebras on a given Hilbert space are in one-one correspondence with its bounded above orthogonal sets. We show, moreover, that the category of commutative Hilbertian Frobenius algebras is dually equivalent to a category of pointed sets. Thus, each semigroup morphism between commutative Hilbertian Frobenius semigroups arises from a unique base-point preserving map (of some specific kind), from the set of minimal ideals of its codomain to the set of minimal ideals of its domain, both with zero added. MSC 2010: Primary 46J40, Secondary 16T15. |
Databáze: | OpenAIRE |
Externí odkaz: |