-
Intersubband polaritonic metasurfaces for high-contrast ultra-fast power limiting and optical switching
Authors:
Michele Cotrufo,
Jonas Krakofsky,
Sander A. Mann,
Gerhard Böhm,
Mikhail A. Belkin,
Andrea Alù
Abstract:
Nonlinear intersubband polaritonic metasurfaces support one of the strongest known ultrafast nonlinear responses in the mid-infrared frequency range across all condensed matter systems. Beyond harmonic generation and frequency mixing, these nonlinearities can be leveraged for ultrafast optical switching and power limiting, based on tailored transitions from strong to weak polaritonic coupling. Her…
▽ More
Nonlinear intersubband polaritonic metasurfaces support one of the strongest known ultrafast nonlinear responses in the mid-infrared frequency range across all condensed matter systems. Beyond harmonic generation and frequency mixing, these nonlinearities can be leveraged for ultrafast optical switching and power limiting, based on tailored transitions from strong to weak polaritonic coupling. Here, we demonstrate synergistic optimization of materials and photonic nanostructures to achieve large reflection contrast in ultrafast polaritonic metasurface limiters. The devices are based on optimized semiconductor heterostructure materials that minimize the intersubband transition linewidth and reduce absorption in optically saturated nanoresonators, achieving a record-high reflection contrast of 54% experimentally. We also discuss opportunities to further boost the metrics of performance of this class of ultrafast limiters, showing that reflection contrast as high as 94% may be realistically achieved using all-dielectric intersubband polaritonic metasurfaces.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Maschke type theorems for Hopf monoids
Authors:
Gabriella Böhm
Abstract:
We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid, respectively, to the existence of normalized integrals. It covers the examples provided by Hopf monoids in braided monoidal categories, weak Hopf algebras, Hopf algebroid…
▽ More
We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid, respectively, to the existence of normalized integrals. It covers the examples provided by Hopf monoids in braided monoidal categories, weak Hopf algebras, Hopf algebroids over central base algebras, Hopf monads on autonomous monoidal categories and Hopf categories.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
BiHom Hopf algebras viewed as Hopf monoids
Authors:
Gabriella Böhm,
Joost Vercruysse
Abstract:
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define…
▽ More
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal categories with compatible $\mathsf{Lax}^+\mathsf{Oplax}^0$- and $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal structures. We introduce comonoids in $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal categories, monoids in $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories and bimonoids in $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$- duoidal categories.
Motivation for these notions comes from a generalization of a construction due to Caenepeel and Goyvaerts. This assigns a $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal category $\mathsf D$ to any symmetric monoidal category $\mathsf V$. The unital $\mathsf{BiHom}$-monoids, counital $\mathsf{BiHom}$-comonoids, and unital and counital $\mathsf{BiHom}$-bimonoids in $\mathsf V$ are identified with the monoids, comonoids and bimonoids in $\mathsf D$, respectively.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
The Gray monoidal product of double categories
Authors:
Gabriella Böhm
Abstract:
The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$ to the double category whose 0-cells are the double functors $\mathbb A \to \mathbb B$, whose horizontal and vertical 1-cells are the horizontal and vertical p…
▽ More
The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$ to the double category whose 0-cells are the double functors $\mathbb A \to \mathbb B$, whose horizontal and vertical 1-cells are the horizontal and vertical pseudotransformations, respectively, and whose 2-cells are the modifications. Some well-known functors of practical significance are checked to be compatible with this monoidal structure.
△ Less
Submitted 30 January, 2019;
originally announced January 2019.
-
The formal theory of multimonoidal monads
Authors:
Gabriella Böhm
Abstract:
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict monoidal 2-category of pseudomonoids, monoidal 1-cells and monoidal 2-cells in $\mathcal M$. Dually, there is a symmetric strict monoidal 2-category of pseudomonoid…
▽ More
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict monoidal 2-category of pseudomonoids, monoidal 1-cells and monoidal 2-cells in $\mathcal M$. Dually, there is a symmetric strict monoidal 2-category of pseudomonoids, opmonoidal 1-cells and opmonoidal 2-cells in $\mathcal M$. Extending a construction due to Aguiar and Mahajan for $\mathcal M=\mathsf{Cat}$, we may apply the first construction $p$-times and the second one $q$-times (in any order). It yields a 2-category $\mathcal M_{pq}$. A 0-cell therein is an object $A$ of $\mathcal M$ together with $p+q$ compatible pseudomonoid structures; it is termed a $(p+q)$-oidal object in $\mathcal M$. A monad in $\mathcal M_{pq}$ is called a $(p,q)$-oidal monad in $\mathcal M$; it is a monad $t$ on $A$ in $\mathcal M$ together with $p$ monoidal, and $q$ opmonoidal structures in a compatible way. If $\mathcal M$ has monoidal Eilenberg-Moore construction, and certain (Linton type) stable coequalizers exist, then a $(p+q)$-oidal structure on the Eilenberg-Moore object $A^t$ of a $(p,q)$-oidal monad $(A,t)$ is shown to arise via a symmetric strict monoidal double functor to Ehresmann's double category $\mathbb S\mathsf{qr} (\mathcal M)$ of squares in $\mathcal M$, from the double category of monads in $\mathbb S\mathsf{qr} (\mathcal M)$ in the sense of Fiore, Gambino and Kock. While $q$ ones of the pseudomonoid structures of $A^t$ are lifted along the `forgetful' 1-cell $A^t \to A$, the other $p$ ones are lifted along its left adjoint. In the particular example when $\mathcal M$ is an appropriate 2-subcategory of $\mathsf{Cat}$, this yields a conceptually different proof of some recent results due to Aguiar, Haim and López Franco.
△ Less
Submitted 11 April, 2019; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Crossed modules of monoids III. Simplicial monoids of Moore length 1
Authors:
Gabriella Böhm
Abstract:
This is the last part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most important…
▽ More
This is the last part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this third part relative simplicial monoids are analyzed. Their Moore length is introduced and the equivalence is proven between relative simplicial monoids of Moore length 1, and relative categories of monoids in Part I. This equivalence is obtained in one direction by truncating a simplicial monoid at the first two degrees; and in the other direction by taking the simplicial nerve of a relative category.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Crossed modules of monoids II. Relative crossed modules
Authors:
Gabriella Böhm
Abstract:
This is the second part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most importa…
▽ More
This is the second part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this second part we define relative crossed modules of monoids and prove their equivalence with the relative categories of Part I.
△ Less
Submitted 12 March, 2018;
originally announced March 2018.
-
Crossed modules of monoids I. Relative categories
Authors:
Gabriella Böhm
Abstract:
This is the first part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most importan…
▽ More
This is the first part of a series of three strongly related papers in which three equivalent structures are studied:
- internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans
- crossed modules of monoids relative to this class of spans
- simplicial monoids of so-called Moore length 1 relative to this class of spans.
The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this first part the theory of relative pullbacks is worked out leading to the definition of a relative category.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads
Authors:
Gabriella Böhm
Abstract:
We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Bruguières) can be seen as Hopf monads in $\mathsf{Span}| \mathsf{Cat}$ while Hopf group monoids in a braided monoidal category $V$ (in the spirit of Turaev and Zunino), and Hopf categories o…
▽ More
We associate, in a functorial way, a monoidal bicategory $\mathsf{Span}| \mathcal V$ to any monoidal bicategory $\mathcal V$. Two examples of this construction are of particular interest: Hopf polyads (due to Bruguières) can be seen as Hopf monads in $\mathsf{Span}| \mathsf{Cat}$ while Hopf group monoids in a braided monoidal category $V$ (in the spirit of Turaev and Zunino), and Hopf categories over $V$ (by Batista, Caenepeel and Vercruysse) both turn out to be Hopf monads in $\mathsf{Span}| V$. Hopf group monoids and Hopf categories are Hopf monads on a distinguished type of monoidales fitting the framework studied recently by Böhm and Lack. These examples are related by a monoidal pseudofunctor $V\to \mathsf{Cat}$.
△ Less
Submitted 22 September, 2017; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Weak multiplier bimonoids
Authors:
Gabriella Böhm,
José Goméz-Torrecillas,
Stephen Lack
Abstract:
Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided monoidal categories. Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; henc…
▽ More
Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided monoidal categories. Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; hence to possess a monoidal category of bicomodules. In this case, appropriately defined modules over a regular weak multiplier bimonoid are proven to constitute a monoidal category with a strict monoidal forgetful type functor to the category of bicomodules over the base object.
Braided monoidal categories considered include various categories of modules or graded modules, the category of complete bornological spaces, and the category of complex Hilbert spaces and continuous linear transformations.
△ Less
Submitted 17 March, 2016;
originally announced March 2016.
-
A simplicial approach to multiplier bimonoids
Authors:
Gabriella Böhm,
Stephen Lack
Abstract:
Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as (co)monoids in something more general than a monoidal category (namely, the simplicial set itself). We analyze the particular simplicial maps corresponding to th…
▽ More
Although multiplier bimonoids in general are not known to correspond to comonoids in any monoidal category, we classify them in terms of maps from the Catalan simplicial set to another suitable simplicial set; thus they can be regarded as (co)monoids in something more general than a monoidal category (namely, the simplicial set itself). We analyze the particular simplicial maps corresponding to that class of multiplier bimonoids which can be regarded as comonoids.
△ Less
Submitted 2 April, 2016; v1 submitted 3 December, 2015;
originally announced December 2015.
-
Multiplier Hopf monoids
Authors:
Gabriella B"ohm,
Stephen Lack
Abstract:
The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general con…
▽ More
The notion of multiplier Hopf monoid in any braided monoidal category is introduced as a multiplier bimonoid whose constituent fusion morphisms are isomorphisms. In the category of vector spaces over the complex numbers, Van Daele's definition of multiplier Hopf algebra is re-obtained. It is shown that the key features of multiplier Hopf algebras (over fields) remain valid in this more general context. Namely, for a multiplier Hopf monoid A, the existence of a unique antipode is proved --- in an appropriate, multiplier-valued sense --- which is shown to be a morphism of multiplier bimonoids from a twisted version of A to A. For a regular multiplier Hopf monoid (whose twisted versions are multiplier Hopf monoids as well) the antipode is proved to factorize through a proper automorphism of the object A. Under mild further assumptions, duals in the base category are shown to lift to the monoidal categories of modules and of comodules over a regular multiplier Hopf monoid. Finally, the so-called Fundamental Theorem of Hopf modules is proved --- which states an equivalence between the base category and the category of Hopf modules over a multiplier Hopf monoid.
△ Less
Submitted 2 May, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
A category of multiplier bimonoids
Authors:
Gabriella Böhm,
Stephen Lack
Abstract:
The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose objects are certain semigroups in C and whose morphisms from A to B can be regarded as suitable multiplicative morphisms from A to the multiplier monoid of B. We equi…
▽ More
The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose objects are certain semigroups in C and whose morphisms from A to B can be regarded as suitable multiplicative morphisms from A to the multiplier monoid of B. We equip this category M with a monoidal structure and describe multiplier bimonoids in C (whose structure morphisms belong to a distinguished class of regular epimorphisms) as certain comonoids in M. This provides us with one possible notion of morphism between such multiplier bimonoids.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Hopf comonads on naturally Frobenius map-monoidales
Authors:
Gabriella Böhm,
Stephen Lack
Abstract:
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative…
▽ More
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal M$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf algebras in braided monoidal categories, of small groupoids, of Hopf algebroids over commutative base algebras, of weak Hopf algebras, and of Hopf monads in the sense of Bruguières and Virelizier.
△ Less
Submitted 21 November, 2014;
originally announced November 2014.
-
Multiplier bialgebras in braided monoidal categories
Authors:
Gabriella Böhm,
Stephen Lack
Abstract:
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors.
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors.
△ Less
Submitted 4 November, 2014; v1 submitted 19 May, 2014;
originally announced May 2014.
-
Yetter-Drinfeld modules over weak multiplier bialgebras
Authors:
Gabriella Böhm
Abstract:
We continue the study of the representation theory of a regular weak multiplier bialgebra with full comultiplication, started in arXiv:1306.1466, arXiv:1311.2730. Yetter-Drinfeld modules are defined as modules and comodules, with compatibility conditions that are equivalent to a canonical object being (weakly) central in the category of modules, and equivalent also to another canonical object bein…
▽ More
We continue the study of the representation theory of a regular weak multiplier bialgebra with full comultiplication, started in arXiv:1306.1466, arXiv:1311.2730. Yetter-Drinfeld modules are defined as modules and comodules, with compatibility conditions that are equivalent to a canonical object being (weakly) central in the category of modules, and equivalent also to another canonical object being (weakly) central in the category of comodules. Yetter-Drinfeld modules are shown to constitute a monoidal category via the (co)module tensor product over the base (co)algebra. Finite dimensional Yetter-Drinfeld modules over a regular weak multiplier Hopf algebra with full comultiplication are shown to possess duals in this monoidal category.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
Comodules over weak multiplier bialgebras
Authors:
Gabriella Böhm
Abstract:
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a comodule is defined via a pair of compatible linear maps. Both the total algebra and the base (co)algebra of a regular weak multiplier bialgebra with a full comu…
▽ More
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a comodule is defined via a pair of compatible linear maps. Both the total algebra and the base (co)algebra of a regular weak multiplier bialgebra with a full comultiplication are shown to carry comodule structures. Kahng and Van Daele's integrals are interpreted as comodule maps from the total to the base algebra. Generalizing the counitality of a comodule to the multiplier setting, we consider the particular class of so-called full comodules. They are shown to carry bi(co)module structures over the base (co)algebra and constitute a monoidal category via the (co)module tensor product over the base (co)algebra. If a regular weak multiplier bialgebra with a full comultiplication possesses an antipode, then finite dimensional full comodules are shown to possess duals in the monoidal category of full comodules. Hopf modules are introduced over regular weak multiplier bialgebras with a full comultiplication. Whenever there is an antipode, the Fundamental Theorem of Hopf Modules is proven. It asserts that the category of Hopf modules is equivalent to the category of firm modules over the base algebra.
△ Less
Submitted 11 March, 2014; v1 submitted 12 November, 2013;
originally announced November 2013.
-
Statistics of weighted Poisson events and its applications
Authors:
G. Bohm,
G. Zech
Abstract:
The statistics of the sum of random weights where the number of weights is Poisson distributed has important applications in nuclear physics, particle physics and astrophysics. Events are frequently weighted according to their acceptance or relevance to a certain type of reaction. The sum is described by the compound Poisson distribution (CPD) which is shortly reviewed. It is shown that the CPD ca…
▽ More
The statistics of the sum of random weights where the number of weights is Poisson distributed has important applications in nuclear physics, particle physics and astrophysics. Events are frequently weighted according to their acceptance or relevance to a certain type of reaction. The sum is described by the compound Poisson distribution (CPD) which is shortly reviewed. It is shown that the CPD can be approximated by a scaled Poisson distribution (SPD). The SPD is applied to parameter estimation in situations where the data are distorted by resolution effects. It performs considerably better than the normal approximation that is usually used. A special Poisson bootstrap technique is presented which permits to derive confidence limits for observations following the CPD.
△ Less
Submitted 5 September, 2013;
originally announced September 2013.
-
Weak bimonoids in duoidal categories
Authors:
Yuanyuan Chen,
Gabriella Böhm
Abstract:
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in eac…
▽ More
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg-Moore category of the induced monad. Making appropriate assumptions on the duoidal category in question, the fundamental theorem of Hopf modules is proven which says that the category of modules over one of the base monoids is equivalent to the category of Hopf modules if and only if a Galois-type comonad morphism is an isomorphism.
△ Less
Submitted 20 June, 2013;
originally announced June 2013.
-
Weak multiplier bialgebras
Authors:
Gabriella Böhm,
José Gómez-Torrecillas,
Esperanza López-Centella
Abstract:
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra structures. Appropriate modules over a weak multiplier bialgebra are shown to constitute a monoidal category via the (co)module tensor product over the base alge…
▽ More
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra structures. Appropriate modules over a weak multiplier bialgebra are shown to constitute a monoidal category via the (co)module tensor product over the base algebra. The relation to Van Daele and Wang's (regular and arbitrary) weak multiplier Hopf algebra is discussed.
△ Less
Submitted 26 October, 2013; v1 submitted 6 June, 2013;
originally announced June 2013.
-
On the category of weak bialgebras
Authors:
Gabriella Böhm,
José Gómez-Torrecillas,
Esperanza López-Centella
Abstract:
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free vector space" functor from the category of small categories with finitely many objects to wba is shown to possess a right adjoint, given by taking (certain) gro…
▽ More
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free vector space" functor from the category of small categories with finitely many objects to wba is shown to possess a right adjoint, given by taking (certain) group-like elements. This adjunction is proven to restrict to the full subcategories of groupoids and of weak Hopf algebras, respectively. As a corollary, we obtain equivalences between the category of small categories with finitely many objects and the category of pointed cosemisimple weak bialgebras; and between the category of small groupoids with finitely many objects and the category of pointed cosemisimple weak Hopf algebras.
△ Less
Submitted 19 October, 2013; v1 submitted 6 June, 2013;
originally announced June 2013.
-
Firm Frobenius monads and firm Frobenius algebras
Authors:
Gabriella Böhm,
José Gómez-Torrecillas
Abstract:
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of comodules and of firm modules are shown to be isomorphic if and only if a canonical comparison functor from the category of comodules to the category of non-unital mo…
▽ More
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of comodules and of firm modules are shown to be isomorphic if and only if a canonical comparison functor from the category of comodules to the category of non-unital modules factorizes through the category of firm modules. This happens for example if the underlying algebra possesses local units, e.g. the firm Frobenius algebra arises from a co-Frobenius coalgebra over a base field; or if the comultiplication splits the multiplication (hence the underlying coalgebra is coseparable).
△ Less
Submitted 17 July, 2013; v1 submitted 24 April, 2013;
originally announced April 2013.
-
On Hopf monoids in duoidal categories
Authors:
Gabriella Böhm,
Yuanyuan Chen,
Liangyun Zhang
Abstract:
Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings are applied to the particular examples of small groupoids and of Hopf algebroids over a commutative base algebra.
Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings are applied to the particular examples of small groupoids and of Hopf algebroids over a commutative base algebra.
△ Less
Submitted 17 July, 2013; v1 submitted 5 December, 2012;
originally announced December 2012.
-
Comments to the article "Parametric fitting of data obtained from detectors with finite resolution and limited acceptance" [arXiv:1011.0662] by Gagunashvili
Authors:
G. Bohm,
G. Zech
Abstract:
The publication by Gagunashvili [arXiv:1011.0662] suffers from several caveats: i) The method is based upon the false assumption that the median of chi square distributed random variables is chi square distributed. ii) The information contained in the data is not fully used, iii) It is not clear how the uncertainties associated to the fitted parameters can be evaluated. A correct solution of the p…
▽ More
The publication by Gagunashvili [arXiv:1011.0662] suffers from several caveats: i) The method is based upon the false assumption that the median of chi square distributed random variables is chi square distributed. ii) The information contained in the data is not fully used, iii) It is not clear how the uncertainties associated to the fitted parameters can be evaluated. A correct solution of the problem is presented and results of the cited paper are compared to results obtained using the approach described in the textbook by Bohm and Zech. Finally, we correct false statements in the cited paper about a section in our book.
△ Less
Submitted 31 August, 2012;
originally announced September 2012.
-
On the double crossed product of weak Hopf algebras
Authors:
Gabriella Böhm,
José Gómez-Torrecillas
Abstract:
Given a weak distributive law between algebras underlying two weak bialgebras, we present sufficient conditions under which the corresponding weak wreath product algebra becomes a weak bialgebra with respect to the tensor product coalgebra structure. When the weak bialgebras are weak Hopf algebras, then the same conditions are shown to imply that the weak wreath product becomes a weak Hopf algebra…
▽ More
Given a weak distributive law between algebras underlying two weak bialgebras, we present sufficient conditions under which the corresponding weak wreath product algebra becomes a weak bialgebra with respect to the tensor product coalgebra structure. When the weak bialgebras are weak Hopf algebras, then the same conditions are shown to imply that the weak wreath product becomes a weak Hopf algebra, too. Our sufficient conditions are capable to describe most known examples, (in particular the Drinfel'd double of a weak Hopf algebra).
△ Less
Submitted 10 May, 2012;
originally announced May 2012.
-
On the iteration of weak wreath products
Authors:
Gabriella Böhm
Abstract:
Based on a study of the 2-category of weak distributive laws, we describe a method of iterating Street's weak wreath product construction. That is, for any 2-category K and for any non-negative integer n, we introduce 2-categories Wdl^{(n)}(K), of (n+1)-tuples of monads in K pairwise related by weak distributive laws obeying the Yang-Baxter equation. The first instance Wdl^{(0)}(K) coincides with…
▽ More
Based on a study of the 2-category of weak distributive laws, we describe a method of iterating Street's weak wreath product construction. That is, for any 2-category K and for any non-negative integer n, we introduce 2-categories Wdl^{(n)}(K), of (n+1)-tuples of monads in K pairwise related by weak distributive laws obeying the Yang-Baxter equation. The first instance Wdl^{(0)}(K) coincides with Mnd(K), the usual 2-category of monads in K, and for other values of n, Wdl^{(n)}(K) contains Mnd^{n+1}(K) as a full 2-subcategory. For the local idempotent closure K^ of K, extending the multiplication of the 2-monad Mnd, we equip these 2-categories with n possible `weak wreath product' 2-functors Wdl^{(n)}(K^) --> Wdl^{(n-1)}(K^), such that all of their possible n-fold composites Wdl^{(n)}(K^) --> Wdl^{(0)}(K^) are equal; i.e. such that the weak wreath product is `associative'. Whenever idempotent 2-cells in K split, this leads to pseudofunctors Wdl^{(n)}(K) --> Wdl^{(n-1)}(K) obeying the associativity property up-to isomorphism. We present a practically important occurrence of an iterated weak wreath product: the algebra of observable quantities in an Ising type quantum spin chain where the spins take their values in a dual pair of finite weak Hopf algebras. We also construct a fully faithful embedding of Wdl^{(n)}(K^) into the 2-category of commutative n+1 dimensional cubes in Mnd(K^) (hence into the 2-category of commutative n+1 dimensional cubes in K whenever K has Eilenberg-Moore objects and its idempotent 2-cells split). Finally we give a sufficient and necessary condition on a monad in K^ to be isomorphic to an n-ary weak wreath product.
△ Less
Submitted 25 January, 2012; v1 submitted 4 October, 2011;
originally announced October 2011.
-
Bilinear factorization of algebras
Authors:
Gabriella Böhm,
José Gómez-Torrecillas
Abstract:
We study the (so-called bilinear) factorization problem answered by a weak wreath product (of monads and, more specifically, of algebras over a commutative ring) in the works by Street and by Caenepeel and De Groot. A bilinear factorization of a monad R turns out to be given by monad morphisms A --> R <-- B inducing a split epimorphism of B-A bimodules B @ A --> R. We prove a biequivalence between…
▽ More
We study the (so-called bilinear) factorization problem answered by a weak wreath product (of monads and, more specifically, of algebras over a commutative ring) in the works by Street and by Caenepeel and De Groot. A bilinear factorization of a monad R turns out to be given by monad morphisms A --> R <-- B inducing a split epimorphism of B-A bimodules B @ A --> R. We prove a biequivalence between the bicategory of weak distributive laws and an appropriately defined bicategory of bilinear factorization structures. As an illustration of the theory, we collect some examples of algebras over commutative rings which admit a bilinear factorization; i.e. which arise as weak wreath products.
△ Less
Submitted 30 August, 2011;
originally announced August 2011.
-
Weak bialgebras and monoidal categories
Authors:
G. Böhm,
S. Caenepeel,
K. Janssen
Abstract:
We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.
We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.
△ Less
Submitted 16 November, 2011; v1 submitted 11 March, 2011;
originally announced March 2011.
-
Idempotent splittings, colimit completion, and weak aspects of the theory of monads
Authors:
Gabriella Böhm,
Stephen Lack,
Ross Street
Abstract:
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
△ Less
Submitted 3 August, 2011; v1 submitted 24 February, 2011;
originally announced February 2011.
-
On the 2-categories of weak distributive laws
Authors:
Gabriella Böhm,
Stephen Lack,
Ross Street
Abstract:
A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a weak mixed distributive law can be described as a compatible pair of a monad and a comonad, in 2-categories extending, respectively, the 2-category of comonads and…
▽ More
A weak mixed distributive law (also called weak entwining structure) in a 2-category consists of a monad and a comonad, together with a 2-cell relating them in a way which generalizes a mixed distributive law due to Beck. We show that a weak mixed distributive law can be described as a compatible pair of a monad and a comonad, in 2-categories extending, respectively, the 2-category of comonads and the 2-category of monads. Based on this observation, we define a 2-category whose 0-cells are weak mixed distributive laws. In a 2-category K which admits Eilenberg-Moore constructions both for monads and comonads, and in which idempotent 2-cells split, we construct a fully faithful 2-functor from this 2-category of weak mixed distributive laws to K^{2 x 2}.
△ Less
Submitted 14 November, 2011; v1 submitted 17 September, 2010;
originally announced September 2010.
-
Factorization systems induced by weak distributive laws
Authors:
Gabriella Böhm
Abstract:
We relate weak distributive laws in SetMat to strictly associative (but not strictly unital) pseudoalgebras of the 2-monad (-)^2 on Cat. The corresponding orthogonal factorization systems are characterized by a certain bilinearity property.
We relate weak distributive laws in SetMat to strictly associative (but not strictly unital) pseudoalgebras of the 2-monad (-)^2 on Cat. The corresponding orthogonal factorization systems are characterized by a certain bilinearity property.
△ Less
Submitted 3 September, 2010;
originally announced September 2010.
-
Non-resonant feeding of photonic crystal nanocavity modes by quantum dots
Authors:
A. Laucht,
N. Hauke,
A. Neumann,
T. Günthner,
F. Hofbauer,
A. Mohtashami,
K. Müller,
G. Böhm,
M. Bichler,
M. -C. Amann,
M. Kaniber,
J. J. Finley
Abstract:
We experimentally probe the non-resonant feeding of photons into the optical mode of a two dimensional photonic crystal nanocavity from the discrete emission from a quantum dot. For a strongly coupled system of a single exciton and the cavity mode, we track the detuning-dependent photoluminescence intensity of the polariton peaks at different lattice temperatures. At low temperatures we observe a…
▽ More
We experimentally probe the non-resonant feeding of photons into the optical mode of a two dimensional photonic crystal nanocavity from the discrete emission from a quantum dot. For a strongly coupled system of a single exciton and the cavity mode, we track the detuning-dependent photoluminescence intensity of the polariton peaks at different lattice temperatures. At low temperatures we observe a clear asymmetry in the emission intensity depending on whether the exciton is at higher or lower energy than the cavity mode. At high temperatures this asymmetry vanishes when the probabilities to emit or absorb a phonon become similar. For a different dot-cavity system where the cavity mode is detuned by ΔE>5 meV to lower energy than the single exciton transitions emission from the mode remains correlated with the quantum dot as demonstrated unambiguously by cross-correlation photon counting experiments. By monitoring the temporal evolution of the photoluminescence spectrum, we show that feeding of photons into the mode occurs from multi-exciton transitions. We observe a clear anti-correlation of the mode and single exciton emission; the mode emission quenches as the population in the system reduces towards the single exciton level whilst the intensity of the mode emission tracks the multi-exciton transitions.
△ Less
Submitted 18 July, 2010;
originally announced July 2010.
-
Weak bimonads and weak Hopf monads
Authors:
Gabriella Böhm,
Stephen Lack,
Ross Street
Abstract:
We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple set of axioms is provided, that characterizes the monoidal structure of M^T as a weak lifting of the monoidal structure of M . The relation to bimonads, and the…
▽ More
We define a weak bimonad as a monad T on a monoidal category M with the property that the Eilenberg-Moore category M^T is monoidal and the forgetful functor from M^T to M is separable Frobenius. Whenever M is also Cauchy complete, a simple set of axioms is provided, that characterizes the monoidal structure of M^T as a weak lifting of the monoidal structure of M . The relation to bimonads, and the relation to weak bimonoids in a braided monoidal category are revealed. We also discuss antipodes, obtaining the notion of weak Hopf monad.
△ Less
Submitted 30 July, 2010; v1 submitted 24 February, 2010;
originally announced February 2010.
-
Mutual Coupling of two Semiconductor Quantum Dots via an Optical Nanocavity Mode
Authors:
A. Laucht,
J. M. Villas-Bôas,
S. Stobbe,
N. Hauke,
F. Hofbauer,
G. Böhm,
P. Lodahl,
M. -C. Amann,
M. Kaniber,
J. J. Finley
Abstract:
We present an experimental and theoretical study of a system consisting of two spatially separated self-assembled InGaAs quantum dots strongly coupled to a single optical nanocavity mode. Due to their different size and compositional profiles, the two quantum dots exhibit markedly different DC Stark shifts. This allows us to tune them into mutual resonance with each other and a photonic crystal na…
▽ More
We present an experimental and theoretical study of a system consisting of two spatially separated self-assembled InGaAs quantum dots strongly coupled to a single optical nanocavity mode. Due to their different size and compositional profiles, the two quantum dots exhibit markedly different DC Stark shifts. This allows us to tune them into mutual resonance with each other and a photonic crystal nanocavity mode as a bias voltage is varied. Photoluminescence measurements show a characteristic triple peak during the double anticrossing, which is a clear signature of a coherently coupled system of three quantum states. We fit the entire set of emission spectra of the coupled system to theory and are able to investigate the coupling between the two quantum dots via the cavity mode, and the coupling between the two quantum dots when they are detuned from the cavity mode. We suggest that the resulting quantum V-system may be advantageous since dephasing due to incoherent losses from the cavity mode can be avoided.
△ Less
Submitted 12 July, 2010; v1 submitted 18 December, 2009;
originally announced December 2009.
-
A categorical approach to cyclic duality
Authors:
Gabriella Böhm,
Dragos Stefan
Abstract:
The aim of this paper is to provide a unifying categorical framework for the many examples of para-(co)cyclic modules arising from Hopf cyclic theory. Functoriality of the coefficients is immediate in this approach. A functor corresponding to Connes's cyclic duality is constructed. Our methods allow, in particular, to extend Hopf cyclic theory to (Hopf) bialgebroids.
The aim of this paper is to provide a unifying categorical framework for the many examples of para-(co)cyclic modules arising from Hopf cyclic theory. Functoriality of the coefficients is immediate in this approach. A functor corresponding to Connes's cyclic duality is constructed. Our methods allow, in particular, to extend Hopf cyclic theory to (Hopf) bialgebroids.
△ Less
Submitted 31 August, 2010; v1 submitted 24 October, 2009;
originally announced October 2009.
-
Dephasing of quantum dot exciton polaritons in electrically tunable nanocavities
Authors:
A. Laucht,
N. Hauke,
J. M. Villas-Bôas,
F. Hofbauer,
M. Kaniber,
G. Böhm,
J. J. Finley
Abstract:
We experimentally and theoretically investigate dephasing of zero dimensional microcavity polaritons in electrically tunable single dot photonic crystal nanocavities. Such devices allow us to alter the dot-cavity detuning in-situ and to directly probe the influence on the emission spectrum of varying the incoherent excitation level and the lattice temperature. By comparing our results with theor…
▽ More
We experimentally and theoretically investigate dephasing of zero dimensional microcavity polaritons in electrically tunable single dot photonic crystal nanocavities. Such devices allow us to alter the dot-cavity detuning in-situ and to directly probe the influence on the emission spectrum of varying the incoherent excitation level and the lattice temperature. By comparing our results with theory we obtain the polariton dephasing rate and clarify its dependence on optical excitation power and lattice temperature. For low excitation levels we observe a linear temperature dependence, indicative of phonon mediated polariton dephasing. At higher excitation levels, excitation induced dephasing is observed due to coupling to the solid-state environment. The results provide new information on coherence properties of quantum dot microcavity polaritons.
△ Less
Submitted 8 May, 2009; v1 submitted 30 April, 2009;
originally announced April 2009.
-
The 2-category of weak entwining structures
Authors:
Gabriella Böhm
Abstract:
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a compatible pair of a monad and a comonad, in 2-categories generalizing the 2-category of comonads and the 2-category of monads in K, respectively. This observatio…
▽ More
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a compatible pair of a monad and a comonad, in 2-categories generalizing the 2-category of comonads and the 2-category of monads in K, respectively. This observation is used to define a 2-category Entw^w(K) of weak entwining structures in K. If the 2-category K admits Eilenberg-Moore constructions for both monads and comonads and idempotent 2-cells in K split, then there are pseudo-functors from Entw^w(K) to the 2-category of monads and to the 2-category of comonads in K, taking a weak entwining structure (t,c) to a `weak lifting' of t for c and a `weak lifting' of c for t, respectively. The Eilenberg-Moore objects of the lifted monad and the lifted comonad are shown to be equivalent. If K is the 2-category of functors induced by bimodules, then these Eilenberg-Moore objects are isomorphic to the usual category of weak entwined modules.
△ Less
Submitted 20 February, 2010; v1 submitted 24 February, 2009;
originally announced February 2009.
-
The weak theory of monads
Authors:
Gabriella Böhm
Abstract:
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EM^w(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of `weak…
▽ More
We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EM^w(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of `weak liftings' for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of a weak lifting via an appropriate pseudo-functor EM^w(K) --> K. Weak entwining structures and partial entwining structures are shown to realize weak liftings of a comonad for a monad in these respective senses. Weak bialgebras are characterized as algebras and coalgebras, such that the corresponding monads weakly lift for the corresponding comonads and also the comonads weakly lift for the monads.
△ Less
Submitted 20 February, 2010; v1 submitted 24 February, 2009;
originally announced February 2009.
-
Electrical control of spontaneous emission and strong coupling for a single quantum dot
Authors:
A. Laucht,
F. Hofbauer,
N. Hauke,
J. Angele,
S. Stobbe,
M. Kaniber,
G. Böhm,
P. Lodahl,
M. -C. Amann,
J. J. Finley
Abstract:
We report the design, fabrication and optical investigation of electrically tunable single quantum dot - photonic crystal defect nanocavities operating in both the weak and strong coupling regimes of the light matter interaction. Unlike previous studies where the dot-cavity spectral detuning was varied by changing the lattice temperature, or by the adsorption of inert-gases at low temperatures,…
▽ More
We report the design, fabrication and optical investigation of electrically tunable single quantum dot - photonic crystal defect nanocavities operating in both the weak and strong coupling regimes of the light matter interaction. Unlike previous studies where the dot-cavity spectral detuning was varied by changing the lattice temperature, or by the adsorption of inert-gases at low temperatures, we demonstrate that the quantum confined Stark effect can be employed to quickly and reversibly switch the dot-cavity coupling simply by varying a gate voltage. Our results show that exciton transitions from individual dots can be tuned by ~4 meV relative to the nanocavity mode before the emission quenches due to carrier tunneling escape. This range is much larger than the typical linewidth of the high-Q cavity modes (~0.10 meV) allowing us to explore and contrast regimes where the dots couple to the cavity or decay by spontaneous emission into the 2D photonic bandgap. In the weak coupling regime, we show that the dot spontaneous emission rate can be tuned using a gate voltage, with Purcell factors >=7. New information is obtained on the nature of the dot-cavity coupling in the weak coupling regime and electrical control of zero dimensional polaritons is demonstrated for the highest-Q cavities (Q>=12000). Vacuum Rabi splittings up to ~0.13 meV are observed, much larger than the linewidths of either the decoupled exciton or cavity mode. These observations represent a voltage switchable optical non-linearity at the single photon level, paving the way towards on-chip dot based nano-photonic devices that can be integrated with passive optical components.
△ Less
Submitted 24 October, 2008; v1 submitted 16 October, 2008;
originally announced October 2008.
-
Pre-torsors and Galois comodules over mixed distributive laws
Authors:
Gabriella Böhm,
Claudia Menini
Abstract:
We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions $(N_A,R_A)$ and…
▽ More
We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street's bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions $(N_A,R_A)$ and $(N_B,R_B)$ on one hand, and the category of regular comonad arrows $(R_A,ξ)$ from some equalizer preserving comonad ${\mathbb C}$ to $N_BR_B$ on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras.Develo** a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad ${\mathbb D}$ and a co-regular comonad arrow from ${\mathbb D}$ to $N_A R_A$, such that the comodule categories of ${\mathbb C}$ and ${\mathbb D}$ are equivalent.
△ Less
Submitted 15 December, 2008; v1 submitted 6 June, 2008;
originally announced June 2008.
-
Hopf Algebroids
Authors:
Gabriella Böhm
Abstract:
This is a preprint version of a chapter for Handbook of Algebra.
This is a preprint version of a chapter for Handbook of Algebra.
△ Less
Submitted 9 December, 2008; v1 submitted 24 May, 2008;
originally announced May 2008.
-
Monads and comonads in module categories
Authors:
Gabriella Böhm,
Tomasz Brzezinski,
Robert Wisbauer
Abstract:
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple).
Similarly, an $A $-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras…
▽ More
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple).
Similarly, an $A $-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras) of $-\otimes_A B$ and comodules (or coalgebras) of $-\otimes_A\C$ are well studied in the literature. On the other hand, the right adjoint endofunctors $\Hom_A(B,-)$ and $\Hom_A(\C,-)$ are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of $\Hom_A(B,-)$-comodules is isomorphic to the category of $B$-modules, while the category of $\Hom_A(\C,-)$-modules (called $\C$-contramodules by Eilenberg and Moore) need not be equivalent to the category of $\C$-comodules.
The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of $\C$-comodules and $\Hom_A(\C,-)$-modules are equivalent provided $\C$ is a coseparable coring. Furthermore, a bialgebra
$H$ over a commutative ring $R$ is a Hopf algebra if and only if $\Hom_R(H-)$ is a Hopf bimonad on $\M_R$ and in this case the categories of $H$-Hopf modules and mixed $\Hom_R(H,-)$-bimodules are both equivalent to $\M_R$.
△ Less
Submitted 9 April, 2008;
originally announced April 2008.
-
Examples of para-cocyclic objects induced by BD-laws
Authors:
Gabriella Böhm,
Dragos Stefan
Abstract:
In a recent paper arXiv:0705.3190, we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple -- consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general e…
▽ More
In a recent paper arXiv:0705.3190, we gave a general construction of a para-cocyclic structure on a cosimplex, associated to a so called admissible septuple -- consisting of two categories, three functors and two natural transformations, subject to compatibility relations. The main examples of such admissible septuples were induced by algebra homomorphisms. In this note we provide more general examples coming from appropriate (`locally braided') morphisms of monads.
△ Less
Submitted 29 December, 2007;
originally announced January 2008.
-
Morita theory of comodules over corings
Authors:
Gabriella Böhm,
Joost Vercruysse
Abstract:
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (w…
▽ More
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule $Σ$ of an $A$-coring $\cC$. This allows to extend (weak and strong) structure theorems in the literature, in particular beyond the cases when any of the coring $\cC$ or the comodule $Σ$ is finitely generated and projective as an $A$-module. That is, we obtain relations between the category of $\cC$-comodules and the category of firm modules for a firm ring $R$, which is an ideal of the endomorphism algebra $^\cC(Σ)$. For a firmly projective comodule of a coseparable coring we prove a strong structure theorem assuming only surjectivity of the canonical map.
△ Less
Submitted 1 November, 2008; v1 submitted 4 October, 2007;
originally announced October 2007.
-
Electrically probing photonic bandgap phenomena in contacted defect nanocavities
Authors:
F. Hofbauer,
S. Grimminger,
J. Angele,
G. Böhm,
R. Meyer,
M. C. Amann,
J. J. Finley
Abstract:
We demonstrate an electrically tunable two dimensional photonic crystal nanocavity containing InAs self assembled quantum dots. Photoluminescence and electroluminescence measurements are combined to probe the cavity mode structure and demonstrate a local electrical contact to the quantum dots. Measurements performed as a function of the electric field enable us to probe the capture, relaxation a…
▽ More
We demonstrate an electrically tunable two dimensional photonic crystal nanocavity containing InAs self assembled quantum dots. Photoluminescence and electroluminescence measurements are combined to probe the cavity mode structure and demonstrate a local electrical contact to the quantum dots. Measurements performed as a function of the electric field enable us to probe the capture, relaxation and recombination dynamics of photogenerated carriers inside the quantum dots emitting into a modified photonic environment. Furthermore, the two dimensional photonic crystal is probed by spatially dependent photocurrent spectroscopy indicating a 3.5x enhancement of the local radiative lifetime of the QDs inside the photonic crystal environment.
△ Less
Submitted 13 September, 2007;
originally announced September 2007.
-
(Co)cyclic (co)homology of bialgebroids: An approach via (co)monads
Authors:
Gabriella Böhm,
Dragos Stefan
Abstract:
For a (co)monad T_l on a category M, an object X in M, and a functor Π: M \to C, there is a (co)simplex Z^*:=ΠT_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:ΠT_l \to ΠT_r, and a morphism w: T_r X \to T_l X in M. The relations i and w need to satisfy are c…
▽ More
For a (co)monad T_l on a category M, an object X in M, and a functor Π: M \to C, there is a (co)simplex Z^*:=ΠT_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:ΠT_l \to ΠT_r, and a morphism w: T_r X \to T_l X in M. The relations i and w need to satisfy are categorical versions of Kaygun's axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads T_l=T \otimes_R (-) and T_r = (-)\otimes_R T on the category of R-bimodules. The functor Πcan be chosen such that Z^n= T\hat{\otimes}_R... \hat{\otimes}_R T \hat{\otimes}_R X is the cyclic R-module tensor product. A natural transformation i:T \hat{\otimes}_R (-) \to (-) \hat{\otimes}_R T is given by the flip map and a morphism w: X \otimes_R T \to T\otimes_R X is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. Stable anti Yetter-Drinfel'd modules over certain bialgebroids, so called x_R-Hopf algebras, are introduced. In the particular example when T is a module coring of a x_R-Hopf algebra B and X is a stable anti Yetter-Drinfel'd B-module, the para-cyclic object Z_* is shown to project to a cyclic structure on T^{\otimes_R *+1} \otimes_B X. For a B-Galois extension S \to T, a stable anti Yetter-Drinfel'd B-module T_S is constructed, such that the cyclic objects B^{\otimes_R *+1} \otimes_B T_S and T^ {\hat{\otimes}_S *+1} are isomorphic. As an application, we compute Hochschild and cyclic homology of a groupoid with coefficients, by tracing it back to the group case. In particular, we obtain explicit expressions for ordinary Hochschild and cyclic homology of a groupoid.
△ Less
Submitted 8 March, 2008; v1 submitted 22 May, 2007;
originally announced May 2007.
-
Galois extensions over commutative and non-commutative base
Authors:
Gabriella Böhm
Abstract:
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared.
In the first version of this paper, the journal version of…
▽ More
This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared.
In the first version of this paper, the journal version of [15, Theorem 2.6] was heavily used, in two respects. First, it was applied to establish an isomorphism between the comodule categories of two constituent bialgebroids in a Hopf algebroid. Second, it was used to construct a Morita context for any bicomodule for a coring extension. Regrettably, it turned out that the proof of [15, Theorem 2.6] contains an unjustified step. Therefore, our derived results are not expected to hold at the stated level of generality either. In the revised version we make the necessary corrections in both respects. In doing so, we obtain a corrected version of \cite[5, Theorem 4.2] as well, whose original proof contains a very similar error to [15, Theorem 2.6].
△ Less
Submitted 1 November, 2008; v1 submitted 2 January, 2007;
originally announced January 2007.
-
A Schneider type theorem for Hopf algebroids
Authors:
Alessandro Ardizzoni,
Gabriella Böhm,
Claudia Menini
Abstract:
Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H, relative injectivity of the H-comodule algebra A is related to the Galois property of the extension B\subseteq A and also to the equivalence of the category of re…
▽ More
Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H, relative injectivity of the H-comodule algebra A is related to the Galois property of the extension B\subseteq A and also to the equivalence of the category of relative Hopf modules to the category of B-modules. This extends a classical theorem by H.-J. Schneider on Galois extensions by a Hopf algebra. Our main tool is an observation that relative injectivity of a comodule algebra is equivalent to relative separability of a forgetful functor, a notion introduced and analysed hereby.
In the first version of this submission, we heavily used the statement that two constituent bialgebroids in a Hopf algebroid possess isomorphic comodule categories. This statement was based on \cite[Brz3,Theorem 2.6], whose proof turned out to contain an unjustified step. In the revised version we return to an earlier definition of a comodule of a Hopf algebroid, that distinguishes between comodules of the two constituent bialgebroids, and modify the statements and proofs in the paper accordingly.
△ Less
Submitted 1 November, 2008; v1 submitted 21 December, 2006;
originally announced December 2006.
-
Pre-torsors and equivalences
Authors:
Gabriella Böhm,
Tomasz Brzezinski
Abstract:
Properties of (most general) non-commutative torsors or A-B torsors are analysed. Starting with pre-torsors it is shown that they are equivalent to a certain class of Galois extensions of algebras by corings. It is shown that a class of faithfully flat pre-torsors induces equivalences between categories of comodules of associated corings. It is then proven that A-B torsors correspond to monoidal…
▽ More
Properties of (most general) non-commutative torsors or A-B torsors are analysed. Starting with pre-torsors it is shown that they are equivalent to a certain class of Galois extensions of algebras by corings. It is shown that a class of faithfully flat pre-torsors induces equivalences between categories of comodules of associated corings. It is then proven that A-B torsors correspond to monoidal functors (and, under some additional conditions, equivalences) between categories of comodules of bialgebroids.
△ Less
Submitted 30 November, 2007; v1 submitted 21 July, 2006;
originally announced July 2006.
-
Morita theory for coring extensions and cleft bicomodules
Authors:
Gabriella Böhm,
Joost Vercruysse
Abstract:
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Suff…
▽ More
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $Σ$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $Σ$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold.
Cleft property of an $L$-$\cC$ bicomodule $Σ$ -- implying strictness of the associated Morita context -- is introduced. It is shown to be equivalent to being a Galois $\cC$-comodule and isomorphic to $\End^\cC(Σ)\otimes_{L} \cD$, in the category of left modules for the ring $\End^\cC(Σ)$ and right comodules for the coring $\cD$, i.e. satisfying the normal basis property.
Algebra extensions, that are cleft extensions by a Hopf algebra, a coalgebra or a pure Hopf algebroid, as well as cleft entwining structures (over commutative or non-commutative base rings) and cleft weak entwining structures, are shown to provide examples of cleft bicomodules.
Cleft extensions by arbitrary Hopf algebroids are described in terms of Morita contexts that do not necessarily correspond to coring extensions.
△ Less
Submitted 1 November, 2008; v1 submitted 19 January, 2006;
originally announced January 2006.