Showing 1–21 of 21 results for author: Janssens, B

Universal central extension of the Lie algebra of exact divergence-free vector fields

Authors: Bas Janssens, Leonid Ryvkin, Cornelia Vizman

Abstract: We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector fields. As an application, we construct the universal central extension of the (infinite-dimensional) Lie group of exact divergence-free diffeomorphisms of a compact… ▽ More We construct the universal central extension of the Lie algebra of exact divergence-free vector fields, proving a conjecture by Claude Roger from 1995. The proof relies on the analysis of a Leibniz algebra that underlies these vector fields. As an application, we construct the universal central extension of the (infinite-dimensional) Lie group of exact divergence-free diffeomorphisms of a compact 3-dimensional manifold. △ Less

Submitted 2 October, 2024; v1 submitted 8 September, 2024; originally announced September 2024.

Comments: 25 pages

MSC Class: 17B56; 58D05; 17B66

Generalized Positive Energy Representations of the Group of Compactly Supported Diffeomorphisms

Authors: Bas Janssens, Milan Niestijl

Abstract: Motivated by asymptotic symmetry groups in general relativity, we consider projective unitary representations $\overlineρ$ of the Lie group $\mathrm{Diff}_c(M)$ of compactly supported diffeomorphisms of a smooth manifold $M$ that satisfy a so-called generalized positive energy condition. In particular, this captures representations that are in a suitable sense compatible with a KMS state on the vo… ▽ More Motivated by asymptotic symmetry groups in general relativity, we consider projective unitary representations $\overlineρ$ of the Lie group $\mathrm{Diff}_c(M)$ of compactly supported diffeomorphisms of a smooth manifold $M$ that satisfy a so-called generalized positive energy condition. In particular, this captures representations that are in a suitable sense compatible with a KMS state on the von Neumann algebra generated by $\overlineρ$. We show that if $M$ is connected and $\dim(M) > 1$, then any such representation is necessarily trivial on the identity component $\mathrm{Diff}_c(M)_0$. As an intermediate step towards this result, we determine the continuous second Lie algebra cohomology $H^2_{\mathrm{ct}}(\mathcal{X}_c(M), \mathbb{R})$ of the Lie algebra of compactly supported vector fields. This is subtly different from Gelfand--Fuks cohomology in view of the compact support condition. △ Less

Submitted 10 January, 2025; v1 submitted 9 April, 2024; originally announced April 2024.

MSC Class: 22E66; 17B65; 17B66; 17B56; 17B81

Journal ref: Commun. Math. Phys. 406 (2025)

How an action that stabilizes a bundle gerbe gives rise to a Lie group extension

Authors: Bas Janssens, Peter Kristel

Abstract: Let $\mathcal{G}$ be a bundle gerbe with connection on a smooth manifold $M$, and let $ρ: G \rightarrow \operatorname{Diff}(M)$ be a smooth action of a Fréchet--Lie group $G$ on $M$ that preserves the isomorphism class of $\mathcal{G}$. In this setting, we obtain an abelian extension of $G$ that consists of pairs $(g,A)$, where $g \in G$, and $A$ is an isomorphism from $ρ_{g}^{*}\mathcal{G}$ to… ▽ More Let $\mathcal{G}$ be a bundle gerbe with connection on a smooth manifold $M$, and let $ρ: G \rightarrow \operatorname{Diff}(M)$ be a smooth action of a Fréchet--Lie group $G$ on $M$ that preserves the isomorphism class of $\mathcal{G}$. In this setting, we obtain an abelian extension of $G$ that consists of pairs $(g,A)$, where $g \in G$, and $A$ is an isomorphism from $ρ_{g}^{*}\mathcal{G}$ to $\mathcal{G}$. We equip this group with a natural structure of abelian Fréchet--Lie group extension of $G$, under the assumption that the first integral homology of $M$ is finitely generated. As an application, we construct the universal central extension (in the category of Fréchet--Lie groups) of the group of Hamiltonian diffeomorphisms of a symplectic surface. As an intermediate step, we obtain a central extension of the group of exact volume-preserving diffeomorphisms of a 3-manifold whose corresponding Lie algebra extension is conjectured to be universal. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 40 pages

