arxiv: 2601.06872 · v2 · submitted 2026-01-11 · 🧮 math.AG · math.NT

Unramified Brauer groups of symmetric products and the Brauer-Manin obstructions

Yongqi Liang , Xingyu Liu , Hui Zhang This is my paper

Pith reviewed 2026-05-16 15:29 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords Brauer groupsymmetric productBrauer-Manin obstructionHasse principleweak approximationzero-cyclesalgebraic geometrynumber fields

0 comments

The pith

For varieties with torsion-free Picard groups, the Brauer groups of X and its symmetric products are isomorphic.

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

The paper establishes that for a smooth projective geometrically integral variety X over a number field with torsion-free geometric Picard group, the Brauer group of X is isomorphic to the Brauer group of its n-fold symmetric product. This isomorphism transfers information about the Brauer-Manin obstruction to the Hasse principle and weak approximation. A reader would care because it relates the existence of degree-n zero-cycles on X to the existence of rational points on a model of the symmetric product, potentially simplifying arithmetic questions about cycles by reducing them to questions about points.

Core claim

The authors prove that the unramified Brauer groups of X and its symmetric products are isomorphic under the stated hypotheses on X. They then show that this induces a correspondence between the Brauer-Manin obstruction for the Hasse principle and weak approximation on the variety of 0-cycles of degree n on X and the corresponding obstruction for rational points on smooth projective models of the symmetric product.

What carries the argument

The unramified Brauer group, defined as the subgroup of the Brauer group consisting of classes unramified along all divisors, together with the natural map induced by the projection from the product to the symmetric product.

If this is right

The Brauer-Manin obstruction to the Hasse principle for 0-cycles of degree n on X matches the obstruction for rational points on the symmetric product.
The Brauer-Manin obstruction to weak approximation for such 0-cycles likewise corresponds to the obstruction for rational points on the symmetric product.
Any counterexample to the Hasse principle for rational points on the symmetric product yields a corresponding counterexample for degree-n zero-cycles on X.
The same transfer holds when the symmetric product is replaced by a smooth projective model.

Where Pith is reading between the lines

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

The result may allow explicit computation of Brauer-Manin obstructions for cycles on certain varieties by moving to symmetric products where the geometry is simpler.
It suggests checking whether the isomorphism preserves the image of the Brauer group coming from the base field, which would strengthen the correspondence for constant classes.
One could test the transfer on concrete examples such as products of curves to see whether the obstructions vanish simultaneously.

Load-bearing premise

The geometric Picard group of X must be torsion-free.

What would settle it

Find a smooth projective geometrically integral variety X over a number field with torsion-free geometric Picard group such that the Brauer group of X differs from that of one of its symmetric products.

read the original abstract

This article focuses on smooth, projective, and geometrically integral varieties $X$ defined over a number field $k$ with torsion-free geometric Picard groups. We establish an isomorphism between the Brauer groups of $X$ and its symmetric products. As applications, we deduce the relationship between the Brauer--Manin obstruction to the Hasse principle and to weak approximation for $0$-cycles of degree $n$ on $X$ and the corresponding obstruction for rational points on smooth projective models of its $n$-fold symmetric product.

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.

Desk Editor's Note private letter to a colleague

The paper proves Br(X) ≅ Br(Y) for Y a smooth model of the n-fold symmetric product when Pic is torsion-free, and uses it to relate Brauer-Manin for degree-n zero-cycles on X to the rational-point case on Y.

read the letter

The core result is an isomorphism between the unramified Brauer groups of X and its symmetric products. They get this by comparing the Hochschild-Serre spectral sequences on both sides, with the torsion-free geometric Picard group ensuring that the Galois cohomology terms match after accounting for the symmetric group action and the resolution of diagonals. The obstruction transfer for Hasse principle and weak approximation on zero-cycles then follows directly from the isomorphism commuting with the adelic pairings. That part looks solid and gives a concrete reduction that could be useful when the symmetric product is simpler to analyze than the original variety for points. The argument stays within standard tools from arithmetic geometry and does not introduce new machinery. The main limitation is the torsion-free Picard assumption, which rules out many varieties with interesting torsion in Pic and may limit how often the result applies in practice. They also rely on the existence of smooth projective models for the symmetric products, which is fine but adds some geometric overhead for explicit computations. The paper stays focused on the stated hypotheses and does not overclaim generality. This is the kind of targeted extension that fits well in the existing literature on Brauer-Manin obstructions for cycles. It is worth sending to referees for a full check of the spectral sequence details and any edge cases with the exceptional divisors.

