arxiv: 2605.00589 · v1 · submitted 2026-05-01 · 🧮 math-ph · hep-th· math.DG· math.MP

Recognition: unknown

Reflection Symmetry, APS Boundary Conditions, and Equivariant Spectral Flow on a Warped Cylinder

Taro Kimura , Sanchita Sharma

Authors on Pith no claims yet

Pith reviewed 2026-05-09 18:36 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.DGmath.MP

keywords reflection symmetryAPS boundary conditionswarped cylindertwisted Dirac operatorspectral flowholonomyequivariantunitary equivalence

0 comments

The pith

Reflection symmetry lifts to a unitary symmetry of the twisted Dirac setting if and only if 2A is an integer.

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

The paper investigates how reflection symmetry interacts with twisted Dirac operators and Atiyah-Patodi-Singer boundary conditions on a finite warped cylinder. It proves that the reflection becomes a symmetry of the operator precisely when the twist holonomy A satisfies 2A belonging to the integers. This allows the reflection to pair opposite angular modes and show that the paired blocks with APS conditions are unitarily equivalent, with the trace localizing on one zero mode. For one-parameter families with fixed holonomy the spectral flow has an equivariant decomposition, but varying holonomy reduces it to a mod two count of crossings. This matters for understanding symmetry-protected spectral features in geometric analysis.

Core claim

We show that the reflection lifts to a unitary symmetry of the twisted Dirac setting if and only if 2A∈Z. In the resulting reflection-compatible fixed-holonomy case, reflection pairs opposite shifted angular modes, and the paired APS blocks are unitarily equivalent. The reflection trace on the APS harmonic space localizes to the unique self-paired zero-mode sector. We then turn to parameter-dependent versions of the model. For fixed gauge-trivial holonomy, the family remains pointwise O(2)-equivariant, and its spectral flow admits an RO(O(2))-valued decomposition. For genuinely varying holonomy, pointwise O(2)-equivariance is lost along the path. The representation-ring-valued invariant is 0

What carries the argument

The reflection operator acting on the twisted Dirac operator over the warped cylinder with holonomy parameter A, which commutes with the operator if and only if 2A is integer and pairs APS blocks unitarily.

Load-bearing premise

The model assumes a specific finite warped cylinder geometry together with a complex line twist whose holonomy is a single real parameter A.

What would settle it

Direct calculation of the commutator of the reflection operator with the twisted Dirac operator for a value of A such as 1/4, where 2A is not integer, to check if it vanishes.

Figures

Figures reproduced from arXiv: 2605.00589 by Sanchita Sharma, Taro Kimura.

**Figure 1.** Figure 1: Numerical illustration of the APS spectrum for the warped fixed-holonomy model with view at source ↗

read the original abstract

We study reflection symmetry and Atiyah-Patodi-Singer (APS) boundary conditions for twisted Dirac operators on a finite warped cylinder. For a complex line twist with holonomy parameter $A$, we show that the reflection lifts to a unitary symmetry of the twisted Dirac setting if and only if $2A\in\mathbb Z$. In the resulting reflection-compatible fixed-holonomy case, reflection pairs opposite shifted angular modes, and the paired APS blocks are unitarily equivalent. The reflection trace on the APS harmonic space localizes to the unique self-paired zero-mode sector. We then turn to parameter-dependent versions of the model. For fixed gauge-trivial holonomy, the family remains pointwise $O(2)$-equivariant, and its spectral flow admits an $RO(O(2))$-valued decomposition. For genuinely varying holonomy, pointwise $O(2)$-equivariance is lost along the path. The representation-ring-valued invariant is then replaced by a residual sign-level invariant: the mod-two parity of the APS crossing events.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a precise iff condition for reflection to lift as a unitary symmetry on the twisted Dirac operator, then uses that to get unitary equivalence of APS blocks and a mod-two reduction of spectral flow when holonomy varies.

read the letter

