Related papers: Geometric Quantization by Paths -- Part I: The Sim…

We construct algebraic and algebro-geometric models for the spaces of unparametrized paths. This is done by considering a path as a holonomy functional on indeterminate connections. For a manifold X, we construct a Lie algebroid P which…

Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and…

We extend ideas developed for the loop representation of quantum gravity to diffeomorphism-invariant gauge theories coupled to fermions. Let P -> Sigma be a principal G-bundle over space and let F be a vector bundle associated to P whose…

We use shifted symplectic geometry to construct the Moore-Tachikawa topological quantum field theories (TQFTs) in a category of Hamiltonian schemes. Our new and overarching insight is an algebraic explanation for the existence of these…

This thesis studies the pre-quantization of quasi-Hamiltonian group actions from a cohomological viewpoint. The compatibility of pre-quantization with symplectic reduction and the fusion product are established, and are used to understand…

Let $M$ be a compact K\"ahler manifold equipped with a pre-quantum line bundle $L$. In [9], using $T$-symmetry, we constructed a polarization $\mathcal{P}_{\mathrm{mix}}$ on $M$, which generalizes real polarizations on toric manifolds. In…

In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic…

Inspired by the Bruhat-Tits building of SL$_n$($\mathbb Q_p$), we construct a complete metric space X with an action of the tame automorphism group of the affine space Tame($K^n$). The points in X are certain monomial valuations, and X…

We introduce a pregeometry employing uniform spaces over the denumerable set X of spacetime events. The discrete uniformity D_X over X is used to obtain a pregeometric model of macroscopic spacetime neighborhoods. We then use a uniformity…

We introduce the notion of geometric pseudo-quantisation based on geometric quantisation with a weakened curvature condition. We show how such a structure arises naturally from simple deformations of the symplectic structure and pullbacks…

In this paper, we give an accessible introduction to the theory of orbispaces via groupoids. We define a certain class of topological groupoids, which we call orbigroupoids. Each orbigroupoid represents an orbispace, but just as with…

A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category…

We describe a method to implement finite group global and gauged $q$-form symmetries into the axiomatic structure of $d$-dimensional Topological Quantum Field Theory (TQFT) in terms of bordisms decorated by cohomology classes. Namely, on a…

The group of automorphisms of the geometry of an integrable system is considered. The geometrical structure used to obtain it is provided by a normal form representation of integrable systems that do not depend on any additional geometrical…

Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

We construct for each choice of a quiver $Q$, a cohomology theory $A$ and a poset $P$ a "loop Grassmannian" $\mathcal{G}^P(Q,A)$. This generalizes loop Grassmannians of semisimple groups and the loop Grassmannians of based quadratic forms.…

A simple diffeomorphism invariant theory of connections with the non-compact structure group R of real numbers is quantized. The theory is defined on a four-dimensional 'space-time' by an action resembling closely the self-dual Plebanski…

We develop a geometric approach to Poisson electrodynamics, that is, the semi-classical limit of noncommutative $U(1)$ gauge theory. Our framework is based on an integrating symplectic groupoid for the underlying Poisson brackets, which we…

Gauge theories are important descriptions for many physical phenomena and systems in quantum computation. Automorphism of gauge group naturally gives global symmetries of gauge theories. In this work we study such symmetries in gauge…