Pith. sign in

REVIEW 4 major objections 4 minor 24 references

Corrections to Kerr-Newman black hole from Noncommutative Einstein-Maxwell equation

T0 review · 4 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A noncommutative time-angle twist gives the Kerr-Newman black hole four new metric components and a new vector potential component, all linear in the noncommutativity parameter.

desk verdict Plausible and honest, but the central claim is an unverified computation; worth referee time to check, not citable yet. read the letter →

arxiv 2502.03337 v2 pith:LKOW432A submitted 2025-02-05 gr-qc hep-thmath-phmath.MP

Filip Požar This is my paper · ORCID
classification gr-qchep-thmath-phmath.MP MSC 83C5783C6581T7583C22 PACS 04.70.-s11.10.Nx
keywords noncommutativegeometryDrinfeldtwistKerr-NewmanblackholeSeiberg-WittenmapEinstein-Maxwellequationsnonlinearelectrodynamicscorrections
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that making spacetime noncommutative along the time-angular direction $\partial_t\wedge\partial_\varphi$ deforms the Kerr-Newman black hole at first order in the noncommutativity parameter $a$. The noncommutative Einstein-Maxwell equations reduce to a nonlinear electrodynamics problem in which the energy-momentum tensor acquires terms cubic in the Faraday tensor. The paper presents a solution: the Kerr-Newman metric receives four new off-diagonal components $g_{t\theta}$, $g_{r\varphi}$, $g_{tr}$, and $g_{\varphi\theta}$, and the vector potential receives a new $A_\theta$ component, all proportional to $a$ and to an undetermined charge-like parameter $q$. If correct, this is a direct derivation of quantum-spacetime corrections to a rotating charged black hole geometry from the equations of motion, and the same solution is shared by every minimal noncommutative deformation of the Einstein-Hilbert-Maxwell action.

What carries the argument

The argument runs on the $\partial_t\wedge\partial_\varphi$ Drinfeld twist, an exponential of the antisymmetric product of two vector fields $\partial_t\wedge\partial_\varphi$, which deforms the Hopf algebra of spacetime vector fields and induces the Moyal-type star product (8). The Seiberg-Witten map (11), taken from the charged-scalar theory of [6], converts noncommutative gauge fields into ordinary ones and introduces the charge parameter $q$ into the effective action. The decisive step is the effective-metric construction (26)-(28): the author finds which perturbation $\hat h_{\mu\nu}$ of the Kerr-Newman metric would make the commutative Klein-Gordon operator equal the noncommutative scalar-field equation, then reuses that functional form as an ansatz for the gravitational back-reaction, with coefficients $C_i$ left free. Substitution into the Einstein-Maxwell equations forces $C_1=C_2=C_3=C_4=-2$.

What would settle it

Derive the Seiberg-Witten map for the pure noncommutative U(1) gauge theory without any charged scalar field, imposing only gauge covariance of $\hat A_\mu$; if the map contains no charge parameter $q$, then the action (15) is not the minimal NC Einstein-Maxwell action and the solution (31) is not its solution.

Watch

Extended reading notes

Core claim

The central claim is that the metric and vector potential (31), with the metric perturbation given by (28) multiplied by $-2$ and the potential given by the Seiberg-Witten expansion (25), solve the noncommutative Einstein-Maxwell equations (16) and (18) to first order in $a$. The ansatz is not guessed blindly: the metric corrections are taken from the effective metric that reproduces the noncommutative scalar-field equation in the Kerr-Newman background, and the four coefficients are then uniquely fixed to $-2$ by demanding that the full Einstein-Maxwell system be satisfied. The paper further claims that because $\partial_t$ and $\partial_\varphi$ are Killing vectors for all fields, this solution solves the equations of motion of every minimally noncommutative-deformed Einstein-Hilbert-Maxwell action, not just one particular ordering of star products.

Load-bearing premise

The pure gauge sector inherits the charge parameter $q$ from the charged-scalar Seiberg-Witten map; if the minimal noncommutative U(1) map for the purely electromagnetic theory is $q$-independent, the action (15) and the solution (31) do not belong to the minimal noncommutative Einstein-Maxwell theory.

