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

Joshua Lackman

REVIEW 3 major objections 7 minor 16 references

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

T0 review · 3 major / 7 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that, on cotangent bundles of Grassmannians, Berezin pointwise quantization and holomorphic path-integral quantization are equivalent, with unitarily equivalent Hilbert spaces.

desk verdict Genuinely new rank-n Berezin quantization with a solid equivalence theorem, but the integrability proof for J is incomplete and the abstract overclaims a C*-algebra functor. read the letter →

arxiv 2501.05428 v1 pith:6GLPLIEC submitted 2025-01-09 math.SG hep-thmath-phmath.AGmath.MPmath.QA

Joshua Lackman This is my paper · ORCID

classification math.SGhep-thmath-phmath.AGmath.MPmath.QA MSC 53D5053D5553C2681S40

keywords BerezinquantizationholomorphicsymplecticmanifoldspathintegralcoherentstatesGrassmanniancotangentbundleovercompletenessrelationidempotentpropagatorhyperkähler

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Berezin's coherent-state quantization assigns to each point of a symplectic manifold a rank-one projection in a Hilbert space, with the overcompleteness relation $1_H=\int_M q\,\Omega^{\mathrm{top}}$ encoding the resolution of the identity. The paper extends this prescription to holomorphic symplectic manifolds by letting the quantization map take values in the cotangent bundle of a Grassmannian, $T^*G_nH$, where $G_nH$ is the manifold of $n$-dimensional subspaces of $H$; this is equivalent to replacing Hermitian rank-one projections with arbitrary rank-one projections and, for $n>1$, with rank-$n$ projections. The main theorem states that this pointwise quantization is exactly the same data as a holomorphic path-integral quantization: a quantization map $q$ satisfying the overcompleteness relation determines a Hermitian holomorphic vector bundle with a propagator $P$, and conversely each propagator determines such a $q$, with unitarily equivalent Hilbert spaces and matching 3-point functions. If correct, this makes the coherent-state path integral a well-defined holomorphic object and extends Berezin quantization to a setting in which higher-rank projections represent maximally mixed density operators.

What carries the argument

The central object is the complexified tautological bundle $E=\{(q,v)\in T^*G_nH\times H: qv=v\}$ over $T^*G_nH$, together with its holomorphic section $P$ defined by $v_{q_1}P(q_1,q_2)=q_2v_{q_1}$. This $P$ is the propagator: it equals the identity on the diagonal, is an idempotent under convolution over the zero section $G_nH$, determines a holomorphic connection whose curvature trace is $\Omega$, and its integral kernel projects sections onto the quantum Hilbert space. The equivalence of Theorem 4.1.2 runs through this object, because pulling $E$ and $P$ back along a quantization map $q$ produces a propagator, while conversely a propagator defines $q$ by $(q(x)\psi)(y)=\psi(x)P(x,y)$; the two constructions are inverse up to unitary equivalence.

What would settle it

Compute the Nijenhuis tensor of $J$ on $T^*G_nH$ for $n\ge 2$, or equivalently check whether its $(1,0)$ distribution is closed under Lie bracket; a nonzero result would destroy the holomorphic symplectic structure and with it the quantization equivalence. A direct algebraic check is to verify or correct the relation $[q,AB]=qAq=0$ used in Corollary 1.3.5 for arbitrary tangent vectors $A,B$ at a general point $q$.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is that holomorphic Berezin quantization and holomorphic path-integral quantization are the same structure. On $T^*G_nH$, identified with the space of (not necessarily Hermitian) rank-$n$ projections in $B(H)$, the paper defines a pair of commuting almost complex structures $I,J$ and an $I$-holomorphic symplectic form $\Omega_q(A,B)=i\operatorname{Tr}(q[A,B])$. The complexified tautological bundle $E=\{(q,v)\in T^*G_nH\times H: qv=v\}$ carries a holomorphic section $P$ with $v_{q_1}P(q_1,q_2)=q_2v_{q_1}$, and $P$ is a rank-$n$ idempotent of the convolution algebra: integrating $P(q_1,z)P(z,q_2)$ over the zero section reproduces $P(q_1,q_2)$, and the trace of its curvature is $\Omega$. Theorem 4.1.2 asserts a $\Delta$-preserving equivalence of categories between Hermitian quantizations of points and Hermitian holomorphic vector bundles with propagator, with the Hilbert space of polarized sections unitarily equivalent to the original $H$. The abstract further announces a faithful functor from finite-dimensional $C^*$-algebras to hyperkähler manifolds recovering the original algebra, built from these Grassmannian data.

