arXiv subjects

William D. Kirwin

Publications and source records attributed to William D. Kirwin.

18 recordsLinked to original sources

arXiv2019

Holomorphic fractional Fourier transforms

The Fractional Fourier Transform (FrFT) has widespread applications in areas like signal analysis, Fourier optics, diffraction theory, etc. The Holomorphic Fractional Fourier Transform (HFrFT) proposed in the present paper may be used in the same wide range of applications with improved properties. The HFrFT of signals spans a one-parameter family of (essentially) holomorphic functions, where the parameter takes values in the bounded interval $t\in (0,π/2)$. At the boundary values of the parameter, one obtains the original signal at $t=0$ and its Fourier transform at the other end of the interval $t=π/2$. If the initial signal is $L^2 $, then, for an appropriate choice of inner product that will be detailed below, the transform is unitary for all values of the parameter in the interval. This transform provides a heat kernel smoothening of the signals while preserving unitarity for $L^2$-signals and continuously interpolating between the original signal and its Fourier transform.

math-ph↗

arXiv2019

Segal-Bargmann transforms from hyperbolic Hamiltonians

We consider the imaginary time flow of a quadratic hyperbolic Hamiltonian on the symplectic plane, apply it to the Schrödinger polarization and study the corresponding evolution of polarized sections. The flow is periodic in imaginary time and the evolution of polarized sections has interesting features. On the time intervals for which the polarization is real or Kähler, the half--form corrected time evolution of polarized sections is given by unitary operators which turn out to be equivalent to the classical Segal-Bargmann transforms (which are usually associated to the quadratic elliptic Hamiltonian $H=\frac12 p^2$ and to the heat operator). At the right endpoint of these intervals, the evolution of polarized sections is given by the Fourier transform from the Schrödinger to the momentum representation. In the complementary intervals of imaginary time, the polarizations are anti--Kähler and the Hilbert space of polarized sections collapses to ${\mathcal H}= \{0\}$. Hyperbolic quadratic Hamiltonians thus give rise to a new factorization of the Segal-Bargmann transform, which is very different from the usual one, where one first applies a bounded contraction operator (the heat kernel operator), mapping $L^2$--states to real analytic functions with unique analytic continuation, and then one applies analytic continuation. In the factorization induced by an hyperbolic complexifier, both factors are unbounded operators but their composition is, in the Kähler or real sectors, unitary. In another paper [KMNT], we explore the application of the above family of unitary transforms to the definition of new holomorphic fractional Fourier transforms.

math-ph↗

arXiv2016

Extending coherent state transforms to Clifford analysis

We introduce two extensions of the Segal-Bargmann coherent state transform from $L^2({\mathbb R},dx)$ to Hilbert spaces of slice monogenic and axial monogenic functions and study their properties. These two transforms are related by the dual Radon transform. Representation theoretic and quantum mechanical aspects of the new representations are studied.

math-ph↗

arXiv2014

Complex symplectomorphisms and pseudo-Kähler islands in the quantization of toric manifolds

Let $P$ be a Delzant polytope. We show that the quantization of the corresponding toric manifold $X_{P}$ in toric Kähler polarizations and in the toric real polarization are related by analytic continuation of Hamiltonian flows evaluated at time $t = \sqrt{-1} s$. We relate the quantization of $X_{P}$ in two different toric Kähler polarizations by taking the time-$\sqrt{-1} s$ Hamiltonian "flow" of strongly convex functions on the moment polytope $P$. By taking $s$ to infinity, we obtain the quantization of $X_{P}$ in the (singular) real toric polarization. Recall that $X_{P}$ has an open dense subset which is biholomorphic to $({\mathbb{C}}^{*})^{n}$. The quantization of $X_{P}$ in a toric Kähler polarization can also be described by applying the complexified Hamiltonian flow of the Abreu--Guillemin symplectic potential $g$, at time $t=\sqrt{-1}$, to an appropriate finite-dimensional subspace of quantum states in the quantization of $T^{*}{\mathbb{T}}^{n}$ in the vertical polarization. By taking other imaginary times, $t= k \sqrt{-1}, k\in {\mathbb{R}}$, we describe toric Kähler metrics with cone singularities along the toric divisors in $X_{P}$. For convex Hamiltonian functions and sufficiently negative imaginary part of the complex time, we obtain degenerate Kähler structures which are negative definite in some regions of $X_{P}$. We show that the pointwise and $L^2$-norms of quantum states are asymptotically vanishing on negative-definite regions.

math.DG↗

arXiv2014

Quantizing the geodesic flow via adapted complex structures