MSC Class: 22E65 (Primary) 22F50; 53C08; 58D05 (Secondary)

Local and multilinear noncommutative de Leeuw theorems

Authors: Martijn Caspers, Bas Janssens, Amudhan Krishnaswamy-Usha, Lukas Miaskiwskyi

Abstract: Let $Γ< G$ be a discrete subgroup of a locally compact unimodular group $G$. Let $m\in C_b(G)$ be a $p$-multiplier on $G$ with $1 \leq p < \infty$ and let $T_{m}: L_p(\widehat{G}) \rightarrow L_p(\widehat{G})$ be the corresponding Fourier multiplier. Similarly, let $T_{m \vert_Γ}: L_p(\widehatΓ) \rightarrow L_p(\widehatΓ)$ be the Fourier multiplier associated to the restriction $m|_Γ$ of $m$ to… ▽ More Let $Γ< G$ be a discrete subgroup of a locally compact unimodular group $G$. Let $m\in C_b(G)$ be a $p$-multiplier on $G$ with $1 \leq p < \infty$ and let $T_{m}: L_p(\widehat{G}) \rightarrow L_p(\widehat{G})$ be the corresponding Fourier multiplier. Similarly, let $T_{m \vert_Γ}: L_p(\widehatΓ) \rightarrow L_p(\widehatΓ)$ be the Fourier multiplier associated to the restriction $m|_Γ$ of $m$ to $Γ$. We show that \[ c( {\rm supp}( m\vert_Γ ) ) \Vert T_{m \vert_Γ}: L_p(\widehatΓ) \rightarrow L_p(\widehatΓ) \Vert \leq \Vert T_{m }: L_p(\widehat{G}) \rightarrow L_p(\widehat{G}) \Vert, \] for a specific constant $0 \leq c(U) \leq 1$ that is defined for every $U \subseteq Γ$. The function $c$ quantifies the failure of $G$ to admit small almost $Γ$-invariant neighbourhoods and can be determined explicitly in concrete cases. In particular, $c(Γ) =1$ when $G$ has small almost $Γ$-invariant neighbourhoods. Our result thus extends the De Leeuw restriction theorem from [CPPR15] as well as De Leeuw's classical theorem [Lee65]. For real reductive Lie groups $G$ we provide an explicit lower bound for $c$ in terms of the maximal dimension $d$ of a nilpotent orbit in the adjoint representation. We show that $c(B_ρ^G) \geq ρ^{-d/4}$ where $B_ρ^G$ is the ball of $g\in G$ with $\Vert {\rm Ad}_g \Vert < ρ$. We further prove several results for multilinear Fourier multipliers. Most significantly, we prove a multilinear De Leeuw restriction theorem for pairs $Γ<G$ with $c(Γ) = 1$. We also obtain multilinear versions of the lattice approximation theorem, the compactification theorem and the periodization theorem. Consequently, we are able to provide the first examples of bilinear multipliers on nonabelian groups. △ Less

Submitted 19 March, 2023; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: Accepted for Mathematische Annalen

Positive energy representations of gauge groups I: Localization

Authors: Bas Janssens, Karl-Hermann Neeb