Load-bearing premise

The whole construction rests on the claim that the two commuting almost complex structures $I,J$ on $T^*G_nH$ are integrable for every rank $n$; the text invokes the standard Newlander–Nirenberg integrability criterion and a bracket relation that is not verified in detail for general $n$.

Editorial extensions

If this is right

The overcompleteness relation $1_H=\int_{G_nH} q\,\Omega^{\mathrm{top}}$ holds with the canonical symplectic form, giving a concrete family of coherent states indexed by the Grassmannian rather than only by projective space.
The propagator $P$ analytically continues the coherent-state path integral: iterating the convolution idempotent and taking the continuum limit reproduces $P$ itself, so the formal path integral over parallel transport acquires a well-defined holomorphic value.
The Hilbert space of sections that are simultaneously polarized with respect to $I,J,K$ is unitarily equivalent to the original $H$, so quantization of $T^*G_nH$ returns the input Hilbert space exactly.
The expectation-value map $M\mapsto\operatorname{Tr}(qM)$ sends the commutator algebra of operators into the Poisson algebra of analytic functions on $T^*G_nH$, giving a classical-quantum correspondence in the Grassmannian setting.
For rank one the induced operator on sections agrees with the Kostant–Souriau operator of geometric quantization, while the paper shows that this agreement fails for rank greater than one.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the equivalence works for any compact submanifold $M$ on which the overcompleteness integral converges, the same propagator $P$ can quantize several different real symplectic manifolds at once; the paper notes this yields a version of the BKS pairing, and the sphere versus unit-disc example gives a concrete place to test it.
The rank-$n$ quantization map can be read as a finite-dimensional model of mixed-state coherent states: rank-one projections are pure states, while rank-$n$ projections are density operators maximally mixed on an $n$-dimensional subspace, so the formalism may connect Berezin quantization to operator-algebraic state spaces.
The body's detailed proofs establish the Grassmannian geometry and the quantization equivalence; the abstract's faithful functor from finite-dimensional $C^*$-algebras to hyperkähler manifolds recovering the original algebra is announced as a consequence and would be built from these constructions, but the text does not carry out that functor theorem separately.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Josh, here's my read of arXiv:2501.05428. The paper has a real new idea: quantize holomorphic symplectic manifolds by letting states be rank-n, not necessarily Hermitian, projections, which puts you on T*G_nH instead of P(H). That's a genuine extension of Berezin's rank-1 Hermitian setup, and it's backed by explicit constructions: the I and J almost complex structures, the holomorphic symplectic form Omega, the vector bundle E, and the propagator P. The equivalence theorem 4.1.2 between pointwise quantization and propagator quantization is self-contained and plausible; the overcompleteness computation via Schur's lemma is clean. For someone in geometric quantization, this is worth taking seriously.

The soft spots are real but specific. First, Corollary 1.3.5 claims I and J are integrable by Newlander-Nirenberg, citing 'the fact that [q,AB]=qAq=0'. That relation is not right as written, and the proof never checks that the (1,0) distribution for J is closed under Lie bracket for n>1. For n=1 it's automatic, but the paper is about general n. The result may well be true, but the proof doesn't establish it, and Theorem 4.1.2 depends on the holomorphic symplectic setting. A referee should ask for a correct proof or a working reference.

Second, the abstract advertises a faithful functor from finite-dimensional C*-algebras to hyperkahler manifolds that recovers the original C*-algebra, and a homomorphism from commutator algebra to Poisson algebra. None of that is defined or proved in the body. The paper does show a nice algebra-Poisson morphism for T*G_nH, but a functor from all finite-dimensional C*-algebras is a different claim. The abstract overreaches.

Third, the path integral is formal; the paper says so explicitly. That's fine in context, but it means the 'equivalence to path integral quantization' is an equivalence to a formal object, not a measure-theoretic one.

The citation pattern is fine. It leans on the author's prior paper [14] for the general framework, but enough is repeated here that the current results stand on their own.

Bottom line: the core construction and the equivalence theorem deserve a serious referee. The integrability gap and the abstract's functor claim are addressable, but they need to be fixed before I'd rely on the paper. I'd bring it to a reading group if someone wants a concrete rank-n Berezin quantization, but I wouldn't cite it yet.

Referee Report

3 major / 7 minor

