arxiv: 2605.05450 · v1 · submitted 2026-05-06 · 🧮 math.AG

Recognition: unknown

On Brauer groups of known Enriques manifolds

Alessandro Frassineti, Federico Tufo, Francesca Rizzo, Matteo Verni

Pith reviewed 2026-05-08 15:42 UTC · model grok-4.3

classification 🧮 math.AG

keywords Brauer groupsEnriques manifoldshyper-Kähler manifoldsBrauer-Severi varietiespull-back mapsalgebraic geometrycomplex manifoldscohomology torsion

0 comments

The pith

Brauer groups of known Enriques manifolds are computed explicitly, with constructions of Brauer-Severi varieties and analysis of pullback maps to their hyper-Kähler universal covers.

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

The paper computes the Brauer groups for several of the known Enriques manifolds. It then constructs special Brauer-Severi varieties on these manifolds and examines the pull-back map from the Brauer group of an Enriques manifold to the Brauer group of its hyper-Kähler universal cover. The study is carried out from both geometric and algebraic viewpoints. A sympathetic reader would care because these groups encode torsion information in the cohomology of the manifolds and their covers, which bears on questions of classification and deformation in algebraic geometry.

Core claim

The authors compute the Brauer groups of some of the known Enriques manifolds. They build special Brauer-Severi varieties on these manifolds and study the pull-back map from the Brauer group of an Enriques manifold to that of its hyper-Kähler universal cover, from both a geometric and an algebraic perspective.

What carries the argument

The Brauer group of the Enriques manifold together with the pull-back map to the Brauer group of the hyper-Kähler universal cover, supported by explicitly constructed Brauer-Severi varieties.

If this is right

The explicit Brauer groups supply the torsion subgroup of the second cohomology for these particular manifolds.
The constructed Brauer-Severi varieties give geometric representatives for nontrivial elements of the Brauer groups.
The pull-back map determines which Brauer classes on the Enriques manifold lift to the universal cover and which do not.
Both geometric and algebraic methods produce the same description of the map between the two Brauer groups.

Where Pith is reading between the lines

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

The same computational approach may apply to additional Enriques manifolds once they are constructed.
The kernel of the pull-back map could serve as an invariant distinguishing deformation types of Enriques manifolds.
The results on Brauer-Severi varieties might link to questions about rationality or stable rationality of these manifolds.

Load-bearing premise

The listed manifolds are indeed Enriques manifolds whose universal covers are the expected hyper-Kähler manifolds and that the standard properties of Brauer groups and Brauer-Severi varieties apply without further obstructions.

What would settle it

An explicit calculation that the Brauer group of one of the studied Enriques manifolds has a different rank or torsion structure from the value given in the paper, or that the pull-back map fails to have the stated kernel or image.

read the original abstract

We compute the Brauer group of some of the known Enriques manifolds. We then build special Brauer-Severi varieties on these manifolds and study the pull-back map from the Brauer group of an Enriques manifold to that of its hyper-K\"ahler universal cover, from both a geometric and an algebraic perspective.

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

This paper computes Brauer groups for some known Enriques manifolds and studies the pull-back maps to their hyper-Kähler covers using standard techniques.

read the letter

The main thing here is that the authors have worked out the Brauer groups for a selection of known Enriques manifolds and then looked at how those groups pull back to the Brauer groups of the hyper-Kähler manifolds that cover them. They also construct some special Brauer-Severi varieties along the way. This gives concrete information rather than just abstract statements. The calculations appear to use the usual tools from algebraic geometry: identifying the Brauer group with the torsion part of étale cohomology and using the natural maps induced by morphisms. The geometric side involves building those Severi varieties on the Enriques side, and the algebraic side compares the groups directly. Since the manifolds are taken from the literature, the work focuses on carrying out these steps for the listed examples. This is useful because explicit Brauer group data for these objects is not always available in the papers that introduce the manifolds. Having both a geometric construction and an algebraic comparison adds some depth. The stress-test note indicates no hidden assumptions beyond what is already known about these manifolds. On the downside, the scope is narrow. It covers only some of the known ones, not a general theory for all Enriques manifolds. The results are case-by-case, so they do not immediately suggest a broader pattern or new theorem. If the computations contain an arithmetic error in one of the specific cases, that would affect the reliability, though the method itself looks standard. Overall, this paper is aimed at researchers who study Enriques manifolds or hyper-Kähler geometry and might need these Brauer groups for further invariants or moduli problems. A specialist in the area could find the explicit numbers and the pull-back analysis helpful for their own work. I think it deserves to go to peer review. The computations are the kind of thing that benefits from referee scrutiny to confirm the details.