Abstract: This is the first in a series of papers on projective positive energy representations of gauge groups. Let $Ξ\rightarrow M$ be a principal fiber bundle, and let $Γ_{c}(M,\mathrm{Ad}(Ξ))$ be the group of compactly supported (local) gauge transformations. If $P$ is a group of `space-time symmetries' acting on $Ξ\rightarrow M$, then a projective unitary representation of… ▽ More This is the first in a series of papers on projective positive energy representations of gauge groups. Let $Ξ\rightarrow M$ be a principal fiber bundle, and let $Γ_{c}(M,\mathrm{Ad}(Ξ))$ be the group of compactly supported (local) gauge transformations. If $P$ is a group of `space-time symmetries' acting on $Ξ\rightarrow M$, then a projective unitary representation of $Γ_{c}(M,\mathrm{Ad}(Ξ))\rtimes P$ is of positive energy if every `timelike generator' $p_0 \in \mathfrak{p}$ gives rise to a Hamiltonian $H(p_0)$ whose spectrum is bounded from below. Our main result shows that in the absence of fixed points for the cone of timelike generators, the projective positive energy representations of the connected component $Γ_{c}(M,\mathrm{Ad}(Ξ))_0$ come from 1-dimensional $P$-orbits. For compact $M$ this yields a complete classification of the projective positive energy representations in terms of lowest weight representations of affine Kac-Moody algebras. For noncompact $M$, it yields a classification under further restrictions on the space of ground states. In the second part of this series we consider larger groups of gauge transformations, which contain also global transformations. The present results are used to localize the positive energy representations at (conformal) infinity. △ Less

Submitted 7 August, 2021; originally announced August 2021.

Comments: 121 pages. Part I of a series of papers

MSC Class: 17B15; 17B56; 17B65; 17B66; 17B67; 17B81; 22E60; 22E65; 22E66; 22E67

The $L_\infty$-algebra of a symplectic manifold

Authors: Bas Janssens, Leonid Ryvkin, Cornelia Vizman

Abstract: We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields. We construct an $L_\infty$-algebra on the truncated canonical homology complex of a symplectic manifold, which naturally projects to the universal central extension of the Lie algebra of Hamiltonian vector fields. △ Less

Submitted 2 November, 2021; v1 submitted 7 December, 2020; originally announced December 2020.

Comments: 18 pages

MSC Class: 53D17; 53D05 (primary); 17B66; 17A42 (secondary)

Journal ref: Pacific J. Math. 314 (2021) 81-98

Induced differential characters on nonlinear Graßmannians

Authors: Tobias Diez, Bas Janssens, Karl-Hermann Neeb, Cornelia Vizman

Abstract: Using a nonlinear version of the tautological bundle over Graßmannians, we construct a transgression map for differential characters from $M$ to the nonlinear Graßmannians $\mathrm{Gr}^S(M)$ of submanifolds of $M$ of a fixed type $S$. In particular, we obtain prequantum circle bundles of the nonlinear Graßmannian endowed with the Marsden-Weinstein symplectic form. The associated Kostant-Souriau pr… ▽ More Using a nonlinear version of the tautological bundle over Graßmannians, we construct a transgression map for differential characters from $M$ to the nonlinear Graßmannians $\mathrm{Gr}^S(M)$ of submanifolds of $M$ of a fixed type $S$. In particular, we obtain prequantum circle bundles of the nonlinear Graßmannian endowed with the Marsden-Weinstein symplectic form. The associated Kostant-Souriau prequantum extension yields central Lie group extensions of a group of volume-preserving diffeomorphisms integrating Lichnerowicz cocycles. △ Less

Submitted 10 December, 2021; v1 submitted 5 September, 2020; originally announced September 2020.

MSC Class: 53D50; 53D20; 58D10; 58D05

Journal ref: Ann. Inst. Fourier 2024

Central extensions of Lie groups preserving a differential form

Authors: Tobias Diez, Bas Janssens, Karl-Hermann Neeb, Cornelia Vizman