Summary. The paper proposes a holomorphic analogue of Berezin quantization, replacing the state space P(H) by the cotangent bundle T*G_nH of a Grassmannian, viewed as the space of all rank-n projections in B(H). A quantization is a holomorphic map q:Y→T*G_nH satisfying the overcompleteness relation 1_H=∫_M q Ω^top. The paper constructs a holomorphic vector bundle E over T*G_nH whose fiber at q is the image of q, together with a section P of E^*⊠E that is an idempotent in the convolution algebra over the zero section, has curvature trace Ω, and reproduces the coherent-state path integral in a formal sense. The central theorem, Theorem 4.1.2, asserts a Δ-preserving equivalence between Hermitian holomorphic quantizations of points and Hermitian holomorphic propagators. The abstract additionally claims a faithful functor from finite-dimensional C*-algebras to hyperkähler manifolds recovering the original C*-algebra, but no such functor is defined or proved in the body.

Significance. If the central equivalence theorem is correct, it provides a genuinely useful bridge between Berezin/coherent-state quantization and path-integral quantization in the holomorphic setting, and the explicit T*G_nH model with higher-rank projections is a concrete contribution. The paper contains self-contained computations for the overcompleteness integral and for the idempotent propagator, and it does not hide the fact that the path-integral identification is formal. However, the advertised functorial statement is absent from the body, and the proof that the almost complex structures are integrable is incomplete at a load-bearing point. These issues currently prevent the paper from being accepted in its advertised form, although the central algebraic construction is plausible and likely repairable.

major comments (3)

The only proof that I and J are integrable is Corollary 1.3.5, and this proof is not valid as written. The displayed relation '[q,AB]=qAq=0' is not a correct equality: for A,B∈T_qT*G_nH one has qAq=qBq=0, but [q,AB]=qAB-ABq need not vanish. The argument also never checks that the (1,0) distribution of J is closed under Lie bracket, which is automatic for n=1 because the distribution is a line field but is a genuine condition for n>1. Since the holomorphic symplectic structure used throughout the paper, and hence the category in which Theorem 4.1.2 is formulated, depends on integrability of J, this gap is load-bearing. Please supply a complete proof, or state precisely how it follows from a cited result such as [2] in a way that covers the pair (I,J) and the form Ω.
The abstract claims a faithful functor from the category of finite-dimensional C*-algebras to hyperkähler manifolds whose quantization recovers the original C*-algebra. No such functor is defined anywhere in the body: §1.4 only discusses T*G_nH, cites [2] for hyperkähler metrics, and gives an explicit formula only for T*P1. The categorical data (objects and morphisms, faithfulness, and the recovery statement) are missing. This is a headline claim, so it should either be proved in the body or removed from the abstract and replaced by a statement that accurately describes what is established.
The analytic-continuation claim for the path integral is explicitly marked formal in footnote 12, and Eq. (2.0.19) does not define a path integral measure. The rigorous content is the algebraic idempotent identity in Corollary 2.0.11 and the equivalence theorem 4.1.2, not a convergent path integral. Since the title and abstract advertise analytic continuation of path integrals, the paper should either give a precise measure-theoretic or regularized statement, or clearly state that the path-integral interpretation is heuristic and that the theorem concerns the algebraic propagator.

minor comments (7)

The phrase 'to to the category' contains a duplicated word that should be corrected.
There are typos in the introduction, for example 'symplecic manifo ld' and 'sympelctic'; these should be corrected throughout.
The word 'quarternions' should read 'quaternions'.
The citation placeholder '[ ?]' before [6] should be replaced by the intended reference.
In reference [3], the author name should be 'Bordemann', not 'Bordeman'.
The notation L^2(Y, Ω^top) is confusing because the integration in condition 3 is over M; it would be clearer to write L^2(M, ι^*Ω^top) for the norm condition.
The symbol BHP is used without definition; it should be B(H_P) or explicitly defined as the bounded operators on the Hilbert space H_P.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the core quantization/propagator equivalence is proven from stated definitions, with no fitted inputs or predictions-by-construction.

full rationale

