Interplay between opers, quantum curves, WKB analysis, and Higgs bundles
Abstract.
Quantum curves were introduced in the physics literature. We develop a mathematical framework for the case associated with Hitchin spectral curves. In this context, a quantum curve is a Rees module on a smooth projective algebraic curve, whose semiclassical limit produces the Hitchin spectral curve of a Higgs bundle. We give a method of quantization of Hitchin spectral curves by concretely constructing oneparameter deformation families of opers.
We propose a generalization of the topological recursion of EynardOrantin and Mirzakhani for the context of singular Hitchin spectral curves. We show a surprising result that a PDE version of the topological recursion provides allorder WKB analysis for the Rees modules, defined as the quantization of Hitchin spectral curves associated with meromorphic Higgs bundles. Topological recursion is thus identified as a process of quantization of Hitchin spectral curves. We prove that these two quantizations, one via the construction of families of opers, and the other via the PDE topological recursion, agree for holomorphic and meromorphic Higgs bundles.
Classical differential equations such as the Airy differential equation provides a typical example. Through these classical examples, we see that quantum curves relate Higgs bundles, opers, a conjecture of Gaiotto, and quantum invariants, such as GromovWitten invariants.
Key words and phrases:
Quantum curve; Hitchin spectral curve; Higgs field; Rees Dmodule; opers; nonAbelian Hodge correspondence; mirror symmetry; Airy function; quantum invariants; WKB approximation; topological recursion.2010 Mathematics Subject Classification:
Primary: 14H15, 14N35, 81T45; Secondary: 14F10, 14J26, 33C05, 33C10, 33C15, 34M60, 53D37Contents:
1. Introduction
The purpose of this paper is to construct a geometric theory of quantum curves. The notion of quantum curves was introduced in the physics literature (see for example, [1, 16, 17, 37, 38, 43, 54, 65]). A quantum curve is supposed to compactly capture topological invariants, such as certain GromovWitten invariants, SeibergWitten invariants, and quantum knot polynomials. Geometrically, a quantum curve is a unique quantization of the Bmodel geometry, when it is encoded in a holomorphic curve, that gives a generating function of Amodel theory of genus for all . In a broad setting, a quantum curve can be a differential operator, a difference operator, a mixture of them, or a linear operator defined by a traceclass kernel function.
The geometric theory we present here is focused on the process of quantization of Hitchin spectral curves. A concise overview of our theory is available in [21]. In Definition 2.10 and Definition 2.11, we introduce a quantum curve as a Rees module on a smooth projective algebraic curve whose semiclassical limit is the Hitchin spectral curve associated with a Higgs bundle on . The process of quantization is therefore an assignment of a Rees module to every Hitchin spectral curve.
The Planck constant is a deformation parameter that appears in the definition of Rees modules. For us, it has a geometric meaning, and is naturally identified with an element
(1.1) 
where is the canonical sheaf over . The cohomology group controls the deformation of a classical object, i.e., a geometric object such as a Higgs bundle in our case, into a quantum object, i.e., a noncommutative quantity such as a differential operator. In our case, the result of quantization is an oper.
Using a fixed choice of a theta characteristic and a projective structure on , we determine a unique quantization of the Hitchin spectral curve of a holomorphic or meromorphic Higgs bundle through a concrete construction of an family of opers on , as proved in Theorem 3.10 for holomorphic case, and in Theorem 3.15 for meromorphic case. The family interpolates opers and Higgs fields. We then prove, in Theorem 3.11, that the Rees module as the quantization result recovers the starting Hitchin spectral curve via semiclassical limit of WKB analysis. This is our main theorem of the paper. When we choose the projective structure of of genus coming from the Fuchsian uniformization, our construction of opers is the same as those opers predicted by a conjecture of Gaiotto [35], as explained in Subsection 3.3. This conjecture has been solved in [22].
It has been noticed that topological recursion of [32] and its generalizations provide another aspect of quantization, most notably through the remodeling conjecture of Mariño [53] and his collaborators [11, 12], and its complete solution by mathematicians [33, 34]. From this point of view, a quantum curve is a quantization of Bmodel geometry that is obtained as an application of topological recursion. It then becomes a natural question:
Question 1.1.
What is the relation between quantization via topological recursion and the quantization through our construction of Rees modules from Hitchin spectral curves?
The topological recursion was originally developed as a computational mechanism to calculate the multiresolvent correlation functions of random matrices [14, 29]. As mentioned above, it generates a mirror symmetric Bmodel counterpart of genus Amodel for all . This correspondence has been rigorously established for many examples [10, 19, 25, 27, 28, 31, 33, 34, 56, 57, 58, 59]. Yet so far still no clear geometric relation between topological recursion and quantum curves has been established.
The earliest striking application of topological recursion in algebraic geometry is the simple proofs obtained in [59] for the Witten conjecture on cotangent class intersection numbers and the conjecture. Indeed, these celebrated formulas are straightforward consequences of the Laplace transform of a combinatorial formula known as the cutandjoin equations [36, 66]. This particular success of topological recursion is due to the fact that the spectral curve of the theory is of genus , and hence the residue calculations in the formalism of [32] can be explicitly performed. The result is a PDE topological recursion obtained as the Laplace transform of the combinatorial equation. The difficulty of topological recursion as a computational tool in a more general context comes from two fronts: one is the case of singular spectral curves, and the other is the impossibility of performing residue calculations appearing in the recursion formula for a high genus spectral curve.
A novel approach proposed in [23] is the implementation of PDE topological recursions, which appear naturally in enumerative geometry problems, to the context of Hitchin spectral curves. It replaces the integral topological recursion formulated in terms of residue calculations at the ramification divisor of a spectral curve by a recursive set of partial differential equations that captures local nature of topological recursion. As we explain in Section 5, the difference of the two recursion formulas lies in the choice of contours of integration in the original format of integral topological recursion. All other ingredients are the same. For a genus spectral curve, the two sets of recursions are equivalent. In general, these two recursions aim at achieving different goals. The original choice of contours should capture some global nature of periods hidden in the quantum invariants. Due to the impossibility of calculating the residues mentioned above, still we do not have a full understanding in this direction. The PDE topological recursion of [23, 24], on the other hand, captures local nature of the functions involved, and leads to an allorder WKB analysis of quantum curves for Higgs bundles. The issue of singular spectral curves is addressed in [24], in which we have developed a systematic process of normalization of singular Hitchin spectral curves associated with meromorphic rank Higgs bundles.
Theorem 6.1 is our answer to Question 1.1. It states a surprising result that for the case of , the normalization process of [24] and the PDE topological recursion of [23] produce an allorder WKB expansion for the meromorphic Rees modules obtained by quantizing singular Hitchin spectral curves through the construction of families of opers. In this sense, our result shows that quantization of Hitchin spectral curves, singular or nonsingular, through the PDE topological recursion and construction of family of opers are equivalent, for the case of Higgs bundles.
We note the relation between meromorphic Higgs bundles over and Painlevé equations. We refer to [45, 46] for the application of topological recursion and quantum curves to Painlevé theory.
The interplay between Rees modules, families of opers, Hitchin spectral curves as semiclassical limit, Gaiotto’s correspondence, and WKB analysis through PDE topological recursion, creates a sense of inevitability of the notion of quantization. Section 7 serves as an overview to this interplay, where we present the Airy differential equation as a prototypical example.
A totally new mathematical framework is presented in [50], in which Kontsevich and Soibelman formulate topological recursion as a special case of deformation quantization. They call the formalism Airy structures. In their work, spectral curves no longer serve as input data for topological recursion. Although construction of quantum curves is not the only purpose of the original topological recursion, what we present in our current paper is that our general procedure of quantization of Hitchin spectral curves has nothing to do with individual spectral curve, in parallel to the philosophy of [50]. As we show in (3.59), the family of spectral curves is (re)constructed from our deformation family of Rees modules, not the other way around. Yet at this moment we do not have a mechanism to give the WKB expansion directly for the family of Rees modules, without studying individual spectral curves. Investigating a possible connection between the Airy structures of [50] and this paper’s results is a future subject. A relation between quantum curves and deformation quantization is first discussed in [63].
Let us briefly describe our quantization process of this paper now. Our geometric setting is a smooth projective algebraic curve over of an arbitrary genus with a choice of a spin structure, or a theta characteristic, . There are choices of such spin structures. We choose any one of them. Let be an Higgs bundle on with a meromorphic Higgs field . Denote by
(1.2) 
the compactified cotangent bundle of (see [5, 49]), which is a ruled surface on the base . The Hitchin spectral curve
(1.3) 
for a meromorphic Higgs bundle is defined as the divisor of zeros on of the characteristic polynomial of :
(1.4) 
where is the tautological form on extended as a meromorphic form on the compactification . The morphism is a degree map.
We denote by the moduli space of holomorphic stable Higgs bundles on for . The assignment of the coefficients of the characteristic polynomial (1.4) to defines the Hitchin fibration
(1.5) 
With the choice of a spin structure and Kostant’s principal threedimensional subgroup TDS of [51], one constructs a crosssection . We denote by the Lie algebra of a principal TDS, where we use the standard representation as traceless matrices acting on . Thus is diagonal, is lower triangular, , and their relations are
(1.6) 
The map is defined by
where
Clearly is not a section of the fibration in general because is not the identity map of for . Nonetheless, the image of intersects with every fiber of exactly at one point. Note that is the moduli space of Hitchin spectral curves associated with holomorphic Higgs bundles on . We use an unconventional way of defining the universal family of spectral curves over , appealing to the Hitchin section , as
(1.7) 
Now we choose and fix, once and for all, a projective coordinate system of subordinating the complex structure of . This process does not depend algebraically on the moduli space of . For a curve of genus , the Fuchsian projective structure, that appears in our solution [22] to a conjecture of Gaiotto [35], is a natural choice for our purpose. As we show in Section 3, there is a unique filtered extension for every . For , is the canonical extension
associated with
With respect to the projective coordinate system, we can define a oneparameter family of opers
for , where
(1.8) 
is the exterior differentiation on C, and is the moduli space of holomorphic irreducible connections on . The sum of the exterior differentiation and a Higgs field is not a connection in general. Here, the point is that the original vector bundle is deformed to , and we have chosen a projective coordinate system on . Therefore, (1.8) makes sense as a global connection on in .
Note that is Deligne’s connection interpolating a connection and a Higgs field . We also note that defines a global Rees module on . Its generator is a globally defined differential operator on that acts on , which is what we call the quantum curve of the Hitchin spectral curve corresponding to . The actual shape (3.55) of is quite involved due to noncommutativity of the coordinate of and differentiation. It is determined in the proof of Theorem 3.11. In Example 3.1 we list quantum curves for . No matter how complicated its form is, the semiclassical limit of recovers the spectral curve of the Higgs field , where
(1.9) 
is the involution defined by the fiberwise action of . This extra sign comes from the difference of conventions in the characteristic polynomial (1.4) and the connection (1.8).
The above process can be generalized in a straightforward way to meromorphic spectral data for a curve of arbitrary genus. The corresponding connections , and hence the Rees modules, then have regular and irregular singularities.
We note that when we use the Fuchsian projective coordinate system of a curve of genus and holomorphic Higgs bundles, our quantization process is exactly the same as the construction of opers of [22] that was established by solving a conjecture of Gaiotto [35].
In Section 6, we perform the generalized topological recursion in terms of the PDE version for the case of meromorphic Higgs bundles. For this purpose, we use a normalization method of [24] for singular Hitchin spectral curves. We then show that the WKB analysis that the PDE recursion provides is exactly for the quantum curve constructed through (1.8). When we deal with a singular spectral curve , the key question is how to relate the singular curve with smooth ones. In terms of the Hitchin fibration, a singular spectral curve corresponds to a degenerate Abelian variety in the family. There are two different approaches to this question: one is to deform locally to a nonsingular curve, and the other is to blow up and obtain a resolution of singularities of . In this paper we will pursue the second path, and give a WKB analysis of the quantum curve using the geometric information of the desingularization.
Kostant’s principal TDS plays a crucial role in our quantization through the relation (1.6). For example, it selects a particular fixed point of action on the Hitchin section, which corresponds to the limit of (1.8). It is counterintuitive, but this limit is the connection acting on , not just which looks to be the case from the formula. This limiting connection then defines a vector space structure in the moduli space of opers.
This paper is organized as follows. The notion of quantum curves as Rees modules quantizing Hitchin spectral curves is presented in Section 2. Then in Section 3, we quantize Hitchin spectral curves as Rees modules through a concrete construction families of holomorphic and meromorphic opers. The semiclassical limit of these resulting opers is calculated. Since our topological recursion depends solely on the geometry of normalization of singular Hitchin spectral curves, we provide detailed study of the blowup process in Sections 4. We give the genus formula for the normalization of the spectral curve in terms of the characteristic polynomial of the Higgs field . Then in Section 5, we define topological recursions for the case of degree coverings. In Section 6, we prove that an allorder WKB analysis for quantization of meromorphic Hitchin spectral curves is established through PDE topological recursion. We thus show that two quantizations procedures, one through family of opers and the other through PDE topological recursion, agree for . The general structure of the theory is explained using the Airy differential equation as an example in Section 7. This example shows how the WKB analysis computes quantum invariants.
The current paper does not address difference equations that appear as quantum curves in knot theory, nor the mysterious spectral theory of [54].
2. Rees modules as quantum curves for Higgs bundles
In this section, we give the definition of quantum curves in the context of Hitchin spectral curves. Let be a nonsingular projective algebraic curve defined over . The sheaf of differential operators on is the subalgebra of the linear endomorphism algebra generated by the anticanonical sheaf and the structure sheaf . Here, acts on as holomorphic vector fields, and acts on itself by multiplication. Locally every element of is written as
for some . For a fixed , we introduce the filtration by order of differential operators into as follows:
The Rees ring is defined by
(2.1) 
An element of on a coordinate neighborhood can be written as
(2.2) 
Definition 2.1 (Rees module).
The Rees construction
(2.3) 
associated with a filtered module is a Rees module if the compatibility condition holds.
Let
be an effective divisor on . The point set is the support of . A meromorphic Higgs bundle with poles at is a pair consisting of an algebraic vector bundle on and a Higgs field
(2.4) 
Since the cotangent bundle
is the total space of , we have the tautological form on coming from the projection
The natural holomorphic symplectic form of is given by . The compactified cotangent bundle of is a ruled surface defined by
(2.5) 
where represents being considered as a degree element. The divisor at infinity
(2.6) 
is reduced in the ruled surface and supported on the subset . The tautological form extends on as a meromorphic form with simple poles along . Thus the divisor of in is given by
(2.7) 
where is the zero section of .
The relation between the sheaf and the geometry of the compactified cotangent bundle is the following. First we have
(2.8) 
Let us denote by . By writing , we then have
Definition 2.2 (Spectral curve).
A spectral curve of degree is a divisor in such that the projection defined by the restriction
is a finite morphism of degree . The spectral curve of a Higgs bundle is the divisor of zeros
(2.9) 
on of the characteristic polynomial . Here,
Remark 2.3.
The Higgs field is holomorphic on . Thus we can define the divisor of zeros
of the characteristic polynomial on . The spectral curve is the complex topology closure of with respect to the compactification
(2.10) 
A left module on is naturally an module with a linear integrable (i.e., flat) connection . The construction goes as follows:
(2.11) 
where