The geometric quantization of the geodesic flow on a compact Riemannian manifold via the BKS "dragging projection" yields the Laplacian plus a scalar curvature term. To avoid convergence issues, the standard construction involves somewhat unnatural hypotheses that do not hold in typical examples. In this paper, we use adapted complex structures to make sense of a Wick-rotated version of the dragging projection which avoids the convergence issues.

math.SG↗

arXiv2012

Degeneration of Kaehler structures and half-form quantization of toric varieties

We study the half-form Kaehler quantization of a smooth symplectic toric manifold $(X,ω)$, such that $[ω/2π]-c_{1}(X)/2 \in H^{2}(X,{\mathbb{Z}})$ and is nonnegative. We define the half-form corrected quantization of $(X,ω)$ to be given by holomorphic sections of a certain hermitian line bundle $L\rightarrow X$ with Chern class $[ω/ 2π]-c_{1}(X)/2$. These sections then correspond to integral points of a "corrected" polytope $P_{L}$ with integral vertices. For a suitably translated moment polytope $P_{X}$ for $(X,ω)$, we have that $P_{L}\subset P_{X}$ is obtained from $P_{X}$ by a one-half inward-pointing normal shift along the boundary. We use our results on the Kaehler quantization to motivate a definition of half-form corrected quantization in the singular real toric polarization. Using families of complex structures studied in [Baier-Florentino-Mourao-Nunes:arXiv/0806.0606], which include the degeneration of Kaehler polarizations to the vertical polarization, we show that, under this degeneration, the half-form corrected $L^{2}$-normalized monomial holomorphic sections converge to Dirac-delta-distributional sections supported on the fibers over the integral points of $P_{L}$, which correspond to corrected Bohr-Sommerfeld fibers. This result and the limit of the corrected connection, with curvature singularities along the boundary of $P_X$, justifies the direct definition we give for the corrected quantization in the singular real toric polarization. We show that the space of quantum states for this definition coincides with the space obtained via degeneration of the Kähler quantization. We also show that the BKS pairing between Kaehler polarizations is not unitary in general. On the other hand, the unitary connection induced by this pairing is flat.

math.DG↗

arXiv2012

Coherent state transforms and the Mackey-Stone-Von Neumann theorem

Mackey showed that for a compact Lie group $K$, the pair $(K,C^{0}(K))$ has a unique non-trivial irreducible covariant pair of representations. We study the relevance of this result to the unitary equivalence of quantizations for an infinite-dimensional family of $K\times K$ invariant polarizations on $T^{\ast}K$. The Kähler polarizations in the family are generated by (complex) time-$τ$ Hamiltonian flows applied to the (Schrödinger) vertical real polarization. The unitary equivalence of the corresponding quantizations of $T^{\ast}K$ is then studied by considering covariant pairs of representations of $K$ defined by geometric prequantization and of representations of $C^0(K)$ defined via Heisenberg time-$(-τ)$ evolution followed by time-$(+τ)$ geometric-quantization-induced evolution. We show that in the semiclassical and large imaginary time limits, the unitary transform whose existence is guaranteed by Mackey's theorem can be approximated by composition of the time-$(+τ)$ geometric-quantization-induced evolution with the time-$(-τ)$ evolution associated with the momentum space [W. D. Kirwin and S. Wu, Momentum space for compact Lie groups and the Peter-Weyl theorem, to appear] quantization of the Hamiltonian function generating the flow. In the case of quadratic Hamiltonians, this asymptotic result is exact and unitary equivalence between quantizations is achieved by identifying the Heisenberg imaginary time evolution with heat operator evolution, in accordance with the coherent state transform of Hall.

math.DG↗

arXiv2012

Complex time evolution in geometric quantization and generalized coherent state transforms

For the cotangent bundle $T^{*}K$ of a compact Lie group $K$, we study the complex-time evolution of the vertical tangent bundle and the associated geometric quantization Hilbert space $L^{2}(K)$ under an infinite-dimensional family of Hamiltonian flows. For each such flow, we construct a generalized coherent state transform (CST), which is a unitary isomorphism between $L^{2}(K)$ and a certain weighted $L^{2}$-space of holomorphic functions. For a particular set of choices, we show that this isomorphism is naturally decomposed as a product of a Heisenberg-type evolution (for complex time $-τ$) within $L^{2}(K)$, followed by a polarization--changing geometric quantization evolution (for complex time $+τ$). In this case, our construction yields the usual generalized Segal--Bargmann transform of Hall. We show that the infinite-dimensional family of Hamiltonian flows can also be understood in terms of Thiemann's "complexifier" method (which generalizes the construction of adapted complex structures). We will also investigate some properties of the generalized CSTs, and discuss how their existence can be understood in terms of Mackey's generalization of the Stone-von Neumann theorem.