Editorial extensions

If this is right

  • The Kerr-Newman black hole acquires the new metric components $g_{tr}$, $g_{t\theta}$, $g_{r\varphi}$, $g_{\varphi\theta}$ and the new potential component $A_\theta$, all of order $a$.
  • The Komar mass and angular momentum stay $M$ and $J$ to this order, so the noncommutative corrections do not change the conserved charges.
  • In the zero-rotation limit $J\to0$ the metric reduces (with the $-2$ factor) to the effective noncommutative Reissner-Nordström metric reported earlier.
  • Any minimally noncommutative-deformed Einstein-Hilbert-Maxwell action whose fields admit $\partial_t$ and $\partial_\varphi$ as Killing vectors has this same solution.
  • The parameter $q$ cannot be fixed within the theory; it is either a new coupling constant or a new kind of black hole hair.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If $q$ is genuine hair, the deformed Kerr-Newman family is parametrized by $(M,J,Q,q)$, and the new components would act as observational tracers of spacetime noncommutativity that standard hairs cannot mimic.
  • Because the solution is valid for any minimal star-product ordering, the result suggests that low-energy gravitational signatures of a twist along a Killing direction are ordering-independent, dampening one of the main ambiguities of the framework.
  • A natural test is to extend the expansion to order $a^2$: if the structure of the corrections persists, the effective-metric method may generalize to higher-order perturbations or to other stationary axisymmetric solutions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The manuscript constructs a noncommutative Einstein-Maxwell action by applying the ∂t∧∂φ Drinfeld twist and the Seiberg-Witten map to the Einstein-Hilbert-Maxwell action, derives the first-order equations of motion (16) and (18), and proposes a perturbative Kerr-Newman solution. The claimed solution (31) contains four off-diagonal metric corrections and an Aθ potential correction, all linear in the noncommutativity parameter a and in a free charge parameter q; the coefficients in the metric ansatz are asserted to be fixed to -2 by direct substitution. The paper further argues that this solution is shared by all minimally noncommutative deformations of the action, because the twisted products collapse to ordinary products on the ∂t,∂φ-symmetric field configuration space.

Significance. If established, the result would be notable: it would provide the first direct Kerr-Newman-type solution of a noncommutative Einstein-Maxwell system with explicit a-linear corrections, and it would give a concrete counterexample to the expectation that Killing-twist deformations leave gravitational solutions unchanged. The paper is transparent about the structure of its ansatz, and the explicit source terms (23) are a useful intermediate result. However, the central verification is missing, the status of the parameter q is unresolved, and the generality claim for all actions (13) is not proved. The significance is therefore conditional: the paper is a promising construction rather than an established result.

major comments (4)
  1. [§IV, Eqs. (29)-(31)] The central claim of the paper—that the ansatz (29) with C1=C2=C3=C4=-2 together with the potential (25) solves the noncommutative Einstein and Maxwell equations (16) and (18)—is asserted but not demonstrated. The text states that substitution 'uniquely imposes' the coefficients (30) and that the ansatz 'turns out to be functionally correct', but no residual equations, algebraic appendix, or computer code are provided. Footnote 19 indicates that the general computation is heavy and was performed with SymPy, yet no output is supplied. Given that a single misindexed contraction or sign error would change every correction in (31), the residual system must be available for independent checking. This is load-bearing because the physical result is exactly this solution.
  2. [§II, Eqs. (11), (12), (15)] The action (15) inherits the charge q from the Seiberg-Witten map (11) of the charged scalar-field model of reference [6]. The pure U(1) gauge sector of Einstein-Maxwell theory contains no matter charge, and the paper does not show that the minimal noncommutative deformation of this sector must contain q. If q is absent from the pure gauge Seiberg-Witten map, then the action (15), the stress tensor (17), the Maxwell equation (18), and the solution (31) are not those of the minimal noncommutative Einstein-Maxwell theory. The paper acknowledges that q cannot be determined within the theory, but that acknowledgement does not justify importing q from a scalar-field model; the author should either derive q from the pure gauge sector or present the theory as an explicit two-parameter family of deformations.
  3. [§II and §V] The universality claim that the solution (31) satisfies the equations of motion of every minimally deformed action (13) is not established. Equality of the actions on Killing-symmetric field configurations does not by itself imply equality of their Euler-Lagrange equations, because first variations off the symmetric locus can differ. The manuscript should either prove that stationarity of (15) on the symmetric subspace implies full stationarity of all actions (13), or explicitly weaken the claim to apply only to the chosen ordering (15). This matters because the final remarks present the universality of the solution as one of the main conclusions.
  4. [§IV, Eqs. (25), (28), (31)] The physical dimensions of the correction fields are never fixed. The paper states that q is necessary for the dimensional consistency of the Seiberg-Witten map (11), but it does not state the mass or length dimension of q, nor does it check the dimensions of Aθ in (25) and of hμν in (28) against the corresponding components of the Kerr-Newman fields. Since q is a free parameter and all corrections (31) are proportional to q, the normalization and physical meaning of the corrections are ambiguous until the dimension of q is specified and verified.
