pith. sign in

arxiv: 2606.04054 · v1 · pith:EGJDAC4Fnew · submitted 2026-06-02 · 🧮 math.DG · hep-th· math-ph· math.MP· math.RT

Cyclic source pairings for Penrose--Sparling non-Hausdorff twistor spaces

Pith reviewed 2026-06-28 08:37 UTC · model grok-4.3

classification 🧮 math.DG hep-thmath-phmath.MPmath.RT
keywords noncommutative geometrytwistor spacescyclic cohomologyCoulomb chargeetale groupoidsChern-Connes pairingsnon-Hausdorff spacesK-theory
0
0 comments X

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.

The paper reinterprets 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. While the strict tangent-module Chern-Connes pairing vanishes because the sum of the third Chern characters of the holomorphic and anti-holomorphic tangent bundles is zero, the relative cyclic cocycle supported on the two non-separated copies of a ruling line pairs with the K0 class of the Coulomb line bundle to give the value n. Thus the source-adapted cyclic pairing recovers the Coulomb charge.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

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.

Referee Report

2 major / 2 minor

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)
  1. [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.
  2. [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)
  1. 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.
  2. 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

2 responses · 0 unresolved

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
  1. 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

  2. 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

1 steps flagged

Relative cyclic cocycle defined on non-separated copies yields input charge n by construction

specific steps
  1. 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

0 free parameters · 2 axioms · 2 invented entities

The central claim rests on standard tools of noncommutative geometry and K-theory together with the new groupoid construction. No numerical free parameters appear. The model introduces the groupoid and cocycle as the key invented structures.

axioms (2)
  • standard math Standard properties of Chern characters and Connes pairings in K-theory
    Invoked to obtain the vanishing of the tangent-bundle pairing and the definition of the charge pairing.
  • domain assumption The non-Hausdorff space admits an etale gluing groupoid whose convolution algebra is suitable for cyclic cohomology
    This is the modeling premise that enables all subsequent pairings.
invented entities (2)
  • etale gluing groupoid A_Q no independent evidence
    purpose: To algebraically capture the identified open set and the two non-separated copies of the quadric
    Introduced as the central modeling device; no independent existence proof outside the construction.
  • relative cyclic cocycle phi_L supported on non-separated ruling lines no independent evidence
    purpose: To produce the pairing that equals the Coulomb charge
    Defined relative to the two copies of L; no external falsifiable prediction given.

pith-pipeline@v0.9.1-grok · 5819 in / 1614 out tokens · 31184 ms · 2026-06-28T08:37:08.232250+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

64 extracted references · 3 linked inside Pith

  1. [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

  2. [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

  3. [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

  4. [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

  5. [5]

    F.,K-Theory, W

    Atiyah, M. F.,K-Theory, W. A. Benjamin, New York, 1967

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [13]

    Connes, A.,C ∗-algèbres et géométrie différentielle,C. R. Acad. Sci. Paris Ser. A-B290 (1980), A599–A604

  14. [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

  15. [15]

    Connes, A., A survey of foliations and operator algebras,Proc. Sympos. Pure Math.38 (1982), 521–628

  16. [16]

    Hautes Etudes Sci

    Connes, A., Noncommutative differential geometry,Inst. Hautes Etudes Sci. Publ. Math.62 (1985), 41–144

  17. [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

  18. [18]

    Connes, A.,Noncommutative Geometry, Academic Press, San Diego, 1994

  19. [19]

    Connes, A., and Moscovici, H., The local index formula in noncommutative geometry,Geom. Funct. Anal.5(1995), 174–243

  20. [20]

    Connes, A., and Skandalis, G., The longitudinal index theorem for foliations,Publ. Res. Inst. Math. Sci.20(1984), 1139–1183

  21. [21]

    Crainic, M., Cyclic cohomology of étale groupoids: the general case,K-Theory17(1999), 319–362

  22. [22]

    Reine Angew

    Crainic, M., and Moerdijk, I., A homology theory for étale groupoids,J. Reine Angew. Math.521(2000), 25–46

  23. [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

  24. [24]

    Cuntz, J., and Quillen, D., Cyclic homology and nonsingularity,J. Amer. Math. Soc.8 (1995), 373–442

  25. [25]

    Cuntz, J., and Quillen, D., Excision in bivariant periodic cyclic cohomology,Invent. Math. 127(1997), 67–98. 20

  26. [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

  27. [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

  28. [28]

    2, Springer, 1998

    Fulton, W.,Intersection Theory, second edition, Ergebnisse der Mathematik und ihrer Gren- zgebiete, Vol. 2, Springer, 1998

  29. [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

  30. [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

  31. [31]

    Griffiths, P., and Harris, J.,Principles of Algebraic Geometry, Wiley, 1978

  32. [32]

    52, Springer, 1977

    Hartshorne, R.,Algebraic Geometry, Graduate Texts in Mathematics, Vol. 52, Springer, 1977

  33. [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

  34. [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

  35. [35]

    Khalkhali, M.,Basic Noncommutative Geometry, EMS Series of Lectures in Mathematics, European Mathematical Society, 2009

  36. [36]

    301, Springer, 1998

    Loday, J.-L.,Cyclic Homology, second edition, Grundlehren der mathematischen Wis- senschaften, Vol. 301, Springer, 1998

  37. [37]

    Marcolli, M., and Penrose, R., Gluing noncommutative twistor spaces, arXiv:2012.02823

  38. [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

  39. [39]

    W., and Stasheff, J

    Milnor, J. W., and Stasheff, J. D.,Characteristic Classes, Annals of Mathematics Studies, Vol. 76, Princeton University Press, 1974

  40. [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

  41. [41]

    1616, Springer, 1995

    Moerdijk, I.,Classifying Spaces and Classifying Topoi, Lecture Notes in Mathematics, Vol. 1616, Springer, 1995

  42. [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

  43. [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

  44. [44]

    Paterson, A. L. T.,Groupoids, Inverse Semigroups, and their Operator Algebras, Progress in Mathematics, Vol. 170, Birkhauser, 1999

  45. [45]

    Penrose, R., Twistor algebra,J. Math. Phys.8(1967), 345–366

  46. [46]

    Relativity Gravitation7 (1976), 31–52

    Penrose, R., Nonlinear gravitons and curved twistor theory,Gen. Relativity Gravitation7 (1976), 31–52

  47. [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

  48. [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

  49. [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]

  50. [50]

    Pressley, A., and Segal, G.,Loop Groups, Oxford Mathematical Monographs, Oxford Uni- versity Press, 1986

  51. [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

  52. [52]

    793, Springer, 1980

    Renault, J.,A Groupoid Approach toC∗-Algebras, Lecture Notes in Mathematics, Vol. 793, Springer, 1980

  53. [53]

    Math.9(2004), 565–597

    Tu, J.-L., Non-Hausdorff groupoids, proper actions andK-theory,Doc. Math.9(2004), 565–597

  54. [54]

    S., On self-dual gauge fields,Phys

    Ward, R. S., On self-dual gauge fields,Phys. Lett. A61(1977), 81–82

  55. [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

  56. [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

  57. [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

  58. [58]

    Witten, E., Perturbative gauge theory as a string theory in twistor space,Comm. Math. Phys.252(2004), 189–258

  59. [59]

    Woodhouse, N. M. J., and Mason, L. J., The Geroch group and non-Hausdorff twistor spaces,Nonlinearity1(1988), 73–114

  60. [60]

    Zhu, X., An introduction to affine Grassmannians and the geometric Satake equivalence, arXiv:1603.05593

  61. [61]

    P., A New Invariant forσ-Models,Commun

    Zois, I. P., A New Invariant forσ-Models,Commun. Math. Phys.209(2000), 757–783. 22

  62. [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. [63]

    P.,18 Lectures on K-Theory, arXiv:1008.1346

    Zois, I. P.,18 Lectures on K-Theory, arXiv:1008.1346

  64. [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