Birational involutions of the real projective plane fixing an irrational curve
Pith reviewed 2026-05-19 14:08 UTC · model grok-4.3
The pith
Birational involutions on the real projective plane fix irrational curves while acting as self-inverse maps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Birational involutions of the real projective plane that fix an irrational curve exist and can be described through their action on the curve and the complementary components of the real locus, with the irrationality condition ensuring the fixed set lacks a rational parametrization and imposes restrictions on the possible degrees and real topologies.
What carries the argument
Birational involution fixing an irrational curve: a birational self-map of order two on the real projective plane whose fixed set contains an irrational real curve.
If this is right
- The fixed irrational curve determines the real connected components outside the curve.
- Such involutions induce involutions on the desingularization of the curve.
- The construction yields new real algebraic surfaces with prescribed real loci.
- Classification depends on the minimal degree of the irrational curve.
Where Pith is reading between the lines
- Similar involutions might be constructed in higher-dimensional real projective spaces by fixing irrational hypersurfaces.
- The fixed-curve condition could interact with real K3 surfaces or other Calabi-Yau varieties.
- Computational checks of low-degree examples could verify the topological restrictions stated in the review.
Load-bearing premise
The review accurately transmits the mathematical statements and examples from the 2022 presentation without adding unverified extensions.
What would settle it
An explicit example of a birational involution on the real projective plane whose fixed locus contains an irrational curve but fails to satisfy the described real-topological or degree constraints.
read the original abstract
This review is an elaboration of a presentation given at the Real algebraic geometry and singularities conference in honor of Wojciech Kucharz's 70th birthday in Krakow in 2022.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is an elaboration of a 2022 conference presentation on birational involutions of the real projective plane that fix an irrational curve, providing written details on constructions and properties in real algebraic geometry.
Significance. If the written account faithfully reproduces the constructions, fixed-point analysis, and verification that the curve is irrational (i.e., not R-birational to P^1), the paper contributes by documenting these examples for the community working on real birational geometry and singularities.
major comments (1)
- The manuscript frames itself as an elaboration of the 2022 talk rather than a self-contained proof; this makes the central claim dependent on accurate reproduction of explicit constructions and the irrationality verification, which cannot be checked against the source presentation within the current text.
Simulated Author's Rebuttal
We thank the referee for their review of our manuscript. We appreciate the recognition of its potential contribution to real birational geometry, conditional on faithful reproduction of the constructions. We address the single major comment below and will revise the manuscript accordingly to strengthen its self-contained character.
read point-by-point responses
-
Referee: The manuscript frames itself as an elaboration of the 2022 talk rather than a self-contained proof; this makes the central claim dependent on accurate reproduction of explicit constructions and the irrationality verification, which cannot be checked against the source presentation within the current text.
Authors: We acknowledge the referee's point that the current framing emphasizes the connection to the 2022 conference presentation. However, the manuscript itself contains the explicit constructions of the birational involutions, the fixed-point analysis on the real projective plane, and the detailed verification that the fixed curve is irrational (i.e., not R-birational to P^1). The reference to the talk is intended only as historical context for the origin of the examples. To eliminate any ambiguity regarding self-containment, we will revise the abstract and the opening paragraph of the introduction to state explicitly that all constructions, proofs, and verifications are fully developed within the text and do not rely on the oral presentation. revision: yes
Circularity Check
Review of 2022 presentation with no load-bearing circular derivations
full rationale
The manuscript is explicitly framed as an elaboration of a prior conference presentation rather than a self-contained primary derivation. No equations, ansatzes, or predictions are introduced that reduce by construction to fitted parameters or self-citations within the paper itself. The central content reproduces and discusses constructions from the 2022 talk, which functions as an external benchmark. This yields at most a minor self-reference score without forcing the result to its inputs.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.