arXiv subjects

Joshua Lackman

Publications and source records attributed to Joshua Lackman.

14 recordsLinked to original sources

arXiv2026

Isometric Embeddings and Hyperk\"{a}hler Geometry of the Cotangent Bundle of Complex Projective Space via the Scheme of Rank-1 Projections

We show that the hyperkahler geometry of $T^*\mathbb{CP}^{n-1}$ can be described algebraically by the affine scheme of rank-1 projections, and that this description simultaneously yields explicit $SU(n)$-equivariant isometric embeddings \[ T^*\mathbb{CP}^{n-1} \hookrightarrow \mathbb{R}^{(n^2+1)^2}, \] as well as a generalization of the hyperkahler geometry of $T^*\mathbb{CP}^{n-1}$ to arbitrary commutative rings with involutions (and some noncommutative ones). In particular, we obtain para-hyperkahler and complex hyperkahler manifolds by taking the rings to be the split-complex numbers and bicomplex numbers, respectively. The functor of points of the scheme of rank-1 projections is the functor that maps a commutative ring $\mathcal{R}$ to the space of idempotents in $M_n(\mathcal{R})$ whose images are rank-1 projective modules. In particular, its space of $\mathbb{C}$-points is identified with $T^*\mathbb{CP}^{n-1}$.

math.AG↗

arXiv2026

A Geometric Definition of the Integral and Applications

The standard definition of integration of differential forms is based on local coordinates and partitions of unity. This definition is mostly a formality and not used used in explicit computations or approximation schemes. We present a definition of the integral that uses triangulations instead. Our definition is a coordinate-free version of the standard definition of the Riemann integral on $\mathbb{R}^n$ and we argue that it is the natural definition in the contexts of Lie algebroids, stochastic integration and quantum field theory, where path integrals are defined using lattices. In particular, our definition naturally incorporates the different stochastic integrals, which involve integration over H\"{o}lder continuous paths. Furthermore, our definition is well-adapted to establishing integral identities from their combinatorial counterparts. Our construction is based on the observation that, in great generality, the things that are integrated are determined by cochains on the pair groupoid. Abstractly, our definition uses the van Est map to lift a differential form to the pair groupoid. Our construction suggests a generalization of the fundamental theorem of calculus which we prove: the singular cohomology and de Rham cohomology cap products of a cocycle with the fundamental class are equal.

math.DG↗

arXiv2025

A Simple Description of the Hyperk\"{a}hler Structure of the Cotangent Bundle of Projective Space via Quantization

Quantization identifies the cotangent bundle of projective space with the (non-Hermitian) rank-$1$ projections of a Hilbert space. We use this identification to study the natural geometric structures of these cotangent bundles and those of Grassmanians. In particular, we show that the quantization map is an isometric and complex embedding $T^*\mathbb{P}\mathcal{H}\hookrightarrow\mathcal{B}(\mathcal{H})\backslash\{0\}.$ Here, the metric on the domain is the hyperk\"{a}hler metric and the metric on the codomain is the one whose K\"{a}hler potential is the Hilbert-Schmidt norm. The K\"{a}hler potential pulled back to $T^*\mathbb{P}\mathcal{H}$ equals the trace-class norm. Using this, we give a complete, simple and explicit description of the hyperk\"{a}hler structure. Our constructions are functorial, coordinate-free and reduction-free.

math.SG↗

arXiv2025

Quantization of Holomorphic Symplectic Manifolds: Analytic Continuation of Path Integrals and Coherent States

We extend Berezin's quantization $q:M\to\mathbb{P}\mathcal{H}$ to holomorphic symplectic manifolds, which involves replacing the state space $\mathbb{P}\mathcal{H}$ with its complexification $\text{T}^*\mathbb{P}\mathcal{H}.$ We show that this is equivalent to replacing rank$\unicode{x2013}$1 Hermitian projections with all rank$\unicode{x2013}$1 projections. We furthermore allow the states to be points in the cotangent bundle of a Grassmanian. We also define a holomorphic path integral quantization as a certain idempotent in a convolution algebra and we prove that these two quantizations are equivalent. For each $n>0,$ we construct a faithful functor from the category of finite dimensional $C^*$$\unicode{x2013}$algebras to to the category of hyperk\"{a}hler manifolds and we show that our quantization recovers the original $C^*$$\unicode{x2013}$algebra. In particular, this functor comes with a homomorphism from the commutator algebra of the $C^*$$\unicode{x2013}$algebra to the Poisson algebra of the associated hyperk\"{a}hler manifold. Related to this, we show that the cotangent bundles of Grassmanians have commuting almost complex structures that are compatible with a holomorphic symplectic form.