The paper's central Theorem 4.1.2 is a formal dictionary between Hermitian quantizations q:Y→T*G_nH satisfying the overcompleteness relation and Hermitian propagators P; the proof constructs the pullback propagator from q and conversely defines q from P via equation (4.1.4), then verifies the idempotent and overcompleteness identities directly. No parameter is fitted to data and no quantity is a prediction forced by an earlier fit. The author's prior paper [14] is cited for the van Est computation in Lemma 2.0.9 and for the path-integral/Berezin framework, but the current paper repeats the relevant constructions and the cited result is parameter-free with stated assumptions; this is minor self-citation, not load-bearing circularity. The genuine concerns in the paper are correctness and completeness issues rather than circularity: Corollary 1.3.5's Newlander-Nirenberg argument contains a garbled displayed relation, '[q,AB]=qAq=0', and does not explicitly check bracket-closure of the (1,0) distribution for J when n>1; and the abstract's claim of a faithful functor from finite-dimensional C*-algebras to hyperkähler manifolds is not actually constructed in the body. These would be proper targets for a correctness critique, but they do not make the derivation equivalent to its own inputs. The score of 2 reflects only the presence of minor, non-load-bearing self-citation.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The main claims rest on standard facts: the identification of T*G_nH with rank-n projections, Schur's lemma, Newlander-Nirenberg, and finite-dimensionality of H. No number is fitted to data, so the free_parameters list is empty. The 'invented entities' list is empty because the bundle E and propagator P are explicitly constructed and proven, not ad hoc postulates.

assumptions (7)

standard math Identification of T V G_nH with Hom(V,V^perp) and T^*G_nH with Hom(V^perp,V) via the trace pairing
Section 1.1, Lemma 1.1.1; this identification is used to define the tangent space, the embedding into B(H), and the complex structures.
standard math Schur's lemma for the unitary group acting irreducibly on H
Lemma 2.0.10 uses Schur's lemma to conclude int_{G_nH} q Omega^top is a multiple of the identity; this proves Proposition 0.0.3.
standard math Newlander-Nirenberg theorem
Corollary 1.3.5 applies it to vector fields q -> i[M,q] to conclude I,J are integrable.
standard math Van Est map computation for the trace of curvature
Lemma 2.0.9 computes Tr(F_nabla)=Omega using the van Est map from log Delta, referencing the appendix of [14].
domain assumption H is finite dimensional
Propositions 0.0.2, 2.0.10, and Theorem 4.1.2 are stated for finite-dimensional Hilbert spaces; the infinite-dimensional case is only suggested in Remark 3.0.2.
domain assumption Compactness of the integration cycle M
Theorem 4.1.2 assumes M is compact to keep the category equivalence proof simple; the paper says compactness is not necessary but gives no detailed noncompact proof.
domain assumption Exact overcompleteness relation as the definition of quantization
Definition 3.0.1 requires 1_H=int_M q Omega^top exactly; all subsequent equivalence results depend on this identity, while the paper only notes that q should approximately preserve the symplectic form in hbar-families.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantization of Holomorphic Symplectic Manifolds: Analytic Continuation of Path Integrals and Coherent States." pith.science (2026). https://pith.science/paper/6GLPLIEC

@misc{pith2026250105428,
  author       = {Pith},
  title        = {Pith review of: Quantization of Holomorphic Symplectic Manifolds: Analytic Continuation of Path Integrals and Coherent States},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6GLPLIEC}},
  note         = {Machine review of arXiv:2501.05428}
}

abstract

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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 13 canonical work pages

[14]

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

Joshua Lackman. On an Axiomatization of Path Integral Quantization and its E quivalence to Berezin’s Quantization. arXiv:2410.02739 [math.SG] (2024)

work page Pith review arXiv 2024
[2]

Hyperk¨ ahler Metrics on Cotangent Bundles of Hermitian Symmetric Spaces

Olivier Biquard and Paul Gauduchon. Hyperk¨ ahler Metrics on Cotangent Bundles of Hermitian Symmetric Spaces. Geometry and Physics (1996). ISBN:9781003072393

work page 1996
[1]

F.A. Berezin. General concept of quantization. Commun.Math. Phys. 40, 153–174 (1975). https://doi.org/10.1007/BF01609397

doi:10.1007/bf01609397 1975
[3]

Bordeman, E

M. Bordeman, E. Meinrenken and M. Schlichenmaier. Toeplitz quantization of K¨ ahler manifolds and gl(n), n Ñ 8 limits. Comm. Math. Phys. 165 (1994), 281-296

work page 1994
[4]

Almost complex structures and geometric quantization

David Borthwick and Alejandro Uribe. Almost complex structures and geometric quantization. Mathematical Research Letters 3 (1996): 845-861

work page 1996
[5]

Quantization of K¨ ahler Manifolds

Michel Cahen, Simone Gutt, John Rawnsley. Quantization of K¨ ahler Manifolds. II Transac- tions of the American Mathematical Society, Vol. 337, No. 1 (May, 1 993), pp. 73-98 (26 pages) https://doi.org/10.2307/2154310