math.DG↗

arXiv2012

Complex structures adapted to magnetic flows

Let $M$ be a compact real-analytic manifold, equipped with a real-analytic Riemannian metric $g,$ and let $β$ be a closed real-analytic 2-form on $M$, interpreted as a magnetic field. Consider the Hamiltonian flow on $T^*M$ that describes a charged particle moving in the magnetic field $β$. Following an idea of T. Thiemann, we construct a complex structure on a tube inside $T^*M$ by pushing forward the vertical polarization by the Hamiltonian flow "evaluated at time $i$." This complex structure fits together with $ω-π^*β$ to give a Kaehler structure on a tube inside $T^*M$. We describe this magnetic complex structure in terms of its $(1,0)$-tangent bundle, at the level of holomorphic functions, and via a construction using the embeddings of Whitney-Bruhat and Grauert, which is a magnetic analogue to the analytic continuation of the geometric exponential map. We describe an antiholomorphic intertwiner between this complex structure and the complex structure induced by $-β$, and we give two formulas for local Kaehler potentials, which depend on a local choice of vector potential 1-form for $β$. When $β=0$, our magnetic complex structure is the adapted complex structure of Lempert-Szőke and Guillemin-Stenzel. We compute the magnetic complex structure explicitly for constant magnetic fields on $\mathbb{R}^{2}$ and $S^{2}.$ In the $\mathbb{R}^{2}$ case, the magnetic adapted complex structure for a constant magnetic field is related to work of Krötz-Thangavelu-Xu on heat kernel analysis on the Heisenberg group.

math.SG↗

arXiv2011

Isotropic foliations of coadjoint orbits from the Iwasawa decomposition

Let G be a noncompact real semisimple Lie group. The regular coadjoint orbits of G can be partitioned into a finite set of types. We show that on each regular orbit, the Iwasawa decomposition induces a left-invariant foliation which is isotropic with respect to the Kirillov symplectic form. Moreover, the leaves are affine subspaces of the dual of the Lie algebra, and the dimension of the leaves depends only on the type of the orbit. When G is a split real form, the foliations induced from the Iwasawa decomposition are actually Lagrangian fibrations with a global transverse Lagrangian section.

math.SG↗

arXiv2010

Quantum Equivalent Magnetic Fields that Are Not Classically Equivalent

We construct pairs of compact Kähler-Einstein manifolds $(M_i,g_i,ω_i)$ ($i=1,2)$ of complex dimension $n$ with the following properties: The canonical line bundle $L_i=\bigwedge^n T^*M_i$ has Chern class $[ω_i/2π]$, and for each integer $k$ the tensor powers $L_1^{\otimes k}$ and $L_2^{\otimes k}$ are isospectral for the bundle Laplacian associated with the canonical connection, while $M_1$ and $M_2$ -- and hence $T^*M_1$ and $T^*M_2$ -- are not homeomorphic. In the context of geometric quantization, we interpret these examples as magnetic fields which are quantum equivalent but not classically equivalent. Moreover, we construct many examples of line bundles $L$, pairs of potentials $Q_1$, $Q_2$ on the base manifold, and pairs of connections $\nabla_1$, $\nabla_2$ on $L$ such that for each integer $k$ the associated Schrödinger operators on $L^{\otimes k}$ are isospectral.

math.DG↗

arXiv2010

Higher Asymptotics of Laplace's Approximation