Referee Report

0 major / 3 minor

Summary. The paper computes the Brauer groups of several known Enriques manifolds (with hyper-Kähler universal covers drawn from the existing classification literature) and constructs special Brauer-Severi varieties on them. It then studies the pull-back map on Brauer groups from each Enriques manifold to its cover, comparing the results obtained via geometric constructions of the Severi varieties with those obtained via the standard identification of the Brauer group with torsion in étale cohomology and functoriality of the pull-back.

Significance. If the explicit computations hold, the work supplies concrete, verifiable values for Brauer groups of a finite list of these still-rare manifolds and gives a direct comparison of the two perspectives on the pull-back map. The geometric constructions of the Brauer-Severi varieties and the algebraic verification of the induced maps on torsion classes constitute reproducible data that can be checked against the cited references for the manifolds themselves.

minor comments (3)

§3, after Definition 3.2: the notation for the Brauer-Severi variety associated to a class α is introduced without an explicit symbol; subsequent references to “the variety” become ambiguous when multiple classes are treated simultaneously.
Table 1: the column headed “Br(M)” lists groups such as ℤ/2ℤ ⊕ ℤ/2ℤ without indicating whether these are computed up to isomorphism or as subgroups of a fixed ambient group; a parenthetical reference to the precise embedding into H²_et would remove ambiguity.
§4.3, paragraph following Proposition 4.7: the claim that the pull-back map is injective on the 2-torsion is stated without a cross-reference to the exact sequence used; adding the equation number of the relevant Kummer sequence would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address individually. We will incorporate any minor editorial or presentational suggestions in the revised version of the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper carries out explicit computations of Brauer groups for a finite collection of known Enriques manifolds whose hyper-Kähler covers are taken from the existing classification literature. It then constructs Brauer-Severi varieties and compares the two Brauer groups via the standard identification of Br with torsion in H²_et and the functoriality of pull-back maps. All steps apply these standard tools directly to the listed manifolds without introducing fitted parameters, self-definitional relations, or load-bearing self-citations whose validity depends on the present work; the central claims therefore remain independent of any circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are stated. The work relies on standard definitions of Brauer groups, Enriques manifolds, and hyper-Kähler covers from prior literature.

pith-pipeline@v0.9.0 · 5339 in / 1067 out tokens · 47112 ms · 2026-05-08T15:42:00.018509+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 5 canonical work pages

[1]

, title =

Bott, Raoul and Tu, Loring W. , title =. 1982 , publisher =

1982
[2]

Dold, Albrecht , title =. Ann. Math. (2) , issn =. 1962 , doi =

1962
[3]

Debarre, Olivier , TITLE =. Milan J. Math. , FJOURNAL =. 2022 , NUMBER =

2022
[4]

Higher dimensional

Boissi. Higher dimensional. J. Math. Pures Appl. (9) , issn =. 2011 , doi =

2011
[5]

Beauville, Arnaud , title =. Math. Res. Lett. , issn =. 2009 , doi =

2009
[6]

Enriques manifolds , fjournal =

Oguiso, Keiji and Schr. Enriques manifolds , fjournal =. J. Reine Angew. Math. , issn =. 2011 , doi =

2011
[7]

Periods of

