{"id":"8a65fe0a-16b0-41f9-9e83-269cbec9b7ac","arxiv_id":"2512.22614","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"A natural continuous perfect pairing Br_1(X) × H_0(X,ℤ)_τ^∧ → ℚ/ℤ holds for proper geometrically integral varieties X over p-adic fields k.","lead":"The paper extends the Lichtenbaum-van Hamel duality to singular proper geometrically integral varieties over p-adic fields by establishing a natural continuous perfect pairing between the algebraic Brauer group Br_1(X) and the profinite completion of a truncated homology group. A smart generalist might read it to see how arithmetic duality tools apply beyond smooth varieties, which could affect computations of obstructions in number theory.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Definition of H_0(X,ℤ)_τ via Hom(τ_≤1 Rφ_* G_m,X, G_m,k) may fail to yield perfect pairing for singular X","rationale":"The reader's weakest assumption isolates exactly the definition of the truncated homology group; that is the single point at which the extension from the smooth case could break. The concrete test above directly checks whether the claimed duality survives for a concrete singular example, which would settle the concern without requiring the full manuscript.","tokens_in":1723,"tokens_out":448,"duration_ms":26177,"concrete_test":"Take the nodal cubic X : y²z = x³ + x²z ⊂ ℙ²_{ℚ_p}. Compute Br_1(X) by direct étale cohomology (expected to be finite of known order). Independently compute the complex τ_≤1 Rφ_* ℂ_m,X in the small étale site of k, evaluate the Hom into ℂ_m,k to obtain H_0(X,ℤ)_τ, take its profinite completion, and check whether the induced map Br_1(X) → Hom(H_0^∧, ℚ/ℤ) is an isomorphism of topological groups.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The claim asserts a natural continuous perfect pairing Br_1(X) × H_0(X,ℤ)_τ^∧ → ℚ/ℤ for proper geometrically integral (possibly singular) X/k. This requires that H_0(X,ℤ)_τ := Hom_{D(k_sm)}(τ_≤1 Rφ_* ℂ_m,X, ℂ_m,k) is well-defined and that its profinite completion is Pontryagin dual to Br_1(X). For singular X the derived pushforward Rφ_* ℂ_m,X carries higher cohomology sheaves supported on the singular locus; the truncation τ_≤1 may therefore omit or distort the precise H_0 term needed for duality. Properness and geometric integrality control the generic fiber but do not automatically cancel these contributions, so the perfectness of the pairing rests on an unverified property of the truncation in the singular case.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper extends the Lichtenbaum-van Hamel duality theorem to proper geometrically integral (possibly singular) varieties X over a p-adic field k. It proves the existence of a natural continuous perfect pairing Br_1(X) × H_0(X,ℤ)_τ^∧ → ℚ/ℤ, where Br_1(X) is the kernel of Br(X) → Br(X̄), and H_0(X,ℤ)_τ is defined as Hom_{D(k_sm)}(τ_≤1 Rφ_* ℂ_m,X, ℂ_m,k) with φ the structure morphism and (−)^∧ the profinite completion.","tokens_in":1921,"tokens_out":534,"duration_ms":17302,"significance":"If the central claim holds, the result is significant for arithmetic geometry: it removes the smoothness hypothesis from a key duality between algebraic Brauer groups and truncated homology over p-adics, thereby extending the range of varieties to which Lichtenbaum-type pairings apply. The construction is presented as natural and built from standard derived-category operations on the multiplicative sheaf.","major_comments":[{"comment":"§4 (proof of the perfect pairing): the argument that τ_≤1 Rφ_* ℂ_m,X yields a group whose profinite completion is Pontryagin dual to Br_1(X) must explicitly control the higher direct images R^i φ_* ℂ_m,X for i ≥ 2 that are supported on the singular locus; without a separate vanishing or exact-sequence argument showing these do not affect the Hom in degree 0, the perfectness claim for singular X remains unverified.","section":"§4"},{"comment":"Definition of H_0(X,ℤ)_τ (immediately after the statement of the main theorem): the truncation τ_≤1 is applied to Rφ_* ℂ_m,X, but the manuscript does not supply a computation or spectral-sequence argument confirming that the resulting Hom group coincides with the expected H_0 when X is singular; this step is load-bearing for the duality statement.","section":"Definition of H_0"}],"minor_comments":[{"comment":"The notation ℂ_m,X versus G_m,X is used interchangeably; adopt a single convention throughout.","section":"Notation"},{"comment":"Add a short comparison paragraph in the introduction recalling the precise statement of the original Lichtenbaum-van Hamel theorem for smooth X.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and the recommendation for major revision. The comments highlight places where the exposition on higher direct images and the truncation for singular varieties can be strengthened. We will revise the manuscript to include the requested explicit arguments while preserving the core claims.","responses":[{"response":"We agree that an explicit control of the higher direct images R^i φ_* ℂ_m,X (i ≥ 2) is necessary to confirm they do not affect the degree-0 Hom. The original argument implicitly uses that these sheaves are supported on the singular locus and vanish under the relevant Hom functor after truncation, but this was not stated as a separate lemma. In the revised manuscript we will insert a new lemma in §4 that provides a short exact sequence (or spectral-sequence fragment) isolating the contribution of the smooth locus and showing that the higher images contribute nothing to Hom_{D(k_sm)}(τ_≤1 Rφ_* ℂ_m,X, ℂ_m,k). This will make the perfectness claim fully rigorous for singular X.","revision_made":"yes","referee_comment":"[§4] §4 (proof of the perfect pairing): the argument that τ_≤1 Rφ_* ℂ_m,X yields a group whose profinite completion is Pontryagin dual to Br_1(X) must explicitly control the higher direct images R^i φ_* ℂ_m,X for i ≥ 2 that are supported on the singular locus; without a separate vanishing or exact-sequence argument showing these do not affect the Hom in degree 0, the perfectness claim for singular X remains unverified."},{"response":"We accept that a direct verification of the identification Hom_{D(k_sm)}(τ_≤1 Rφ_* ℂ_m,X, ℂ_m,k) ≃ H_0(X,ℤ) for singular X is required. The manuscript relies on the standard properties of the truncation functor and the fact that higher cohomology sheaves are supported on the singular locus, but no explicit spectral-sequence computation was included. We will add a short paragraph (or appendix computation) immediately after the definition that uses the Leray spectral sequence for the structure morphism and shows that the truncation indeed recovers the expected zeroth homology group even when X is singular. This will be incorporated in the revised version.","revision_made":"yes","referee_comment":"[Definition of H_0] Definition of H_0(X,ℤ)_τ (immediately after the statement of the main theorem): the truncation τ_≤1 is applied to Rφ_* ℂ_m,X, but the manuscript does not supply a computation or spectral-sequence argument confirming that the resulting Hom group coincides with the expected H_0 when X is singular; this step is load-bearing for the duality statement."}],"tokens_in":1420,"tokens_out":597,"duration_ms":15439,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper removes the smoothness assumption from the Lichtenbaum-van Hamel theorem and proves a natural continuous perfect pairing Br_1(X) × H_0(X,ℤ)_τ^∧ → ℚ/ℤ for proper geometrically integral X over a p-adic field k. H_0(X,ℤ)_τ is defined as Hom in the derived category from τ_≤1 Rφ_* ℂ_m,X to ℂ_m,k, with the profinite completion on the right side. This is the main new piece: a direct extension that keeps the same groups and pairing but drops the smooth hypothesis. The construction looks natural and builds on the existing definitions of Br_1 and the pushforward without adding free parameters or ad-hoc fixes. The abstract and setup are clean, and the claim is stated precisely enough that a specialist can see what needs to be checked. The potential soft spot is exactly the one in the stress-test note: for singular X the derived pushforward Rφ_* ℂ_m,X can have higher cohomology sheaves supported on the singular locus, and it is not automatic that truncating at degree 1 still produces the right H_0 term whose completion is dual to Br_1(X). Properness and geometric integrality control the generic fiber but do not obviously cancel those contributions. If the paper only sketches this or reduces to the smooth case without handling the singular locus explicitly, the perfectness claim would need more verification. The rest of the argument appears to follow standard lines from the smooth case. This is for readers already working with Brauer groups, duality, and p-adic arithmetic geometry. A referee who knows the smooth Lichtenbaum-van Hamel theorem can evaluate the extension in a few hours. It deserves peer review because the statement is concrete, the setup is formal, and the result organizes a natural next case even if the details require tightening.","headline":"The paper extends Lichtenbaum-van Hamel duality to singular proper geometrically integral varieties over p-adics by defining a truncated homology group via derived pushforward and claiming a natural perfect pairing with Br_1(X).","tokens_in":2375,"tokens_out":464,"would_cite":false,"duration_ms":15717,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Derived-category truncation Hom(τ≤1 Rφ_* G_m, G_m) for Brauer duality over p-adics shares no machinery with RS J-cost or φ-ladder forcing","alignment":"orthogonal","rationale":"Paper defines H_0(X,ℤ)_τ via Hom_{D(k_sm)}(τ≤1 Rφ_* G_m,X, G_m,k) and proves perfect pairing with Br_1(X) using 1-motives, generalized Cartier duality, and Tate local duality. RS framework (reality_from_one_distinction, AbsoluteFloorClosure, AlexanderDuality for D=3, Cost/FunctionalEquation washburn_uniqueness_aczel, ArithmeticFromLogic) forces J(x)=½(x+x^{-1})-1, φ, 8-tick periodicity and 3D from single distinction with zero physics input. No shared objects, no ratio-symmetric cost, no ladder spacings, no 8-period clock. Domain (étale cohomology of singular varieties) lies outside RS scope.","tokens_in":73854,"confidence":"high","tokens_out":227,"duration_ms":8174,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"There exists a natural continuous perfect pairing between the algebraic Brauer group Br_1(X) and the profinite completion of truncated homology H_0(X,ℤ)_τ for proper geometrically integral varieties over p-adic fields.","keywords":["Lichtenbaum duality","algebraic Brauer group","p-adic fields","truncated homology","singular varieties","perfect pairing","profinite completion"],"falsifier":"A specific proper geometrically integral singular variety over a p-adic field where the map induced by the pairing fails to be bijective or continuous after profinite completion would disprove the claim.","tokens_in":2608,"feed_emoji":"🔢","tokens_out":674,"duration_ms":53835,"temperature":0.7,"pith_summary":"The paper extends the van Hamel-Lichtenbaum duality theorem from smooth varieties to the singular case. It shows that for any proper geometrically integral variety X over a p-adic field k the algebraic Brauer group pairs perfectly and continuously with the profinite completion of a certain zeroth truncated homology group. The construction uses the structure morphism to define the homology via a Hom in the derived category of sheaves. A reader cares because the result removes the smoothness hypothesis that limited earlier versions of the duality, allowing the same arithmetic invariants to be compared on a wider class of varieties.","feed_headline":"Perfect pairing extends to singular varieties over p-adics","feed_subtitle":"Algebraic Brauer group pairs continuously with truncated homology after removing the smoothness requirement.","key_machinery":"The truncated homology group H_0(X,ℤ)_τ obtained as the Hom in the derived category from the truncation of the pushforward of the multiplicative group sheaf to the base multiplicative group, which supplies the homological side of the pairing.","core_discovery":"For a proper geometrically integral variety X over a p-adic field k there exists a natural continuous perfect pairing Br_1(X) × H_0(X,ℤ)_τ^∧ → ℚ/ℤ, where Br_1(X) is the kernel of Br(X) to Br of the geometric base change and H_0(X,ℤ)_τ is the group Hom_{D(k_sm)}(τ_≤1 Rφ_* 𝔾_{m,X}, 𝔾_{m,k}) with φ the structure morphism.","pith_inferences":["The result may simplify calculations of Brauer-Manin obstructions when the variety is singular.","One could test whether the same truncation construction yields duality after base change to finite extensions of the p-adic field.","Combining the pairing with known vanishing results for higher homology might yield new finiteness statements for Brauer groups."],"forward_implications":["Duality statements now apply to varieties with singularities without extra resolution assumptions.","The algebraic Brauer group of such varieties can be recovered from homological data up to profinite completion.","The pairing respects the natural topologies and is functorial with respect to morphisms of varieties."],"fun_headline_variants":["Lichtenbaum-van Hamel duality holds for singular p-adic varieties","Perfect pairing for Brauer group on singular varieties over p-adics","Algebraic Brauer duality extended without smoothness over p-adics","Truncated homology pairs with Brauer group on singular p-adic varieties"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The variety X must be proper and geometrically integral over the p-adic field so that the structure morphism defines a well-behaved truncated homology group in the derived category.","fun_headline_variants_meta":{"raw":{"variants":["Lichtenbaum-van Hamel duality holds for singular p-adic varieties","Perfect pairing for Brauer group on singular varieties over p-adics","Algebraic Brauer duality extended without smoothness over p-adics","Truncated homology pairs with Brauer group on singular p-adic varieties"]},"model":"grok-4.3","cost_usd":0.007339,"raw_usage":{"total_tokens":3371,"prompt_tokens":656,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":73387000,"prompt_tokens_details":{"text_tokens":656,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2641,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":656,"tokens_out":74,"duration_ms":38813,"temperature":1.0,"reasoning_tokens":2641,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-16T19:20:16.582015+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A specific proper geometrically integral singular variety over a p-adic field where the map induced by the pairing fails to be bijective or continuous after profinite completion would disprove the claim.","supporting_citations":[],"review_version":1}