We present expressions for the coefficients which arise in asymptotic expansions of multiple integrals of Laplace type (the first term of which is known as Laplace's approximation) in terms of asymptotic series of the functions in the integrand. Our most general result assumes no smoothness of the functions of the integrand, but the expressions we obtain contain integrals which may be difficult to evaluate in practice. We then make additional assumptions which are sufficient to simplify these integrals, in some cases obtaining explicit formulae for the coefficients in the asymptotic expansions.

math.CA↗

arXiv2010

Higher Asymptotics of Unitarity in "Quantization Commutes with Reduction"

Let M be a compact Kaehler manifold equipped with a Hamiltonian action of a compact Lie group G. In [Invent. Math. 67 (1982), no.~3, 515--538], Guillemin and Sternberg showed that there is a geometrically natural isomorphism between the G-invariant quantum Hilbert space over M and the quantum Hilbert space over the symplectic quotient M//G. This map, though, is not in general unitary, even to leading order in h-bar. In [Comm. Math. Phys. 275 (2007), no.~2, 401--422], Hall and the author showed that when the metaplectic correction is included, one does obtain a map which, while not in general unitary for any fixed h-bar, becomes unitary in the semiclassical limit that h-bar goes to zero. (cf. the work of Ma and Zhang in [C. R. Math. Acad. Sci. Paris 341 (2005), no.~5, 297--302], and [Astérisque No. 318 (2008), viii+154 pp.]). The unitarity of the classical Guillemin--Sternberg map and the metaplectically corrected analogue is measured by certain functions on the symplectic quotient M//G. In this paper, we give precise expressions for these functions, and compute complete asymptotic expansions for them as h-bar goes to zero.

math.SG↗

arXiv2010

Adapted complex structures and the geodesic flow

In this paper, we give a new construction of the adapted complex structure on a neighborhood of the zero section in the tangent bundle of a compact, real-analytic Riemannian manifold. Motivated by the "complexifier" approach of T. Thiemann as well as certain formulas of V. Guillemin and M. Stenzel, we obtain the polarization associated to the adapted complex structure by applying the "imaginary-time geodesic flow" to the vertical polarization. Meanwhile, at the level of functions, we show that every holomorphic function is obtained from a function that is constant along the fibers by "composition with the imaginary-time geodesic flow." We give several equivalent interpretations of this composition, including a convergent power series in the vector field generating the geodesic flow.

math.SG↗

arXiv2007

Theta-functions on the Kodaira-Thurston manifold

The Kodaira--Thurston M manifold is a compact, 4-dimensional nilmanifold which is symplectic and complex but not Kaehler. We describe a construction of theta-functions associated to M which parallels the classical theory of theta-functions associated to the torus (from the point of view of representation theory and geometry), and yields pseudoperiodic complex-valued functions on R^4. There exists a three-step nilpotent Lie group G which acts transitively on the Kodaira--Thurston manifold M in a Hamiltonian fashion. The theta-functions discussed in this paper are intimately related to the representation theory of G in much the same way the classical theta-functions are related to the Heisenberg group. One aspect of our results which has not appeared in the classical theory is a connection between the representation theory of G and the existence of Lagrangian and special Lagrangian foliations and torus fibrations in M.

math.DG↗

arXiv2007

Unitarity in "quantization commutes with reduction"

Let M be a compact Kahler manifold equipped with a Hamiltonian action of a compact Lie group G. In this paper, we study the geometric quantization of the symplectic quotient M//G. Guillemin and Sternberg [Invent. Math. 67 (1982), 515--538] have shown, under suitable regularity assumptions, that there is a natural invertible map between the quantum Hilbert space over M//G and the G-invariant subspace of the quantum Hilbert space over M. We prove that in general the natural map of Guillemin and Sternberg is not unitary, \textit{even to leading order in Planck's constant}. We then modify the quantization procedure by the "metaplectic correction" and show that in this setting there is still a natural invertible map between the Hilbert space over M//G and the G-invariant subspace of the Hilbert space over M. We then prove that this modified Guillemin--Sternberg map is asymptotically unitary to leading order in Planck's constant.

math.SG↗

arXiv2005

Coherent States in Geometric Quantization

In this paper we study overcomplete systems of coherent states associated to compact integral symplectic manifolds by geometric quantization. Our main goals are to give a systematic treatment of the construction of such systems and to collect some recent results. We begin by recalling the basic constructions of geometric quantization in both the Kahler and non-Kahler cases. We then study the reproducing kernels associated to the quantum Hilbert spaces and use them to define symplectic coherent states. The rest of the paper is dedicated to the properties of symplectic coherent states and the corresponding Berezin-Toeplitz quantization. Specifically, we study overcompleteness, symplectic analogues of the basic properties of Bargmann's weighted analytic function spaces, and the `maximally classical' behavior of symplectic coherent states. We also find explicit formulas for symplectic coherent states on compact Riemann surfaces.

math.SG↗

arXiv2004

Geometric Quantization, Parallel Transport and the Fourier Transform

In quantum mechanics, the momentum space and position space wave functions are related by the Fourier transform. We investigate how the Fourier transform arises in the context of geometric quantization. We consider a Hilbert space bundle H over the space J of compatible complex structures on a symplectic vector space. This bundle is equipped with a projectively flat connection. We show that parallel transport along a geodesic in the bundle H -> J is a rescaled orthogonal projection or Bogoliubov transformation. We then construct the kernel for the integral parallel transport operator. Finally, by extending geodesics to the boundary (for which the metaplectic correction is essential), we obtain the Segal-Bargmann and Fourier transforms as parallel transport in suitable limits.

math.SG↗