Searcharxiv⌕ Search

arXiv subjects

Gaëtan Borot

Publications and source records attributed to Gaëtan Borot.

At least 19 recordsLinked to original sources

A bijective topological recursion for maps

We prove bijectively a recursive excision formula for maps of arbitrary topology. This yields the topological recursion formulae governing their enumeration, already at the level of formal generating series and without any analyticity assumption. We extend the result to maps carrying self-avoiding loop models and to stuffed maps, i.e. a variant of maps allowing faces of arbitrary topology. Our results give a precise combinatorial meaning to all terms of the (blobbed) topological recursion known for (stuffed) maps, including the recursion kernel, which had so far been missing. The construction relies on the simple idea of iterating Tutte's algorithm until the topology changes. Equivalently, it can be interpreted as a pair-of-pants decomposition driven by a path issuing from the root of the first boundary, providing an analogue for maps of the Mirzakhani-McShane identity for hyperbolic surfaces.

math.CO↗

Reconstruction of F-cohomological field theories on moduli of compact type

We prove an analogue of Givental-Teleman reconstruction for F-cohomological field theories on the moduli space of compact type. We apply it to reconstruct the restriction of the extended $r$-spin classes to the extended direction and deduce relations between $κ$-classes (both in compact type).

math.AG↗

Macroscopic asymptotics in discrete beta-ensembles and random tilings

We carry out the asymptotic analysis of repulsive ensembles of N particles which are discrete analogues of continuous 1d log-gases or beta-ensembles of random matrix theory. The ensembles that we study have several groups of particles which can have different intensities of repulsion. They appear naturally in models of random domino and lozenge tilings, random partitions, supersymmetric gauge theory, asymptotic representation theory, discrete orthogonal polynomial ensembles, etc. We allow filling fractions to be either fixed, or free, or to vary while respecting affine constraints. We are interested in the macroscopic behavior of the distribution of particles, captured by linear statistics, partition functions, and their finite-size corrections as N is large. We prove the law of large numbers and large deviations for the empirical measure around the equilibrium measure. To reach finite-size correction we assume off-criticality. For fixed filling fractions, we prove an asymptotic expansion for the partition function and for the cumulants of linear statistics, in particular establishing a central limit theorem. For varying filling fractions, we prove that the central limit theorem is perturbed by an additional discrete Gaussian component oscillating with N. We apply our general results to the study of uniformly random lozenge tilings on a large class of domains -- not necessarily planar, simply-connected, nor orientable. When the analogues of filling fractions are fixed and this domain is orientable, we show that the Gaussian fluctuations on the vertical extend to the whole liquid region and are governed there by the Gaussian free field, as predicted by the Kenyon-Okounkov conjecture. We also establish a modification of the Kenyon-Okounkov conjecture in the non-orientable case. Complementarily, we prove discrete Gaussian fluctuations for filling fractions, when they are not fixed.

math.PR↗

Whittaker vectors at finite energy scale, topological recursion and Hurwitz numbers

We upgrade the results of Borot--Bouchard--Chidambaram--Creutzig to show that the Gaiotto vector in $4d$ $\mathcal{N} = 2$ pure supersymmetric gauge theory admits an analytic continuation with respect to the energy scale (which can therefore be taken to be finite, instead of infinitesimal), and is computed by topological recursion on the (ramified) half Seiberg--Witten spectral curve. This has a number of interesting consequences for the Gaiotto vector: relations to intersection theory on $\overline{\mathcal{M}}_{g,n}$ in at least two different ways, Hurwitz numbers, quantum curves, and (almost complete) description of the correlators as analytic functions of $\hslash$ (instead of formal series). The same method is used to establish analogous results for the more general Whittaker vector constructed in the recent work of Chidambaram--Doł{ę}ga--Osuga.

math-ph↗

Taking limits in topological recursion

When does topological recursion applied to a family of spectral curves commute with taking limits? This problem is subtle, especially when the ramification structure of the spectral curve changes at the limit point. We provide sufficient (straightforward-to-use) conditions for checking when the commutation with limits holds, thereby closing a gap in the literature where this compatibility has been used several times without justification. This takes the form of a stronger result of analyticity of the topological recursion along suitable families. To tackle this question, we formalise the notion of global topological recursion and provide sufficient conditions for its equivalence with local topological recursion. The global version facilitates the study of analyticity and limits. For nondegenerate algebraic curves, we reformulate these conditions purely in terms of the structure of its underlying singularities. Finally, we apply this to study deformations of $ (r,s) $-spectral curves, spectral curves for weighted Hurwitz numbers, and provide several other examples and non-examples (where the commutation with limits fails).