minor comments (4)
  1. [§IV, Eq. (31)] In the displayed metric matrix (31), the (φ,r) entry is written as '-2  \hat h_{rφ}(r,θ)' and is missing the factor a that appears in the symmetric (r,φ) entry; the matrix should be explicitly symmetric.
  2. [§III, Eq. (17)] The first term in the stress tensor is written as '1/4 g_{μν}F_{μν}F^{μν}', which has the free indices μν also contracted inside the term; this should be '1/4 g_{μν}F_{ρσ}F^{ρσ}' or an equivalent expression with distinct contracted indices.
  3. [Throughout] There are repeated typographical errors, including 'pertubatively' in the abstract and 'Kerr-Newmann' instead of 'Kerr-Newman' throughout the text; these should be corrected.
  4. [§IV, after Eq. (28)] The transition from the effective scalar-field metric (28) to the gravitational ansatz (29) is heuristic; a brief explanation of why a scalar-field effective metric is a natural seed for the coupled Einstein-Maxwell back-reaction would improve the readability and the physical justification of the ansatz.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Kerr-Newman correction is a proposed substitution whose coefficients are fixed by the equations of motion, not by construction or by self-citation.

full rationale

The paper's derivation chain is self-contained in the relevant sense. The noncommutative action (15) is obtained from the Drinfeld twist and the Seiberg-Witten map; the equations of motion (16) and (18) are then varied from that action. The solution (31) is presented as a perturbative ansatz: the potential (25) is the Seiberg-Witten expanded Kerr-Newman potential, and the metric correction (29) is taken from the effective metric (28) of reference [7] but with variable coefficients C_i. The claim is that substituting this ansatz into the equations of motion uniquely fixes C_1 = C_2 = C_3 = C_4 = -2. This is a computational verification, not a definitional identity: the effective metric of [7] arises from a scalar-field equation (26), while the target equations (16) and (18) are the Einstein and Maxwell equations of a different action, so the coefficients -2 are not built into the ansatz. The only unshown step is the actual substitution, which is a gap in evidence but not circularity. The parameter q is imported from the scalar-field Seiberg-Witten map and acknowledged as undetermined; it is a free parameter, not a fitted input later relabeled as a prediction. Self-citations (refs. [2], [3], [17]) are peripheral and not load-bearing for the central claim, and the cited uniqueness or existence results from [6], [7], and [11] are used as sources for the framework and ansatz, not as circular justification of the final coefficients. Thus no step reduces to its own inputs by construction.

Assumptions & free parameters 2 free parameters · 4 assumptions · 1 invented entities

The central result rests on the unchecked reduction to action (15), the adoption of a q-dependent SW map, and an unverified algebraic substitution. The two free parameters (a, q) are both undetermined externally, and the solution family is therefore not predictive.

free parameters (2)
  • q = undetermined
    Charge parameter inherited from the SW map (11) of the charged scalar theory; the action (15) has no scalar field, so q is not fixed; the author says any q gives a solution and calls it possible new hair.
  • a = external
    Noncommutativity parameter defining the twist (4); the expansion parameter, not fitted but also not measured; assumed small and positive.
