A note on the Nielsen realization problem for Enriques manifolds

Simone Billi

arxiv: 2508.02893 · v2 · submitted 2025-08-04 · 🧮 math.AG · math.GT

A note on the Nielsen realization problem for Enriques manifolds

Simone Billi This is my paper

Pith reviewed 2026-05-19 00:21 UTC · model grok-4.3

classification 🧮 math.AG math.GT

keywords Nielsen realization problemEnriques manifoldshyper-Kähler manifoldsBirman-Hilden theoryautomorphism groupsfinite group actionsnumerical criterion

0 comments

The pith

A numerical criterion decides which finite groups realize as automorphisms of Enriques manifolds.

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

The paper supplies a numerical criterion for the Nielsen realization problem on Enriques manifolds. It obtains the criterion by carrying over recent Birman-Hilden theory and Nielsen realization results that were first established for hyper-Kähler manifolds. The test is then run on known examples of Enriques manifolds, yielding concrete lists of groups that can or cannot be realized. This supplies a practical check for finite group actions on these manifolds and opens related questions about realizability.

Core claim

We give a numerical criterion for the Nielsen realization problem for Enriques manifolds, based on the recent developments on the Birman-Hilden theory for hyper-Kähler manifolds and on Nielsen realization for hyper-Kähler manifolds. We apply the criterion to known examples of Enriques manifolds to get explicit groups that can be realized or not realized, and comment on questions related to the Nielsen realization problem.

What carries the argument

The numerical criterion obtained by extending Birman-Hilden theory and Nielsen realization results from hyper-Kähler manifolds directly to Enriques manifolds.

If this is right

Known examples of Enriques manifolds now admit explicit lists of realizable and non-realizable groups.
The criterion turns questions about finite automorphism groups into concrete numerical checks.
Further applications of the same extension method may settle additional cases for Enriques manifolds.

Where Pith is reading between the lines

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

The same direct-transfer approach could produce criteria for other manifolds that are quotients or deformations of hyper-Kähler spaces.
Computational enumeration of small groups satisfying the criterion might reveal uniform patterns across different classes of manifolds.
If the criterion turns out to be sharp, it could eventually classify all finite realizable groups for particular families of Enriques manifolds.

Load-bearing premise

Results on Birman-Hilden theory and Nielsen realization for hyper-Kähler manifolds extend in a direct way that produces a valid numerical criterion for Enriques manifolds.

What would settle it

An explicit group that meets every numerical condition in the criterion yet fails to arise from an automorphism of any Enriques manifold, or a group that violates the criterion yet still arises.

read the original abstract

We give a numerical criterion for the Nielsen realization problem for Enriques manifolds, based on the recent developments on the Birman-Hilden theory for hyper-K\"ahler manifolds and on Nielsen realization for hyper-K\"ahler manifolds. We apply the criterion to known examples of Enriques manifolds to get explicit groups that can be realized or not realized, and comment on questions related to the Nielsen realization problem.

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 note adapts a numerical criterion from hyper-Kähler manifolds to decide the Nielsen realization problem for Enriques manifolds and checks it on examples, though the quotient compatibility could use more explicit checks.

read the letter

The one thing to know about this paper is that it derives a numerical criterion for the Nielsen realization problem on Enriques manifolds by adapting recent Birman-Hilden theory and Nielsen realization results from the hyper-Kähler setting, then uses that criterion on known examples to identify which finite groups can or cannot be realized as automorphisms. The new part is the adaptation itself and the concrete applications. The paper takes the hyper-Kähler theorems and shows how they produce a usable condition once you account for the quotient construction that turns a hyper-Kähler manifold into an Enriques manifold. The applications give explicit lists or statements for particular Enriques manifolds that appear in the literature, which saves other people from having to run the same calculation. On the positive side, the work is grounded in cited external results rather than reinventing the wheel, and the applications make the abstract criterion tangible. If the descent works, this is a practical tool for classification questions in this corner of algebraic geometry. The soft spot is the compatibility under the quotient. Enriques manifolds are obtained by dividing a hyper-Kähler manifold by a fixed-point-free holomorphic involution that sends the holomorphic two-form to its negative. For the numerical criterion to carry over, the mapping class group action and the invariants used in the hyper-Kähler proofs need to behave well with respect to this involution. The abstract does not detail how the involution acts on the cohomology lattice or the period domain, so the paper must supply that verification. If it does not, or if the verification is only sketched, then the criterion rests on an assumption that might need more justification. That is the main place where a referee could ask for clarification. This paper is aimed at researchers working on hyper-Kähler and Enriques geometry, particularly those interested in automorphism groups and the Nielsen realization problem. A reader who knows the recent hyper-Kähler papers will get the most value, as the note is essentially a translation and application exercise. It is narrow but solid enough to deserve referee time, since the applications provide something checkable and the criterion could be useful for future work on moduli spaces. I recommend sending it for peer review. The scope is limited, so it should not take much referee effort, and the authors can address any descent questions in a revision.