math.AG↗

Symmetries of F-cohomological field theories and F-topological recursion

We define F-topological recursion (F-TR) as a non-symmetric version of topological recursion, which associates a vector potential to some initial data. We describe the symmetries of the initial data for F-TR and show that, at the level of the vector potential, they include the F-Givental (non-linear) symmetries studied by Arsie, Buryak, Lorenzoni, and Rossi within the framework of F-manifolds. Additionally, we propose a spectral curve formulation of F-topological recursion. This allows us to extend the correspondence between semisimple cohomological field theories (CohFTs) and topological recursion, as established by Dunin-Barkowski, Orantin, Shadrin, and Spitz, to the F-world. In the absence of a full reconstruction theorem à la Teleman for F-CohFTs, this demonstrates that F-TR holds for the ancestor vector potential of a given F-CohFT if and only if it holds for some F-CohFT in its F-Givental orbit. We turn this into a useful statement by showing that the correlation functions of F-topological field theories (F-CohFTs of cohomological degree 0) are governed by F-TR. We apply these results to the extended 2-spin F-CohFT. Furthermore, we exhibit a large set of linear symmetries of F-CohFTs, which do not commute with the F-Givental action.

math-ph↗

The factorial growth of topological recursion

We show that the $n$-point, genus-$g$ correlation functions of topological recursion on any regular spectral curve with simple ramifications grow at most like $(2g - 2 + n)!$ as $g \rightarrow \infty$, which is the expected growth rate. This provides, in particular, an upper bound for many curve counting problems in large genus and serves as a preliminary step for a resurgence analysis.

math-ph↗

Fay Identities of Pfaffian Type for Hyperelliptic Curves

We establish identities of Pfaffian type for the theta function associated with twice or half the period matrix of a hyperelliptic curve. They are implied by the large size asymptotic analysis of exact Pfaffian identities for expectation values of ratios of characteristic polynomials in ensembles of orthogonal or quaternionic self-dual random matrices. We show that they amount to identities for the theta function with the period matrix of a hyperelliptic curve, and in this form we reprove them by direct geometric methods.

math-ph↗

A Note on BKP for the Kontsevich Matrix Model with Arbitrary Potential

We exhibit the Kontsevich matrix model with arbitrary potential as a BKP tau-function with respect to polynomial deformations of the potential. The result can be equivalently formulated in terms of Cartan-Plücker relations of certain averages of Schur $Q$-function. The extension of a Pfaffian integration identity of de Bruijn to singular kernels is instrumental in the derivation of the result.

math-ph↗

Nesting statistics in the O(n) loop model on random planar maps

In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.

math-ph↗

On ELSV-type formulae and relations between $Ω$-integrals via deformations of spectral curves

The general relation between Chekhov-Eynard-Orantin topological recursion and the intersection theory on the moduli space of curves, the deformation techniques in topological recursion, and the polynomiality properties with respect to deformation parameters can be combined to derive vanishing relations involving intersection indices of tautological classes. We apply this strategy to three different families of spectral curves and show they give vanishing relations for integrals involving $Ω$-classes. The first class of vanishing relations are genus-independent and generalises the vanishings found by Johnson-Pandharipande-Tseng, and by the authors jointly with Do and Moskovsky. The two other classes of vanishing relations are of a different nature and depend on the genus.

math.AG↗

Asymptotic expansion of beta matrix models in the multi-cut regime

We establish the asymptotic expansion in $β$ matrix models with a confining, off-critical potential, in the regime where the support of the equilibrium measure is a union of segments. We first address the case where the filling fractions of these segments are fixed, and show the existence of a $1/N$ expansion. We then study the asymptotics of the sum over the filling fractions, to obtain the full asymptotic expansion for the initial problem in the multi-cut regime. In particular, we identify the fluctuations of the linear statistics and show that they are approximated in law by the sum of a Gaussian random variable and an independent Gaussian discrete random variable with oscillating center. Fluctuations of filling fractions are also described by an oscillating discrete Gaussian random variable. We apply our results to study the all-order small dispersion asymptotics of solutions of the Toda chain associated with the one Hermitian matrix model ($β= 2$) as well as orthogonal ($β= 1$) and skew-orthogonal ($β= 4$) polynomials outside the bulk.

math-ph↗