assumptions (4)
  • standard math Hopf algebra and Drinfeld twist framework
    Background formalism for deforming spacetime algebras; standard in NC geometry.
  • domain assumption Killing property (9): star product of functions annihilated by twist vector fields reduces to pointwise product
    Used to reduce all minimal NC actions to (15) for ∂t,∂φ-symmetric fields; requires that ∂t and ∂φ annihilate the fields.
  • ad hoc to paper Seiberg-Witten map (11) with charge q describes the NC U(1) gauge sector of pure Einstein-Maxwell theory
    Borrowed from the charged scalar theory [6]; no derivation or criterion for pure EM; q is undetermined.
  • ad hoc to paper The ansatz (29) with coefficients fixed to -2 solves the equations of motion
    Stated without supporting computation; footnote 19 indicates only the general computation, not this verification.
invented entities (1)
  • q as possible noncommutative black hole hair
    purpose: Interprets the free parameter in the solution family
    The author speculates q could be a new hair or coupling constant; no independent observable is predicted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Corrections to Kerr-Newman black hole from Noncommutative Einstein-Maxwell equation." pith.science (2026). https://pith.science/paper/LKOW432A

@misc{pith2026250203337,
  author       = {Pith},
  title        = {Pith review of: Corrections to Kerr-Newman black hole from Noncommutative Einstein-Maxwell equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LKOW432A}},
  note         = {Machine review of arXiv:2502.03337}
}
abstract

In this letter we introduce the noncommutative geometry into the standard Einstein-Hilbert-Maxwell action via the $\partial_t\wedge\partial_\varphi$ Drinfeld twist and solve the equation of motion pertubatively in the expansion of the noncommutative parameter $a$. The equation of motion, the NC Einstein-Maxwell equation, turns out to be effectively a problem in nonlinear electrodynamics where the energy-momentum tensor $T_{\mu\nu}$ obtains correction terms with three Faraday tensors $F_{\mu\nu}$. A solution with nonzero $a^1$ terms turns out to be the Kerr-Newman black hole modified with nonzero $g_{t\theta}, g_{r\varphi}, g_{tr}$ and $g_{\varphi\theta}$ components proportional to $a$, while the electromagnetic potential is the Seiberg-Witten expanded Kerr-Newman potential which introduces a nonzero $A_{\theta}$ term proportional to $a$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 15 canonical work pages

  1. [7]

    Dimitrijevi´ c´Ciri´ c, T

    M. Dimitrijevi´ c´Ciri´ c, T. Juri´ c, N. Konjik, A. Samsarov, and I. Smoli´ c, Symmetry17, 54 (2025), arXiv:2404.03755 [hep-th]

    arXiv 2025

  2. [6]

    M. D. ´Ciri´ c, N. Konjik, and A. Samsarov, Class. Quant. Grav. 35, 175005 (2018), arXiv:1708.04066 [hep-th]

    arXiv 2018

  3. [1]

    K. S. Gupta, T. Juri´ c, A. Samsarov, and I. Smoli´ c, JHEP 02, 060, arXiv:2209.07168 [hep-th]

    arXiv

  4. [2]

    Juri´ c and F

    T. Juri´ c and F. Poˇ zar, Symmetry 15, 417 (2023), arXiv:2212.06496 [hep-th]

    arXiv 2023

  5. [3]

    Entropy of black holes, charged probes and noncommutative generalization

    A. Hrelja, T. Juri´ c, and F. Poˇ zar, (2024), arXiv:2407.13233

    work page Pith review arXiv 2024

  6. [4]

    Herceg, T

    N. Herceg, T. Juri´ c, A. Samsarov, and I. Smoli´ c, JHEP 06, 130, arXiv:2310.06038 [hep-th]. 7

    arXiv

  7. [5]

    Y. Zhao, Y. Cai, S. Das, G. Lambiase, E. N. Saridakis, and E. C. Vagenas, Nucl. Phys. B 1004, 116545 (2024), arXiv:2301.09147 [gr-qc]

    arXiv 2024

  8. [8]

    Gauge theory on $\rho$-Minkowski space-time

    V. Maris and J.-C. Wallet, JHEP 07, 119, arXiv:2401.18004 [hep-th]

    work page Pith review arXiv