math.SG↗

arXiv2024

On an Axiomatization of Path Integral Quantization and its Equivalence to Berezin's Quantization

We axiomatize path integral quantization of symplectic manifolds. We prove that this path integral formulation of quantization is equivalent to an abstract operator formulation, ie. abstract coherent state (or Berezin) quantization. We use the corresponding path integral of Poisson manifolds to quantize all complete Riemann surfaces of constant non$\unicode{x2013}$positive curvature and some Poisson structures on the sphere.

math.SG↗

arXiv2024

A Mathematical Definition of Path Integrals on Symplectic Manifolds

We give a mathematical definition of some path integrals, emphasizing those relevant to the quantization of symplectic manifolds (and more generally, Poisson manifolds) $\unicode{x2013}$ in particular, the coherent state path integral. We show that K\"{a}hler manifolds provide many computable examples and we emphasize those whose Bergman kernel is constant along the diagonal.

math.SG↗

arXiv2024

A Derivation of Geometric Quantization via Feynman's Path Integral on Phase Space

We derive the geometric quantization program of symplectic manifolds, in the sense of both Kostant-Souriau and Weinstein, from Feynman's path integral formulation on phase space. The state space we use contains states with negative norm and polarized sections determine a Hilbert space. We discuss ambiguities in the definition of path integrals arising from the distinct Riemann sum prescriptions and its consequence on the quantization of symplectomorphisms.

math.SG↗

arXiv2024

Geometric Quantization Without Polarizations

We derive the quantization map in geometric quantization of symplectic manifolds via the Poisson sigma model. This gives a polarization-free (path integral) definition of quantization which pieces together most known quantization schemes. We explain how this allows Schur's lemma to address the invariance of polarization problem. We compute this quantization map for the torus and obtain the noncommutative torus and its standard irreducible representation.

math.SG↗

arXiv2024

A Canonical Quantization of Poisson Manifolds: a 2-Groupoid Scheme

We canonically quantize a Poisson manifold to a Lie 2-groupoid, complete with a quantization map, and show that it relates geometric and deformation quantization: the perturbative expansion in $\hbar$ of the (formal) convolution of two quantized functions yields Kontsevich's star product. Meanwhile, we can push forward this quantization map (by integrating over homotopies of paths) to obtain a quantization map in traditional geometric quantization. This gives a polarization-free, path integral definition of the quantization map, which does not have a prior prescription for Poisson manifolds and which only has a partial prescription for symplectic manifolds. We show that in conventional quantum mechanics our operators are defined on the entire prequantum Hilbert space and that they all preserve polarized sections, contrary to the Kostant-Souriau approach.

math.SG↗

arXiv2024

A Groupoid Construction of Functional Integrals: Brownian Motion and Some TQFTs

We formalize Feynman's construction of the quantum mechanical path integral. To do this, we shift the emphasis in differential geometry from the tangent bundle onto the pair groupoid. This allows us to use the van Est map and the piecewise linear structure of manifolds to develop a coordinate-free, partition of unity-free approach to integration of differential forms, etc. This framework makes sense for any field theory valued in a Lie algebroid. We apply it to define the Wiener measure, stochastic integrals and other observables in a coordinate-free way. We use it to reconstruct Chern-Simons with finite gauge group and to obtain some non-perturbative deformation quantizations via the Poisson sigma model on a disk.

math.DG↗

arXiv2023

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)

We use groupoids and the van Est map to define Riemann sums on compact manifolds (with boundary), in a coordinate-free way. These Riemann sums converge to the usual integral after taking a limit over all triangulations of the manifold. We show that the van Est map determines the n-jet of antisymmetric n-cochains. We discuss using this Riemann sum construction to put the Poisson sigma model on a lattice.