Abstract: Let $M$ be a manifold with a closed, integral $(k+1)$-form $ω$, and let $G$ be a Fréchet-Lie group acting on $(M,ω)$. As a generalization of the Kostant-Souriau extension for symplectic manifolds, we consider a canonical class of central extensions of $\mathfrak{g}$ by $\mathbb{R}$, indexed by $H^{k-1}(M,\mathbb{R})^*$. We show that the image of $H_{k-1}(M,\mathbb{Z})$ in… ▽ More Let $M$ be a manifold with a closed, integral $(k+1)$-form $ω$, and let $G$ be a Fréchet-Lie group acting on $(M,ω)$. As a generalization of the Kostant-Souriau extension for symplectic manifolds, we consider a canonical class of central extensions of $\mathfrak{g}$ by $\mathbb{R}$, indexed by $H^{k-1}(M,\mathbb{R})^*$. We show that the image of $H_{k-1}(M,\mathbb{Z})$ in $H^{k-1}(M,\mathbb{R})^*$ corresponds to a lattice of Lie algebra extensions that integrate to smooth central extensions of $G$ by the circle group $\mathbb{T}$. The idea is to represent a class in $H_{k-1}(M,\mathbb{Z})$ by a weighted submanifold $(S,β)$, where $β$ is a closed, integral form on $S$. We use transgression of differential characters from $S$ and $ M $ to the mapping space $ C^\infty(S, M) $, and apply the Kostant-Souriau construction on $ C^\infty(S, M) $. △ Less

Submitted 7 March, 2021; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: Published version

Journal ref: International Mathematics Research Notices 2021 5 (2021), p. 3794-3821

Pin Groups in General Relativity

Authors: Bas Janssens

Abstract: There are eight possible Pin groups that can be used to describe the transformation behaviour of fermions under parity and time reversal. We show that only two of these are compatible with general relativity, in the sense that the configuration space of fermions coupled to gravity transforms appropriately under the space-time diffeomorphism group. There are eight possible Pin groups that can be used to describe the transformation behaviour of fermions under parity and time reversal. We show that only two of these are compatible with general relativity, in the sense that the configuration space of fermions coupled to gravity transforms appropriately under the space-time diffeomorphism group. △ Less

Submitted 24 January, 2020; v1 submitted 8 September, 2017; originally announced September 2017.

Comments: 9 pages, added section 7 on the role of diffeomorphism invariance

Journal ref: Phys. Rev. D 101, 021702 (2020)

Reflection Positive Doubles

Authors: Arthur Jaffe, Bas Janssens

Abstract: Here we introduce reflection positive doubles, a general framework for reflection positivity, covering a wide variety of systems in statistical physics and quantum field theory. These systems may be bosonic, fermionic, or parafermionic in nature. Within the framework of reflection positive doubles, we give necessary and sufficient conditions for reflection positivity. We use a reflection-invariant… ▽ More Here we introduce reflection positive doubles, a general framework for reflection positivity, covering a wide variety of systems in statistical physics and quantum field theory. These systems may be bosonic, fermionic, or parafermionic in nature. Within the framework of reflection positive doubles, we give necessary and sufficient conditions for reflection positivity. We use a reflection-invariant cone to implement our construction. Our characterization allows for a direct interpretation in terms of coupling constants, making it easy to check in concrete situations. We illustrate our methods with numerous examples. △ Less

Submitted 24 July, 2016; originally announced July 2016.

Comments: 53 pages, 3 figures

MSC Class: 47L07; 81T25; 82B20; 46N50; 46N55

Journal ref: J. Funct. Anal. 272 (2017), 3506-3557

Momentum Maps for Smooth Projective Unitary Representations

Authors: Bas Janssens, Karl-Hermann Neeb

Abstract: For a smooth projective unitary representation of a locally convex Lie group G, the projective space of smooth vectors is a locally convex Kaehler manifold. We show that the action of G on this space is weakly Hamiltonian, and lifts to a Hamiltonian action of the central U(1)-extension of G obtained from the projective representation. We identify the non-equivariance cocycles obtained from the wea… ▽ More For a smooth projective unitary representation of a locally convex Lie group G, the projective space of smooth vectors is a locally convex Kaehler manifold. We show that the action of G on this space is weakly Hamiltonian, and lifts to a Hamiltonian action of the central U(1)-extension of G obtained from the projective representation. We identify the non-equivariance cocycles obtained from the weakly Hamiltonian action with those obtained from the projective representation, and give some integrality conditions on the image of the momentum map. △ Less

