Researcher profile

William D. Kirwin

William D. Kirwin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2007arXiv

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.

preprint2007arXiv

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.

preprint2005arXiv

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.

preprint2004arXiv

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.