Selective Categories and Linear Canonical Relations

Abstract

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples, we introduce a notion of highly selective category, in which only certain morphisms and certain pairs of these morphisms are "good". We then apply this notion to the category $\mathbf{SLREL}$ of linear canonical relations and the result $\mathrm{WW}(\mathbf{SLREL})$ of our version of the WW construction, identifying the morphisms in the latter with pairs $(L,k)$ consisting of a linear canonical relation and a nonnegative integer. We put a topology on this category of indexed linear canonical relations for which composition is continuous, unlike the composition in $\mathbf{SLREL}$ itself. Subsequent papers will consider this category from the viewpoint of derived geometry and will concern quantum counterparts.

Cited by in corpus (8)

• The stack of higher internal categories and stacks of iterated spans
• (Co)isotropic Pairs in Poisson and Presymplectic Vector Spaces
• Frobenius objects in the category of spans
• Classifying Linear Canonical Relations
• Frobenius and commutative pseudomonoids in the bicategory of spans
• An algebraic formulation of the locality principle in renormalisation
• Decomposition of (co)isotropic relations
• On an Extension of the Mean Index to a large subset of Linear Canonical Relations