Submitted 28 October, 2015; originally announced October 2015.

Comments: 13 pages

MSC Class: 17B15; 17B56; 17B65; 22E45; 22E60; 22E65; 22E66

Journal ref: Geometric Methods in Physics. XXXIV Workshop 2015. Trends in Mathematics 115-227

Covariant central extensions of gauge Lie algebras

Authors: Bas Janssens, Karl-Hermann Neeb

Abstract: Motivated by positive energy representations, we classify those continuous central extensions of the compactly supported gauge Lie algebra that are covariant under a 1-parameter group of transformations of the base manifold. Motivated by positive energy representations, we classify those continuous central extensions of the compactly supported gauge Lie algebra that are covariant under a 1-parameter group of transformations of the base manifold. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Comments: 14 pages

MSC Class: 17B56; 17B66

Journal ref: Albeverio S., Cruzeiro A., Holm D. (eds) Stochastic Geometric Mechanics, CIB-SGM 2015

Central extensions of Lie algebras of symplectic and divergence free vector fields

Authors: Bas Janssens, Cornelia Vizman

Abstract: In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In particular, we comment on universal central extensions and integrability to the group level. In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In particular, we comment on universal central extensions and integrability to the group level. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 11 pages, review paper

MSC Class: 17B56; 17B63; 17B66; 53D50; 58D05

Journal ref: Banach Center Publications 110 (2016), 105-114

Integrability of central extensions of the Poisson Lie algebra via prequantization

Authors: Bas Janssens, Cornelia Vizman

Abstract: We present a geometric construction of central S^1-extensions of the quantomorphism group of a prequantizable, compact, symplectic manifold, and explicitly describe the corresponding lattice of integrable cocycles on the Poisson Lie algebra. We use this to find nontrivial central S^1-extensions of the universal cover of the group of Hamiltonian diffeomorphisms. In the process, we obtain central S^… ▽ More We present a geometric construction of central S^1-extensions of the quantomorphism group of a prequantizable, compact, symplectic manifold, and explicitly describe the corresponding lattice of integrable cocycles on the Poisson Lie algebra. We use this to find nontrivial central S^1-extensions of the universal cover of the group of Hamiltonian diffeomorphisms. In the process, we obtain central S^1-extensions of Lie groups that act by exact strict contact transformations. △ Less

Submitted 11 May, 2016; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 19 pages. Focus shifted from the full group of exact strict contact transformations to its Lie subgroups

MSC Class: 17B56; 17B66; 53D50; 58D05

Journal ref: J. Symplectic Geom. 16:5 (2018), 1351-1375

Universal Central Extension of the Lie Algebra of Hamiltonian Vector Fields

Authors: Bas Janssens, Cornelia Vizman

Abstract: We determine the universal central extension of the Lie algebra of hamiltonian vector fields, thereby classifying its central extensions. Furthermore, we classify the central extensions of the Lie algebra of symplectic vector fields, of the Poisson Lie algebra, and of its compactly supported version. We determine the universal central extension of the Lie algebra of hamiltonian vector fields, thereby classifying its central extensions. Furthermore, we classify the central extensions of the Lie algebra of symplectic vector fields, of the Poisson Lie algebra, and of its compactly supported version. △ Less

Submitted 20 December, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 42 pages. Several remarks and examples were added

MSC Class: 17B56; 17B63; 17B66

Journal ref: Int Math Res Notices 2015; 2016 (16): pp. 4996-5047

Projective unitary representations of infinite dimensional Lie groups

Authors: Bas Janssens, Karl-Hermann Neeb