math.DG↗

arXiv2023

A Formal Equivalence of Deformation Quantization and Geometric Quantization (of Higher Groupoids) and Non-Perturbative Sigma Models

Based on work done by Bonechi, Cattaneo, Felder and Zabzine on Poisson sigma models, we formally show that Kontsevich's star product can be obtained from the twisted convolution algebra of the geometric quantization of a Lie 2-groupoid, one which integrates the Poisson structure. We show that there is an analogue of the Poisson sigma model which is valued in Lie 1-groupoids and which can often be defined non-perturbatively; it can be obtained by symplectic reduction using the quantization of the Lie 2-groupoid. We call these groupoid-valued sigma models and we argue that, when they exist, they can be used to compute correlation functions of gauge invariant observables. This leads to a (possibly non-associative) product on the underlying space of functions on the Poisson manifold, and in several examples we show that we recover strict deformation quantizations, in the sense of Rieffel. Even in the cases when our construction leads to a non-associative product we still obtain a $C^*$-algebra and a "quantization" map. In particular, we construct noncommutative $C^*$-algebras equipped with an $SU(2)$-action, together with an equivariant "quantization" map from $C^{\infty}(S^2)\,.$ No polarizations are used in the construction of these algebras.

math.QA↗

arXiv2022

The van Est Map on Geometric Stacks

We generalize the van Est map and isomorphism theorem in three ways, and we discuss conjectured connections with homotopy theory, including a proposal of a category which unifies differentiable stacks, Lie algebroids and homotopy theory. In Part 2 of this thesis we generalize the van Est map from a comparison map between Lie groupoid cohomology and Lie algebroid cohomology to a (more conceptual) comparison map between the cohomology of a stack $\mathcal{G}$ and the cohomology of a simple foliation $\mathcal{H}\to\mathcal{G}$. In Part 1 we generalize the functions that we can take cohomology of in the context of the van Est map. Instead of using functions valued in representations, we can use functions valued in modules, eg. we can use $S^1$-valued functions and $\mathbb{Z}$-valued functions. Finally, everything we do works in both the smooth and holomorphic categories. These generalizations allow us to derive results, including classical ones, that could not be obtained with the usual van Est map, and they give a new method of computing cohomology. Part 3 of this thesis involves a proposal of a definition of Morita equivalences in the categories of Lie algebroids and LA-groupoids. What we find is that our proposed category of LA-groupoids unifies differentiable stacks, Lie algebroids and homotopy theory. In particular, there are morphisms between Lie algebroids and Lie groupoids and we show that such objects can be Morita equivalent. This gives another interpretation of the van Est map. Using this category, we argue that a classifying space for $G$ is just a space which is homotopy equivalent it. We discuss higher generalized morphisms (given by gerbes) and we conjecture the existence of a smooth version of Grothendieck's homotopy hypothesis.

math.DG↗

arXiv2019

Cohomology of Lie Groupoid Modules and the Generalized van Est Map

The van Est map is a map from Lie groupoid cohomology (with respect to a sheaf taking values in a representation) to Lie algebroid cohomology. We generalize the van Est map to allow for more general sheaves, namely to sheaves of sections taking values in a (smooth or holomorphic) $G$-module, where $G$-modules are structures which differentiate to representations. Many geometric structures involving Lie groupoids and stacks are classified by the cohomology of sheaves taking values in $G$-modules and not in representations, including $S^1$-groupoid extensions and equivariant gerbes. Examples of such sheaves are $\mathcal{O}^*$ and $\mathcal{O}^*(*D)\,,$ where the latter is the sheaf of invertible meromorphic functions with poles along a divisor $D\,.$ We show that there is an infinitesimal description of $G$-modules and a corresponding Lie algebroid cohomology. We then define a generalized van Est map relating these Lie groupoid and Lie algebroid cohomologies, and study its kernel and image. Applications include the integration of several infinitesimal geometric structures, including Lie algebroid extensions, Lie algebroid actions on gerbes, and certain Lie $\infty$-algebroids.

math.DG↗