Referee Report

0 major / 3 minor

Summary. The paper proves that if X is a smooth projective geometrically integral variety over a number field k with torsion-free geometric Picard group, then the unramified Brauer group of X is isomorphic to the unramified Brauer group of any smooth projective model Y of the n-fold symmetric product of X. The proof compares the Hochschild-Serre spectral sequences for X and Y, using the S_n-action and resolution of diagonals to show that the H^1(G_k, Pic) terms coincide and that ramification along exceptional divisors vanishes under the torsion-free hypothesis. As applications, the Brauer-Manin obstruction to the Hasse principle and weak approximation for degree-n 0-cycles on X is shown to correspond exactly to the obstruction for rational points on Y.

Significance. If the isomorphism holds, the result supplies a direct transfer mechanism between Brauer-Manin obstructions on a variety and on its symmetric products. This is a useful addition to the toolkit for studying 0-cycles and rational points, especially when the symmetric product is easier to analyze or when existing computations on X can be recycled. The argument relies on standard spectral-sequence comparisons and the torsion-free Picard hypothesis, which is a natural and commonly imposed condition in this area.

minor comments (3)

[§2] §2 (or the section containing the spectral-sequence comparison): the precise identification of the Galois module Pic(Ȳ) with the S_n-invariants of Pic(¯X^n) minus the diagonal contributions should be stated as an explicit isomorphism of G_k-modules before the spectral sequences are compared.
[Theorem 1.1] The statement of the main theorem should explicitly record that the isomorphism is compatible with the adelic evaluation maps used in the Brauer-Manin pairing, so that the obstruction transfer follows immediately.
[§3] A short remark clarifying why the torsion-free assumption on Pic(¯X) is both necessary and sufficient to kill potential ramification along the exceptional divisors in the resolution of the symmetric product would help readers who are not experts in the Brauer group of quotient singularities.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the manuscript and for recommending minor revision. The report correctly identifies the main theorem on the isomorphism of unramified Brauer groups under the torsion-free geometric Picard hypothesis and the applications to Brauer-Manin obstructions for 0-cycles and rational points on symmetric products. No specific major comments or requested changes were listed in the report.

Circularity Check

0 steps flagged

No significant circularity detected in derivation

full rationale

The central claim is an isomorphism Br(X) ≅ Br(Y) for Y a smooth projective model of the n-fold symmetric product, established by comparing Hochschild-Serre spectral sequences under the torsion-free geometric Picard assumption on X. This comparison and the resulting transfer of Brauer-Manin obstructions for 0-cycles rely on standard Galois cohomology and resolution of diagonals, without any quoted reduction of the target isomorphism to a fitted parameter, self-definition, or load-bearing self-citation chain. No equations or steps in the provided abstract and skeptic summary exhibit the patterns of self-definitional construction or renaming of inputs as predictions. The argument is therefore treated as self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the domain assumption that X satisfies the listed geometric conditions; no free parameters, new entities, or ad-hoc axioms are mentioned.

axioms (1)

domain assumption X is smooth, projective, geometrically integral over a number field k with torsion-free geometric Picard group
This is the explicit hypothesis stated in the abstract under which the isomorphism holds.

pith-pipeline@v0.9.0 · 5382 in / 1368 out tokens · 55339 ms · 2026-05-16T15:29:57.063787+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A: isomorphism λ: Br(X)/Br(k) ≃ Br_nr(Sym^n X/k)/Br(k) under torsion-free Pic(X_k)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.