is the natural inclusion ;

is the connection defined by the linear leftmultiplication operation of on , which satisfies the derivation property
(2.12) for and ; and

is the canonical right module structure in defined by the Lie derivative of vector fields.
If we choose a local coordinate neighborhood with a coordinate , then (2.12) takes the following form. Let us denote by , and define
Then we have
The connection of (2.11) is integrable because . Actually, the statement is true for any dimensions. We note that there is no reason for to be coherent as an module.
Conversely, if an algebraic vector bundle on of rank admits a holomorphic connection , then acquires the structure of a module. This is because is automatically flat, and the covariant derivative for satisfies
(2.13) 
for and . A repeated application of (2.13) makes a module. The fact that every module on a curve is principal implies that for every point , there is an open neighborhood and a linear differential operator of order on , called a generator, such that Thus on an open curve , a holomorphic connection in a vector bundle of rank gives rise to a differential operator of order . The converse is true if is coherent.
Definition 2.4 (Formal connection).
A formal connection on a vector bundle is a linear homomorphism
subject to the derivation condition
(2.14) 
where and .
When we consider holomorphic dependence of a quantum curve with respect to the quantization parameter , we need to use a particular deformation family of vector bundles. We will discuss the holomorphic case in Section 3, where we explain how (1.1) appears in our quantization.
Remark 2.5.
The classical limit of a formal connection is the evaluation of , which is simply an module homomorphism
i.e., a holomorphic Higgs field in the vector bundle .
Remark 2.6.
An coherent module is equivalent to a vector bundle on equipped with an connection.
In analysis, the semiclassical limit of a differential operator of (2.2) is a function defined by
(2.15) 
where . The equation
(2.16) 
then determines the first term of the singular perturbation expansion, or the WKB asymptotic expansion,
(2.17) 
of a solution to the differential equation
on U. We note that the expression (2.17) is never meant to be a convergent series in .
Since is a local section of on , gives a local trivialization of , with a fiber coordinate. Then (2.15) and (2.16) give an equation
(2.18) 
of a curve in . This motivates us to give the following definition:
Definition 2.7 (Semiclassical limit of a Rees differential operator).
Let be an open subset of with a local coordinate such that is trivial over with a fiber coordinate . The semiclassical limit of a local section
of the Rees ring of the sheaf of differential operators on is the holomorphic function
defined on .
Definition 2.8 (Semiclassical limit of a Rees module).
Suppose a Rees module globally defined on is written as
(2.19) 
on every coordinate neighborhood with a differential operator of the form (2.2). Using this expression (2.2) for , we construct a meromorphic function
(2.20) 
on , where is the fiber coordinate of , which is trivialized on . Define
(2.21) 
as the divisor of zero of the function . If ’s glue together to a spectral curve , then we call the semiclassical limit of the Rees module .
Remark 2.9.
Definition 2.10 (Quantum curve for holomorphic Higgs bundle).
A quantum curve associated with the spectral curve of a holomorphic Higgs bundle on a projective algebraic curve is a Rees module whose semiclassical limit is .
The main reason we wish to extend our framework to meromorphic connections is that there are no nontrivial holomorphic connections on , whereas many important classical examples of differential equations are naturally defined over with regular and irregular singularities. A linear homomorphism
is said to be a meromorphic connection with poles along an effective divisor if
for every and . Let us denote by
Then extends to
Since is holomorphic on , it induces a module structure in . The module direct image associated with the open inclusion map is then naturally isomorphic to
(2.23) 
as a module. (2.23) is called the meromorphic extension of the module .
Let us take a local coordinate of , this time around a pole . If a generator of near has a local expression
(2.24) 
around with locally defined holomorphic functions , , and an integer , then has a regular singular point at . Otherwise, is an irregular singular point of .
Definition 2.11 (Quantum curve for a meromorphic Higgs bundle).
Let be a meromorphic Higgs bundle defined over a projective algebraic curve of any genus with poles along an effective divisor , and its spectral curve. A quantum curve associated with is the meromorphic extension of a Rees module on such that the complex topology closure of its semiclassical limit in the compactified cotangent bundle agrees with .
In Section 3, we prove that every Hitchin spectral curve associated with a holomorphic or a meromorphic Higgs bundle has a quantum curve.
Remark 2.12.
We remark that several examples of quantum curves that are constructed in [10, 28, 57], for various Hurwitz numbers and GromovWitten theory of , do not fall into our definition in terms of Rees modules. This is because in the above mentioned examples, quantum curves involve infiniteorder differential operators, or difference operators, while we consider only differential operators of finite order in this paper.
3. Opers
There is a simple mechanism to construct a quantization of Hitchin spectral curve, using a particular choice of isomorphism between a Hitchin section and the moduli of opers. The quantum deformation parameter , originated in physics as the Planck constant, is a purely formal parameter in WKB analysis. Since we will be using the PDE recursion (5.6) for the analysis of quantum curves, plays the role of a formal parameter for the asymptotic expansion. This point of view motivates our definition of quantum curves as Rees modules in the previous section. However, the quantum curves appearing in the quantization of Hitchin spectral curves associated with Higgs bundles for a complex simple Lie group always depend holomorphically on . Therefore, we need a more geometric setup for quantum curves to deal with this holomorphic dependence. The purpose of this section is to explain holomorphic connections as quantum curves, and the geometric interpretation of given in (1.1). The key concept is opers of BeilinsonDrinfeld [4]. Although a vast generalization of the current paper is possible, we restrict our attention to opers for an arbitrary in this paper.
In this section, most of the time is a smooth projective algebraic curve of genus defined over , unless otherwise specified.
3.1. Holomorphic opers and quantization of Higgs bundles
We first recall projective structures on following Gunning [39]. Recall that every compact Riemann surface has a projective structure subordinating the given complex structure. A complex projective coordinate system is a coordinate neighborhood covering
with a local coordinate of such that for every , we have a Möbius coordinate transformation
(3.1) 
Since we solve differential equations on , we always assume that each coordinate neighborhood is simply connected. In what follows, we choose and fix a projective coordinate system on . Since
the transition function for the canonical line bundle of is given by the cocycle
We choose and fix, once and for all, a theta characteristic, or a spin structure, such that . Let denote the cocycle corresponding to . Then we have
(3.2) 
The choice of here is an element of , indicating that there are choices for spin structures in .
The significance of the projective coordinate system lies in the fact that . This simple property plays an essential role in our construction of global connections on , as we see in this section. Another way of appreciating projective coordinate system is the vanishing of Schwarzian derivatives, as explained in [21]. A scalar valued single linear ordinary differential equation of any order can be globally defined in terms of a projective coordinate.
A holomorphic Higgs bundle is stable if for every vector subbundle that is invariant with respect to , i.e., , the slope condition
holds. The moduli space of stable Higgs bundles is constructed [64]. An Higgs bundle is a pair with a fixed isomorphism and . We denote by the moduli space of stable holomorphic Higgs bundles on . Hitchin [40] defines a holomorphic fibration
(3.3) 
that induces the structure of an algebraically completely integrable Hamiltonian system in . With the choice of a spin structure , we have a natural section defined by utilizing Kostant’s principal threedimensional subgroup (TDS) [51] as follows.
First, let
be an arbitrary point of the Hitchin base . Define
(3.4)  
where . is a diagonal matrix whose entry is , with . The Lie algebra is the Lie algebra of the principal TDS in .
Lemma 3.1.
Define a Higgs bundle consisting of a vector bundle
(3.5) 
and a Higgs field
(3.6) 
Then it is a stable Higgs bundle. The Hitchin section is defined by
(3.7) 
which gives a biholomorphic map between and .
Proof.
We first note that is a globally defined valued form, since it is a collection of constant maps
(3.8) 
Similarly, since is an upperdiagonal matrix with nonzero entries along the th upper diagonal, we have
Thus is globally defined as a Higgs field in . The Higgs pair is stable because no subbundle of is invariant under , unless . And when , the invariant subbundles all have positive degrees, since . ∎
The image is a holomorphic Lagrangian submanifold of a holomorphic symplectic space .
To define connections holomorphically depending on , we need to construct a oneparameter holomorphic family of deformations of vector bundles
and a linear firstorder differential operator