Show all 24 references
  1. [9]

    Mignemi and A

    S. Mignemi and A. Samsarov, Phys. Lett. B 779, 244 (2018), arXiv:1712.05605 [hep-th]

    2018 arXiv

  2. [10]

    Juri´ c, T

    T. Juri´ c, T. Poulain, and J.-C. Wallet, Phys. Rev. D99, 045004 (2019), arXiv:1805.09027 [hep-th]

    2019 arXiv

  3. [11]

    Aschieri and L

    P. Aschieri and L. Castellani, J. Geom. Phys. 60, 375 (2010), arXiv:0906.2774 [hep-th]

    2010 arXiv

  4. [12]

    Seiberg and E

    N. Seiberg and E. Witten, JHEP 09, 032, arXiv:hep- th/9908142

  5. [13]

    Which satisfies the technical cocycle and normalization conditions

  6. [14]

    are all algebras

    All of the relevant geometric modules on which the vector field Hopf algebra naturally acts can be seen as algebras - e.g., the pointwise algebra of functions on the manifold C ∞(M, C), the tensor algebra T , etc. are all algebras

  7. [15]

    Where a1 · a2 can be understood as a tensor product map · : A ⊗ A → A with ·(a1 ⊗ a2) = a1 · a2

  8. [16]

    For example,aR2 or almost anything else

    One can imagine also adding some fundamentally new terms to the Einstein-Hilbert-Maxwell action propor- tional to the NC parametera. For example,aR2 or almost anything else. Such actions would also revert back to the standard action in the commutative limit. But, in this pa- p...

  9. [17]

    But, it is still possible to find a solution to the equations of motion of the action (13)

    where infinitely many noncommutative generaliza- tions of geometric quantities, e.g, the NC metric, curva- ture scalars etc., have the correct commutative limits, but it is impossible to prefer any one choice over the others. But, it is still possible to find a solution to the...

    2020

  10. [18]

    Juri´ c, A

    T. Juri´ c, A. N. Kumara, and F. Poˇ zar, (2025), arXiv:2503.08560

    2025 arXiv

  11. [19]

    That is not the case for Kerr-Newmann pertur- bations and there remain nonzero a1 terms which are not solved with the purely commutative solution

    Unless some accidental cancellation of seemingly unre- lated terms in (16) and (18) happens which would keep the equations of motion robust to noncommutative cor- rections. That is not the case for Kerr-Newmann pertur- bations and there remain nonzero a1 terms which are not so...

  12. [20]

    Calculating the system of equations for the ansatz (24) took two hours on a modern PC using the open source Sympy library

  13. [21]

    As discussed in (14), a very big space of NC Lagrangians is compatible with this framework

    In other words, the solution (31) is valid for any action which is obtained from the Einstein-Hilbert Maxwell ac- tion by introducing the NC geometry and NC gauge the- ory as outlined in earlies Sections. As discussed in (14), a very big space of NC Lagrangians is compatible w...

  14. [22]

    On the other hand, it also seems plausible that the same q applies to all modifications of commutative solutions, which is already the case for the parameter a

    It is not unreasonable to imagine that two NC Kerr- Newman solutions could model physical reality with the same commutative hairs M, J, Qbut with a different q. On the other hand, it also seems plausible that the same q applies to all modifications of commutative solutions, wh...

  15. [23]

    The NC Einstein-Maxwell problem in that case is the same as the commutative one

    In the limit J → 0 the electromagnetic potential is sim- ple enough that it does not introduce any a1 terms to the Einstein equation or the Maxwell equation. The NC Einstein-Maxwell problem in that case is the same as the commutative one

  16. [24]

    Ohl and A

    T. Ohl and A. Schenkel, JHEP 10, 052, arXiv:0906.2730 [hep-th]

    arXiv

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.