{"id":"7ccc008e-715f-42f8-8317-6fb1d5529453","arxiv_id":"2511.15106","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Covariant conditions are derived for a regular near-horizon limit with torsion, and a new Kerr-AdS black hole with torsion is constructed that satisfies them.","lead":"The paper derives covariant conditions for an extremal black hole with torsion to have a well-defined near-horizon geometry, then builds a Kerr-AdS black hole with torsion that meets them. This matters because torsionful black holes in Poincaré gauge theory usually fail this limit, which blocks entropy calculations for extremal cases.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The black-hole solution claim rests on an unverified completeness of the double-duality reduction: §6 never substitutes ansatz (6.2)+(6.4) into the full PG equations (3.3).","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the existence of the black hole solution is asserted from double-duality sector constraints without substituting into the full PG field equations. This is exactly the condition that must be true for the central claim to hold. If the full equations are not satisfied, then the near-horizon solution may survive as a solution of a reduced sector, but the claimed lift to a black hole solution in §6 collapses. The paper's explicit §7 admission that the solution 'warrants a comprehensive analysis' reinforces that the verification is outstanding, not merely implicit. The explicit Ricci-scalar calculation and irreducible-component decomposition are useful and partially support the near-horizon construction, but they do not close the gap for the full field equations. Therefore the reader's CONDITIONAL verdict is appropriate; I do not propose moving it.","tokens_in":15475,"tokens_out":16032,"duration_ms":140760,"concrete_test":"Compute (3.3a,b) symbolically for the tetrad (3.7), torsion (6.2), Ψ(r,θ) from (6.4), and the parameter sector (6.11), keeping c(r) generic. Use xAct/GRG or Mathematica; evaluate all components of DH^i+E^i and DH^{ij}+E^{ij}. The solution claim holds iff all components vanish identically after using (6.11). If any residual contains c'(r), c(r), or Ψ terms not eliminated by (6.11), the ansatz is not a solution as stated. Repeat at r=r_+ with c(r)→c to confirm the claimed reduction to the near-horizon solution of §5.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that (6.2) with Ψ from (6.4) is an extremal Kerr-AdS black hole with regular near-horizon torsion. To establish existence, (3.3a,b) must be satisfied by the tetrad (3.7), torsion (6.2), and Lagrangian sector (6.11). Section 6 does not do this. It fixes Ψ by requiring constant full Ricci scalar R=12λ, computes the irreducible torsion/curvature components, and reads off parameter relations (6.11). But it never checks that the first field equation (4.8a) holds with the effective gravitational/cosmological constants, nor that the double-duality relation (4.7) is exactly satisfied by the computed curvature components—only that the coefficient relations (4.9) are compatible with the list of nonzero components. Since the double-duality reduction is a theorem that applies only if (4.7) holds, and since c(r) remains an arbitrary function, the passage from constraints to solution is incomplete. The authors' own §7 states the black hole solution 'warrants a comprehensive analysis' and is left for future studies. Thus 'We have now obtained a Kerr-AdS black hole...' is not yet backed by the calculations shown.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops covariant conditions for the existence of a regular near-horizon limit for extremal black holes with non-zero torsion in Poincaré gauge theory (PG). After showing that a known Kerr-AdS black hole with dynamical torsion fails these conditions, the authors construct a near-horizon solution for the NHEK-AdS metric using a symmetry ansatz for the torsion and the double-duality method. They solve the degenerate branch Ψ_3=Ψ_4=0, obtain a torsion function Ψ(θ), and derive the corresponding Lagrangian parameter sector. They then propose a black-hole ansatz with the same torsion structure, setting Ψ(r,θ) by requiring constant Ricci scalar, and claim to have obtained an extremal Kerr-AdS black hole with torsion that has a regular near-horizon limit. The paper also discusses the interpretation of the near-horizon conditions and outlines future work.","tokens_in":15862,"tokens_out":8563,"duration_ms":86264,"significance":"If the central existence claim is established, the paper would provide a concrete example of an extremal black hole with dynamical torsion having a well-defined near-horizon geometry, filling a gap identified in earlier PG entropy calculations. The covariant conditions for a regular near-horizon torsion limit, if correct, are a useful general result. The use of the double-duality method and the explicit construction are potentially valuable for further studies of extremal black holes in PG. However, the main claim rests on an incomplete verification: the black-hole ansatz is not shown to satisfy the full PG field equations, and the paper itself defers that analysis to future work. The paper also contains a likely typo in one of the central covariant conditions.","major_comments":[{"comment":"The central claim that Eq. (6.2) with Ψ(r,θ) given by Eq. (6.4) is a Kerr-AdS black hole solution of PG is not verified. The paper imposes constant Ricci scalar and then computes irreducible curvature/torsion components, from which the sector relations (6.11) are read off. However, it is never shown that the double-duality relation (4.7) holds with explicit ζ and χ, nor that the full field equations (3.3a,b) are satisfied. The authors themselves state in §7 that the black-hole solution 'warrants a comprehensive analysis' and leave it for future work. Without this verification, the statement 'We have now obtained a Kerr-AdS black hole...' is not supported by the calculations shown.","section":"§6, Eqs. (6.2)–(6.4), (6.11)"},{"comment":"The undetermined function c(r) in Ψ(r,θ) is left arbitrary. If the ansatz is a solution for every c(r), this is a large functional freedom that must be either fixed by boundary conditions, shown to be pure gauge, or explicitly verified against the field equations. If c(r) is not arbitrary, the condition that selects it is not given. The paper only notes that the 'actual solution of interest' may have c(r)=0, which is insufficient for the existence claim.","section":"§6, Eq. (6.4)"},{"comment":"The first covariant condition as typeset, T_{\\mu\\nu\\rho} k^\\mu k^\\nu = 0, is identically zero by the antisymmetry of the torsion tensor in μ,ν. The intended physical condition (e.g., vanishing of the torsion current along the horizon generators, as discussed in the text) is therefore misstated. Since these conditions are a primary result of the paper and are used to characterize regular near-horizon torsion, the correct covariant form must be provided and the conditions should be checked for the constructed solutions.","section":"§2.2, Eq. (2.8)"}],"minor_comments":[{"comment":"The claim that the near-horizon limit of torsion diverges for the Baekler et al. solution is argued heuristically via singular Lorentz transformations. A more explicit computation or a direct verification using the conditions (2.8) would be clearer.","section":"§3.1"},{"comment":"The text states that Ψ_3=0 implies Ψ_4=0 and vice versa, and only the degenerate branch is solved. This is a self-acknowledged limitation, but the non-degenerate branch deserves at least a comment on its physical relevance or intractability.","section":"§5"},{"comment":"The Ricci scalar is set to R=12λ, whereas for the standard Kerr-AdS metric one usually has R=-12λ (with λ=1/ℓ²). The sign convention should be clarified, since this affects the identification of the Lagrangian sector.","section":"Eqs. (5.6), (6.3)"},{"comment":"There are several typographical issues: 'neccessary' in §2.1, 'Cimmmento' in ref. [23], 'Kerr-Newmann' in ref. [24], and inconsistent notation for Ψ in Eqs. (5.8) and (6.4).","section":"Various"},{"comment":"The double-duality method is summarized concisely, but the derivation of the reduced field equations (4.8) is referenced rather than shown. A fuller explanation or a pointer to the exact equations in the cited literature would improve reproducibility.","section":"§4.1"}],"recommendation":"major_revision","confidential_remarks":"The reader's and skeptic's concerns are well-founded. The paper presents a plausible strategy and an explicit near-horizon solution, but the main black-hole existence claim is not proven in the manuscript. The authors are aware of this, as §7 defers the analysis. The recommended revision should require either (i) a full verification that the ansatz (6.2)+(6.4) satisfies the PG field equations, using the double-duality reduction or direct substitution, or (ii) a clearly worded downgrade of the claim to 'candidate solution' with the open problem stated. The typo in (2.8) also affects the general formalism and must be fixed. This is not a rejection: the near-horizon construction is valuable and the missing steps appear checkable, but the current text overstates what has been demonstrated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here are the two things to know. First, the covariant near-horizon conditions for torsion and the explicit NHEK-AdS torsion solution are real new results. Second, the \"new black hole solution\" in Section 6 is a candidate, not a proven solution: the paper gives the necessary double-duality sector conditions but never substitutes the ansatz back into the full field equations.\n\nThe paper has a genuinely useful core. It identifies a real pathology — most PG black holes with dynamical torsion have divergent near-horizon torsion — and gives covariant criteria for when that does not happen. The closed-form near-horizon solution (5.8) is nontrivial and the sector analysis is competent. The lift to the black hole ansatz is clever, and the limiting procedure by design reproduces the near-horizon solution. If you work on near-horizon entropy in PG, this is a solid step forward.\n\nThe soft spots are the same ones the reader flagged. Section 6 never checks (6.2) against the full equations (3.3a,b). It computes curvature components and writes down the sector (6.11), which are necessary conditions coming from the double-duality ansatz. For a reader who accepts the double-duality theorem, the gap is probably bridgeable: one can read off ζ and χ from (4.9) and confirm that (4.7) and (4.8) hold. But the paper does not show that chain, and it leaves an arbitrary function c(r) in the candidate. The authors' own Section 7 says the solution \"warrants a comprehensive analysis.\" That is honest, but it undercuts the claim in Section 6 that \"we have obtained\" a black hole solution.\n\nThere are also minor but real typesetting issues in the main covariant conditions (2.8) — at least one index contraction is clearly wrong. That needs fixing before the general criteria can be used with confidence. The match between the lifted Ψ(r,θ) and the near-horizon Ψ(θ) is built into the ansatz, so the \"demonstration\" in the abstract should be read as construction-by-design, not independent verification.\n\nBottom line: the near-horizon contribution deserves a serious referee and likely publication after revision. The black-hole part should be either verified or explicitly labeled a candidate. I would send it to peer review.","headline":"Near-horizon construction is a real advance; the black-hole solution is a candidate that needs either explicit verification or a softer claim.","tokens_in":16280,"tokens_out":11132,"would_cite":true,"duration_ms":105773,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83D05","83C47"],"pacs":["04.70.-s","04.50.Kd"],"model":"deepseek-v4-flash","headline":"Extremal Kerr-AdS black holes can carry non-trivial torsion with a smooth near-horizon limit, and this paper constructs the covariant conditions and a concrete solution.","keywords":["near-horizon limit","torsion","Kerr-AdS","extremal black hole","Poincaré gauge theory","double duality","NHEK-AdS","Riemann-Cartan geometry"],"falsifier":"Compute the full PG field equations (3.3) for the ansatz (6.2) with Ψ from (6.4) and verify that every independent component is identically satisfied; if any component fails, the claimed black hole solution does not exist. A simpler check is to confirm that the near-horizon limit of this black hole torsion reproduces (6.1) with c(r+) = 0.","tokens_in":15372,"feed_emoji":"🕳️","tokens_out":2827,"duration_ms":27444,"temperature":0.7,"pith_summary":"This paper tries to extend the standard near-horizon geometry construction from the metric alone to spacetimes with torsion. It derives covariant conditions that a torsion tensor must satisfy to have a regular near-horizon limit at a degenerate Killing horizon, and shows that the known Kerr-AdS solution with dynamical torsion fails these conditions—its torsion diverges in the extremal limit. The paper then uses the near-horizon symmetry SL(2,R)×U(1), together with the double-duality method in Poincaré gauge theory, to construct a non-trivial torsion field on the NHEK-AdS metric that satisfies the conditions. It further claims that this near-horizon torsion is the limit of a new Kerr-AdS black hole solution with torsion, given by an explicit ansatz. If correct, this opens a path to entropies of extremal black holes with torsion in a sector of Poincaré gauge theory.","feed_headline":"Black hole with torsion gets a regular near-horizon limit","feed_subtitle":"New sector of Poincaré gauge theory admits extremal Kerr-AdS without divergent torsion, enabling entropy studies.","key_machinery":"The key machinery consists of three elements: (i) Gaussian null coordinates and the near-horizon scaling (2.3), which expose which torsion components diverge and lead to the covariant conditions (2.8); (ii) the near-horizon symmetry ansatz for torsion, derived from the Killing vectors of NHEK-AdS, which reduces the eight independent torsion functions to functions of θ; and (iii) the double-duality method, which converts the full Poincaré gauge field equations into simpler Einstein-like equations plus algebraic constraints on irreducible curvature and torsion components. The double-duality constraints also fix the Lagrangian sector, leaving a tractable system of differential equations for the","core_discovery":"The central discovery is a set of covariant geometric conditions—equation (2.8)—that a torsion tensor must obey at a degenerate Killing horizon to admit a smooth near-horizon limit. These conditions restrict the induced torsion on the horizon cross-section and its transverse derivative. The paper then constructs an explicit, non-trivial torsion solution on the NHEK-AdS metric, using an ansatz that respects the full near-horizon symmetry and the double-duality method to reduce the field equations. Finally, it presents a stationary, axisymmetric Kerr-AdS black hole ansatz with torsion that reduces to this near-horizon solution in the extremal limit, thereby claiming the first known example of","pith_inferences":["The paper leaves unexplored the branches where Ψ3 and Ψ4 are both non-zero; these may yield further regular near-horizon torsions with different sectors.","If the black hole solution is confirmed, it would provide a testbed for Kerr/CFT-type entropy counting in theories with torsion, connecting classical near-horizon geometry to quantum gravity proposals.","The arbitrary function c(r) in (6.4) suggests a family of black holes with the same metric but different torsion; if c(r) is genuinely free, it would be an interesting degeneracy worth exploring.","The covariant conditions (2.8) might be reinterpreted as a form of extremality for torsion, analogous to the vanishing surface gravity for the metric, which could deepen the understanding of extremality in Riemann-Cartan geometry."],"forward_implications":["The covariant conditions (2.8) give a quick diagnostic to test any black hole solution with torsion for the existence of a smooth near-horizon limit.","A well-defined near-horizon geometry with non-trivial torsion is now available in Poincaré gauge theory, enabling entropy computations via the canonical near-horizon analysis.","The new black hole solution provides a concrete example where the near-horizon limit commutes with the lift: the limit of the black hole torsion reproduces the near-horizon torsion.","The sector restrictions (6.11) identify a specific subspace of Lagrangian parameters where the solution lives, distinct from the sector of the previously known Kerr-AdS solution with torsion.","The method can be applied to other extremal black hole solutions in PG theories to search for regular near-horizon limits with torsion."],"fun_headline_variants":["Covariant rules tame torsion at Kerr-AdS horizon","New Kerr-AdS black hole with torsion has smooth near-horizon limit","Torsion-compatible near-horizon geometry for extremal Kerr-AdS","New torsion solution for Kerr-AdS near-horizon geometry","Conditions found for regular near-horizon limit with torsion"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The ansatz (6.2) with Ψ(r,θ) from (6.4) is assumed to be an actual solution of the full Poincaré gauge field equations once the double-duality constraints (6.11) are imposed; the paper defers a comprehensive analysis of this solution.","fun_headline_variants_meta":{"raw":{"variants":["Covariant rules tame torsion at Kerr-AdS horizon","New Kerr-AdS black hole with torsion has smooth near-horizon limit","Torsion-compatible near-horizon geometry for extremal Kerr-AdS","New torsion solution for Kerr-AdS near-horizon geometry","Conditions found for regular near-horizon limit with torsion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000349,"raw_usage":{"total_tokens":1666,"prompt_tokens":588,"completion_tokens":1078,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":332,"completion_tokens_details":{"reasoning_tokens":997}},"tokens_in":332,"tokens_out":1078,"duration_ms":9632,"temperature":1.0,"reasoning_tokens":997,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T21:27:12.797925+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full PG field equations (3.3) for the ansatz (6.2) with Ψ from (6.4) and verify that every independent component is identically satisfied; if any component fails, the claimed black hole solution does not exist. A simpler check is to confirm that the near-horizon limit of this black hole torsion reproduces (6.1) with c(r+) = 0.","supporting_citations":[],"review_version":1}