Referee Report

1 major / 1 minor

Summary. The paper derives a numerical criterion for the Nielsen realization problem on Enriques manifolds by transferring recent Birman-Hilden theory and Nielsen realization results from hyper-Kähler manifolds. It applies the criterion to known examples of Enriques manifolds to produce explicit lists of realizable and non-realizable finite groups and comments on related open questions.

Significance. If the compatibility of the fixed-point-free involution quotient with the relevant mapping class group and period data is established, the criterion would supply a concrete, computable test for automorphism groups of Enriques manifolds, extending the hyper-Kähler results to a new class of manifolds and furnishing explicit examples.

major comments (1)

[Introduction / §2 (criterion derivation)] The central claim requires that Birman-Hilden theory and the Nielsen realization theorems descend compatibly under the quotient by a fixed-point-free holomorphic involution acting as -1 on the holomorphic 2-form. No explicit verification of this descent (e.g., the induced action on the cohomology lattice, the period domain, or the relevant fixed-point data) appears in the abstract or is indicated in the reader's summary; if the involution mixes the classes used in the hyper-Kähler proofs, the numerical criterion does not transfer directly.

minor comments (1)

[Introduction] A short paragraph recalling the definition of an Enriques manifold (as a quotient of a hyper-Kähler manifold by a fixed-point-free involution) would improve accessibility for readers outside the immediate subfield.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need to clarify the compatibility of the descent under the fixed-point-free involution. We address the major comment below and will incorporate an explicit verification in the revised version.

read point-by-point responses

Referee: [Introduction / §2 (criterion derivation)] The central claim requires that Birman-Hilden theory and the Nielsen realization theorems descend compatibly under the quotient by a fixed-point-free holomorphic involution acting as -1 on the holomorphic 2-form. No explicit verification of this descent (e.g., the induced action on the cohomology lattice, the period domain, or the relevant fixed-point data) appears in the abstract or is indicated in the reader's summary; if the involution mixes the classes used in the hyper-Kähler proofs, the numerical criterion does not transfer directly.

Authors: We agree that the compatibility of the descent must be verified explicitly for the transfer of the numerical criterion to be fully rigorous. In §2 we construct the criterion by noting that the fixed-point-free involution acts as -1 on the holomorphic 2-form and therefore preserves the Hodge structure and the relevant sublattices of the second cohomology that appear in the hyper-Kähler Birman-Hilden and Nielsen realization statements. Because the involution is central in the diffeomorphism group of the hyper-Kähler cover and commutes with the action on the period domain, the mapping class group of the Enriques manifold is the quotient of the corresponding hyper-Kähler mapping class group by the involution, and the fixed-point data descend without mixing the classes used in the original proofs. Nevertheless, we acknowledge that this argument is only sketched and not presented as a self-contained verification. In the revision we will add a short subsection (or an appendix) that explicitly computes the induced action on the cohomology lattice, describes the quotient period domain, and confirms that the numerical condition on the lattice remains unchanged under the quotient. This will make the descent fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; criterion applies external hyper-Kähler results

full rationale

The paper states that its numerical criterion is based on recent developments in Birman-Hilden theory and Nielsen realization for hyper-Kähler manifolds, then applies the criterion to known Enriques manifold examples. No equations or steps reduce the claimed criterion to a fitted input, self-definition, or load-bearing self-citation chain by construction. The extension to the fixed-point-free involution quotient case supplies independent content rather than renaming or smuggling an ansatz. The derivation remains self-contained against the cited external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract mentions no new free parameters, invented entities, or ad-hoc axioms; the criterion rests on standard background results in algebraic geometry and topology that are presumed known from the cited recent developments.

axioms (1)

domain assumption Standard results from Birman-Hilden theory and Nielsen realization for hyper-Kähler manifolds hold and can be adapted.
Invoked in the abstract as the foundation for the new criterion.

pith-pipeline@v0.9.0 · 5575 in / 1333 out tokens · 62431 ms · 2026-05-19T00:21:47.971206+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/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

We give a numerical criterion for the Nielsen realization problem for Enriques manifolds, based on the recent developments on the Birman-Hilden theory for hyper-Kähler manifolds and on Nielsen realization for hyper-Kähler manifolds.

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.