The ABCD of topological recursion

Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${\rm dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.

math-ph↗

Geometric recursion

We propose a general theory for constructing functorial assignments $Σ\longmapsto Ω_Σ \in E(Σ)$ for a large class of functors $E$ from a certain category of bordered surfaces to a suitable target category of topological vector spaces. The construction proceeds by successive excisions of homotopy classes of embedded pairs of pants, and thus by induction on the Euler characteristic. We provide sufficient conditions to guarantee the infinite sums appearing in this construction converge. In particular, we can generate mapping class group invariant vectors $Ω_Σ \in E(Σ)$. The initial data for the recursion encode the cases when $Σ$ is a pair of pants or a torus with one boundary, as well as the "recursion kernels" used for glueing. We give this construction the name of Geometric Recursion. As a first application, we demonstrate that our formalism produce a large class of measurable functions on the moduli space of bordered Riemann surfaces. Under certain conditions, the functions produced by the geometric recursion can be integrated with respect to the Weil--Petersson measure on moduli spaces with fixed boundary lengths, and we show that the integrals satisfy a topological recursion generalizing the one of Eynard and Orantin. We establish a generalization of Mirzakhani--McShane identities, namely that multiplicative statistics of hyperbolic lengths of multicurves can be computed by the geometric recursion. As a corollary, we show that the systole function can be obtained from the geometric recursion. The theory has however a wider scope than functions on Teichmüller space, which will be explored in subsequent papers; one expects that many functorial objects in low-dimensional geometry could be constructed by variants of this geometric recursion.

math.GT↗

Whittaker vectors for $\mathcal{W}$-algebras from topological recursion

We identify Whittaker vectors for $\mathcal{W}_k(\mathfrak{g})$-modules with partition functions of higher Airy structures. This implies that Gaiotto vectors, describing the fundamental class in the equivariant cohomology of a suitable compactification of the moduli space of $G$-bundles over $\mathbb{P}^2$ for $G$ a complex simple Lie group, can be computed by a non-commutative version of the Chekhov-Eynard-Orantin topological recursion. We formulate the connection to higher Airy structures for Gaiotto vectors of type A, B, C, and D, and explicitly construct the topological recursion for type A (at arbitrary level) and type B (at self-dual level). On the physics side, it means that the Nekrasov partition function for pure $\mathcal{N} = 2$ four-dimensional supersymmetric gauge theories can be accessed by topological recursion methods.

math-ph↗

Functional relations for higher-order free cumulants

We establish the functional relations between generating series of higher-order free cumulants and moments in higher-order free probability, solving an open problem posed fifteen years ago by Collins, Mingo, Śniady and Speicher. We propose an extension of free probability theory, which governs the all-order topological expansion in unitarily invariant matrix ensembles, with a corresponding notion of free cumulants and give as well their relation to moments via functional relations. Our approach is based on the study of a master transformation involving double monotone Hurwitz numbers via semi-infinite wedge techniques, building on the recent advances of the last-named author with Bychkov, Dunin-Barkowski and Kazarian. We illustrate our formulas by computing the first few decaying terms of the correlation functions of an ensemble of spiked GUE matrices, going beyond the law of large numbers and the central limit theorem.

math.OA↗

Nesting statistics in the $O(n)$ loop model on random maps of arbitrary topologies

We pursue the analysis of nesting statistics in the $O(n)$ loop model on random maps, initiated for maps with the topology of disks and cylinders in math-ph/1605.02239, here for arbitrary topologies. For this purpose we rely on the topological recursion results of math-ph/0910.5896 and math-ph/1303.5808 for the enumeration of maps in the $O(n)$ model. We characterize the generating series of maps of genus $g$ with $k'$ marked points and $k$ boundaries and realizing a fixed nesting graph. These generating series are amenable to explicit computations in the loop model with bending energy on triangulations, and we characterize their behavior at criticality in the dense and in the dilute phase.

math-ph↗

Higher Airy structures and topological recursion for singular spectral curves

We give elements towards the classification of quantum Airy structures based on the $W(\mathfrak{gl}_r)$-algebras at self-dual level based on twisted modules of the Heisenberg VOA of $\mathfrak{gl}_r$ for twists by arbitrary elements of the Weyl group $\mathfrak{S}_{r}$. In particular, we construct a large class of such quantum Airy structures. We show that the system of linear ODEs forming the quantum Airy structure and determining uniquely its partition function is equivalent to a topological recursion à la Chekhov-Eynard-Orantin on singular spectral curves. In particular, our work extends the definition of the Bouchard-Eynard topological recursion (valid for smooth curves) to a large class of singular curves, and indicates impossibilities to extend naively the definition to other types of singularities. We also discuss relations to intersection theory on moduli spaces of curves, giving a general ELSV-type representation for the topological recursion amplitudes on smooth curves, and formulate precise conjectures for application in open $r$-spin intersection theory.

math-ph↗