arXiv subjects
Publications and source records attributed to Francois Ziegler.
Let $H$ be a dense subgroup of a Lie group $G$ with Lie algebra $\mathfrak g$. We show that the (diffeological) de Rham cohomology of $G/H$ equals the Lie algebra cohomology of $\mathfrak g/\mathfrak h$, where $\mathfrak h$ is the ideal $\{Z\in\mathfrak g:\exp(tZ)\in H \text{ for all } t\in\mathbf R\}$.
A recent paper [R22] established "Frobenius reciprocity" as a bijection $t$ between certain symplectically reduced spaces (which need not be manifolds), and conjectured: 1{\deg}) $t$ is a diffeomorphism when these spaces are endowed with their natural subquotient diffeologies, 2{\deg}) $t$ respects the reduced diffeological $2$-forms they may (or might not) carry. In this paper, we prove both this conjecture and a similar one on prequantum reduction, and also give new sufficient conditions for the reduced forms to exist. We stop short of proving that they always exist.
The coadjoint orbits of compact Lie groups each carry a canonical (positive definite) Kähler structure, famously used to realize the group's irreducible representations in holomorphic sections of appropriate line bundles (Borel-Weil theorem). Less studied are the (indefinite) invariant *pseudo*-Kähler structures they also admit, which can be used to realize the same representations in higher cohomology of the sections (Bott's theorem). Using ``eigenflag'' embeddings, we give a very explicit description of these metrics in the case of the unitary group. As a byproduct we show that $U_n/(U_{n_1}\times\cdots\times U_{n_k})$ has exactly $k!$ invariant complex structures, a count which seems to have hitherto escaped attention.
Frobenius reciprocity asserts that induction from a subgroup and restriction to it are adjoint functors in categories of unitary G-modules. In the 1980s, Guillemin and Sternberg established a parallel property of Hamiltonian G-spaces, which (as we show) unfortunately fails to mirror the situation where more than one G-module "quantizes" a given Hamiltonian G-space. This paper offers evidence that the situation is remedied by working in the category of *prequantum* G-spaces, where this ambiguity disappears; there, we define induction and multiplicity spaces, and establish Frobenius reciprocity as well as the "induction in stages" property.
V. Ignatowski (1910) showed that assumptions about light are not necessary to obtain Lorentzian kinematics as one of only few possibilities. We give a much simplified proof of his result as formulated by V. Gorini (1971) for $n$+1-dimensional space-time.
Many years ago Kazhdan, Kostant and Sternberg defined the notion of inducing a hamiltonian action from a Lie subgroup. In this paper, we develop the attendant imprimitivity theorem and Mackey analysis in the full generality needed to deal with arbitrary closed normal subgroups.
Let X be a symplectic manifold and Aut(L) the automorphism group of a Kostant-Souriau line bundle on X. *Quantum states for X*, as defined by J.-M. Souriau in the 1990s, are certain positive-definite functions on Aut(L) or, less ambitiously, on any "large enough" subgroup G of Aut(L). This definition has two major drawbacks: when G=Aut(L) there are no known examples; and when G is a Lie subgroup the notion is, as we shall see, far from selective enough. In this paper we introduce the concept of a quantum state *localized at Y*, where Y is a coadjoint orbit of a subgroup H of G. We show that such states exist, and tend to be unique when Y has lagrangian preimage in X. This solves, in a number of cases, A. Weinstein's "fundamental quantization problem" of attaching state vectors to lagrangian submanifolds.
We call a hamiltonian N-space \emph{primary} if its moment map is onto a single coadjoint orbit. The question has long been open whether such spaces always split as (homogeneous) x (trivial), as an analogy with representation theory might suggest. For instance, Souriau's \emph{barycentric decomposition theorem} asserts just this when N is a Heisenberg group. For general N, we give explicit examples which do not split, and show instead that primary spaces are always flat bundles over the coadjoint orbit. This provides the missing piece for a full "Mackey theory" of hamiltonian G-spaces, where G is an overgroup in which N is normal.
We show that any nonzero orbit under a noncompact, simple, irreducible linear group is dense in the Bohr compactification of the ambient space.
The first part of this thesis studies the notion of a "quantum representation", introduced by J.-M. Souriau in order to provide a polarization-free characterization of the Lie group representations attached to coadjoint orbits. When the group is compact, we show that Souriau's condition does indeed select the Borel-Weil representation within sections of the line bundle over an orbit. At the other extreme, for exponential solvable groups, we give counterexamples to an analogous assertion, but show that a refined condition does select the Kirillov-Bernat representation attached to an orbit. The second part develops the symplectic analogue of Mackey's normal subgroup analysis, using the notion of an induced hamiltonian G-space introduced by Kazhdan, Kostant and Sternberg.