--- title: Sector-Resolved Modular Integrals url: https://www.emergentmind.com/topics/sector-resolved-modular-integrals type: topic --- # Sector-Resolved Modular Integrals Searching arXiv for the cited papers and related recent work on sector-resolved modular integrals. Tool call: arxiv_search({"query":"all:\"sector-resolved modular integrals\" OR id:2606.17602 OR id:2501.13827 OR id:2510.02441 OR id:2305.02343 OR id:2605.07431", "max_results": 10, "sort_by": "submittedDate", "sort_order": "descending"}) Sector-resolved modular integrals are modular constructions in which a decomposition into sectors is kept explicit during regularization, integration, or modular evolution, rather than being summed over from the outset. In string perturbation theory this means retaining unprojected closed-string spin sectors through the modular-regularization step and imposing the GSO projection only at the end; in operator-algebraic modular theory it means resolving modular operators, flows, and correlators over charge sectors; in analytic number-theoretic and geometric settings it means decomposing modular integrals into rational-cusp sectors or angular intersection sectors; and in period computations for Feynman integrals it means factorizing a multivariable Picard–Fuchs system into modularly uniformized components [2606.17602] [2510.02441] [2305.02343] [2501.13827] [2203.08526] [2605.07431]. ## 1. Definitions and scope In the Type IIB torus-vacuum setting, sector-resolved modular integrals are defined as modular integrals in which the unprojected closed-string spin sectors are kept explicit throughout the modular-regularization step, and the physical GSO projection is imposed only at the end. On the oriented closed torus, the left- and right-moving spin structures are NS or R, giving the four unprojected sectors NS–NS, NS–R, R–NS, and R–R, conventionally written in the \(SO(8)\)-character basis as \(VV\), \(VS\), \(SV\), and \(SS\) [2606.17602]. In hyperfinite von Neumann algebras, the same phrase refers to a symmetry resolution of modular theory by discrete or continuous subregion charge sectors. The central objects are direct-integral decompositions of Hilbert spaces and algebras, fiberwise modular operators, and modular correlation functions resolved by a sector label \(q\) or a measurable set \(E\subset\mathcal Q\) [2510.02441]. In free fermionic theories, sector resolution is implemented by \(U(1)\) charge projectors \(\Pi_A(q)\), and modular integrals refer to integral representations of modular flows and correlators over positions and modular time, modified by Fourier insertion of \(e^{i\alpha Q_A}\) and Fourier transform over \(\alpha\) [2305.02343]. In analytic treatments of modular-domain integrals, sector resolution is a decomposition into contributions from rational cusps \(a/c\), realized by Lorentzian contour deformations and Ford-circle sectors in a two-dimensional Rademacher expansion [2501.13827]. In the Rankin–Selberg framework, it is an orbit-by-orbit reorganization into zero, degenerate, and non-degenerate sectors under the modular group or an appropriate parabolic subgroup [1401.4265]. In geometric cycle-integral problems, the relevant sectors are the intersection points of closed geodesics, each weighted by a Legendre polynomial of the intersection angle [2203.08526]. For modular Feynman periods, sector resolution means factorization of a rank-4 Appell \(F_2\) Picard–Fuchs system into a tensor product of two rank-2 Gauss hypergeometric systems, each with its own modular parameter and \(\Gamma(2)\) uniformization [2605.07431]. | Setting | Sector label | Resolved object | |---|---|---| | Type IIB torus vacuum | \(XY\in\{V,S\}\times\{V,S\}\) | \(I^r_{XY}=\sum_{m,n\ge0}F_{XY}(m,n)L^r_{m,n,6}\) | | Hyperfinite modular theory | \(q\in\mathcal Q\) or \(E\subset\mathcal Q\) | \(\Delta_{SR}=\int_{\mathcal Q}^{\oplus}\Delta_{\Psi_q}\,d\mu(q)\) | | Free fermions | fixed charge \(q\) | \(G_{\rm mod}(t)=\sum_q p_A(q)\,G_{\rm mod}(t,q)\) | | Rademacher expansion | rational cusp \(a/c\) | \(\sum_{c,a}\int_{\longrightarrow}\int_{C_{a/c}}(\cdots)\alpha\) | | Cycle integrals | \(p\in[S_y]\cap[S_\sigma]\) | \(\sum_p H_p P_{k-1}(\cos\theta_p)\) | | Appell \(F_2\) periods | \((x_1,x_2)\) or \((\tau_1,\tau_2)\) | \(L_{PF}\simeq L^{(1)}_{2F1}\otimes L^{(2)}_{2F1}\) | The shared structural feature is explicit control over intermediate sector data. This suggests that sector resolution is best understood not as a single formalism, but as a family of modular reorganizations whose common purpose is to isolate contributions that would otherwise be obscured by early summation or projection. ## 2. Sector functionals in the Type IIB torus vacuum For the one-loop torus vacuum of Type IIB, the amplitude is written over the standard \(SL(2,\mathbb Z)\) fundamental domain \(\mathcal F=\{\tau\in\mathbb H:-1/2\le \mathrm{Re}\,\tau\le 1/2,\ |\tau|\ge1\}\), with \(\tau=x+iy\) and overall \(y^{-6}\) measure. Before the GSO contraction is taken, the oriented closed-string torus integrand is decomposed into the four auxiliary sector integrands \[ \mathcal Z_{VV}=\frac{V_8\bar V_8}{|\eta|^{16}},\qquad \mathcal Z_{VS}=\frac{V_8\bar S_8}{|\eta|^{16}},\qquad \mathcal Z_{SV}=\frac{S_8\bar V_8}{|\eta|^{16}},\qquad \mathcal Z_{SS}=\frac{S_8\bar S_8}{|\eta|^{16}}, \] and the physical combination is \[ \mathcal Z_{\mathrm{IIB}}=\mathcal Z_{VV}-\mathcal Z_{VS}-\mathcal Z_{SV}+\mathcal Z_{SS}. \] Sector-resolved modular integrals apply the Lorentzian/\(E_s\) prescription to each \(\mathcal Z_{XY}\) before the Jacobi-signed sum [2606.17602]. Using the holomorphic building blocks \[ A_V(\tau)=\frac{V_8(\tau)}{\eta(\tau)^8},\qquad A_S(\tau)=\frac{S_8(\tau)}{\eta(\tau)^8}, \] Jacobi’s abstruse identity implies \(V_8=S_8\), hence \[ A_V(\tau)=A_S(\tau)=:A(\tau)=\frac{\vartheta_2(\tau)^4}{2\eta(\tau)^{12}} =8+128q+1152q^2+7680q^3+\cdots. \] Writing \[ \mathcal Z_{XY}(\tau,\bar\tau)=A_X(\tau)\bar A_Y(\bar\tau) =\sum_{m,n\ge0}F_{XY}(m,n)q^m\bar q^n, \] one has \(F_{XY}(m,n)=a_X(m)a_Y(n)\), and since \(A_V=A_S\), all four sectors share the same coefficient matrix: \[ F_{VV}(m,n)=F_{VS}(m,n)=F_{SV}(m,n)=F_{SS}(m,n)=d_m d_n. \] In particular, the closed left-right constant coefficient is \(F_{XY}(0,0)=64\). The sector functional is \[ I^r_{XY}=\mathcal S_{XY}[\mathcal Z]=\sum_{m,n\ge0}F_{XY}(m,n)L^r_{m,n,6}, \] and the GSO-projected vacuum integral is \[ I^r_{\mathrm{IIB}}=I^r_{VV}-I^r_{VS}-I^r_{SV}+I^r_{SS}. \] The construction keeps the long-tube data sector by sector before invoking the Jacobi cancellation \(V_8=S_8\), and it fixes the compact-domain and cusp contributions within a single modular prescription. The paper presents this as a first direct regularized construction of the unprojected sectors of the Type IIB superstring torus vacuum [2606.17602]. Several explicit values are available. For the constant mode, \[ L^r_{0,0,6}=-\frac{8i}{9\sqrt3}, \qquad \mathcal A^{XY}_{00}=\frac{512}{9\sqrt3}. \] A finite-cutoff evaluation with \(M=7\) gives the common sector value \[ I^r_{XY}=-32.44755686128\ldots i,\qquad \mathcal A_{XY}=32.44755686128\ldots, \] while the exact zero mode is \(32.8448153138987\ldots\); the difference \(\approx -0.3973\) is the finite non-constant-mode contribution. Because \(a_V(k)=a_S(k)\) for all \(k\), the signed coefficient \(F_{\mathrm{GSO}}(m,n)\) vanishes mode by mode, so the GSO-projected, \(E_s\)-regularized and Lorentzian-prescribed vacuum integral vanishes identically: \[ I^r_{\mathrm{IIB}}=0,\qquad \mathcal A_{\mathrm{IIB}}=0. \] ## 3. Regularization, cusp resolution, and orbit decompositions The principal regularization framework for the Type IIB construction uses the non-holomorphic Eisenstein series \[ E_s(\tau)=\sum_{(c,d)\neq(0,0)}\frac{\tau_2^s}{|c\tau+d|^{2s}} =\zeta(2s)\sum_{\gamma\in\Gamma_\infty\backslash SL(2,\mathbb Z)}[\mathrm{Im}(\gamma\cdot\tau)]^s, \qquad \mathrm{Re}(s)>1, \] which is \(SL(2,\mathbb Z)\)-invariant, satisfies \(\Delta E_s=s(1-s)E_s\), and admits a cusp expansion with \(K\)-Bessel functions. For a sector integrand \(\mathcal Z_{\alpha\beta}\), one considers \[ I_s[\mathcal Z_{\alpha\beta}]=\int_{\mathcal F} d^2\tau\,\tau_2^{-2}E_s(\tau)\mathcal Z_{\alpha\beta}(\tau,\bar\tau), \] and defines the sector functional as the finite part at \(s\to1\), \[ \mathcal S_{\alpha\beta}[\mathcal Z]=\mathrm{FP}_{s\to1}I_s[\mathcal Z_{\alpha\beta}]. \] Using the Fourier expansion of \(\mathcal Z_{\alpha\beta}\) and the cusp expansion of \(E_s\), the integral splits into a compact keyhole contribution and a cusp contribution that is diagonal in the Fourier labels after horizontal projection [2606.17602]. The Lorentzian \(i\varepsilon\) prescription deforms the long-tube proper-time contour away from the positive real axis. In the cusp strip, the horizontal \(x\)-integral gives \(\delta_{m,n}\), so only diagonal modes contribute to the tail. With the generalized exponential integral \[ \mathcal E_s(z)=\int_1^\infty e^{-zt}t^{-s}\,dt,\qquad \mathcal E_s(0)=\frac1{s-1}, \] the regularized mode block is \[ L^r_{m,n,s}=\int_{\mathcal F_1} d\tau\wedge d\bar\tau\,y^{-s}q^m\bar q^n-2i\,\delta_{m,n}\,\mathcal E_s(4\pi m). \] At the vacuum value \(s=6\), \[ L^r_{m,n,6}=\int_{\mathcal F_1} d\tau\wedge d\bar\tau\,y^{-6}q^m\bar q^n-2i\,\delta_{m,n}\,\mathcal E_6(4\pi m). \] The compact/cusp decomposition is therefore \[ I^r_{XY}=I^{\mathrm{comp}}_{XY}+I^{\mathrm{cusp}}_{XY}, \qquad I^{\mathrm{cusp}}_{XY}=-2i\sum_{m\ge0}F_{XY}(m,m)\mathcal E_6(4\pi m). \] The same diagonal kernel appears in Lorentzian inversion, where for non-polar Fourier expansions the integral reconstructs as the same keyhole integral minus a diagonal \(\mathcal E_s(4\pi m)\) tail; in the Type IIB paper this agreement is checked sector-wise [2606.17602]. A broader sector-resolved formulation is provided by the two-dimensional Rademacher expansion of non-holomorphic modular integrals. After complexification and Lorentzian contour deformation, the principal-value integral is rewritten as a sum over Ford circles \(C_{a/c}\) anchored at rational cusps \(\tilde\tau=a/c\), with canonical formula \[ I=\sum_{c=1}^\infty\sum_{\substack{a=0\\(a,c)=1}}^{c-1} \int_{\tau\in\longrightarrow}\int_{\tilde\tau\in C_{a/c}} \left[\frac16\left(\tau-\tilde\tau+\frac{2a}{c}\right)-2s(a,c)\right]\alpha(\tau,\tilde\tau). \] Here \(s(a,c)\) is the Dedekind sum. Sector contributions are controlled by the polar part of the integrand near \(\tau\to i\infty\) and by Bessel kernels \(\mathcal I_c^{(1)}\) and \(\mathcal I_c^{(2)}\), so the sum is dominated by small denominators \(c\) [2501.13827]. The Rankin–Selberg method gives a different, but related, orbit resolution. After unfolding against Eisenstein or Poincaré seeds, genus-one modular integrals decompose into zero, degenerate, and non-degenerate sectors. Zero and degenerate sectors capture constant or rank-1 data, whereas non-degenerate sectors produce \(K\)-Bessel functions after Poisson resummation and encode exponentially suppressed contributions. At higher genus, the analogous orbit classification is by the rank of the \(h\)-tuple \((m^a,n^a)\), but absolutely convergent Siegel Poincaré series for general \(\Phi_h\) are not broadly available [1401.4265]. ## 4. Charge-sector resolution in modular theory and free fermions In modular theory for hyperfinite von Neumann algebras, sector resolution is formulated by direct integrals. One considers \[ H=\int_{\mathcal Q}^{\oplus}H_q\,d\mu(q),\qquad M=\int_{\mathcal Q}^{\oplus}M_q\,d\mu(q), \] with a cyclic separating vector \[ |\mathfrak P\rangle=\int_{\mathcal Q}^{\oplus}\sqrt{p(q)}\,|\Psi_q\rangle\,d\mu(q), \] where \(p(q)\ge0\) is non-zero almost everywhere. The Tomita and modular operators are decomposable, \[ S_{\mathfrak P}=\int_{\mathcal Q}^{\oplus}S_{\Psi_q}\,d\mu(q),\qquad \Delta_{\mathfrak P}=\int_{\mathcal Q}^{\oplus}\Delta_{\Psi_q}\,d\mu(q), \] and functional calculus commutes with the direct integral, so \[ K_{\mathfrak P}=-\log\Delta_{\mathfrak P} =\int_{\mathcal Q}^{\oplus}K_q\,d\mu(q). \] The sector-resolved modular operator and flow are therefore fiberwise objects, and modular correlators decompose as \[ G_{A,B}(t)=\int_{\mathcal Q} d\mu(q)\,p(q)\,G_{A,B}^{(q)}(t), \] or, for a partition \(\{E_i\}\), as a coarse-grained sum \(\sum_i p(E_i)G_{A,B}^{(E_i)}(t)\). If the full correlator satisfies KMS, then the fine-grained and coarse-grained sector correlators satisfy KMS; conversely, sectorwise KMS almost everywhere implies global KMS [2510.02441]. The discrete type-I version is formulated with charge projectors. For a global \(U(1)\) symmetry and a subregion \(A\), the restricted charge operator \(Q_A\) defines twist operators \[ \tau_A(\alpha)=e^{i\alpha Q_A},\qquad \alpha\in[-\pi,\pi), \] and sector projectors \[ \Pi_A(q)=\int_{-\pi}^{\pi}\frac{d\alpha}{2\pi}\,e^{-i\alpha q}\,\tau_A(\alpha). \] The symmetry-resolved reduced density matrices are \[ \rho_A^{(q)}=\frac{\Pi_A(q)\rho_A}{p_A(q)}, \qquad p_A(q)=\mathrm{Tr}\,[\Pi_A(q)\rho_A]. \] The sector modular flow of \(A_q\in\mathcal A_q(A)\) is \[ \sigma_{t,q}(A_q)=\big[\rho_A^{(q)}\big]^{it}A_q\big[\rho_A^{(q)}\big]^{-it}, \] and \[ G_{\rm mod}(t,q)=\mathrm{Tr}\big[\rho_A^{(q)}\,B_q\,\sigma_{t,q}(A_q)\big], \qquad G_{\rm mod}(t)=\sum_q p_A(q)\,G_{\rm mod}(t,q). \] Sector-resolved correlators inherit the same KMS strip and periodicity or antiperiodicity as the unresolved correlator [2305.02343]. For free fermions, the reduced state is Gaussian and the modular flow kernel is \[ \Sigma_t=\left(\frac{1-G_A}{G_A}\right)^{it}. \] The modular correlator of an elementary fermion is \[ G_{\rm mod}^{\rm(f)}(x,y;t)=\Big[G_A\Big(\frac{1-G_A}{G_A}\Big)^{it}\Big](x,y), \] while the charge-density correlator factorizes as \[ G_{\rm mod}^{\rm(c)}(x,y;t)=\big[G_{\rm mod}^{\rm(f)}(x,y;t)\big]^2. \] Sector resolution inserts \(e^{i\alpha Q_A}\) and Fourier transforms over \(\alpha\). In the \(1+1\)-dimensional free massless Dirac theory, for \(A=\bigcup_{j=1}^p[a_j,b_j]\), the sector-resolved modular correlator of the total charge density satisfies \[ G_{\rm mod}^{\rm D}(x,y;t,q)=G_{\rm mod}^{\rm D}(x,y;t)+O\big((\ln L_p)^{-1}\big), \] so the leading ultraviolet term is independent of \(q\). The same analysis gives the Gaussian sector probability \[ p_A(q)=\sqrt{\frac{\pi}{2\ln L_p}}\, \exp\!\left(-\frac{\pi^2 q^2}{2\ln L_p}\right), \] with \[ L_p=\frac{\epsilon^{-p}\prod_{i,j}|b_i-a_j|} {\prod_{i