{"id":"0d14c3b4-69e0-4f60-bab8-421165fd85a1","arxiv_id":"1908.05468","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For hypersurfaces of spheres, the Gauss map into the complex quadric is Lagrangian, and principal curvatures are the cotangent of local angle functions; the local converse is constructed explicitly.","lead":"This paper proves that every hypersurface of a sphere has a Gauss map into a complex quadric, and that the principal curvatures are related to angle functions of the corresponding Lagrangian submanifold. It also gives the local converse: every Lagrangian submanifold of the quadric arises locally as the Gauss map of several hypersurfaces, and it records how curvatures change among them.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Missing complex conjugation in the shape-operator formula of Remark 2.1 makes Eq. (3.6) algebraically inconsistent; the converse proof of Theorem 3.1 depends on restoring it.","rationale":"The reader's weakest assumption identifies exactly the issue I find load-bearing. The problematic conjugation is not confined to one isolated line: the forward proof of Theorem 3.1 also uses the conjugate value (1+iλ_j)e_j/√2 against (3.4), and the converse proof's Eq. (3.6) is algebraically inconsistent as printed. On a literal reading, the proof of the central theorem is internally inconsistent, so the result is not established as written. The geometric construction is nonetheless plausible, and restoring a single complex conjugation in Remark 2.1 makes the subsequent displays, including (3.8), (3.9), and the cotangent-difference formula, consistent and reproduces the stated relations. I therefore do not see grounds for rejection, but the manuscript needs a correction before Theorem 3.1 can be accepted as proven. This matches the reader's CONDITIONAL verdict and my independent read does not move it. I also considered the local horizontal-lift existence cited from [7]; since the proof only requires a local lift and this is a standard result for Lagrangian submanifolds of the complex quadric, it does not pose a comparable risk.","tokens_in":6686,"tokens_out":18281,"duration_ms":175138,"concrete_test":"Compute directly, for the Hopf submersion π: S^{2n+3} → CP^{n+1}, the shape operator of Q^n with normal ζ = dπ_z(conjugate of z) (up to scale), and compare the candidate identities A X = -(dπ)(hat X) and A X = -(dπ)(conjugate of hat X) using the explicit Gauss map of a totally umbilical hypersurface S^n(r) in S^{n+1}(1). The correct identity must yield λ = cot θ; the printed version instead forces θ = π/2 for every principal direction. This one computation determines whether Remark 2.1 requires a complex conjugation.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Remark 2.1 states A X = -(dπ)(hat X) for the shape operator of Q^n in CP^{n+1} with normal ζ = dπ(hat f). This formula is used in both directions of Theorem 3.1. In the forward half it gives A(dG)e_j = -(dπ)(d(hat G)e_j), but the proof then substitutes (1+iλ_j)e_j/√2, the complex conjugate of the value (1-iλ_j)e_j/√2 arising from (3.4); the algebra only closes when the conjugation is present. In the converse half, lifting the angle equation (2.1) horizontally with the same uncompensated formula yields Eq. (3.6): -(d(hat f_t))e_j = e^{-2iθ_j^{(t)}}(d(hat f_t))e_j. Since d(hat f_t) is injective, this forces e^{-2iθ_j^{(t)}} = -1 and hence θ_j^{(t)} ≡ π/2 mod π for every direction, contradicting the preceding construction and blocking the derivation of λ_j^{(t)} = cot(θ_j^{(0)}+t) in Eq. (3.9). With the corrected relation A X = -(dπ)(conjugate of hat X), Eq. (3.6) becomes -conjugate(d(hat f)e) = e^{-2iθ}d(hat f)e, which has nonzero solutions and reproduces both λ_j = cot θ_j and the cotangent-difference formula. The load-bearing assumption is therefore a sign/conjugacy convention in the operative formula, not a flaw in the geometric construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Gauss map of a hypersurface a: M^n -> S^{n+1}(1) into the complex quadric Q^n, defined by G(p)=[a(p)+ib(p)]. The main claims are: (1) G is a Lagrangian immersion; (2) with the canonical horizontal lift \\hat G=(a+ib)/\\sqrt{2} and the associated shape operator A from Remark 2.1, the principal curvatures λ_j and the angle functions θ_j from (2.1) satisfy λ_j = cot θ_j; (3) conversely, every Lagrangian immersion f: M^n -> Q^n is locally the Gauss map of an immersion a into S^{n+1}(1), and for any such hypersurface the angle functions and principal curvatures satisfy cot(θ_j-θ_k) = ±(λ_jλ_k+1)/(λ_j-λ_k). The proof uses horizontal lifts of Lagrangian immersions and derives the curvature–angle correspondence by direct calculation. The paper generalizes earlier results for isoparametric hypersurfaces in spheres to arbitrary hypersurfaces, and it clarifies the dependence of the correspondence on the choice of horizontal lift and almost product structure.","tokens_in":7017,"tokens_out":6145,"duration_ms":60569,"significance":"If the results stand, the paper provides a clean and explicit correspondence between the extrinsic geometry of hypersurfaces of spheres and the intrinsic Lagrangian geometry of the complex quadric. The relation λ_j = cot θ_j is simple, coordinate-free, and does not depend on the isoparametric assumption, so it is a genuine structural extension of the work in [2]. The converse construction, producing all parallel hypersurfaces with a given Gauss map, is natural and is presented with explicit formulas for the derivatives in (3.8)–(3.9). The derivation is direct and does not appear circular: the only reliance on the prior work [2] is the standard angle-shift formula under change of the almost product structure, which is a lemma rather than the target theorem. However, the proof as printed has a load-bearing algebraic inconsistency in the shape-operator formula, so the manuscript is not yet in publishable form.","major_comments":[{"comment":"The shape-operator formula in Remark 2.1 is stated as AX = -(dπ)_{\\hat f(p)}(\\hat X) (Eq. (2.2) in the special case). This formula is used in both directions of Theorem 3.1, and as printed it makes the proof inconsistent. In the forward direction, combining (2.2) with (3.4) would give A(dG)e_j = -(dπ)((1-iλ_j)e_j/\\sqrt{2}), but the text substitutes (1+iλ_j)e_j/\\sqrt{2} before applying dπ; this step is only correct if the shape operator is defined with a complex conjugation, i.e., AX = -(dπ)(\\overline{\\hat X}). In the converse direction, lifting (2.1) by this same formula yields Eq. (3.6): -(d\\hat f_t)e_j = e^{-2iθ_j^{(t)}}(d\\hat f_t)e_j. Since d\\hat f_t is injective, this equation forces e^{-2iθ_j^{(t)}} = -1 and hence θ_j^{(t)} ≡ π/2 (mod π) for every j, contradicting the subsequent derivation of λ_j^{(t)} = cot(θ_j^{(0)}+t) in Eq. (3.9). With the conjugated formula, Eq. (3.6) becomes -\\overline{(d\\hat f_t)e_j} = e^{-2iθ_j^{(t)}}(d\\hat f_t)e_j, which has nonzero solutions and reproduces the claimed relation. This is a load-bearing gap: the central theorem depends on a formula that the text states without the conjugation it later uses. I suspect this is a typographical omission, but the proof must be corrected for the theorem to be valid.","section":"Remark 2.1 and Section 3, Eq. (3.6)"}],"minor_comments":[{"comment":"The definition of ζ as ζ_{f(p)} = (dπ)_{\\hat f(p)}(\\hat f(p)) is imprecise because dπ acts on tangent vectors, not on points of V^{2n+1}; the intended construction should be clarified, for example by writing the normal vector field explicitly in terms of \\overline{\\hat f} or a tangent representative.","section":"Remark 2.1"},{"comment":"The notation θ_j^(t) (with a caret before the parenthesized t) is typographically confusing; please use θ_j^{(t)} consistently throughout the proof.","section":"Section 3, Eqs. (3.6), (3.8), (3.9)"},{"comment":"The step 'This implies that the frame {e_1^{(t)},...,e_n^{(t)} does not depend on t' is stated without justification. When the eigenvalues of the shape operator A_0 have multiplicities, the adapted frame in (2.1) is not unique; a short argument (e.g., by choosing an orthonormal eigenframe at a point and extending by continuity, or by noting that the relation (3.3) is only needed where the λ_j are distinct) would make the proof complete.","section":"Section 3, proof of Theorem 3.1"}],"recommendation":"major_revision","confidential_remarks":"The main technical gap is a sign/conjugation convention in the shape-operator formula, and the manuscript can likely be repaired by inserting a complex conjugation in Remark 2.1 and adjusting the subsequent equations accordingly. I did not find a circularity problem: the target relation λ_j = cot θ_j is derived by direct computation, and the only same-group dependency is the angle-shift formula under change of A, which is a standard lemma from [2]. If the authors confirm the corrected formula and clean up the frame-independence argument, the paper is likely to be a solid contribution to the subject. The scope of the paper fits the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core result is a genuine generalization of the isoparametric case from [2]: the Gauss map of any hypersurface of a unit sphere is Lagrangian into the complex quadric, with principal curvatures related to the angle functions by lambda_j = cot theta_j, and there is a local converse. What is new is the explicit converse construction via horizontal lifts and the cotangent-difference formula for the angle functions under arbitrary choices of the almost product structure. The forward half is a direct computation and it is clean.\n\nThe one real problem is in the sign convention. Remark 2.1 states A X = -(dπ)(hat X), but the computation later requires the complex conjugate of the horizontal lift. As printed, Eq. (3.6) becomes -Y = e^{-2iθ}Y for Y = (d\\hat f)e, forcing Y = 0 unless θ ≡ π/2 mod π, which would collapse the converse. The fix is exactly what the stress-test note says: insert the conjugation in Eq. (2.2), so the formula reads A X = -dπ(conjugate of hat X). With that repaired, Eq. (3.6) gives -conj(Y) = e^{-2iθ}Y, which has nonzero solutions and yields both λ = cot θ and the cot-difference formula. I have not checked every tensor index, but the rest of the proof looks coherent under that repair. This is a repairable notational slip, not a fatal flaw.\n\nThe paper leans on [2] for the angle-shift lemma when changing the almost product structure. That is legitimate: [2] is by the same group, the lemma is cited precisely, and it is not the target theorem. The citation pattern is otherwise standard (Reckziegel, Palmer, Smyth). The geometric claims are plausible and the explicit constructions are genuinely useful.\n\nThis is a modest but solid contribution for people working on submanifolds of the complex quadric and on structural approaches to isoparametric hypersurfaces. The printed version should not be accepted without a referee flagging the typo and checking the corrected derivation, but the paper deserves serious peer review. I would send it out and ask for the conjugation fix plus a short verification of the tensor conventions. It is not a breakthrough, but it is honest, useful work.","headline":"Solid, useful extension of the Gauss-map dictionary to arbitrary hypersurfaces of spheres; the converse proof has a repairable conjugation typo in the shape-operator formula.","tokens_in":7554,"tokens_out":1902,"would_cite":true,"duration_ms":19890,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53D12","53B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Gauss map of every hypersurface of a unit sphere is a Lagrangian immersion into the complex quadric, and conversely every Lagrangian submanifold arises locally this way.","keywords":["Lagrangian submanifolds","complex quadric","Gauss map","hypersurfaces of spheres","principal curvatures","angle functions","horizontal lifts","isoparametric hypersurfaces"],"falsifier":"Recompute equation (3.6) with the formula $AX=-(d\\pi)(\\hat X)$ exactly as printed in Remark 2.1: the left side is $-d\\hat f$ and the right side becomes $e^{-2i\\theta}d\\hat f$, forcing $d\\hat f=0$ except for special angles. Replacing the formula by $AX=-(d\\pi)(\\overline{\\hat X})$ restores consistency and yields $\\lambda_j=\\cot\\theta_j$; checking which identity the geometry actually satisfies decides whether the theorem holds as stated.","tokens_in":6424,"feed_emoji":"📐","tokens_out":10962,"duration_ms":96199,"temperature":0.7,"pith_summary":"The paper establishes a two-way correspondence between hypersurfaces of the unit sphere $S^{n+1}(1)$ and Lagrangian submanifolds of the complex quadric $Q^n$. Its central claim is that the Gauss map $G(p)=[a(p)+ib(p)]$ of any hypersurface is a Lagrangian immersion, and that conversely every Lagrangian submanifold of $Q^n$ is locally the Gauss map of some sphere hypersurface. The explicit construction runs through horizontal lifts to the Stiefel manifold, and it comes with a quantitative statement: with the natural choice of almost product structure, the principal curvatures $\\lambda_j$ and the angle functions $\\theta_j$ satisfy $\\lambda_j=\\cot\\theta_j$, and more generally $\\cot(\\theta_j-\\theta_k)=\\pm(\\lambda_j\\lambda_k+1)/(\\lambda_j-\\lambda_k)$. This matters because both sides of the relation are defined through choices, but the combination on the right is shown to be independent of those choices.","feed_headline":"Every sphere hypersurface's Gauss map is a Lagrangian immersion","feed_subtitle":"Every Lagrangian submanifold of the quadric is locally the Gauss map of a sphere hypersurface","key_machinery":"The central machinery is the family $\\mathcal A$ of almost product structures on the complex quadric $Q^n=\\{z_0^2+\\cdots+z_{n+1}^2=0\\}\\subset CP^{n+1}(4)$—symmetric operators with $A^2=\\mathrm{Id}$ that anti-commute with $J$—together with the local angle functions $\\theta_j$ they induce on a Lagrangian immersion by $A(df)e_j=\\cos(2\\theta_j)(df)e_j-\\sin(2\\theta_j)J(df)e_j$. The bridge between spheres and the quadric is the Stiefel manifold of oriented orthonormal two-frames in $\\mathbb R^{n+2}$: the Gauss map lifts horizontally to $\\hat G=(a+ib)/\\sqrt2$, and any other lift differs by $e^{it}$, exactly the passage to a parallel hypersurface. The curvature-angle identities follow by differentiating the horizontal lift, $(d\\hat G)e_j=(1-i\\lambda_j)e_j/\\sqrt2$, and comparing the action of the shape operator $A$ through the projection $\\pi$ with the defining equation of the angle functions.","core_discovery":"The central claim is that the Gauss map $G:M^n\\to Q^n$, $p\\mapsto[a(p)+ib(p)]$, of a hypersurface $a:M^n\\to S^{n+1}(1)$ with unit normal $b$, is a Lagrangian immersion into the complex quadric: the complex structure $J$ of $Q^n$ sends the tangent space of the image onto its normal space. Taking the canonical horizontal lift $\\hat G=(a+ib)/\\sqrt2$ and the associated almost product structure $A$ specified in Remark 2.1, the paper computes\n$A(dG)e_j=\\frac{\\lambda_j^2-1}{\\lambda_j^2+1}(dG)e_j-\\frac{2\\lambda_j}{\\lambda_j^2+1}J(dG)e_j$,\nwhich is precisely the angle-function equation (2.1) with $\\lambda_j=\\cot\\theta_j$. Conversely, every Lagrangian immersion $f:M^n\\to Q^n$ is locally the Gauss map of a hypersurface of the sphere: for each point there is a neighbourhood $U$ and an immersion $a:U\\to S^{n+1}(1)$ with Gauss map $f|_U$, obtained from a horizontal lift $\\hat f_t=e^{it}\\hat f_0$ and the parallel-hypersurface family $a_t=(\\cos t)a_0-(\\sin t)b_0$. For any such hypersurface the paper proves\n$\\cot(\\theta_j-\\theta_k)=\\pm\\frac{\\lambda_j\\lambda_k+1}{\\lambda_j-\\lambda_k}$\nin points where $\\lambda_j\\neq\\lambda_k$, with the sign coming from the orientation of the normal and the right-hand side unaffected by $t$ or by the choice of $A$.","pith_inferences":["An inference from the construction is that the suspicious sign in Remark 2.1 is likely a typo: if the operator reads $AX=-(d\\pi)(\\overline{\\hat X})$ with a complex conjugate, then equation (3.6) is consistent and the main theorem follows as stated.","A further inference: the combination $\\pm(\\lambda_j\\lambda_k+1)/(\\lambda_j-\\lambda_k)$ is choice-independent, so it defines a pointwise invariant of a Lagrangian submanifold of $Q^n$ that could be computed directly and used to test whether the submanifold is locally a Gauss map.","Because the construction is purely local and uses only horizontal lifts, a testable extension is that the same correspondence should hold with the sphere replaced by other space forms, such as hyperbolic space, with a suitable quadric-like target.","In the constant-angle case the construction recovers the Gauss images of isoparametric hypersurfaces; conversely, constancy of these choice-independent ratios could be used to characterize which Lagrangian submanifolds arise from isoparametric hypersurfaces."],"forward_implications":["Every hypersurface of a unit sphere, not only isoparametric ones, has a Lagrangian Gauss image in the complex quadric.","Every Lagrangian submanifold of $Q^n$ is locally determined by a sphere hypersurface, so local questions about one class can be translated into questions about the other.","The value of $\\cot(\\theta_j-\\theta_k)$ is independent of the almost product structure and of the parallel hypersurface chosen, so the combination $(\\lambda_j\\lambda_k+1)/(\\lambda_j-\\lambda_k)$ records a genuine invariant of the Lagrangian submanifold.","Changing to the parallel hypersurface $a_t$ shifts all angle functions by the same constant $t$, leaving the angle differences and hence the curvature combination unchanged."],"supporting_citations":[{"why":"supplies the definition of the Gauss map of a sphere hypersurface that the paper adopts.","marker":"[6]"},{"why":"provides the existence and definition of local angle functions for Lagrangian submanifolds of the quadric and the earlier isoparametric curvature-angle correspondence this paper extends.","marker":"[2]"},{"why":"guarantees local existence of horizontal lifts of Lagrangian immersions into the complex quadric, the ingredient that makes the converse construction possible.","marker":"[7]"},{"why":"source for the shape-operator almost product structures $A$ on the quadric and their algebraic properties.","marker":"[8]"},{"why":"source for the connection formulae for $A$ and the curvature tensor of the quadric used in the setup.","marker":"[10]"}],"fun_headline_variants":["Gauss maps of sphere hypersurfaces are Lagrangian immersions","Every Lagrangian submanifold is locally a Gauss map","Angle functions relate curvature and Lagrangian structure","Explicit constructions for Gauss map duality on spheres","Local correspondence between Gauss maps and Lagrangian submanifolds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The converse construction and the curvature-angle formula rest on the operative formula $AX=-(d\\pi)(\\hat X)$ in Remark 2.1; as printed, plugging it into (3.6) gives $-X=e^{-2i\\theta}X$, which forces $X=0$ unless $\\theta\\equiv\\pi/2\\pmod\\pi$, so the claimed derivation depends on that formula being corrected (with a complex conjugate) rather than on the text as typeset.","fun_headline_variants_meta":{"raw":{"variants":["Gauss maps of sphere hypersurfaces are Lagrangian immersions","Every Lagrangian submanifold is locally a Gauss map","Angle functions relate curvature and Lagrangian structure","Explicit constructions for Gauss map duality on spheres","Local correspondence between Gauss maps and Lagrangian submanifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000946,"raw_usage":{"total_tokens":4102,"prompt_tokens":1073,"completion_tokens":3029,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":689,"completion_tokens_details":{"reasoning_tokens":2953}},"tokens_in":689,"tokens_out":3029,"duration_ms":19395,"temperature":1.0,"reasoning_tokens":2953,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:15:02.127108+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute equation (3.6) with the formula $AX=-(d\\pi)(\\hat X)$ exactly as printed in Remark 2.1: the left side is $-d\\hat f$ and the right side becomes $e^{-2i\\theta}d\\hat f$, forcing $d\\hat f=0$ except for special angles. Replacing the formula by $AX=-(d\\pi)(\\overline{\\hat X})$ restores consistency and yields $\\lambda_j=\\cot\\theta_j$; checking which identity the geometry actually satisfies decides whether the theorem holds as stated.","supporting_citations":[{"cited_title":"Palmer, Hamiltonian minimality and Hamiltonian stability of Gauss maps, Differential Geom","cited_arxiv_id":null,"evidence_quote":"supplies the definition of the Gauss map of a sphere hypersurface that the paper adopts."},{"cited_title":"Minimal Lagrangian submanifolds of the complex hyperquadric","cited_arxiv_id":"1812.07888","evidence_quote":"provides the existence and definition of local angle functions for Lagrangian submanifolds of the quadric and the earlier isoparametric curvature-angle correspondence this paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"guarantees local existence of horizontal lifts of Lagrangian immersions into the complex quadric, the ingredient that makes the converse construction possible."},{"cited_title":"Reckziegel, On the geometry of the complex quadric , Geometry and Topology of Subman- ifolds, VIII (Brussels, 1995 / Nordfjordeid, 1995), W orld S ci","cited_arxiv_id":null,"evidence_quote":"source for the shape-operator almost product structures $A$ on the quadric and their algebraic properties."},{"cited_title":"Smyth, Differential geometry of complex hypersurfaces , Ann","cited_arxiv_id":null,"evidence_quote":"source for the connection formulae for $A$ and the curvature tensor of the quadric used in the setup."}],"review_version":1}