Cyclic source pairings for Penrose--Sparling non-Hausdorff twistor spaces
Pith reviewed 2026-06-28 08:37 UTC · model grok-4.3
The pith
The source-adapted cyclic pairing on non-separated ruling lines recovers the Coulomb charge n from the K-theory class of the Coulomb line bundle.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Penrose-Sparling non-Hausdorff twistor space is modeled by an etale gluing groupoid and its convolution algebra. The relative cyclic cocycle on the two non-separated copies of the ruling line L gives the pairing Q(C_n) = 1/2 <phi_L^+ - phi_L^-, [C_n]> = n with the K0 class of the Coulomb line bundle C_n, recovering the Coulomb charge. The non-abelian version is formulated for a connected complex reductive group G with maximal torus T and cocharacter lambda, where the source is a principal G-bundle modification of type lambda along Q.
What carries the argument
The relative cyclic cocycle supported on the two non-separated copies of the ruling line L in the convolution algebra of the etale gluing groupoid.
If this is right
- The algebraic model tracks both the identified open part and the two non-separated copies of the source quadric.
- The strict tangent-module analogue of the Chern-Connes pairing vanishes because ch3(T^{1,0} CP^3) + ch3(T^{0,1} CP^3) = 0.
- The Penrose-Sparling Coulomb line bundle C_n defines a K0(A_Q) class that pairs to the charge value n.
- The construction extends to the non-abelian setting of principal G-bundles modified by a cocharacter lambda along Q for connected complex reductive groups G.
Where Pith is reading between the lines
- Groupoid convolution algebras and relative cyclic cocycles may detect topological charges in other non-Hausdorff geometries that arise in twistor theory or mathematical physics.
- The vanishing of the tangent-bundle pairing contrasted with the nonzero line-bundle pairing suggests that source-adapted cocycles are necessary to extract physical invariants in this setting.
- Similar algebraic models could be tested on other singular twistor spaces or on modifications of higher-rank bundles.
Load-bearing premise
The Penrose-Sparling non-Hausdorff twistor space admits an explicit etale gluing groupoid whose convolution algebra supports a well-defined relative cyclic cocycle on the two non-separated copies of the ruling line L.
What would settle it
An explicit construction of the etale gluing groupoid whose relative cyclic cocycle fails to pair with the K0 class of C_n to yield the integer n would falsify the recovery of the Coulomb charge.
read the original abstract
We introduce noncommutative geometry techniques in order to reinterpret the Penrose--Sparling non-Hausdorff twistor space of the anti-self-dual Coulomb field by means of an explicit etale gluing groupoid and its convolution algebra. This algebraic model keeps track of both the identified open part and the two non-separated copies of the source quadric. We compute two kinds of Chern--Connes pairings. The strict tangent-module analogue, obtained from \([T_{\mathbb R}\CP^3\otimes\C]\), vanishes because \[ \operatorname{ch}_3(T^{1,0}\CP^3)+ \operatorname{ch}_3(T^{0,1}\CP^3)=0. \] By contrast, the Penrose--Sparling Coulomb line bundle \(\calC_n\) defines a \(K_0(A_Q)\)-class, and the relative cyclic cocycle supported on the two non-separated copies of a ruling line \(L\subset Q\) gives \[ \mathcal Q(\calC_n)= \frac12\left\langle \varphi_L^+-\varphi_L^-,[\calC_n]\right\rangle=n. \] Thus the source-adapted cyclic pairing recovers the Coulomb charge. We also formulate the non-abelian version in principal-bundle language. For a connected complex reductive group \(G\), a maximal torus \(T\subset G\), and a cocharacter \(\lambda:\C^*\to T\), the source is a principal \(G\)-bundle modification of type \(\lambda\) along \(Q\).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reinterprets the Penrose-Sparling non-Hausdorff twistor space of the anti-self-dual Coulomb field via an explicit étale gluing groupoid and its convolution algebra A_Q. It computes two Chern-Connes pairings: the strict tangent-module pairing vanishes by the identity ch_3(T^{1,0}CP^3) + ch_3(T^{0,1}CP^3) = 0, while a relative cyclic cocycle ϕ_L^+ - ϕ_L^- supported on the two non-separated copies of a ruling line L pairs with the K_0-class [C_n] of the Coulomb line bundle to yield Q(C_n) = 1/2 ⟨ϕ_L^+ - ϕ_L^-, [C_n]⟩ = n. A non-abelian generalization for principal G-bundles of type λ is also formulated.
Significance. If the groupoid model and cocycle are rigorously established, the work supplies a noncommutative-geometric realization of the Coulomb charge that distinguishes source-adapted pairings from the vanishing tangent-module pairing. The explicit étale gluing construction and the recovery of the integer n constitute concrete strengths; the non-abelian formulation extends the scope beyond the abelian case.
major comments (2)
- [Abstract and § on the étale gluing groupoid] The central claim that the source-adapted pairing recovers the integer charge n rests on the relative cyclic cocycle ϕ_L^+ - ϕ_L^- being well-defined on the convolution algebra A_Q, vanishing on the identified open set, and normalized so that the Connes pairing with [C_n] equals n exactly. The manuscript must supply the explicit formula for ϕ_L in terms of groupoid elements (or the corresponding cyclic cocycle on A_Q) together with a direct verification that the difference is independent of representative and yields the factor 1/2 without auxiliary choices.
- [K_0-class of the Coulomb line bundle] The K_0-class [C_n] is asserted to be well-defined in K_0(A_Q); the manuscript should exhibit the explicit idempotent (or projection) representing this class in the groupoid algebra and confirm that its pairing with the relative cocycle is insensitive to the choice of representative within the equivalence class.
minor comments (2)
- Notation for the two non-separated copies of the ruling line (L^+ and L^-) should be introduced once and used consistently when defining the difference cocycle.
- The vanishing identity ch_3(T^{1,0}CP^3) + ch_3(T^{0,1}CP^3) = 0 is invoked as standard; a brief reference or one-line derivation in the text would aid readers unfamiliar with the Chern character computation on CP^3.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below. Where the referee correctly identifies the need for additional explicit constructions and verifications, we will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract and § on the étale gluing groupoid] The central claim that the source-adapted pairing recovers the integer charge n rests on the relative cyclic cocycle ϕ_L^+ - ϕ_L^- being well-defined on the convolution algebra A_Q, vanishing on the identified open set, and normalized so that the Connes pairing with [C_n] equals n exactly. The manuscript must supply the explicit formula for ϕ_L in terms of groupoid elements (or the corresponding cyclic cocycle on A_Q) together with a direct verification that the difference is independent of representative and yields the factor 1/2 without auxiliary choices.
Authors: We agree that the explicit formula for the relative cyclic cocycle ϕ_L^+ - ϕ_L^- must be stated directly in terms of the groupoid elements of the étale gluing groupoid. In the revised manuscript we will add the precise definition of ϕ_L as the cyclic cocycle on A_Q given by the difference of the two copies of the integration functional supported on the non-separated ruling lines, together with the verification that this difference vanishes on the identified open set, is independent of the choice of representative in the groupoid, and produces the factor 1/2 in the pairing without further normalization choices. revision: yes
-
Referee: [K_0-class of the Coulomb line bundle] The K_0-class [C_n] is asserted to be well-defined in K_0(A_Q); the manuscript should exhibit the explicit idempotent (or projection) representing this class in the groupoid algebra and confirm that its pairing with the relative cocycle is insensitive to the choice of representative within the equivalence class.
Authors: We accept that an explicit idempotent representing the class [C_n] in K_0(A_Q) should be displayed. In the revision we will construct the concrete projection in the convolution algebra A_Q arising from the Coulomb line bundle data on the étale groupoid and verify directly that the pairing with ϕ_L^+ - ϕ_L^- depends only on the K_0-class and is unchanged under stable equivalence of idempotents. revision: yes
Circularity Check
Relative cyclic cocycle defined on non-separated copies yields input charge n by construction
specific steps
-
self definitional
[Abstract (equation for Q(C_n))]
"the relative cyclic cocycle supported on the two non-separated copies of a ruling line L⊂Q gives Q(C_n)=1/2⟨ϕ_L^+−ϕ_L^−,[C_n]⟩=n. Thus the source-adapted cyclic pairing recovers the Coulomb charge."
The cocycle ϕ_L^+−ϕ_L^- is introduced as supported exactly on the non-separated copies inside the convolution algebra A_Q of the etale groupoid; the pairing is then asserted to equal the integer n that defines the Coulomb line bundle C_n. The equality therefore holds by the support and normalization chosen for the cocycle within the model rather than by an independent derivation.
full rationale
The paper builds an etale gluing groupoid model for the Penrose-Sparling space and introduces a relative cyclic cocycle supported precisely on the two non-separated copies of L. It then states that the Connes pairing of this cocycle difference with the K_0 class of C_n equals n. No external benchmark, independent computation, or falsifiable check outside the model's own definitions is supplied; the equality is presented as recovering the charge that was used to label the bundle. This matches the pattern of a prediction that reduces to the input by the way the cocycle is supported and normalized inside the chosen algebra.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of Chern characters and Connes pairings in K-theory
- domain assumption The non-Hausdorff space admits an etale gluing groupoid whose convolution algebra is suitable for cyclic cohomology
invented entities (2)
-
etale gluing groupoid A_Q
no independent evidence
-
relative cyclic cocycle phi_L supported on non-separated ruling lines
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Adamo, T., Bogna, G., Mason, L., and Sharma, A., Gluon scattering on the self-dual dyon, Lett. Math. Phys.115(2025), article no. 18
2025
-
[2]
F., Drinfeld, V
Atiyah, M. F., Drinfeld, V. G., Hitchin, N. J., and Manin, Yu. I., Construction of instantons, Phys. Lett. A65(1978), no. 3, 185–187
1978
-
[3]
J., Twistor theory at fifty: from contour integrals to twistor strings,Proc
Atiyah, M., Dunajski, M., and Mason, L. J., Twistor theory at fifty: from contour integrals to twistor strings,Proc. Roy. Soc. A473(2017), 20170530
2017
-
[4]
F., Hitchin, N
Atiyah, M. F., Hitchin, N. J., and Singer, I. M., Self-duality in four-dimensional Riemannian geometry,Proc. Roy. Soc. Lond. A362(1978), 425–461
1978
-
[5]
F.,K-Theory, W
Atiyah, M. F.,K-Theory, W. A. Benjamin, New York, 1967
1967
-
[6]
F., and Ward, R
Atiyah, M. F., and Ward, R. S., Instantons and algebraic geometry,Commun. Math. Phys. 55(1977), no. 2, 117–124
1977
-
[7]
N., Twistors and fields with sources on world-lines,Proc
Bailey, T. N., Twistors and fields with sources on world-lines,Proc. Roy. Soc. Lond. A397 (1985), 143–155. 19
1985
-
[8]
N., and Singer, M
Bailey, T. N., and Singer, M. A., On the twistor description of sourced fields,Proc. Roy. Soc. Lond. A422(1989), 367–385
1989
-
[9]
J., and Eastwood, M
Baston, R. J., and Eastwood, M. G.,The Penrose Transform: Its Interaction with Repre- sentation Theory, Oxford Mathematical Monographs, Oxford University Press, 1989
1989
-
[10]
Beauville, A., and Laszlo, Y., Un lemme de descente,C. R. Acad. Sci. Paris Sér. I Math. 320(1995), no. 3, 335–340
1995
-
[11]
5, Cambridge University Press, 1998
Blackadar, B.,K-Theory for Operator Algebras, second edition, Mathematical Sciences Re- search Institute Publications, Vol. 5, Cambridge University Press, 1998
1998
-
[12]
W.,Differential Forms in Algebraic Topology, Graduate Texts in Mathematics, Vol
Bott, R., and Tu, L. W.,Differential Forms in Algebraic Topology, Graduate Texts in Mathematics, Vol. 82, Springer, 1982
1982
-
[13]
Connes, A.,C ∗-algèbres et géométrie différentielle,C. R. Acad. Sci. Paris Ser. A-B290 (1980), A599–A604
1980
-
[14]
Math.39(1981), 31–55
Connes, A., An analogue of the Thom isomorphism for crossed products of aC∗-algebra by an action ofR,Adv. Math.39(1981), 31–55
1981
-
[15]
Connes, A., A survey of foliations and operator algebras,Proc. Sympos. Pure Math.38 (1982), 521–628
1982
-
[16]
Hautes Etudes Sci
Connes, A., Noncommutative differential geometry,Inst. Hautes Etudes Sci. Publ. Math.62 (1985), 41–144
1985
-
[17]
123, Longman, Harlow, 1986, pp
Connes, A., Cyclic cohomology and the transverse fundamental class of a foliation, inGeo- metric Methods in Operator Algebras(Kyoto, 1983), PitmanResearchNotesinMathematics, Vol. 123, Longman, Harlow, 1986, pp. 52–144
1983
-
[18]
Connes, A.,Noncommutative Geometry, Academic Press, San Diego, 1994
1994
-
[19]
Connes, A., and Moscovici, H., The local index formula in noncommutative geometry,Geom. Funct. Anal.5(1995), 174–243
1995
-
[20]
Connes, A., and Skandalis, G., The longitudinal index theorem for foliations,Publ. Res. Inst. Math. Sci.20(1984), 1139–1183
1984
-
[21]
Crainic, M., Cyclic cohomology of étale groupoids: the general case,K-Theory17(1999), 319–362
1999
-
[22]
Reine Angew
Crainic, M., and Moerdijk, I., A homology theory for étale groupoids,J. Reine Angew. Math.521(2000), 25–46
2000
-
[23]
Math.2(1997), 139–182
Cuntz, J., BivariantK-theory for locally convex algebras and the Chern–Connes character, Doc. Math.2(1997), 139–182
1997
-
[24]
Cuntz, J., and Quillen, D., Cyclic homology and nonsingularity,J. Amer. Math. Soc.8 (1995), 373–442
1995
-
[25]
Cuntz, J., and Quillen, D., Excision in bivariant periodic cyclic cohomology,Invent. Math. 127(1997), 67–98. 20
1997
-
[26]
R.,C ∗-Algebras by Example, Fields Institute Monographs, Vol
Davidson, K. R.,C ∗-Algebras by Example, Fields Institute Monographs, Vol. 6, American Mathematical Society, 1996
1996
-
[27]
G., Penrose, R., and Wells, R
Eastwood, M. G., Penrose, R., and Wells, R. O., Jr., Cohomology and massless fields, Comm. Math. Phys.78(1981), 305–351
1981
-
[28]
2, Springer, 1998
Fulton, W.,Intersection Theory, second edition, Ergebnisse der Mathematik und ihrer Gren- zgebiete, Vol. 2, Springer, 1998
1998
-
[29]
M., Scattering off of twistorial line defects,J
Garner, N., and Paquette, N. M., Scattering off of twistorial line defects,J. High Energy Phys.2025, no. 5, article no. 228
2025
-
[30]
I., Gauge theories and magnetic charge,Nucl
Goddard, P., Nuyts, J., and Olive, D. I., Gauge theories and magnetic charge,Nucl. Phys. B125(1977), 1–28
1977
-
[31]
Griffiths, P., and Harris, J.,Principles of Algebraic Geometry, Wiley, 1978
1978
-
[32]
52, Springer, 1977
Hartshorne, R.,Algebraic Geometry, Graduate Texts in Mathematics, Vol. 52, Springer, 1977
1977
-
[33]
P., and Mason, L
Hughston, L. P., and Mason, L. J. (eds.),Further Advances in Twistor Theory. Volume I: The Penrose Transform and its Applications, Pitman Research Notes in Mathematics Series, Vol. 231, Longman, Harlow, 1990
1990
-
[34]
Number Theory Phys.1(2007), 1–236
Kapustin, A., and Witten, E., Electric-magnetic duality and the geometric Langlands pro- gram,Commun. Number Theory Phys.1(2007), 1–236
2007
-
[35]
Khalkhali, M.,Basic Noncommutative Geometry, EMS Series of Lectures in Mathematics, European Mathematical Society, 2009
2009
-
[36]
301, Springer, 1998
Loday, J.-L.,Cyclic Homology, second edition, Grundlehren der mathematischen Wis- senschaften, Vol. 301, Springer, 1998
1998
-
[37]
Marcolli, M., and Penrose, R., Gluing noncommutative twistor spaces, arXiv:2012.02823
arXiv 2012
-
[38]
J., and Woodhouse, N
Mason, L. J., and Woodhouse, N. M. J.,Integrability, Self-Duality, and Twistor Theory, London Mathematical Society Monographs, New Series, Vol. 15, Oxford University Press, 1996
1996
-
[39]
W., and Stasheff, J
Milnor, J. W., and Stasheff, J. D.,Characteristic Classes, Annals of Mathematics Studies, Vol. 76, Princeton University Press, 1974
1974
-
[40]
Mirković, I., and Vilonen, K., Geometric Langlands duality and representations of algebraic groups over commutative rings,Ann. of Math. (2)166(2007), no. 1, 95–143
2007
-
[41]
1616, Springer, 1995
Moerdijk, I.,Classifying Spaces and Classifying Topoi, Lecture Notes in Mathematics, Vol. 1616, Springer, 1995
1995
-
[42]
91, Cambridge University Press, 2003
Moerdijk, I., and Mrčun, J.,Introduction to Foliations and Lie Groupoids, Cambridge Stud- ies in Advanced Mathematics, Vol. 91, Cambridge University Press, 2003
2003
-
[43]
S., Renault, J
Muhly, P. S., Renault, J. N., and Williams, D. P., Equivalence and isomorphism for groupoid C∗-algebras,J. Operator Theory17(1987), 3–22. 21
1987
-
[44]
Paterson, A. L. T.,Groupoids, Inverse Semigroups, and their Operator Algebras, Progress in Mathematics, Vol. 170, Birkhauser, 1999
1999
-
[45]
Penrose, R., Twistor algebra,J. Math. Phys.8(1967), 345–366
1967
-
[46]
Relativity Gravitation7 (1976), 31–52
Penrose, R., Nonlinear gravitons and curved twistor theory,Gen. Relativity Gravitation7 (1976), 31–52
1976
-
[47]
Penrose, R., and Rindler, W.,Spinors and Space-Time. Vol. 1: Two-Spinor Calculus and Relativistic Fields, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 1984
1984
-
[48]
Penrose, R., and Rindler, W.,Spinors and Space-Time. Vol. 2: Spinor and Twistor Methods in Space-Time Geometry, Cambridge Monographs on Mathematical Physics, Cambridge University Press, 1986
1986
-
[49]
Penrose, R., and Sparling, G. A. J., The anti-self-dual Coulomb field’s non-Hausdorff twistor space,Twistor Newsletter9(1979); reprinted in [33]
1979
-
[50]
Pressley, A., and Segal, G.,Loop Groups, Oxford Mathematical Monographs, Oxford Uni- versity Press, 1986
1986
-
[51]
P.,Morita Equivalence and Continuous-TraceC∗-Algebras, Mathematical Surveys and Monographs, Vol
Raeburn, I., and Williams, D. P.,Morita Equivalence and Continuous-TraceC∗-Algebras, Mathematical Surveys and Monographs, Vol. 60, American Mathematical Society, 1998
1998
-
[52]
793, Springer, 1980
Renault, J.,A Groupoid Approach toC∗-Algebras, Lecture Notes in Mathematics, Vol. 793, Springer, 1980
1980
-
[53]
Math.9(2004), 565–597
Tu, J.-L., Non-Hausdorff groupoids, proper actions andK-theory,Doc. Math.9(2004), 565–597
2004
-
[54]
S., On self-dual gauge fields,Phys
Ward, R. S., On self-dual gauge fields,Phys. Lett. A61(1977), 81–82
1977
-
[55]
S., Integrable and solvable systems, and relations among them,Philos
Ward, R. S., Integrable and solvable systems, and relations among them,Philos. Trans. R. Soc. Lond. A315(1985), 451–457
1985
-
[56]
S., and Wells, R
Ward, R. S., and Wells, R. O., Jr.,Twistor Geometry and Field Theory, Cambridge Mono- graphs on Mathematical Physics, Cambridge University Press, 1990
1990
-
[57]
P.,Crossed Products ofC∗-Algebras, Mathematical Surveys and Monographs, Vol
Williams, D. P.,Crossed Products ofC∗-Algebras, Mathematical Surveys and Monographs, Vol. 134, American Mathematical Society, 2007
2007
-
[58]
Witten, E., Perturbative gauge theory as a string theory in twistor space,Comm. Math. Phys.252(2004), 189–258
2004
-
[59]
Woodhouse, N. M. J., and Mason, L. J., The Geroch group and non-Hausdorff twistor spaces,Nonlinearity1(1988), 73–114
1988
-
[60]
Zhu, X., An introduction to affine Grassmannians and the geometric Satake equivalence, arXiv:1603.05593
-
[61]
P., A New Invariant forσ-Models,Commun
Zois, I. P., A New Invariant forσ-Models,Commun. Math. Phys.209(2000), 757–783. 22
2000
-
[62]
P.,The Godbillon–Vey class, invariants of manifolds and linearised M-Theory, arXiv:hep-th/0006169
Zois, I. P.,The Godbillon–Vey class, invariants of manifolds and linearised M-Theory, arXiv:hep-th/0006169
-
[63]
P.,18 Lectures on K-Theory, arXiv:1008.1346
Zois, I. P.,18 Lectures on K-Theory, arXiv:1008.1346
-
[64]
P., Towards Noncommutative Topological Quantum Field Theory: New invariants for 3-manifolds,J
Zois, I. P., Towards Noncommutative Topological Quantum Field Theory: New invariants for 3-manifolds,J. Phys.: Conf. Ser.738(2016), 012030. 23
2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.