We explicitly define the quantization functor Sum: Famn(C) → C for C-valued representations of finite homotopy types, whose existence is suggested in [FHLT], in the case when n = 1 and C is a symmetric monoidal category with duals. Our construction is mainly based on dualizability, in line with the Cobordism Hypothesis, and does not require the isomorphism conditions assumed in [FHLT], which are instead deduced as a corollary. We obtain in fact a canonical Wirthmu¨ller-like isomorphism between certain right and left Kan extensions, thus answering an ambidexterity problem in the context of finite homotopy 1-types and categories with duals. For C = Vect the construction recovers the known Nakayama isomorphism between induced and coinduced representations of essentially finite groupoids, and we exhibit some familiar results from representation theory as consequences of the present general machinery. While our work mainly considers standard categories, our arguments have homotopical counterparts and the formalism we propose should well adapt to the (∞,n)-setting. The construction of the higher quantization functors and of the associated extended topological field theories are the subject of ongoing research.
(2014). Quantization of local systems over finite homotopy types.
Quantization of local systems over finite homotopy types
TROVA, FABIO
2014-01-01
Abstract
We explicitly define the quantization functor Sum: Famn(C) → C for C-valued representations of finite homotopy types, whose existence is suggested in [FHLT], in the case when n = 1 and C is a symmetric monoidal category with duals. Our construction is mainly based on dualizability, in line with the Cobordism Hypothesis, and does not require the isomorphism conditions assumed in [FHLT], which are instead deduced as a corollary. We obtain in fact a canonical Wirthmu¨ller-like isomorphism between certain right and left Kan extensions, thus answering an ambidexterity problem in the context of finite homotopy 1-types and categories with duals. For C = Vect the construction recovers the known Nakayama isomorphism between induced and coinduced representations of essentially finite groupoids, and we exhibit some familiar results from representation theory as consequences of the present general machinery. While our work mainly considers standard categories, our arguments have homotopical counterparts and the formalism we propose should well adapt to the (∞,n)-setting. The construction of the higher quantization functors and of the associated extended topological field theories are the subject of ongoing research.File | Dimensione | Formato | |
---|---|---|---|
TesiTrova.pdf
solo utenti autorizzati
Licenza:
Non specificato
Dimensione
905.22 kB
Formato
Adobe PDF
|
905.22 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.