The central contribution is the statement that reflection lifts to a unitary symmetry of the twisted Dirac operator on the finite warped cylinder if and only if twice the holonomy parameter A is an integer. Once that holds, reflection pairs opposite angular modes and the corresponding APS blocks become unitarily equivalent, with the trace on the harmonic space localizing to the self-paired zero mode. For paths with fixed holonomy the family stays O(2)-equivariant and the spectral flow takes values in the representation ring, but when holonomy itself varies the invariant drops to a mod-two parity of crossings. These statements are new for this geometry and follow from explicit angular mode decomposition together with the usual properties of APS boundary conditions. The calculation is direct and avoids fitting parameters or circular appeals to prior results. The model is narrow: it fixes a specific warping, a complex line bundle with one real holonomy parameter, and a finite cylinder. That keeps the proofs manageable but limits immediate extension to other bundles or non-compact settings. The warping function itself enters only through the mode equations and does not appear to require extra assumptions beyond smoothness. Readers working on index theory for Dirac operators with symmetry constraints or on APS-type boundary problems will find the explicit pairing and the mod-two reduction useful as concrete examples. The paper is not aimed at a broad audience and does not claim general theorems. It deserves a serious referee because the claims are stated sharply, the method is reproducible from the mode expansion, and the reduction from RO(O(2)) to mod-two is a clean observation worth checking in detail. I would send it out for review rather than desk-reject.

Referee Report

2 major / 3 minor

Summary. The paper studies reflection symmetry for twisted Dirac operators on a finite warped cylinder equipped with APS boundary conditions. For a complex line bundle with holonomy parameter A, it proves that reflection lifts to a unitary symmetry of the Dirac operator (commuting with it and preserving the APS domain) if and only if 2A ∈ ℤ. In this fixed-holonomy case, reflection pairs opposite shifted angular modes whose APS blocks are unitarily equivalent, and the reflection trace on the APS harmonic space localizes to the self-paired zero-mode sector. The work then treats parameter-dependent families: for fixed gauge-trivial holonomy the family is pointwise O(2)-equivariant with an RO(O(2))-valued spectral-flow decomposition, while for genuinely varying holonomy the pointwise equivariance is lost and the invariant reduces to the mod-2 parity of APS crossing events.

Significance. If the explicit mode-decomposition arguments hold, the manuscript supplies a concrete, calculable example of how reflection symmetry interacts with APS conditions and equivariant spectral flow in the presence of a line-bundle twist. The iff statement on 2A ∈ ℤ, the unitary equivalence of paired blocks, and the reduction to a mod-2 invariant for varying holonomy are all directly tied to the geometry and the standard definition of APS projections; these features make the results potentially useful as a test case for broader equivariant index theory or K-theory computations.

major comments (2)

[Main theorem on reflection lift] The central iff claim (reflection lifts to unitary symmetry iff 2A ∈ ℤ) is stated to follow from the angular-mode decomposition and the definition of APS conditions, but the manuscript does not appear to contain an explicit verification that the reflection operator maps the APS domain into itself when 2A ∈ ℤ (or fails to do so otherwise). A short calculation showing how the boundary projection commutes with the lifted reflection would strengthen the argument.
[Parameter-dependent families] In the family setting with varying holonomy, the reduction from an RO(O(2))-valued invariant to a mod-2 parity of crossing events is asserted once pointwise equivariance is lost. It is not clear from the text whether this parity is shown to be independent of the choice of path or whether it coincides with the mod-2 reduction of the fixed-holonomy spectral flow; an explicit comparison or homotopy argument would make the transition rigorous.

minor comments (3)

[Geometric setup] The warped-cylinder metric and the precise form of the twisting connection should be written down in coordinates at the beginning of the geometric setup section so that the angular shift induced by A is immediately visible.
[Notation] Notation for the reflection operator, the APS projection, and the shifted angular modes is introduced piecemeal; a single table or paragraph collecting all symbols would improve readability.
[APS boundary conditions] The manuscript cites standard references for APS boundary conditions but does not indicate whether any non-standard properties of the finite warped cylinder (e.g., the behavior of the warping function at the ends) are used; a brief remark would clarify the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and constructive suggestions. Both major comments identify places where the manuscript would benefit from more explicit calculations; we address each point below and will revise the text accordingly.

read point-by-point responses