Abstract: For an infinite dimensional Lie group $G$ modelled on a locally convex Lie algebra $\mathfrak{g}$, we prove that every smooth projective unitary representation of $G$ corresponds to a smooth linear unitary representation of a Lie group extension $G^{\sharp}$ of $G$. (The main point is the smooth structure on $G^{\sharp}$.) For infinite dimensional Lie groups $G$ which are 1-connected, regular, and… ▽ More For an infinite dimensional Lie group $G$ modelled on a locally convex Lie algebra $\mathfrak{g}$, we prove that every smooth projective unitary representation of $G$ corresponds to a smooth linear unitary representation of a Lie group extension $G^{\sharp}$ of $G$. (The main point is the smooth structure on $G^{\sharp}$.) For infinite dimensional Lie groups $G$ which are 1-connected, regular, and modelled on a barrelled Lie algebra $\mathfrak{g}$, we characterize the unitary $\mathfrak{g}$-representations which integrate to $G$. Combining these results, we give a precise formulation of the correspondence between smooth projective unitary representations of $G$, smooth linear unitary representations of $G^{\sharp}$, and the appropriate unitary representations of its Lie algebra $\mathfrak{g}^{\sharp}$. △ Less

Submitted 19 January, 2015; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: 47 pages

MSC Class: 17B15; 17B56; 17B65; 17B67; 17B68; 22E45; 22E60; 22E65; 22E66; 22E67

Journal ref: Kyoto J. Math. 59, no. 2 (2019), 293-341

Norm continuous unitary representations of Lie algebras of smooth sections

Authors: Bas Janssens, Karl-Hermann Neeb

Abstract: We give a complete description of the bounded (i.e. norm continuous) unitary representations of the Fréchet-Lie algebra of all smooth sections, as well as of the LF-Lie algebra of compactly supported smooth sections, of a smooth Lie algebra bundle whose typical fiber is a compact Lie algebra. For the Lie algebra of all sections, bounded unitary irreducible representations are finite tensor product… ▽ More We give a complete description of the bounded (i.e. norm continuous) unitary representations of the Fréchet-Lie algebra of all smooth sections, as well as of the LF-Lie algebra of compactly supported smooth sections, of a smooth Lie algebra bundle whose typical fiber is a compact Lie algebra. For the Lie algebra of all sections, bounded unitary irreducible representations are finite tensor products of so-called evaluation representations, hence in particular finite-dimensional. For the Lie algebra of compactly supported sections, bounded unitary irreducible (factor) representations are possibly infinite tensor products of evaluation representations, which reduces the classification problem to results of Glimm and Powers on irreducible (factor) representations of UHF C*-algebras. The key part in our proof is the classification of irreducible bounded unitary representations of Lie algebras that are the tensor product of a compact Lie algebra and a unital real continuous inverse algebra: every such representation is a finite product of evaluation representations. On the group level, our results cover in particular the bounded unitary representations of the identity component of the group of smooth gauge transformations of a principal fiber bundle with compact base and structure group, and the connected component of the group of special unitary n times n matrices with values in an involutive commutative continuous inverse algebra. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Comments: 44 pages

MSC Class: 17B15; 17B65; 17B67; 22E45; 22E65; 22E67

Journal ref: Int. Mat. Res. Notices 15:18 (2015), 9081-9137

OWR: Universal central extensions of gauge groups

Authors: Bas Janssens

Abstract: We briefly indicate some implications of [1] for the second Lie algebra cohomology of equivariant map algebras and (twisted multi) loop algebras. We briefly indicate some implications of [1] for the second Lie algebra cohomology of equivariant map algebras and (twisted multi) loop algebras. △ Less

Submitted 29 December, 2010; originally announced December 2010.

Comments: Report of a talk at the Oberwolfach conference on infinite dimensional Lie theory (14-11-2010 to 20-11-2010), 3 pages

MSC Class: 17B56; 17B65; 17B67

Journal ref: Oberwolfach Report 51/2010, 3023-3026

Transformation & Uncertainty. Some Thoughts on Quantum Probability Theory, Quantum Statistics, and Natural Bundles

Authors: Bas Janssens