Oguiso, Keiji and Schr. Periods of. Pure Appl. Math. Q. , issn =. 2011 , doi =

2011
[8]

2003 , publisher =

Calabi-Yau manifolds and related geometries. 2003 , publisher =

2003
[9]

, title =

Huybrechts, D. , title =. 2006 , publisher =

2006
[10]

, title =

Weibel, Charles A. , title =. 1994 , publisher =

1994
[11]

, title =

Grothendieck, A. , title =. T. 1957 , keywords =

1957
[12]

Integral cohomology of the generalized

Kapfer, Simon and Menet, Gr. Integral cohomology of the generalized. Algebr. Geom. , issn =. 2018 , doi =

2018
[13]

Smith, Larry , title =. Math. Proc. Camb. Philos. Soc. , issn =. 1983 , doi =

1983
[14]

Equivariant singular homology and cohomology for actions of compact

Illman, S. Equivariant singular homology and cohomology for actions of compact. 1972 , howpublished =

1972
[15]

2002 , publisher =

Voisin, Claire , title =. 2002 , publisher =

2002
[16]

Beauville, Arnaud , title =. J. Differ. Geom. , issn =. 1983 , doi =

1983
[17]

2002 , publisher =

Hatcher, Allen , title =. 2002 , publisher =

2002
[18]

Enriques surfaces

Cossec, Fran. Enriques surfaces. 1989 , publisher =

1989
[19]

Non-Existence of

Billi, Simone and Giovenzana, Franco and Giovenzana, Luca and Grossi, Annalisa , year = 2025, number =. Non-Existence of. doi:10.48550/ARXIV.2501.06893 , url =. arXiv , copyright =:2501.06893 , publisher =

work page doi:10.48550/arxiv.2501.06893 2025
[20]

2023 , howpublished =

Pacienza, Gianluca and Sarti, Alessandra , title =. 2023 , howpublished =

2023
[21]

and Prieto, Carlos , title =

Aguilar, Marcelo A. and Prieto, Carlos , title =. Int. J. Math. Math. Sci. , issn =. 2006 , doi =

2006
[22]

Topological methods for complex-analytic

Schr. Topological methods for complex-analytic. Topology , issn =. 2005 , doi =

2005
[23]

Denisi, Francesco Antonio and R. J. Ec. polytech. Math. , volume =. doi:10.5802/jep.334 , url =

work page doi:10.5802/jep.334
[24]

Handbook of group actions

Brion, Michel , title =. Handbook of group actions. Volume IV , isbn =. 2018 , publisher =

2018
[25]

Mart. The. Rev. Colomb. Mat. , issn =. 2012 , keywords =

2012
[26]

1971 , publisher =

Grothendieck, Alexander , title =. 1971 , publisher =. doi:10.1007/BFb0058656 , keywords =

work page doi:10.1007/bfb0058656 1971
[27]

On the Topological

Hartlieb, Moritz and Verni, Matteo , year = 2025, number =. On the Topological. doi:10.48550/arXiv.2512.14262 , url =. arXiv , keywords =:2512.14262 , primaryclass =

work page doi:10.48550/arxiv.2512.14262 2025
[28]

2025 , eprint =

Francesco Antonio Denisi and Nikolaos Tsakanikas and Zhixin Xie , title =. 2025 , eprint =

2025
[29]

Markman, Eyal , title =. Adv. Math. , issn =. 2007 , doi =

2007
[30]

Forum Math

Totaro, Burt , title =. Forum Math. Sigma , issn =. 2020 , doi =

2020
[31]

1957 , language =

Nakaoka, Minoru , title =. 1957 , language =

1957
[32]

Gugnin, D. V. , title =. Trans. Mosc. Math. Soc. , issn =. 2012 , language =. doi:10.1090/S0077-1554-2013-00201-0 , keywords =

work page doi:10.1090/s0077-1554-2013-00201-0 2012
[33]

2003 , publisher =

Voisin, Claire , title =. 2003 , publisher =

2003