Sector-Resolved Modular Integrals
- Sector-resolved modular integrals are defined by retaining intermediate sector contributions during regularization to isolate unprojected data before final recombination.
- They are applied across diverse fields such as string perturbation theory, operator-algebraic modular theory, analytic number theory, and geometric period computations.
- The methodology leverages techniques like Lorentzian regularization, Rademacher expansions, and Fourier analysis to achieve precise modular decompositions with practical implications.
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:(Wang, 16 Jun 2026) OR id:(Baccianti et al., 23 Jan 2025) OR id:(Giulio et al., 2 Oct 2025) OR id:(Giulio et al., 2023) OR id:(Alim et al., 8 May 2026)", "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 (Wang, 16 Jun 2026, Giulio et al., 2 Oct 2025, Giulio et al., 2023, Baccianti et al., 23 Jan 2025, Lägeler et al., 2022, Alim et al., 8 May 2026).
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 -character basis as , , , and (Wang, 16 Jun 2026).
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 or a measurable set (Giulio et al., 2 Oct 2025). In free fermionic theories, sector resolution is implemented by charge projectors , and modular integrals refer to integral representations of modular flows and correlators over positions and modular time, modified by Fourier insertion of and Fourier transform over 0 (Giulio et al., 2023).
In analytic treatments of modular-domain integrals, sector resolution is a decomposition into contributions from rational cusps 1, realized by Lorentzian contour deformations and Ford-circle sectors in a two-dimensional Rademacher expansion (Baccianti et al., 23 Jan 2025). 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 (Pioline, 2014). 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 (Lägeler et al., 2022). For modular Feynman periods, sector resolution means factorization of a rank-4 Appell 2 Picard–Fuchs system into a tensor product of two rank-2 Gauss hypergeometric systems, each with its own modular parameter and 3 uniformization (Alim et al., 8 May 2026).
| Setting | Sector label | Resolved object |
|---|---|---|
| Type IIB torus vacuum | 4 | 5 |
| Hyperfinite modular theory | 6 or 7 | 8 |
| Free fermions | fixed charge 9 | 0 |
| Rademacher expansion | rational cusp 1 | 2 |
| Cycle integrals | 3 | 4 |
| Appell 5 periods | 6 or 7 | 8 |
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 9 fundamental domain 0, with 1 and overall 2 measure. Before the GSO contraction is taken, the oriented closed-string torus integrand is decomposed into the four auxiliary sector integrands
3
and the physical combination is
4
Sector-resolved modular integrals apply the Lorentzian/5 prescription to each 6 before the Jacobi-signed sum (Wang, 16 Jun 2026).
Using the holomorphic building blocks
7
Jacobi’s abstruse identity implies 8, hence
9
Writing
0
one has 1, and since 2, all four sectors share the same coefficient matrix: 3 In particular, the closed left-right constant coefficient is 4.
The sector functional is
5
and the GSO-projected vacuum integral is
6
The construction keeps the long-tube data sector by sector before invoking the Jacobi cancellation 7, 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 (Wang, 16 Jun 2026).
Several explicit values are available. For the constant mode,
8
A finite-cutoff evaluation with 9 gives the common sector value
0
while the exact zero mode is 1; the difference 2 is the finite non-constant-mode contribution. Because 3 for all 4, the signed coefficient 5 vanishes mode by mode, so the GSO-projected, 6-regularized and Lorentzian-prescribed vacuum integral vanishes identically: 7
3. Regularization, cusp resolution, and orbit decompositions
The principal regularization framework for the Type IIB construction uses the non-holomorphic Eisenstein series
8
which is 9-invariant, satisfies 0, and admits a cusp expansion with 1-Bessel functions. For a sector integrand 2, one considers
3
and defines the sector functional as the finite part at 4,
5
Using the Fourier expansion of 6 and the cusp expansion of 7, the integral splits into a compact keyhole contribution and a cusp contribution that is diagonal in the Fourier labels after horizontal projection (Wang, 16 Jun 2026).
The Lorentzian 8 prescription deforms the long-tube proper-time contour away from the positive real axis. In the cusp strip, the horizontal 9-integral gives 0, so only diagonal modes contribute to the tail. With the generalized exponential integral
1
the regularized mode block is
2
At the vacuum value 3,
4
The compact/cusp decomposition is therefore
5
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 6 tail; in the Type IIB paper this agreement is checked sector-wise (Wang, 16 Jun 2026).
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 7 anchored at rational cusps 8, with canonical formula
9
Here 0 is the Dedekind sum. Sector contributions are controlled by the polar part of the integrand near 1 and by Bessel kernels 2 and 3, so the sum is dominated by small denominators 4 (Baccianti et al., 23 Jan 2025).
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 5-Bessel functions after Poisson resummation and encode exponentially suppressed contributions. At higher genus, the analogous orbit classification is by the rank of the 6-tuple 7, but absolutely convergent Siegel Poincaré series for general 8 are not broadly available (Pioline, 2014).
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
9
with a cyclic separating vector
0
where 1 is non-zero almost everywhere. The Tomita and modular operators are decomposable,
2
and functional calculus commutes with the direct integral, so
3
The sector-resolved modular operator and flow are therefore fiberwise objects, and modular correlators decompose as
4
or, for a partition 5, as a coarse-grained sum 6. 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 (Giulio et al., 2 Oct 2025).
The discrete type-I version is formulated with charge projectors. For a global 7 symmetry and a subregion 8, the restricted charge operator 9 defines twist operators
00
and sector projectors
01
The symmetry-resolved reduced density matrices are
02
The sector modular flow of 03 is
04
and
05
Sector-resolved correlators inherit the same KMS strip and periodicity or antiperiodicity as the unresolved correlator (Giulio et al., 2023).
For free fermions, the reduced state is Gaussian and the modular flow kernel is
06
The modular correlator of an elementary fermion is
07
while the charge-density correlator factorizes as
08
Sector resolution inserts 09 and Fourier transforms over 10. In the 11-dimensional free massless Dirac theory, for 12, the sector-resolved modular correlator of the total charge density satisfies
13
so the leading ultraviolet term is independent of 14. The same analysis gives the Gaussian sector probability
15
with
16
This leading sector-independence is described as charge equipartition of the modular correlation function (Giulio et al., 2023).
5. Geometric and period-theoretic sector resolutions
A geometric version arises for cycle integrals of Parson’s weight 17 modular integrals. For a primitive hyperbolic element 18, the associated geodesic 19 projects to a closed geodesic 20, and the relevant sector labels are the intersection points 21 of two such geodesics. The main formula states that for primitive hyperbolic 22 with positive trace and not conjugate,
23
Here 24 is an intersection sign, 25 is the counterclockwise angle between tangent directions, and 26 is the Legendre polynomial. The cycle integral is thus a finite sum over angular sectors. In weight 27, where 28, this reduces to the intersection-count formula of Matsusaka and Duke–İmamoğlu–Tóth (Lägeler et al., 2022).
A different sector resolution appears in the modularity of the two-dimensional conformal traintrack Feynman integral. The integral is a period of the holomorphic 29-form
30
whose Picard–Fuchs system is the Appell 31 system with parameters
32
Via the Clingher–Doran–Malmendier gauge transformation, the rank-4 Picard–Fuchs system factorizes into the tensor product of two Gauss hypergeometric sectors,
33
with 34 and both Gauss factors of type 35. Each sector is uniformized by 36 with Hauptmodul 37,
38
and the holomorphic period becomes
39
a modular form of bi-weight 40 for 41 with trivial multiplier. Near the cusp, the mirror maps have standard 42-expansions,
43
The factorization is valid precisely under
44
and in the traintrack case provides a mathematical proof of the modularity previously identified by Duhr and Maggio (Alim et al., 8 May 2026).
6. Generalizations, caveats, and recurrent misconceptions
Sector resolution does not by itself alter the physical projection. In the Type IIB torus vacuum, keeping 45, 46, 47, and 48 separate makes the compact-domain contribution and the long-tube contribution explicit before projection, but the final GSO-contracted amplitude still vanishes identically because 49 at the coefficient level. The same framework is stated to extend to Type IIA, while heterotic strings and non-vacuum one-loop amplitudes require handling polar terms, left-right asymmetry, or Koba–Nielsen kernels (Wang, 16 Jun 2026).
In operator-algebraic settings, a common misconception is that fine-grained projectors onto single continuous sectors are ordinary bounded operators. They are not: the maps 50 to a measure-zero fiber are not bounded operators on 51, and their use is formulated almost everywhere in 52, often as unbounded sesquilinear forms inside correlators. For type III factors, there is no trace and no reduced density matrix; direct integrals replace trace-based sector decompositions. In the type 53 ITPFI setting, even the existence of the rescaled charge density 54 requires convergence of the Cesàro average 55 (Giulio et al., 2 Oct 2025).
In free fermionic theories, the closed-form kernels and leading equipartition result depend on Gaussianity, linear modular flow, Wick factorization, and, in 56 dimensions, bosonization. The same source explicitly notes that exact modular kernels are not generally known in interacting theories, even though the operator-algebraic sector resolution is expected to survive under the stated cyclic/separating and commuting assumptions (Giulio et al., 2023).
For Rademacher expansions and Rankin–Selberg methods, growth conditions and cusp regularization are essential. The two-dimensional Rademacher series requires analyticity on 57, the stated convergence criterion on Rademacher contours, and an 58 or principal-value treatment of cusps. At borderline weights, conditional convergence may occur and additive counterterms may be needed. In higher-genus Rankin–Selberg theory, cusp subtractions and boundary terms require care, and absolutely convergent Siegel Poincaré representations are not broadly available for general 59 (Baccianti et al., 23 Jan 2025, Pioline, 2014).
For modular Feynman periods, factorization into modular sectors is not generic. Outside the parameter locus
60
the rank-4 Appell system is generically irreducible, monodromy may be non-arithmetic, and modular uniformization may fail. Singular kinematics can also obstruct the gauge map 61 (Alim et al., 8 May 2026).
Taken together, these caveats delimit the precise status of sector-resolved modular integrals. They are not a single universal algorithm; rather, they are a class of exact decompositions in which modular data are reorganized into explicitly controlled sectors—spin sectors, charge sectors, rational cusps, geodesic intersections, or tensor-product hypergeometric factors—before final recombination or projection.