When symplectic geometry is used to model mechanics in physics, then a symplectic manifold encodes the phase space of a mechanical system and a symplectomorphism
encodes a process undergone by this system, for instance the time evolution induced by a Hamiltonian vector field.
However, this is too restrictive for a notion of a morphism. Indeed, even at the level of symplectic vector spaces, a symplectic morphism is required to satisfy
This implies that for any element , it holds that , and since is non-degenerate must be injective.
Now the graph of a symplectomorphism is a Lagrangian submanifold of the Cartesian product space regarded as a symplectic manifold with symplectic form . In other words, a symplectomorphism as above constitutes a Lagrangian correspondence between and . See for instance (Cattaneo-Mnev-Reshetikhin 12) for a review.
This suggests that instead of the category whose objects are symplectic manifolds and whose morphisms are symplectomorphisms, one might consider a kind of category of correspondences whose objects are symplectic manifolds, and whose morphisms include Lagrangian correspondences, so that composition is given by forming the fiber product along adjacent legs of correspondences.
Alan Weinstein called this would-be category the symplectic category and suggested that it is the natural domain for geometric quantization.
However, take at face value, symplectic manifolds with Lagrangian correspondences between them do not quite form a category, since the usual composition is only well-defined when the intersection of is transverse.
Proposals for how to rectify this are in Wehrheim & Woodward and in Kitchloo (by turning this into an (infinity,1)-category).
A refinement of the symplectic category to prequantum geometry is the following (see S 13).
Write for the moduli stack of smooth circle group-principal connections. Write Smooth∞Grpd for the cohesive (∞,1)-topos of smooth ∞-groupoids, and for the corresponding slice (∞,1)-topos. Finally write
for the (∞,1)-category of correspondences in .
An object in here is a prequantum geometry given by a map
Under the curvature map this maps to a presymplectic structure
If here is non-degenerate, this is a symplectic structure as in Weinstein’s symplectic category.
Moreover, a morphism is a diagram of the form
hence a correspondence space (smooth -groupoid) over and together with an equivalence in an (∞,1)-category
On the underlying curvatures this implies that
Hence if is a maximal inclusion with this property, the above diagram is a prequantization of a morphism in the Weinstein symplectic category.
Nitu Kitchloo defines the stable symplectic category , which has as objects symplectic manifolds, and morphisms are certain Thom spectra
associated to Lagrangian correspondences , where denotes the conjugate with symplectic form . One can view this as a category of symplectic motives.
Considering an oriented version of the category , there is a canonical fiber functor , and one may consider the motivic Galois group of monoidal automorphisms of . (Kitchloo 12, question 8.6, p. 19).
It turns out to have a natural subgroup which is isomorphic to the quotient of the Grothendieck-Teichmüller group.
The way that Lagrangian correspondences encode symplectomorphisms in symplectic geometry and hence evolution in mechanics is reviewed (and put in the broader context of BV-BRST formalism) in
In his work on Fourier integral operators,
14
following
observed that, under a transversality assumption, the set-theoretic composition of two Lagrangian submanifolds is again a Lagrangian submanifold, and that this composition is a “classical limit” of the composition of certain linear operators.
Shortly thereafter,
defined symplectic relations as isotropic submanifolds of products and showed that this class of relations was closed under “clean” composition. Following in part some (unpublished) ideas of Alan Weinstein,
observed that the linear canonical relations (i.e., lagrangian subspaces of products of symplectic vector spaces) could be considered as the morphisms of a category, and they constructed a partial quantization of this category (in which lagrangian subspaces are enhanced by halfdensities.) The quantization of the linear symplectic category was part of a larger project of quantizing canonical relations (enhanced with extra structure, such as half-densities) in a functorial way, and this program was set out more formally
Alan Weinstein, Symplectic Manifolds and Their Lagrangian Submanifolds, Advances in Math. 6 (1971) 329346 [doi:10.1016/0001-8708(71)90020-X]
Alan Weinstein, Symplectic geometry, Bulletin Amer. Math. Soc. 5 (1981) 1-13 [doi:10.1090/S0273-0979-1981-14911-9]
See also:
Lecture notes reviewing these developments include
from the introduction of which parts of the commented list of references above is taken. Further review includes
Further refinements in higher category theory:
Katrin Wehrheim, Chris T. Woodward, Functoriality for Lagrangian correspondences in Floer theory, Quantum Topology 1 2 (2010) 129-170 [doi:10.4171/qt/4, arXiv:0708.2851]
Nitu Kitchloo, The Stable Symplectic Category and Geometric Quantization [arXiv:1204.5720]
Nitu Kitchloo, Jack Morava, The Grothendieck–Teichmüller group and the stable symplectic category, 2012 [arxiv:1212.6905]
Damien Calaque, Three lectures on derived symplectic geometry and topological field theories, Indagationes Mathematicae 25 5 (2014) 926–947 [doi:10.1016/j.indag.2014.07.005]
Rune Haugseng, Iterated spans and classical topological field theories, Mathematische Zeitschrift 289 3 (2018) 1427–1488 [arXiv, doi:10.1007/s00209-017-2005-x]
A closed symmetric monoidal category version of the symplectic category and the observation that this hence is a categorical semantics for quantum logic qua linear logic is in
Sergey Slavnov, From proof-nets to bordisms: the geometric meaning of multiplicative connectives, Mathematical Structures in Computer Science 15:06 (2005) 1151–1178
Sergey Slavnov, Geometrical semantics for linear logic (multiplicative fragment), Theoretical Computer Science 357, no. 1–3 (2006) 215–229 doi
Remarks about refinements to correspondences of smooth -groupoids in the slice over prequantum moduli is in
String diagrams for the linear and affine Weinstein category using graphical linear algebra
Last revised on June 2, 2024 at 22:33:21. See the history of this page for a list of all contributions to it.