Referee: The central iff claim (reflection lifts to unitary symmetry iff 2A ∈ ℤ) is stated to follow from the angular-mode decomposition and the definition of APS conditions, but the manuscript does not appear to contain an explicit verification that the reflection operator maps the APS domain into itself when 2A ∈ ℤ (or fails to do so otherwise). A short calculation showing how the boundary projection commutes with the lifted reflection would strengthen the argument.

Authors: We agree that an explicit verification of domain preservation would improve clarity. In the revised manuscript we will insert a short direct calculation (in the section following the angular-mode decomposition) that verifies commutation of the lifted reflection with the APS boundary projection on each shifted mode, confirming that the operator maps the domain into itself if and only if 2A ∈ ℤ. revision: yes
Referee: In the family setting with varying holonomy, the reduction from an RO(O(2))-valued invariant to a mod-2 parity of crossing events is asserted once pointwise equivariance is lost. It is not clear from the text whether this parity is shown to be independent of the choice of path or whether it coincides with the mod-2 reduction of the fixed-holonomy spectral flow; an explicit comparison or homotopy argument would make the transition rigorous.

Authors: We will add an explicit homotopy argument in the revised version of the parameter-dependent families section. The argument will show that the mod-2 parity of APS crossings is independent of the path through the space of holonomies and coincides with the mod-2 reduction of the RO(O(2))-valued spectral flow obtained in the fixed-holonomy case. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claims follow from explicit angular mode decomposition of the twisted Dirac operator on the finite warped cylinder together with the standard definition of APS boundary conditions. The condition 2A ∈ ℤ arises directly as the requirement for the reflection operator to commute with the Dirac operator and preserve the APS domain; the unitary equivalence of paired blocks is then a consequence of the resulting mode pairing. No parameters are fitted to force outcomes, no self-citations serve as load-bearing premises for the main results, and the statements are not equivalent to the inputs by construction. The analysis remains geometry-specific and independent of external fitted data or prior author theorems.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The paper rests on the standard analytic properties of Dirac operators and APS boundary conditions on a Riemannian manifold with boundary. No new free parameters are introduced beyond the holonomy A, which is treated as an input. No new entities are postulated.

free parameters (1)

holonomy parameter A
Real parameter controlling the complex line twist; the central symmetry statement is conditioned on whether 2A is integer.

axioms (2)

standard math Standard properties of twisted Dirac operators and Atiyah-Patodi-Singer boundary conditions on a compact manifold with boundary
Invoked throughout to define the operator, the boundary-value problem, and the spectral flow.
domain assumption Existence of an explicit angular-mode decomposition on the warped cylinder
Used to pair opposite modes under reflection.

pith-pipeline@v0.9.0 · 5491 in / 1661 out tokens · 35717 ms · 2026-05-09T18:36:27.351807+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 22 canonical work pages · 1 internal anchor

[1]

Spectral Asymmetry and Riemannian Geometry. I,

M. F. Atiyah, V. K. Patodi, and I. M. Singer, “Spectral Asymmetry and Riemannian Geometry. I,”Math. Proc. Camb. Philos. Soc.77no. 1, (1975) 43–69

1975
[2]

Spectral Asymmetry and Riemannian Geometry. II,

M. F. Atiyah, V. K. Patodi, and I. M. Singer, “Spectral Asymmetry and Riemannian Geometry. II,”Math. Proc. Camb. Philos. Soc.78no. 3, (1975) 405–432

1975
[3]

Spectral Asymmetry and Riemannian Geometry. III,

M. F. Atiyah, V. K. Patodi, and I. M. Singer, “Spectral Asymmetry and Riemannian Geometry. III,”Math. Proc. Camb. Philos. Soc.79no. 1, (1976) 71–99

1976
[4]

Blaine Lawson and M.-L

H. Blaine Lawson and M.-L. Michelsohn,Spin Geometry, vol. 38 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ, 1989

1989
[5]

Berline, E

N. Berline, E. Getzler, and M. Vergne,Heat Kernels and Dirac Operators, vol. 298 of Grundlehren der mathematischen Wissenschaften. Springer-Verlag, Berlin, 1992

1992
[6]