Abstract: This PHD thesis is concerned with uncertainty relations in quantum probability theory, state estimation in quantum stochastics, and natural bundles in differential geometry. After some comments on the nature and necessity of decoherence in open systems and its absence in closed ones, we prove sharp, state-independent inequalities reflecting the Heisenberg principle, the necessity of decoherence an… ▽ More This PHD thesis is concerned with uncertainty relations in quantum probability theory, state estimation in quantum stochastics, and natural bundles in differential geometry. After some comments on the nature and necessity of decoherence in open systems and its absence in closed ones, we prove sharp, state-independent inequalities reflecting the Heisenberg principle, the necessity of decoherence and the impossibility of perfect joint measurement. These bounds are used to judge how far a particular measurement is removed from the optimal one. We do this for a qubit interacting with the quantized EM field, continually probed using homodyne detection. We calculate to which extent this joint measurement is optimal. We then propose a two-step strategy to determine the (possibly mixed) state of n identically prepared qubits, and prove that it is asymptotically optimal in a local minimax sense, using `Quantum Local Asymptotic Normality' for qubits. We propose a physical implementation of QLAN, based on interaction with the quantized EM field. In differential geometry, a bundle is called `natural' if diffeomorphisms of the base lift to automorphisms of the bundle. We slightly extend this notion to `infinitesimal naturality', requiring only vector fields (infinitesimal diffeomorphisms) to lift. We classify these bundles. Physical fields that transform under (infinitesimal) space-time transformations must be described in terms of (infinitesimally) natural bundles. All spin structures are infinitesimally natural. Our framework thus encompasses Fermionic fields, for which the notion of a natural bundle is too restrictive. Interestingly, generalized spin structures (e.g. spin-c structures) are not always infinitesimally natural. We classify the ones that are. Depending on the gauge group at hand, this can significantly reduce the number of allowed space-time topologies. △ Less

Submitted 12 November, 2010; originally announced November 2010.

Comments: PHD thesis, successfully defended at the University of Utrecht, October 4, 2010

Universal Central Extensions of Gauge Algebras and Groups

Authors: Bas Janssens, Christoph Wockel

Abstract: We show that the canonical central extension of the group of sections of a Lie group bundle over a compact manifold, constructed in [NW09], is universal. In doing so, we prove universality of the corresponding central extension of Lie algebras in a slightly more general setting. We show that the canonical central extension of the group of sections of a Lie group bundle over a compact manifold, constructed in [NW09], is universal. In doing so, we prove universality of the corresponding central extension of Lie algebras in a slightly more general setting. △ Less

Submitted 7 February, 2012; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: 9 pages, LaTeX. Changes w.r.t. version 2: minor changes (final version). To appear in J. Reine Angew. Math

Report number: [ZMP-HH/10-21], Hamburger Beitr\"age zur Mathematik 391 MSC Class: 22E65; 17B56; 22E41; 81R10

Journal ref: J. Reine Angew. Math. 682 (2013) 129-139

Bundles with a lift of infinitesimal diffeomorphisms

Authors: Bas Janssens

Abstract: We slightly extend the notion of a natural fibre bundle by requiring diffeomorphisms of the base to lift to automorphisms of the bundle only infinitesimally, i.e. at the level of the Lie algebra of vector fields. Spin structures are natural only in this extended sense. We classify fibre bundles with this property, assuming a finite dimensional structure group. This includes all spin structures,… ▽ More We slightly extend the notion of a natural fibre bundle by requiring diffeomorphisms of the base to lift to automorphisms of the bundle only infinitesimally, i.e. at the level of the Lie algebra of vector fields. Spin structures are natural only in this extended sense. We classify fibre bundles with this property, assuming a finite dimensional structure group. This includes all spin structures, but only some generalised spin structures. This classification links the gauge group G to the topology of space-time. △ Less

Submitted 18 November, 2009; originally announced November 2009.

Comments: 39 pages