REVIEW 2 major objections 5 minor 1 cited by
Varieties with prescribed finite unramified Brauer groups and subgroups precisely obstructing the Hasse principle
T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read For any finite abelian group B and any subgroup B0, a rationally connected variety exists whose unramified Brauer group is B and whose Hasse-principle obstruction is exactly B0.
desk verdict The paper delivers: arbitrary finite abelian Brauer groups and precise minimal Hasse-principle obstructions, on rationally connected varieties, and the one gap the reader flagged is an exposition gap, not a load-bearing flaw. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are normic bundles: affine hypersurfaces $N_{K/k}(z)=P(x)$, where $N_{K/k}$ is the norm of a cyclic extension $K/k$, together with their very good smooth compactifications (proper models satisfying four conditions, including a non-degenerate fibre at infinity and geometric Picard group $\mathbb{Z}$ on the generic fibre). Three mechanisms carry the argument. First, the vertical Brauer group is computed explicitly as the group of classes $\chi\cup(P_i)_n$ modulo a cyclic diagonal kernel, encoded in Theorem 4.1, which turns factorization data of $P$ over $K$ into the prescribed group $B$. Second, a finite-field counting lemma and the local-invariant formula for cyclic algebras allow the construction to force chosen values of the Brauer–Manin pairing at given places. Third, a polynomial endomorphism $h$ of $\mathbb{P}^1$, produced by a weak-approximation and irreducibility lemma, pulls the model back so that the forced local values become actual local images, while the factorization pattern of $P'(h(x))$ keeps the Brauer group isomorphic to $B$.
What would settle it
Specialize to $k=\mathbb{Q}$, $n=2$, $B=\mathbb{Z}/2$, and $B_0=B$, choose $a$ and $P'$ as in Proposition 5.6, and choose $h$ as in Proposition 2.10. Compute directly the unramified Brauer group and the local images of the pulled-back model $X=X'\times_{\mathbb{P}^1,h}\mathbb{P}^1$; if either differs from $B$ or from the prescribed set $\Lambda$, the model assertion on which Theorem 5.1 rests is false.
Extended reading notes
Core claim
The central discovery is a method for building such varieties rather than an isolated example. The paper expresses $B$ as a quotient of a direct sum of cyclic groups, chooses a cyclic degree-$n$ extension $K=k(\sqrt[n]{a})$, and selects monic polynomials $P_i=(x^{n_i}-u_i)^{n/n_i}-a$ that are irreducible over $k$ and split over $K$ into equal-degree factors. For $P=\prod_i P_i$, the unramified Brauer group of a smooth compactification of $N_{K/k}(z)=P(x)$ is exactly $B$, and the relevant classes are vertical, pulled back from the base $\mathbb{P}^1$. In the second half, the paper generalizes the technique of prescribing local images of Brauer classes: a polynomial endomorphism $h$ of $\mathbb{P}^1$ is chosen so that, after pulling the whole model back along $h$, the local evaluations of the generating classes take exactly a prescribed set at chosen places and vanish elsewhere. Choosing that set to be the complement of the kernel attached to $B_0$ yields the precise obstruction statement of Theorem 5.1.
Load-bearing premise
The argument depends on an assertion it does not prove: after the chosen endomorphism $h:\mathbb{P}^1\to\mathbb{P}^1$ pulls the known smooth model $X'$ back, the new variety $X=X'\times_{\mathbb{P}^1,h}\mathbb{P}^1$ is again the very good model of the normic equation $N_{K/k}(z)=P'(h(x))$; the isomorphism $B\simeq \overline{\mathrm{Br}}(X)$ and the control of local images both use that model property.
Editorial extensions
If this is right
- Every finite abelian group of exponent dividing $n$ is realized, over any number field containing a primitive $n$-th root of unity, as the quotient unramified Brauer group of a rationally connected variety.
- The Brauer–Manin obstruction can require an arbitrary prescribed finite abelian subgroup as the minimal obstructing subgroup, going beyond the elementary abelian $2$-groups previously known.
- When $B_0=B$, a rationally connected variety exists whose whole Brauer group is necessary and sufficient for the obstruction: no proper subgroup annihilates the Brauer–Manin set.
- The constructed varieties have points in every completion, so the failure of the Hasse principle is purely a Brauer–Manin obstruction rather than a local failure.
Reading between the lines
- Lemma 4.5 supplies infinitely many parameter choices, so the same construction should give many non-isomorphic rationally connected varieties realizing a fixed pair $(B_0,B)$; a moduli or field-counting study could make this precise.
- Because the local images are controlled through one endomorphism of $\mathbb{P}^1$, a natural extension is to prescribe arbitrary finite subsets of the dual group at several places simultaneously, producing varieties with a prescribed adelic obstruction pattern rather than a single subgroup.
- The unproved assertion in Remark 5.7 is the only visible gap: if the pull-back property can be proved directly or replaced by a purity argument, the main theorem would not depend on an unverified model claim.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, over a number field k containing a primitive n-th root of unity, smooth rationally connected varieties X with prescribed finite unramified Brauer group B (modulo constant classes) and with a prescribed nonzero subgroup B0 that precisely obstructs the Hasse principle: for every subgroup B′ of B, the Brauer–Manin set X(A_k)^{B′} is empty if and only if B0⊂B′. The varieties are smooth compactifications of cyclic normic bundles N_{K/k}(z)=P(x) over P^1, with K/k cyclic of degree n. The proof has two main parts: first, a computation of the unramified Brauer group of such normic bundles (Theorems 3.6 and 4.1), carried out with the smooth models of Várilly-Alvarado and Viray and expressed in terms of the factorization of P; second, an adaptation of the method of Berg–Pagano–Poonen–Stoll–Triantafillou–Viray–Vogt, pulling back a base model along an endomorphism h of P^1 to control the local evaluations of the Brauer classes (Theorem 5.4). The main theorem (Theorem 5.1) follows from these ingredients, together with a lemma showing that the image of the local evaluation maps can be prescribed exactly.
Significance. If the identified gap is repaired, this is a substantial contribution. The main result simultaneously answers Questions 1 and 2 from the introduction, providing rationally connected varieties with arbitrary finite unramified Brauer groups and with arbitrary prescribed minimal obstructing subgroups. The Brauer-group computation is detailed, self-contained (conditional on the VAV15 model), and generalizes earlier results of Várilly-Alvarado–Viray and Skorobogatov. The obstruction part extends the recent work [BPP+24] from conic bundles to higher-dimensional normic bundles and from elementary 2-groups to arbitrary finite abelian groups. The paper also provides explicit examples and points out an inaccuracy in [VAV12, Theorem 3.2]. The main weakness is the unproved assertion about the pulled-back model in Remark 5.7, which is load-bearing for the central theorem.
major comments (2)
- [§5.4, Remark 5.7] The proof of Theorem 5.4 uses the pullback X = X′ ×_{P^1,h} P^1 and asserts, without proof, that X is a very good model of the normic equation N_{K/k}(z)=P′(h(x)). This is load-bearing: Theorem 4.1, which provides the isomorphism B≃Br(X) in conclusion (1), is stated only for very good models, and Definition 3.2(4) (Pic(X_η)=Z with trivial Galois action) is not automatically preserved under the base change of the generic fiber by the finite extension k(x′)→k(x) attached to h. The authors explicitly write “We do not prove that the pull-back X of X′ by h is a very good model... But we are not going to present the details.” Since the central theorem depends on this point, the missing verification must be supplied (or a precise reference covering exactly this pullback situation must be given).
- [§5.4, paragraph after defining X] The sentence “Theorem 4.4 together with Remark 4.3 allows us to conclude that the composition B→Brnr(X′)→Brnr(X) is a monomorphism ... and induces an isomorphism onto Brnr(X)” invokes Theorem 4.1 for the model X. Without the missing proof that X is very good, only the vertical Brauer group Br_vert(X) is controlled by the preceding arguments; the isomorphism B≃Br(X) in conclusion (1) would not follow. This is the same gap as in Remark 5.7, but it is worth flagging the specific sentence where the load-bearing invocation occurs.
minor comments (5)
- [§5.2, Theorem 5.4(2)] The statement says “for t=1,...,r, the image Im(λ_{w_r}:X(k_{w_r})→\hat B)=Λ_r”; the subscript should be w_t on both the place and the set, not w_r.
- [§3.3 and §4.1, Theorems 3.6(4) and 4.1] The symbol c appears in the statements of Theorems 3.6(4) and 4.1 (“if c is further assumed to be a norm for K/k”) but is not defined in those statements; it is the leading coefficient of P from equation (3.1). Please add the definition.
- [§5.3, Lemma 5.5] The phrase “Let m be positive integers” should be “Let m be a positive integer.”
- [§5.4, proof after the automorphism step] The sentence “A further change of variable z↦z(x+c)^{m+1} does not make any affect on the computation of unramified Brauer groups since all the generators are vertical, i.e. independent of z” is vague; a short justification that the change of variables induces an isomorphism of the relevant models would improve clarity.
- [§5.3, proof of Proposition 5.6] The proof of surjectivity in Proposition 5.6(3) requires the reductions of Q′_i modulo w_t to be separable and pairwise coprime. The advanced version of Lemma 4.5 supplies roots outside a given finite set, but the text does not explicitly state that the finite sets can be chosen to include the roots of the other Q′_j and that this is sufficient; the argument is likely correct but should be spelled out.
Circularity Check
No circular reasoning is present: the prescribed groups are construction inputs, and the load-bearing existence and computation results are cited from external (non-self) sources.
full rationale
The derivation chain runs: Theorem 3.6 computes vertical Brauer groups of abelian normic bundles assuming a good or very good model; Theorem 4.1 specializes to cyclic extensions using the external existence theorem [VAV15]; Theorem 4.4 realizes an arbitrary finite abelian group B as the unramified Brauer group by choosing K and P with prescribed splitting data; Theorem 5.4 and Theorem 5.1 then arrange local Brauer evaluations via h chosen with weak approximation (Proposition 2.10). At no point is a target quantity defined in terms of the claimed conclusion, nor is a parameter fitted to data and then renamed a prediction. The group B and subgroup B0 enter only as inputs to the construction. The cited theorems [VAV15], [BPP+24], and [VAV12] are by other authors, so the self-citation patterns do not apply. The one flagged weakness is Remark 5.7, which admits that the paper does not prove that the pullback X = X' ×_{P^1,h} P^1 is a very good model in the sense of Definition 3.2(4), asserting instead that it is 'exactly the model given by [VAV15]' without details. This is an unproved supporting assertion and a correctness risk for Theorem 5.4(1), but it is not circular: it does not make the theorem's conclusion an input to itself, and the assertion concerns an external construction rather than a reduction of the desired equation to itself. Hence the circularity score is 0.
Assumptions & free parameters
assumptions (8)
- standard math Existence of a very good model X_{K/k,P} for cyclic normic equations N_{K/k}(z)=P(x), as constructed by Várilly-Alvarado and Viray (Theorem 1.1, cited in Remark 3.3 and Section 4).
- standard math Irreducibility criterion (Lemma 2.8, from BPP+24 Lemma 4.4): if g is irreducible over k and h-θ is irreducible over L for a field L containing a root θ of g, then g∘h is irreducible over k.
- standard math Weak approximation and existence of a polynomial endomorphism of P^1 with prescribed local conditions (Proposition 2.10, black box from BPP+24 Section 7.2).
- standard math Chebotarev density theorem and weak approximation for number fields, used in Lemma 4.5 and Proposition 5.6.
- standard math Purity exact sequence and Hochschild-Serre spectral sequence for Brauer groups, used in Section 3.3 and the diagram (3.4).
- domain assumption The base field k contains a primitive n-th root of unity (hypothesis of Theorem 5.1 and Proposition 5.6).
- domain assumption P is separable of degree divisible by n and K/k is cyclic of degree n (construction constraints of the normic bundle).
- ad hoc to paper The pull-back X = X' ×_{P^1,h} P^1 of a very good model along an endomorphism h is itself a very good model of N_{K/k}(z)=P'(h(x)).
Cite this review
Pith. "Pith review of Varieties with prescribed finite unramified Brauer groups and subgroups precisely obstructing the Hasse principle." pith.science (2026). https://pith.science/paper/M7OOHY6C
@misc{pith2026250418293,
author = {Pith},
title = {Pith review of: Varieties with prescribed finite unramified Brauer groups and subgroups precisely obstructing the Hasse principle},
year = {2026},
howpublished = {\url{https://pith.science/paper/M7OOHY6C}},
note = {Machine review of arXiv:2504.18293}
}
abstract
On varieties defined over number fields, we consider obstructions to the Hasse principle given by subgroups of their Brauer groups. Given an arbitrary pair of non-zero finite abelian groups $B_0\subset B$, we prove the existence of a variety $X$ such that its unramified Brauer group is isomorphic to $B$ and moreover $B_0$ is the smallest subgroup of $B$ that obstructs the Hasse principle. The concerned varieties are normic bundles over the projective line.
Forward citations
Cited by 1 Pith paper
-
Vertical unramified Brauer groups of Galois normic bundles
For Galois normic bundles N_{K/k}(z)=P(x), the vertical unramified Brauer group is isomorphic to an explicit quotient of character groups determined by the Galois group G and the multiplicities of the irreducible fact...
Reference graph
Works this paper leans on
-
[1]
[BPP+24] J. Berg, C. Pagano, B. Poonen, M. Stoll, N. Triantafillou, B. Viray, and I. Vogt,Brauer-Manin obstructions requiring arbitrarily many Brauer classes , Bull. Lond. Math. Soc. 56 (2024), 1587–1604.↑1, 1, 2.8, 2.2.5, 5, 5, 5.1, 5.2, 5.5, 5.6, 5.4 [Cor07] P. Corn, The Brauer–Manin obstruction on del Pezzo surfaces of degree 2, Proc. Lond. Math. Soc. ...
work page 2024
-
[1979]
↑2.9 [Sko01] A. N. Skorobogatov, Torsors and rational points, Cambridge University Press, 2001.↑1, 4.2 [VAV12] A. V´ arilly-Alvarado and B. Viray,Higher dimensional analogues of Chˆ atelet surfaces., Bull. Lond. Math. Soc. 44 (2012), no. 1, 125–135. ↑1, 4.2 [VAV15] , Smooth compactifications of certain normic bundles, European Journal of Mathemat- ics 1 (...
work page 2012
-
[2021]
↑1, 1, 3.2, 3.2, 3.2, 3.3, 4.1 [CTSD94] J.-L. Colliot-Th´ el` ene and Sir Peter Swinnerton-Dyer,Hasse principle and weak approximation for pencils of Severi-Brauer and similar varieties , J. reine angew. Math. 453 (1994), 49–112. ↑1 [For81] T. J. Ford, Every finite Abelian group is the Brauer group of a ring , Proc. Amer. Math. Soc. 82 (1981), 315–321.↑1 ...
work page 1994
-
[2022]
Preprint available at arXiv:2211.07054.↑1 24 YONGQI LIANG AND YUF AN LIU Yongqi LIANG University of Scinece and Technology of China, School of Mathematical Sciences, 96 Jinzhai Road, 230026 Hefei, Anhui, China Email address: yqliang@ustc.edu.cn Yufan Liu University of Scinece and Technology of China, School of Mathematical Sciences, 96 Jinzhai Road, 23002...
-
[2023]
Rational points on varieties and the Brauer-Manin obstruction
Preprint avail- able at arXiv:2303.17796.↑1 [Wei22] D. Wei, The unramified Brauer groups of normic bundles ,
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.