Booß-Bavnbek and K

B. Booß-Bavnbek and K. P. Wojciechowski,Elliptic Boundary Problems for Dirac Operators. Mathematics: Theory & Applications. Birkh¨ auser Boston, Boston, MA, 1993

1993
[7]

Boundary value problems for elliptic differential operators of first order,

C. B¨ ar and W. Ballmann, “Boundary value problems for elliptic differential operators of first order,” inSurveys in Differential Geometry, vol. 17, pp. 1–78. International Press, Somerville, MA, 2012. 34

2012
[8]

Equivariant Spectral Flow and a Lefschetz Theorem on Odd-Dimensional Spin Manifolds,

H. Fang, “Equivariant Spectral Flow and a Lefschetz Theorem on Odd-Dimensional Spin Manifolds,”Pac. J. Math.220no. 2, (2005) 299–312,arXiv:math/0105160

work page arXiv 2005
[9]

The Equivariant Spectral Flow and Bifurcation of Periodic Solutions of Hamiltonian Systems,

M. Izydorek, J. Janczewska, and N. Waterstraat, “The Equivariant Spectral Flow and Bifurcation of Periodic Solutions of Hamiltonian Systems,”Nonlinear Analysis211(2021) 112475,arXiv:2104.01586 [math.FA]

work page arXiv 2021
[10]

On the uniqueness of the G-equivariant spectral flow,

M. Izydorek, J. Janczewska, M. Starostka, and N. Waterstraat, “On the uniqueness of the G-equivariant spectral flow,”SIGMA22(2026) 029,arXiv:2508.01061 [math.FA]

work page arXiv 2026
[11]

Dirac Operators, APS Boundary Conditions, and Spectral Flow on a Finite Warped Cylinder,

T. Kimura and S. Sharma, “Dirac Operators, APS Boundary Conditions, and Spectral Flow on a Finite Warped Cylinder,”arXiv:2603.23275 [math-ph]

work page arXiv
[12]

Equivariant spectral flow and equivariantη-invariants on manifolds with boundary,

J. Lim and H. Wang, “Equivariant spectral flow and equivariantη-invariants on manifolds with boundary,”Int. J. Math.35no. 04, (2024) 2450006,arXiv:2101.01890 [math.DG]

work page arXiv 2024
[13]

Equivariant spectral flow for families of Dirac-type operators,

P. Hochs and A. Yanes, “Equivariant spectral flow for families of Dirac-type operators,”Ann. K-Theory10no. 2, (2025) 189–235,arXiv:2403.00575 [math.DG]

work page arXiv 2025
[14]

An Equivariant Atiyah–Patodi–Singer Index Theorem for Proper Actions I: The Index Formula,

P. Hochs, B.-L. Wang, and H. Wang, “An Equivariant Atiyah–Patodi–Singer Index Theorem for Proper Actions I: The Index Formula,”Int. Math. Res. Not.2023no. 4, (2023) 3138–3193,arXiv:1904.11146 [math.DG]

work page arXiv 2023
[15]

An equivariant Atiyah–Patodi–Singer index theorem for proper actions II: the K-theoretic index,

P. Hochs, B.-L. Wang, and H. Wang, “An equivariant Atiyah–Patodi–Singer index theorem for proper actions II: the K-theoretic index,”Math. Z.301no. 2, (2022) 1333–1367, arXiv:2006.08086 [math.DG]

work page arXiv 2022
[16]

Equivariant Toeplitz index theory on odd-dimensional manifolds with boundary,

J. Lim and H. Wang, “Equivariant Toeplitz index theory on odd-dimensional manifolds with boundary,”Math. Z.302no. 2, (2022) 1035–1060,arXiv:2101.00193 [math.DG]

work page arXiv 2022
[17]

Dirac–Schr¨ odinger operators, index theory and spectral flow,

K. van den Dungen, “Dirac–Schr¨ odinger operators, index theory and spectral flow,”J. Lond. Math. Soc.112no. 4, (2025) ,arXiv:2407.02993 [math.KT]

work page arXiv 2025
[18]

Bär and R

