{"id":"f2bc4d81-fffc-4823-ac04-197513d0635d","arxiv_id":"1908.05548","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Oguiso's isomorphic quartic K3 surfaces are Cremona isomorphic via the classical cubo-cubic transformation, not by a projective automorphism.","lead":"This paper shows that the Cremona transformation in Oguiso's example of isomorphic but not projectively equivalent quartic K3 surfaces in three-dimensional space is the classical cubo-cubic transformation. The identification gives a concrete classical picture of an exotic birational map.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The paper is a short observation rather than a long proof, and its central claim is well supported by standard facts about the cubo-cubic transformation and by Oguiso's results. The only step that could fail is the equality of strict transforms, and the reader correctly identifies it as the gluing point. However, a direct argument fills the gap: for x not in C, the first three equations determine y uniquely; if det M(x) = 0, the last row of M(x) is a linear combination of the first three rows, so the fourth equation is automatically satisfied. Thus S and the strict transform of S1 agree on a dense open subset, and since both are irreducible divisors of the same class in the smooth threefold X, they are equal. The same argument applies to S2 via the identity M(x) y^t = N(y) x^t. The identification of Oguiso's V with the graph of the cubo-cubic transformation is also forced geometrically: the class H2 = 3H1 - E follows from the canonical bundle computation on V, so the second projection is exactly the cubo-cubic map. No contradiction with Oguiso's non-equivalence result arises, since that result concerns projective equivalence of the two K3 surfaces, not the ambient Cremona map. The paper cites Oguiso for smoothness and for the determinantal equations of S1 and S2, and those citations are appropriate. No machine-checked proof is provided, but the argument is short and explicit enough that a symbolic verification would settle any residual doubt. Therefore the reader's ACCEPT verdict should stand unchanged.","tokens_in":4456,"tokens_out":11856,"duration_ms":124014,"concrete_test":"Run a symbolic check with a random 4x4 constant matrix (a^k_ij): define X by the first three bidegree (1,1) equations and S by all four; compute the ideal of the strict transform of det M(x) = 0 in X via saturation and compare it with the ideal of S; also verify that the second projection of S agrees with the restriction of the cubo-cubic map. If the ideals match and the projection agrees, the central equality is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern identified. The natural soft spot is the asserted equality of strict transforms, S1~ = S = S2~, but it is adequately justified. Away from C, the equations Q1, Q2, Q3 determine y uniquely for each x, and det M(x) = 0 makes the last row of M(x) dependent on the first three rows, so Q4(x, y) = 0 automatically. Hence S and the strict transform of S1 agree on a dense open set; both are irreducible divisors of class 4H - E in the smooth threefold X, so they coincide. The symmetric identity gives the same for S2~. The identification of X with the graph of the cubo-cubic transformation is standard, and the class relation H2 = 3H1 - E on V follows from -K_V = H1 + H2 together with K_V = -4H1 + E, so Oguiso's tau is exactly the cubo-cubic transformation. No step appears internally inconsistent or unsupported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper observes that the Cremona transformation τ in Oguiso's example of two smooth quartic K3 surfaces in P3 that are Cremona isomorphic but not projectively equivalent is, in fact, the classical cubo-cubic transformation. After recalling two standard presentations of the cubo-cubic transformation (via the graph of a general genus-3 degree-6 curve in P3, and via the blow-up of P3 along that curve), the author shows that Oguiso's threefold V = Q1 ∩ Q2 ∩ Q3 is precisely the graph of the cubo-cubic transformation defined by a matrix A(x), and that the K3 surface S = Q1 ∩ Q2 ∩ Q3 ∩ Q4 is simultaneously the strict transform of S1 and S2. Hence the birational map τ restricts to an isomorphism between S1 and S2, and by Oguiso's theorem these surfaces are not projectively equivalent.","tokens_in":4624,"tokens_out":8399,"duration_ms":74358,"significance":"If the identification is correct, this gives a classical-geometric interpretation of Oguiso's counterexample to the Matsumura–Monsky theorem in the exceptional case (n,d) = (3,4): the exotic Cremona isomorphism is an old object, the cubo-cubic transformation. The proof is direct and transparent: the key matrix identity M(x)·yᵗ = N(y)·xᵗ makes the identification of the strict transforms a matter of linear algebra, and the paper uses standard external results (Katz, Dolgachev, Oguiso) without circularity. The paper is short and contains no fitted parameters or heuristic steps. Its main value is conceptual: it shows that the 'exotic' phenomenon is already present in classical 19th-century birational geometry.","major_comments":[],"minor_comments":[{"comment":"In Section 3, the matrices B_i = (a^k_{ij})_{j,k} are defined but never used; please remove them or explain their role.","section":"Section 3"},{"comment":"The equality ~S1 = S = ~S2 is stated in one line; a short justification would help, e.g., that away from C the first three equations Q1 = Q2 = Q3 = 0 determine y uniquely from x, and Q4 = 0 is then equivalent to det M(x) = 0, so the strict transform of S1 coincides with S (and analogously for S2).","section":"Section 3"},{"comment":"The phrase 'the linear system |3H − E| defines a morphism Ψ : X → P3 which can be shown to be of degree 1' is imprecise: the complete linear system defines a morphism (after the blow-up), and 'degree 1' should be read as 'birational onto its image'; please clarify.","section":"Section 1"},{"comment":"The statement that the Laplace expansion with respect to the last row shows det(M(x)) = 0 on C is misleading: the vanishing follows immediately because the first three rows of M(x) are dependent for x ∈ C. Please rephrase.","section":"Section 3"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a concise note whose central claim is sound. The only issues are cosmetic and local. It fits the scope of the journal. I have no concerns about attribution; the author explicitly credits Oguiso, Katz, and the classical literature. The exposition could be improved by removing the unused matrices B_i and by expanding the terse justification of the strict-transform equality, but these do not affect the validity of the main result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nRead Reede's note on the cubo-cubic transformation and Oguiso's K3 surfaces. The one thing to know: this is a short observation, but it is correct and it actually explains something. Oguiso constructed a Cremona transformation tau between two quartic K3 surfaces that are not projectively equivalent. Reede shows tau is the classical cubo-cubic transformation: the three bidegree (1,1) equations cutting out Oguiso's Fano threefold V are exactly the rows of a 3x4 matrix A(x) whose 3x3 minors define a genus 3 degree 6 curve C, and V is the graph of the cubo-cubic map associated to C. The symmetric identity M(x) y^t = N(y) x^t does the work, and the strict transforms of the two K3 surfaces in the common blow-up of C are identified with the complete intersection S. That is a genuinely new connection and a nice way to see Oguiso's example not as an exotic construction but as the classical map applied to determinantal quartic surfaces.\n\nThe paper does this without new machinery. It uses standard results from Katz, Dolgachev, and Oguiso in a straightforward way, and the citation pattern is fine—no self-cites, and the external results are appropriately flagged. The mathematical core is a direct computation, not an appeal to authority.\n\nWhere are the soft spots? The glue point is the equality of the strict transforms: S1-tilde = S = S2-tilde. The paper states it in a few lines, and the justifications are spread between the matrix identity and Oguiso's smoothness. A referee might ask for a slightly more explicit argument here, but it is not a gap. The stress-test's reasoning—det M(x) = 0 away from C, the first three rows determine y, so the strict transforms agree on a dense open set, then the divisor class argument in the smooth threefold X—checks out. The paper could include that in one sentence, but its absence is a minor presentational issue, not a flaw.\n\nThe non-projective equivalence of S1 and S2 is imported from Oguiso, so the note does not reprove the negative side of the story. That is the right division of labor, but readers should know the exoticness of the example still lives in Oguiso's paper. The note explains the positive side: which Cremona map works.\n\nWho is this for? People who work with Cremona transformations, determinantal quartic surfaces, or Oguiso's example. It is a useful bridge between classical algebraic geometry and a modern counterexample. The paper deserves a serious referee and likely acceptance with minor comments.","headline":"A clean, useful identification of Oguiso's Cremona map as the classical cubo-cubic transformation; worth a serious referee.","tokens_in":5095,"tokens_out":3199,"would_cite":true,"duration_ms":29023,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14E05","14E07","14J28","14M12"],"pacs":[],"model":"deepseek-v4-flash","headline":"This note identifies the Cremona map in a known pair of quartic K3 surfaces with the classical cubo-cubic transformation of projective 3-space.","keywords":["Cremona transformations","K3 surfaces","determinantal hypersurfaces","cubo-cubic transformation","quartic K3 surfaces","birational geometry","genus-3 degree-6 curve","projective 3-space"],"falsifier":"Compute the strict transform inside the blow-up $X=\\operatorname{Bl}_C\\mathbb{P}^3$ of the quartic $S_1=\\{\\det(M(x))=0\\}$ and compare it with the preimage of $S_2=\\{\\det(N(y))=0\\}$ under the second projection. If the two surfaces in $X$ differ at even one smooth point, the paper's identification fails; the paper predicts they coincide as the same K3 surface $S$.","tokens_in":4279,"feed_emoji":"📐","tokens_out":7013,"duration_ms":56973,"temperature":0.7,"pith_summary":"The paper claims that the Cremona transformation appearing in a well-known example of two quartic K3 surfaces in projective 3-space is not a new or exotic map: it is the classical cubo-cubic transformation, already studied in the nineteenth century. The cubo-cubic transformation is the birational self-map of $\\mathbb{P}^3$ obtained by blowing up a smooth genus-3 degree-6 curve and then contracting the proper transform of its trisecant surface. The paper shows that the threefold obtained from three general bidegree-$(1,1)$ divisors — the graph of the cubo-cubic map — is exactly the threefold used to construct the two K3 surfaces, and that the two quartic surfaces are the two determinantal hypersurfaces $\\det(M(x))=0$ and $\\det(N(y))=0$. A sympathetic reader should care because this collapses a seemingly special counterexample to projective equivalence into a classical construction, and it explains why the two surfaces are determinantal quartics.","feed_headline":"Two quartic K3 surfaces are linked by the classical cubo-cubic map","feed_subtitle":"The surprising Cremona isomorphism between them turns out to be the old degree-(3,3) map, not a new exotic one.","key_machinery":"The load-bearing object is the graph of the cubo-cubic transformation: the intersection $Q_1\\cap Q_2\\cap Q_3$ of three divisors of bidegree $(1,1)$ in $\\mathbb{P}^3\\times\\mathbb{P}^3$, which is also the blow-up of $\\mathbb{P}^3$ along a genus-3 degree-6 curve $C$. The map is defined by the $3\\times3$ minors of a $3\\times4$ matrix $A(x)$ of linear forms, and the bilinear identity $M(x)y^t=N(y)x^t$ makes the two projections of the graph symmetric. This symmetry is what lets the single surface $S$ serve simultaneously as the strict transform of $S_1$ under one projection and the strict transform of $S_2$ under the other.","core_discovery":"The central claim is that the birational map $\\tau$ from the earlier example is the cubo-cubic transformation $\\varphi$ associated to a general smooth genus-3 degree-6 curve $C\\subset\\mathbb{P}^3$. Precisely: if the graph of $\\varphi$ is $Q_1\\cap Q_2\\cap Q_3\\subset\\mathbb{P}^3\\times\\mathbb{P}^3$, and a very general fourth bidegree-$(1,1)$ divisor $Q_4$ is added, then $S=Q_1\\cap Q_2\\cap Q_3\\cap Q_4$ is a K3 surface whose two projections give the two quartic surfaces $S_1=\\{\\det M(x)=0\\}$ and $S_2=\\{\\det N(y)=0\\}$. Because the identity $M(x)y^t=N(y)x^t$ holds, the strict transform of $S_1$ in the blow-up of $C$ is the same as the strict transform of $S_2$ in the blow-up of the curve $C'$; hence the cubo-cubic map restricts to a birational map $S_1\\dashrightarrow S_2$ that extends to an isomorphism. This identifies the previously constructed Cremona isomorphism with the classical cubo-cubic transformation.","pith_inferences":["If the identification is correct, the phenomenon 'Cremona isomorphic but not projectively equivalent' for quartic K3 surfaces is governed by the geometry of genus-3 degree-6 curves: different choices of $C$ should produce a family of such pairs, all linked by cubo-cubic maps.","The matrix identity suggests a symmetric construction: any $4\\times4$ matrix of linear forms whose first three rows define a smooth genus-3 degree-6 curve gives an $S_1$, and the transposed construction gives $S_2$; testing whether a generic such matrix yields non-projectively equivalent surfaces would extend the example.","This connects the example to the classical theory of determinantal quartic surfaces: since a smooth quartic is determinantal exactly when it contains a nonhyperelliptic genus-3 curve of degree 6, the cubo-cubic construction may be the geometric source of that determinantal structure."],"forward_implications":["The two quartic K3 surfaces in the example are determinantal quartic surfaces, cut out by the $4\\times4$ determinants $\\det(M(x))=0$ and $\\det(N(y))=0$.","The base curve $C$ of genus 3 and degree 6 lies on $S_1$, and its counterpart $C'$ lies on $S_2$; the cubo-cubic map contracts the trisecant surface of $C$ onto $C'$.","The isomorphism between $S_1$ and $S_2$ is realized by a Cremona transformation of the ambient $\\mathbb{P}^3$, so the example sits inside the classical cubo-cubic family rather than outside it.","Because the cubo-cubic transformation is the only non-trivial Cremona map of $\\mathbb{P}^3$ resolved by a single blow-up along a smooth curve, the example is special in a precise birational sense."],"supporting_citations":[{"why":"Supplies the two quartic K3 surfaces and the Cremona transformation that this paper identifies as cubo-cubic.","marker":"[Ogu17]"},{"why":"Proves the cubo-cubic transformation is resolved by a single blow-up along a smooth curve and that the two base curves are isomorphic, used to identify the strict transforms.","marker":"[Kat87]"},{"why":"Is the classical source for the cubo-cubic Cremona transformation, which the paper argues is the same map.","marker":"[Noe71]"},{"why":"Gives the classical description of the cubo-cubic transformation used in the first construction.","marker":"[SR49]"},{"why":"Provides the background theorem that the map defined by the $3\\times3$ minors is birational of multidegree $(3,3)$, with graph the intersection of three bidegree-$(1,1)$ divisors.","marker":"[Dol12]"},{"why":"Supplies the fact that the ideal of a genus-3 degree-6 curve is generated by the $3\\times3$ minors of a $3\\times4$ matrix of linear forms.","marker":"[Ell75]"},{"why":"Links determinantal quartic surfaces to containing a nonhyperelliptic genus-3 curve of degree 6, contextualizing the surfaces that appear.","marker":"[Bea00]"},{"why":"Provides the rigidity result that makes the quartic K3 example exceptional, motivating why the map must be Cremona rather than projective.","marker":"[MM64]"}],"fun_headline_variants":["Cubo-cubic map behind Oguiso's Cremona K3 example","Cremona map revealed as cubo-cubic transformation","Old degree-(3,3) map underlies Cremona K3 isomorphism","Surprise: Oguiso's Cremona map is the classic cubo-cubic","No new map: Oguiso's Cremona is cubo-cubic"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing premise is that, inside the blow-up of $\\mathbb{P}^3$ along the curve $C$, the strict transform of the first quartic surface is exactly the same surface $S$ as the strict transform of the second quartic surface; if those two strict transforms differed, the cubo-cubic map would not restrict to an isomorphism between the two quartics.","fun_headline_variants_meta":{"raw":{"variants":["Cubo-cubic map behind Oguiso's Cremona K3 example","Cremona map revealed as cubo-cubic transformation","Old degree-(3,3) map underlies Cremona K3 isomorphism","Surprise: Oguiso's Cremona map is the classic cubo-cubic","No new map: Oguiso's Cremona is cubo-cubic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000904,"raw_usage":{"total_tokens":3834,"prompt_tokens":832,"completion_tokens":3002,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":448,"completion_tokens_details":{"reasoning_tokens":2903}},"tokens_in":448,"tokens_out":3002,"duration_ms":20700,"temperature":1.0,"reasoning_tokens":2903,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:10:08.461716+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the strict transform inside the blow-up $X=\\operatorname{Bl}_C\\mathbb{P}^3$ of the quartic $S_1=\\{\\det(M(x))=0\\}$ and compare it with the preimage of $S_2=\\{\\det(N(y))=0\\}$ under the second projection. If the two surfaces in $X$ differ at even one smooth point, the paper's identification fails; the paper predicts they coincide as the same K3 surface $S$.","supporting_citations":[],"review_version":1}