{"id":"8e5443a9-82e1-4498-8a99-afffd913c386","arxiv_id":"2507.04012","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For smooth geometrically rational real Fano threefolds with nonempty real locus, the absence of any deformation-equivalent real form with disconnected real locus forces R-rationality.","lead":"The paper proves that a smooth geometrically rational real Fano threefold with nonempty real locus is rational over the reals as soon as no variety in its complex deformation class has a real form whose real locus has two or more connected components. The proof is a complete case-by-case run through the 105 families of complex Fano threefolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 4.3 depends on the unpublished descent lemma [ACKM24, Lemma 2.5]; if that lemma is inapplicable in any of the families where it is invoked, a non-rational X with s_X=1 could satisfy the theorem's hypothesis.","rationale":"I read the proof as a serious, systematic case analysis with no internal contradiction detected. The central claim hinges on two facts: every family either has s>1 or all real members with nonempty real locus are rational. The s>1 bounds are supported by explicit examples, and the rationality conclusions for the s=1 families are mostly driven by the descent lemma from the unpublished preprint [ACKM24]. The reader's weakest assumption identified this same reliance on [ACKM24, Lemma 2.5]. I agree, and I would sharpen the concern: the most delicate instances are not merely 'a contraction descends' but the exchange cases in Proposition 4.11 where two symmetric contractions are swapped by Galois and the paper asserts that a real morphism to a rational threefold still exists. That assertion is not derived in the text, and it is exactly where a hidden hypothesis of Lemma 2.5 could fail. The examples in Propositions 3.16 and 4.12 are also only sketched, but they establish lower bounds s>1; the theorem's hypothesis s_X=1 then excludes those families, so those examples are not load-bearing for the main implication. I would keep the CONDITIONAL verdict: the argument is plausible and likely correct if Lemma 2.5 is verified, but the proof as written delegates too much to an external, unpublished lemma to be accepted unconditionally.","tokens_in":23975,"tokens_out":9900,"duration_ms":109409,"concrete_test":"Obtain [ACKM24] and check the exact hypotheses and proof of Lemma 2.5. Then, using the extremal-ray tables in [Mat95, §III.3], list for every family cited in Propositions 4.8, 4.11, and 4.13 the Galois action on the extremal contractions, and verify that at least one Galois-invariant contraction to a rational target exists or that the lemma's hypotheses cover the swapped-pair cases. Run the exchange case of family №3.10 explicitly: write X_C as the blow-up of Q ⊂ P^4 in two disjoint conics, let Galois swap the two exceptional divisors, and construct the quotient morphism g: X → W over R with W a quadric threefold; if this construction cannot be carried out, Proposition 4.11 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Rationality for the s_X=1 families is not established independently; it is obtained by descending complex extremal contractions to real birational morphisms using [ACKM24, Lemma 2.5] in Propositions 4.8, 4.11, and 4.13. Lemma 2.5 is neither stated nor proved in this paper and belongs to an unpublished preprint sharing two authors. The applications are not uniform: for most ρ=2 families the paper simply asserts that the contraction data from [MM86, MM03, Mat23] force the required descent, while for the ρ=3 families №3.9, №3.10, and №3.19 it separately argues the case where two symmetric contractions are exchanged by Galois, saying that 'we still obtain a birational morphism g: X → W over R' without giving the construction. If Lemma 2.5 has unstated hypotheses, or if one of the exchange cases fails to produce a real morphism to a rational W, then a non-rational real Fano threefold with s_X=1 could satisfy the hypothesis of Theorem 4.3 without being rational. The classification-completeness concern is secondary; the descent step is the single point where one error would alter the main theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines an invariant s_X for a smooth real projective variety X as the maximal number of connected components of X'(R) as X' ranges over real forms whose complexification is deformation equivalent to X_C (Definition 4.1). The main result, Theorem 4.3, states that a smooth geometrically rational real Fano threefold X with X(R) nonempty and s_X = 1 is rational. The proof combines Smith-Thom and Borel-Swan bounds from Section 2 with a case-by-case analysis over the Mori-Mukai classification of the 105 families of smooth complex Fano threefolds. For families with s_{m.n} = 1 the authors prove rationality by descending complex extremal contractions to real birational morphisms, while for families with s_{m.n} > 1 they produce explicit examples with disconnected real locus. The paper also contains new examples in families №1.8, №2.12, №2.16, №3.2, №3.3 and №3.4, and a recap table (Table 3) giving lower and upper bounds for all families with s_{m.n} > 1.","tokens_in":24148,"tokens_out":4759,"duration_ms":50935,"significance":"If the main theorem is correct, it provides a new sufficient criterion for rationality of real Fano threefolds in dimension three, directly analogous to Comessatti's theorem in dimension two but formulated through the deformation-class invariant s_X. The invariant is defined independently of the rationality conclusion, so the argument is not circular. The paper also contributes useful explicit constructions of real Fano threefolds with prescribed numbers of connected components of the real locus, and its Table 3 makes concrete, checkable predictions for the exact values of s_{m.n}. The main proof, however, is heavily dependent on unpublished contraction-descent results and on the completeness of large classification tables, so the result is currently not fully verifiable from the manuscript alone.","major_comments":[{"comment":"The proof of the main theorem relies at a load-bearing point on [ACKM24, Lemma 2.5] to descend complex extremal contractions to real birational morphisms. This lemma is neither stated nor proved in the present paper, and [ACKM24] is an unpublished preprint sharing two authors with this paper. Since every family with s_{m.n} = 1 and ρ(X_C) ≥ 2 is handled through this descent, the reader cannot verify the central implication without access to hypotheses and proof of Lemma 2.5. The authors should state Lemma 2.5 in full and verify its hypotheses in each family where it is used, or replace the appeal with a self-contained argument.","section":"§4.3.2, Propositions 4.8, 4.11 and 4.13"},{"comment":"In the Galois-exchange cases for these three families, the text asserts that 'we still obtain a birational morphism g: X → W over R' without giving the construction. When two symmetric contractions f_1 and f_2 are interchanged by complex conjugation, it is not automatic that one obtains a morphism over R with the claimed target; this is precisely the situation that requires a concrete descent argument. The current presentation leaves the key step of the exchange case unsupported, so the proof of rationality for these families is incomplete as written.","section":"§4.3.3, Families №3.9, №3.10 and №3.19"},{"comment":"The case analysis asserts, family by family, that X_C admits an extremal birational contraction to a specified target or that the Galois action fixes or exchanges certain extremal rays, citing [MM86, MM03, Mat23] and [Mat95] without displaying the relevant data. Because the theorem is proved by exhaustive classification, a missing or misidentified family would directly affect the main claim. The authors should provide an explicit table of the extremal rays, their targets, and the Galois action for all families treated in Propositions 4.8, 4.11 and 4.13, with precise references to the entries in the cited sources.","section":"§4.3.2–§4.3.4, Propositions 4.8, 4.11 and 4.13"},{"comment":"For the ρ = 4 families №4.2 and №4.7 the proof is particularly terse: for №4.2 it says that intersection numbers in [Mat95, p. 108] show the Galois action cannot exchange the two contractions, and for №4.7 it asserts that 'X admits a real birational map f: X → Y' to family №2.32 without giving the contraction. Since these are the only steps connecting the complex classification to the real descent, the argument needs a fuller explanation or a reference to a precise statement in [ACKM24] that covers these cases.","section":"§4.3.4, Proposition 4.13"}],"minor_comments":[{"comment":"The displayed formula contains corrupted LaTeX/symbols ('/Leftr⫯g⊸tl⫯ne⇒'), which should be cleaned; the intended equivalence is presumably 'X(R) ≠ ∅ ⇒ X is rational'.","section":"Definition 4.4"},{"comment":"The row for №4.1 has inconsistent column entries: the values '24 1 2 2 ?' do not align cleanly with the headers 'ι d h1,2 sm.n ≥ sm.n ≤ ∃ IC'. Please reformat the table so that every row has the same number of entries and the meaning of each entry is unambiguous.","section":"§5, Table 3"},{"comment":"There are numerous typos and repeated words, including 'Secion', 'the the results', 'a theefold', 'numebers', and 'familly'. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The explicit cubic polynomial and its projected image are written in a long inline display without line breaks; separating the coordinates and the equations into a displayed multiline format would greatly improve readability.","section":"§3.3, Proposition 3.16"},{"comment":"The sentence 'Y2 belongs to the family №2.30 and Y2 belongs to family №2.31' should refer to two different targets, presumably Y2 and Y3, so the second occurrence of Y2 is a typo.","section":"§4.3.3, Family №3.23"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is plausible and the invariant s_X is a natural and useful addition to the real-birational-geometry toolkit. The decisive issue is verification: the proof depends essentially on the unpublished descent lemma [ACKM24, Lemma 2.5], and in the Galois-exchange cases the descent is asserted rather than demonstrated. For a journal referee report this is a serious gap, but it is repairable within the manuscript's scope by stating and proving the lemma or replacing the appeals with direct arguments. I recommend major revision and, if possible, asking the authors to include the relevant statements from [ACKM24] as an appendix."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThis paper is worth taking seriously. It introduces a clean invariant s_X—the maximal number of connected components of real loci over real forms whose complexifications are deformation equivalent to X_C—and proves that for smooth geometrically rational real Fano threefolds with nonempty real locus, s_X = 1 forces R-rationality. The proof is an exhaustive check of the 105 Mori–Mukai families, and Table 3, listing families with s_{m,n} > 1, is a genuinely useful census. There is no circularity: s_X is defined independently in Definition 4.1 and bounded via Smith–Thom, and the rationality conclusions come from separate external criteria and explicit examples, not from the invariant.\n\nWhat is genuinely new: the invariant itself, the complete table, and several explicit examples (three components in family 1.8, two in 2.12, three in 2.18). Propositions 4.9 and 4.12 contain real constructions rather than existence by classification; that is real work, done carefully.\n\nThe soft spot is the descent lemma [ACKM24, Lemma 2.5]. It is unpublished, shares two authors, and is invoked in Propositions 4.8, 4.11, and 4.13. For most ρ=2 families the descent assertion is plausible, but the Galois-exchange cases in families 3.9, 3.10, and 3.19 are asserted with 'we still obtain a birational morphism' and no construction shown. If the lemma has unstated hypotheses, a non-rational X with s_X = 1 could escape Theorem 4.3. This is the single point where one error would change the main conclusion, so it must be addressed: state the lemma, give its proof, or spell out the exchange cases. Other concerns are minor—a couple of examples (Prop. 3.16's projection image, Prop. 4.12(i)) are terser than ideal, and completeness of the 105-family tables is inherited from classification literature, not this paper's fault.\n\nThe central argument holds up as far as I can check. The paper deserves a serious referee; I would send it to a good algebraic geometry journal with a request that the descent lemma be made self-contained before final acceptance.\n\nBest,\n[You]","headline":"The paper deserves a serious referee despite a load-bearing dependency on an unpublished descent lemma.","tokens_in":24782,"tokens_out":3270,"would_cite":true,"duration_ms":31184,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14P25","14J45","14J30","14E08","14M20"],"pacs":[],"model":"deepseek-v4-flash","headline":"One connected real locus in every deformation implies rationality","keywords":["real Fano threefolds","R-rationality","real locus","connected components","Mori–Mukai classification","Galois descent","minimal model program","Smith–Thom inequality"],"falsifier":"A direct counterexample would be a smooth geometrically rational real Fano threefold $X$ with $X(\\mathbb{R})\\neq\\emptyset$, $s_X=1$, and $X$ not rational over $\\mathbb{R}$; the theorem says no such threefold exists. Short of that, one can test the inputs: check whether the descent lemma [ACKM24, Lemma 2.5] holds for every contraction used in Propositions 4.8, 4.11, and 4.13, or search the Mori--Mukai and Prokhorov tables for a missing family whose real members would escape the dichotomy.","tokens_in":23681,"feed_emoji":"🔗","tokens_out":12036,"duration_ms":106534,"temperature":0.7,"pith_summary":"This paper proves a rationality criterion for smooth real Fano threefolds whose real locus is nonempty: if the real locus stays connected for every complex deformation of the threefold, then the threefold is rational over $\\mathbb{R}$. The criterion is carried by an invariant $s_X$, defined as the maximal number of connected components of the real locus among all real forms of complex deformations of $X$. Working through the full classification of smooth complex Fano threefolds, the authors show that every family either has $s_{m.n}>1$ with an explicit example, or has the property that every real member with nonempty real locus is rational. The interest is that rationality, a subtle birational property, is here detected by a purely topological deformation invariant.","feed_headline":"One connected real locus in every deformation implies rationality","feed_subtitle":"A new invariant counts real components across deformations; when it equals one, rationality over the reals follows.","key_machinery":"The proof is carried by three mechanisms. The first is the invariant $s_X=\\max\\{\\#\\pi_0(X'(\\mathbb{R}))\\mid X'_{\\mathbb{C}}\\stackrel{\\mathrm{def}}{\\sim} X_{\\mathbb{C}}\\}$, the largest number of connected components the real locus can have among real forms of any complex deformation of $X$; the criterion thresholds this quantity at one. The second is the Smith--Thom inequality and its Borel--Swan refinement, which yield the global bounds $s_X\\le 1+h^{1,2}(X)+\\rho(X_{\\mathbb{C}})$ and $s_X\\le 1+h^{1,2}(X)+\\rho(X_{\\mathbb{C}})-2\\lambda_X$ used to pin down exact values in several families. The third is the Mori--Mukai classification of the 105 families of smooth complex Fano threefolds together with Matsuki's tables of extremal contractions: for each family the authors locate a Galois-invariant birational contraction to a rational target, and the descent lemma of [ACKM24, Lemma 2.5] converts it into a real birational morphism.","core_discovery":"The central claim is Theorem 4.3: let $X$ be a smooth geometrically rational real Fano threefold with $X(\\mathbb{R})\\neq\\emptyset$. If $s_X=1$, meaning no complex deformation of $X_{\\mathbb{C}}$ admits a real form whose real locus has at least two connected components, then $X$ is rational over $\\mathbb{R}$. To prove it, the paper runs through all 105 Mori--Mukai families of smooth complex Fano threefolds and establishes a dichotomy: for every family either $s_{m.n}>1$, with an explicitly constructed real form whose real locus is disconnected, or every real member with nonempty real locus is rational, obtained by exhibiting a Galois-invariant extremal contraction to a variety already known to be rational over $\\mathbb{R}$. The families with $s_{m.n}>1$ are assembled in Table 3, with lower bounds from explicit examples and upper bounds from Smith--Thom, Borel--Swan, or classification arguments.","pith_inferences":["A testable extension is to sharpen the entries marked '?' in Table 3, such as families №1.8 and №3.2, by constructing real forms with more connected components; the smoothing techniques used in the paper are a natural source for such examples.","The paper's dichotomy suggests that for real Fano threefolds, rationality failure is often witnessed by a real form with disconnected real locus inside the same complex deformation class, making $s_X$ a computable obstruction even when other birational invariants are hard to evaluate.","The higher-dimensional analogue is open: whether $s_X=1$ forces rationality for smooth real rationally connected $n$-folds is not settled by this paper, and the paper itself poses the question for $n\\ge 3$."],"forward_implications":["For any smooth geometrically rational real Fano threefold with nonempty real locus, the invariant $s_X$ decides rationality: if $s_X=1$, the threefold is rational over $\\mathbb{R}$.","The families with $s_{m.n}>1$ are identified with explicit real forms realizing the lower bounds, for example $s_{1.14}=2$, $s_{2.18}=3$, and $s_{10.1}=5$.","The converse of the criterion fails: by Remark 4.16 there are rational real Fano threefolds with $s_X>1$, so the test is sufficient but not necessary.","For several minimal families the paper combines the criterion with known rationality results to give exact equivalences, such as rationality of a real member of family №1.14 being equivalent to $X(\\mathbb{R})\\neq\\emptyset$ together with $F_1(X)(\\mathbb{R})\\neq\\emptyset$."],"supporting_citations":[{"why":"supplies the complete Mori--Mukai classification of smooth complex Fano threefolds with Picard rank at least two, the enumeration on which the case analysis runs.","marker":"[MM86, MM03]"},{"why":"supplies the classification of Picard-rank-one Fano threefolds used in Proposition 4.6.","marker":"[Isk79]"},{"why":"provides the lists of extremal contractions and Mori cone descriptions for higher-rank Fano families that the proof checks family by family.","marker":"[Mat95, Mat23]"},{"why":"the real descent lemma that turns a Galois-invariant extremal contraction over the complex numbers into a real birational morphism.","marker":"[ACKM24, Lemma 2.5]"},{"why":"the G-Fano classification used in Lemma 3.2 to list minimal real Fano threefolds with geometric Picard rank greater than one.","marker":"[Pro13]"},{"why":"the rationality criteria over nonclosed fields for minimal Fano threefolds that the paper restates as Theorem 3.3 and uses to settle several families.","marker":"[KP23, KP24]"},{"why":"classifies real loci of three-dimensional intersections of two quadrics, giving the exact value $s_{1.14}=2$.","marker":"[Kra18]"},{"why":"the real smoothing theorem for singular Fano threefolds with ordinary double points used to turn singular examples into smooth ones with the same number of real components.","marker":"[Nam97]"},{"why":"supplies an example of a real member of family №4.1 with disconnected real locus used for the lower bound $s_{4.1}\\ge 2$.","marker":"[CTZ24]"}],"fun_headline_variants":["One real component across deformations forces real rationality","Real Fano threefolds: single connected locus is rationality key","s=1 invariant: rational over R iff real locus stays connected","All 105 families: one real component implies rationality over R","Real rationality criterion: no deformation with disconnected real locus"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the completeness and correctness of the published classification lists (Mori--Mukai families, Prokhorov's G-Fano table, Matsuki's contraction data) and on the real descent lemma applying to every extremal contraction used in the case analysis.","fun_headline_variants_meta":{"raw":{"variants":["One real component across deformations forces real rationality","Real Fano threefolds: single connected locus is rationality key","s=1 invariant: rational over R iff real locus stays connected","All 105 families: one real component implies rationality over R","Real rationality criterion: no deformation with disconnected real locus"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000971,"raw_usage":{"total_tokens":4030,"prompt_tokens":749,"completion_tokens":3281,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":365,"completion_tokens_details":{"reasoning_tokens":3198}},"tokens_in":365,"tokens_out":3281,"duration_ms":27635,"temperature":1.0,"reasoning_tokens":3198,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:58:11.270652+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct counterexample would be a smooth geometrically rational real Fano threefold $X$ with $X(\\mathbb{R})\\neq\\emptyset$, $s_X=1$, and $X$ not rational over $\\mathbb{R}$; the theorem says no such threefold exists. Short of that, one can test the inputs: check whether the descent lemma [ACKM24, Lemma 2.5] holds for every contraction used in Propositions 4.8, 4.11, and 4.13, or search the Mori--Mukai and Prokhorov tables for a missing family whose real members would escape the dichotomy.","supporting_citations":[],"review_version":1}