C. B¨ ar and R. Ziemke, “Spectral Flow and the Atiyah–Patodi–Singer Index Theorem,” arXiv:2512.04968 [math.DG]

work page arXiv
[19]

TheZ 2-Valued Spectral Flow of a Symmetric Family of Toeplitz Operators,

M. Braverman and A. R. Haj Saeedi Sadegh, “TheZ 2-Valued Spectral Flow of a Symmetric Family of Toeplitz Operators,”arXiv:2409.15534 [math.DG]

work page arXiv
[20]

Topological crystalline insulators and topological superconductors: From concepts to materials,

Y. Ando and L. Fu, “Topological crystalline insulators and topological superconductors: From concepts to materials,”Annu. Rev. Condens. Matter Phys.6no. 1, (2015) 361–381, arXiv:1501.00531 [cond-mat.mtrl-sci]

work page arXiv 2015
[21]

The index of lattice dirac operators andK-theory,

S. Aoki, H. Fukaya, M. Furuta, S. Matsuo, T. Onogi, and S. Yamaguchi, “The index of lattice dirac operators andK-theory,”arXiv:2407.17708 [math.KT]

work page arXiv
[22]

ηinvariant of massive Wilson Dirac operator and the index,

H. Fukaya, S. Aoki, M. Furuta, S. Matsuo, T. Onogi, and S. Yamaguchi, “ηinvariant of massive Wilson Dirac operator and the index,”PoSLATTICE2024(2025) 367, arXiv:2501.02873 [hep-lat]

work page arXiv 2025
[23]

Capturing the Atiyah-Patodi-Singer index from the lattice

S. Aoki, H. Fujita, H. Fukaya, M. Furuta, S. Matsuo, T. Onogi, and S. Yamaguchi, “Capturing the Atiyah-Patodi-Singer index from the lattice,”arXiv:2602.12576 [math.DG]. 35

work page internal anchor Pith review Pith/arXiv arXiv
[24]

Generalization of Lattice Dirac Operator Index,

S. Aoki, H. Fujita, H. Fukaya, M. Furuta, S. Matsuo, T. Onogi, and S. Yamaguchi, “Generalization of Lattice Dirac Operator Index,”arXiv:2602.22858 [hep-lat]

work page arXiv
[25]

Parity asZ 2-valued spectral flow,

N. Doll, H. Schulz-Baldes, and N. Waterstraat, “Parity asZ 2-valued spectral flow,”Bull. Lond. Math. Soc.51no. 5, (2019) 836–852,arXiv:1812.07780 [math-ph]

work page arXiv 2019
[26]

Orientation transport

L. I. Nicolaescu, “Orientation transport.” 2004.https://www3.nd.edu/ ~lnicolae/OT.pdf. unpublished note

2004
[27]

Mod-two aps index and domain-wall fermion,

H. Fukaya, M. Furuta, Y. Matsuki, S. Matsuo, T. Onogi, S. Yamaguchi, and M. Yamashita, “Mod-two aps index and domain-wall fermion,”Lett. Math. Phys.112(2022) 16, arXiv:2012.03543 [hep-th]

work page arXiv 2022
[28]

Kaplan, and Hersh Singh,Generalized Ginsparg-Wilson relations, Phys

M. Clancy, D. B. Kaplan, and H. Singh, “Generalized Ginsparg-Wilson relations,”Phys. Rev. D109no. 1, (2024) 014502,arXiv:2309.08542 [hep-lat]

work page arXiv 2024
[29]

Band Flattening and Overlap Fermion,

T. Kimura and M. Watanabe, “Band Flattening and Overlap Fermion,”arXiv:2309.12174 [hep-th]

work page arXiv
[30]

Self-adjoint Fredholm Operators and Spectral Flow,

J. Phillips, “Self-adjoint Fredholm Operators and Spectral Flow,”Can. Math. Bull.39no. 4, (1996) 460–467

1996
[31]

Fredholm operators and spectral flow,

N. Waterstraat, “Fredholm operators and spectral flow,”Rend. Sem. Mat. Univ. Politec. Torino75no. 1, (2017) 7–51,arXiv:1603.02009 [math.FA]. 36

work page arXiv 2017