work page doi:10.2307/2154310
[6]

A. S. Cattaneo and G. Felder. A Path Integral Approach to the Kontsevich Quantization For mula. Comm Math Phys 212, 591–611 (2000). https://doi.org/10.1007/s 002200000229

doi:10.1007/s 2000
[7]

Ingrid Daubechies and John R. Klauder. Quantum-mechanical path integrals with Wiener measure for all polynomial Hamiltonians. II J. Math. Phys. 26, 2239 (1985); doi: 10.1063/1.526803

work page doi:10.1063/1.526803 1985

Show all 16 references

[8]

Gaiotto and E

D. Gaiotto and E. Witten. Probing Quantization Via Branes. arXiv:2107.12251 (2021)

2021 arXiv
[9]

Tom W. B. Kibble. Geometrization of quantum mechanics. Communications in Mathematical Physics 65 (1979), 189–201. doi:10.1007/BF01225149

1979 doi
[10]

John R. Klauder. Quantization is geometry, after all. Annals of Physics Volume 188, Issue 1, 15 November 1988, Pages 120-141

1988
[11]

Klauder and B.-S

J.R. Klauder and B.-S. Skagerstam. A Coherent-State Primer. World Scientiﬁc Publishing (1985), Singapore, 1-115

1985
[12]

Kontsevich

M. Kontsevich. Deformation Quantization of Poisson Manifolds. Letters in Mathematical Physics 66, 157–216 (2003). https://doi.org/10.1023/B:MATH.000002750 8.00421.bf

2003 doi
[13]

Kordyukov

Y.A. Kordyukov. Berezin–Toeplitz Quantization on Symplectic Manifolds of Bounded Geometry. Math Notes 112, 576–587 (2022). https://doi.org/10.1134/S000 1434622090267

2022 doi
[15]

Odzijewicz

A. Odzijewicz. Coherent states and geometric quantization. Commun.Math. Phys. 150, 385–413 (1992). https://doi.org/10.1007/BF02096666

1992 doi
[16]

Berezin-Toeplitz Quantization for Compact K¨ ahler Manifolds

Martin Schlichenmaier. Berezin-Toeplitz Quantization for Compact K¨ ahler Manifolds. A Review of Results. Advances in Mathematical Physics (2010). https://doi.org/10.115 5/2010/927280. 20

2010

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [14]

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

Joshua Lackman. On an Axiomatization of Path Integral Quantization and its E quivalence to Berezin’s Quantization. arXiv:2410.02739 [math.SG] (2024)

work page Pith review arXiv 2024

[2] [2]

Hyperk¨ ahler Metrics on Cotangent Bundles of Hermitian Symmetric Spaces

Olivier Biquard and Paul Gauduchon. Hyperk¨ ahler Metrics on Cotangent Bundles of Hermitian Symmetric Spaces. Geometry and Physics (1996). ISBN:9781003072393

work page 1996

[3] [1]

F.A. Berezin. General concept of quantization. Commun.Math. Phys. 40, 153–174 (1975). https://doi.org/10.1007/BF01609397

doi:10.1007/bf01609397 1975

[4] [3]

Bordeman, E

M. Bordeman, E. Meinrenken and M. Schlichenmaier. Toeplitz quantization of K¨ ahler manifolds and gl(n), n Ñ 8 limits. Comm. Math. Phys. 165 (1994), 281-296

work page 1994

[5] [4]

Almost complex structures and geometric quantization

David Borthwick and Alejandro Uribe. Almost complex structures and geometric quantization. Mathematical Research Letters 3 (1996): 845-861

work page 1996

[6] [5]

Quantization of K¨ ahler Manifolds

Michel Cahen, Simone Gutt, John Rawnsley. Quantization of K¨ ahler Manifolds. II Transac- tions of the American Mathematical Society, Vol. 337, No. 1 (May, 1 993), pp. 73-98 (26 pages) https://doi.org/10.2307/2154310

work page doi:10.2307/2154310

[7] [6]

A. S. Cattaneo and G. Felder. A Path Integral Approach to the Kontsevich Quantization For mula. Comm Math Phys 212, 591–611 (2000). https://doi.org/10.1007/s 002200000229

doi:10.1007/s 2000

[8] [7]

Ingrid Daubechies and John R. Klauder. Quantum-mechanical path integrals with Wiener measure for all polynomial Hamiltonians. II J. Math. Phys. 26, 2239 (1985); doi: 10.1063/1.526803

work page doi:10.1063/1.526803 1985