{"id":"52e6230a-9032-4334-baec-b1e9ff0ae80e","arxiv_id":"2504.15677","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper transfers Euclidean affine isoperimetric and Blaschke-Santaló inequalities to static convex domains in hyperbolic space, with equality exactly for the newly defined hyperbolic ellipsoids.","lead":"This paper introduces hyperbolic ellipsoids and proves hyperbolic analogs of classical affine isoperimetric inequalities, including a Blaschke-Santaló inequality, for static convex domains in hyperbolic space. The results reduce to Euclidean affine isoperimetric theorems via a natural projection, with equality cases characterized by the new hyperbolic ellipsoids.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No load-bearing objection to the central claim; the Euclidean-reduction bridge (3.12) is sound, and the false Proposition 3.2 centroid statement is non-central.","rationale":"The reader's weakest_assumption focused on the algebraic bridge (3.12), but my independent check shows that bridge is correct: the exponents in (2.6), (2.11), and (2.13) conspire so that the affine support function and affine surface area element transform exactly onto their Euclidean counterparts. Thus the central claim, Theorem 1.1, is not imperiled by an exponent or sign error. I do agree with the reader's rationale that Proposition 3.2 contains a false centroid claim for polar bodies, and I confirmed this with a concrete Euclidean counterexample. However, because that proposition's second half is not needed in the proofs of Theorems 1.1-1.3, it does not bear on the central claim; it is a minor but real defect that should be fixed. I therefore keep the reader's CONDITIONAL verdict unchanged, with partial agreement: the specific false statement is correctly identified, but it is not a load-bearing threat to the main theorem.","tokens_in":13625,"tokens_out":27186,"duration_ms":224118,"concrete_test":"Verify Proposition 3.2 by taking a smooth convex body \\hat K in R^2 whose centroid is the origin but which is not centrally symmetric (e.g., a smoothed version of the quadrilateral conv{(5/3,-2/3),(-1/3,7/3),(-4/3,-2/3),(-1/3,-5/3)}) and computing the centroid of its polar \\hat K^\\circ; if that centroid is nonzero, the hyperboloid-preimage construction gives a direct counterexample to the asserted centroid claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I could not identify a load-bearing concern about Theorem 1.1 (or Theorems 1.2/1.3). The reduction as_H^p(K)=as_p(\\hat K) in (3.12) is algebraically sound: combining (2.6), (2.11), and (2.13) gives H_{n-1}(\\tilde\\kappa)^{1/(n+1)}dA=H_{n-1}(\\hat\\kappa)^{1/(n+1)}d\\hat A and uH_{n-1}(\\tilde\\kappa)^{-1/(n+1)}=\\hat u H_{n-1}(\\hat\\kappa)^{-1/(n+1)}, so the hyperbolic and Euclidean affine support functions coincide and the Lp integrands match term by term. Corollary 2.3 and Proposition 2.5 correctly supply the convexity and centroid conditions needed to invoke Theorems C and D. The one genuine flaw is Proposition 3.2's second sentence: a Euclidean convex body with centroid at the origin need not have a polar with centroid at the origin (a generic asymmetric quadrilateral already violates this), so the assertion that K^\\circ is also static convex with respect to its hyperbolic centroid p0 is false. This statement is not used in the proofs of Theorems 1.1-1.3, so the central claims stand; the proposition should be corrected or weakened to static convexity with respect to the original p0.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces the notion of hyperbolic ellipsoids as preimages, under a natural orthogonal projection, of Euclidean ellipsoids, and also defines hyperbolic centroids and hyperbolic polar bodies. The main results, Theorems 1.1–1.3, are sharp affine isoperimetric-type inequalities for static convex domains in hyperbolic space: an affine surface area bound, Lp-affine surface area bounds, and a Blaschke–Santaló type weighted volume product inequality. The proofs use the hyperboloid model, define the orthogonal projection π_{p0}, and derive in Lemmas 2.1–2.2 explicit formulas relating the metric, normal, support function, second fundamental form, volume/area elements, and Gauss curvature of a hypersurface and its projection. These identities yield equation (3.12), the equality of hyperbolic and Euclidean Lp-affine surface areas, after which the theorems follow by applying Petty's affine isoperimetric inequality, the Lutwak–Werner–Ye Lp inequalities, and the Blaschke–Santaló inequality. Equality is characterized by hyperbolic ellipsoids.","tokens_in":13874,"tokens_out":19424,"duration_ms":164283,"significance":"If correct, the paper establishes a clean and useful bridge between hyperbolic static-convex geometry and Euclidean convex geometry, yielding sharp inequalities with explicit constants (except for the non-sharp c in (1.10)). The central reduction (3.12) is a genuine parameter-free identity rather than an estimate, and Lemmas 2.1–2.2 are derived carefully. The paper's notions of hyperbolic ellipsoid, hyperbolic centroid, and hyperbolic polar body are natural and likely to be reusable. I find no circularity, no hidden fitting, and no unsupported assumption in the main inequality proofs; the algebraic bridge is sound.","major_comments":[{"comment":"The equality statement 'K is a hyperbolic ellipsoid' is ambiguous because the definition of hyperbolic ellipsoid is existential: it requires that the projection be an ellipsoid for some point. The proof of Theorem 1.1 in Section 4 establishes equality in (1.7) if and only if \\hat K = π_{p0}(K) is an ellipsoid, i.e., if and only if K is a hyperbolic ellipsoid with respect to the specific point p0 appearing in the hypothesis. As written, the 'if' direction is not established for a hyperbolic ellipsoid defined with respect to a different base point, and the property is base-point dependent in general. Please restate the equality case as 'with respect to p0' and similarly in Theorem 1.2, where the equality condition should refer to the hyperbolic centroid p0.","section":"Section 1, Theorem 1.1 (and Theorem 1.2)"}],"minor_comments":[{"comment":"The second sentence of Proposition 3.2, claiming that K° is static convex with respect to its hyperbolic centroid p0 whenever K is, is false: polar duality in Euclidean space does not preserve centroids, and a generic asymmetric convex body with centroid at the origin has a polar whose centroid is not the origin. This statement is not used in the proofs of Theorems 1.1–1.3—only the identity π_{p0}(K°) = (π_{p0}(K))° is used—so the main results are unaffected, but the proposition should be corrected or weakened to static convexity with respect to the original p0.","section":"Section 3, Proposition 3.2"},{"comment":"The identity 'as_0(\\hat K) = 1/n Vol(\\hat K)' appears inconsistent with definition (3.3); substituting p = 0 gives ∫ \\hat u d\\hat A = n Vol(\\hat K). Please check and correct this formula.","section":"Section 3, paragraph after Theorem D"},{"comment":"The typo 'cosd' should read 'cosh' in the displayed formulas of the proof of Proposition 3.2.","section":"Section 3, proof of Proposition 3.2"},{"comment":"The notation 'asp(K)' without the superscript H should be 'asH_p(K)' for consistency with the definition (3.10).","section":"Section 3, after (3.12)"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The projection identities (Lemmas 2.1–2.2) are correct, and the reduction as_H^p(K)=as_p(\\hat K) in (3.12) checks out term by term. Theorem 1.1 is a genuine and clean new hyperbolic affine isoperimetric inequality. But the paper’s other load-bearing step, Proposition 2.5, is false, and it is needed for Theorems 1.2 and 1.3. The stress-test note missed this.\n\nWhat is new and good: the hyperbolic ellipsoid definition, the hyperbolic polar body, and the idea of transferring the Euclidean affine theory through Gibbons projection. The algebra in Section 3 is careful, and the equality discussion for Theorem 1.1 is sound.\n\nThe soft spot: Proposition 2.5 claims that the hyperbolic centroid of K is at p_0 if and only if the Euclidean centroid of \\hat K = π_{p0}(K) is at the origin. From the definition cen(K)=∫X dvol /‖∫X dvol‖, the condition for the centroid to be at the base point is ∫_{\\hat K} x (1/V) dA = 0 (with dA the Euclidean area), not ∫_{\\hat K} x dA = 0. These differ by the positive factor 1/V=1/√(1+|x|^2). A concrete convex body in R^2 with vertices (-1,-1), (-1,1), (2,0) has Euclidean centroid at the origin, but ∫ x/V dA is strictly negative. So the equivalence is false. The proof of Proposition 2.5 computes the gradient of ∫ cosh d(Y,X) dvol incorrectly, picking up an extra cosh r factor.\n\nThis matters because Theorems 1.2 and 1.3 invoke Theorems D and E, which require the Euclidean centroid at the origin. With Proposition 2.5 false, those reductions collapse. Proposition 3.2’s second sentence (the polar of a centered body is centered) is also false, but it is not used in the main proofs.\n\nSo: Theorem 1.1 stands; Theorems 1.2 and 1.3 are unproved as written. I would send this to a referee because the core framework is worth engaging and the error is fixable (e.g., replace the hyperbolic centroid assumption with the Euclidean-centroid-of-projection condition, or prove a different relation). But the authors should be told clearly that two of the three advertised results lack proof.\n\nSend for review, but expect a major revision.","headline":"The projection identities and Theorem 1.1 are solid, but Proposition 2.5 is false and it is load-bearing for Theorems 1.2 and 1.3, so those two results are unproved as written.","tokens_in":14426,"tokens_out":23948,"would_cite":false,"duration_ms":195795,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A40","53C24","53A15"],"pacs":[],"model":"deepseek-v4-flash","headline":"For static convex domains in hyperbolic space, sharp affine isoperimetric inequalities hold with equality precisely when the domain is a hyperbolic ellipsoid.","keywords":["static convexity","hyperbolic ellipsoid","affine isoperimetric inequality","Blaschke-Santaló inequality","orthogonal projection","hyperbolic space","Lp-affine surface area"],"falsifier":"Project a geodesic ball in $H^n$ centered away from $p_0$ (which is not a geodesic ball centered at $p_0$) and compute both sides of (1.7); the identity should hold exactly because the projection is an ellipsoid. Then perform the same computation for a static convex domain whose projection is a smoothly rounded cube: the inequality should be strict, and any equality would disprove the equality characterization.","tokens_in":13393,"feed_emoji":"📐","tokens_out":10185,"duration_ms":80982,"temperature":0.7,"pith_summary":"This paper proves a family of sharp affine isoperimetric inequalities for smooth bounded domains in hyperbolic space whose boundaries are static convex with respect to a fixed point. The main theorem bounds an integral of a normalized curvature on the boundary by a power of the weighted volume, with equality exactly for the newly introduced hyperbolic ellipsoids. Versions for Lp-affine surface area and for the hyperbolic polar body also follow. The proof works by orthogonally projecting the hyperbolic domain onto Euclidean space and showing that the hyperbolic affine surface area equals the Euclidean affine surface area of the projection, so classical Euclidean theorems apply directly.","feed_headline":"Hyperbolic ellipsoids are the sharp case in new affine inequalities","feed_subtitle":"Projection reduces hyperbolic sharp inequalities to Euclidean affine theorems; equality only at hyperbolic ellipsoids.","key_machinery":"The load-bearing mechanism is the orthogonal (Gibbons) projection $\\pi_{p_0}: H^n \\to \\mathbb{R}^n$ with respect to a point $p_0$, which sends a static convex domain $K$ to a Euclidean convex body $\\hat K = \\pi_{p_0}(K)$. The key identity is $\\operatorname{as}^H_p(K) = \\operatorname{as}_p(\\hat K)$, obtained by combining the volume-element identity $V\\,d\\mathrm{vol} = d\\mathrm{vol}_{\\hat K}$, the support-function relation $u = ((1+|x|^2)/(1+\\hat u^2))^{1/2}\\hat u$, and the Gauss-curvature transformation $H_{n-1}(\\tilde{\\kappa}) = ((1+|x|^2)/(1+\\hat u^2))^{(n+1)/2}H_{n-1}(\\hat{\\kappa})$, where $\\tilde{\\kappa}_i = V\\kappa_i - V_{,\\nu}$. Static convexity of $\\partial K$ is equivalent to Euclidean convexity of $\\partial\\hat K$, so the Euclidean affine isoperimetric theorems apply directly, and equality in the hyperbolic inequalities is governed by the projection being an ellipsoid.","core_discovery":"The central discovery is that the classical affine isoperimetric inequalities of Euclidean convex geometry transfer to static convex domains in hyperbolic space, with equality characterized by a new class of extremizers: hyperbolic ellipsoids, defined as the inverse projection of Euclidean ellipsoids. The main theorem states that if $K$ is a smooth bounded domain in $H^n$ whose boundary is static convex with respect to a point $p_0$, then $\\int_{\\partial K} H_{n-1}(\\tilde{\\kappa})^{1/(n+1)}\\,dA \\le n|B^n|^{2/(n+1)} (\\int_K V\\,d\\mathrm{vol})^{(n-1)/(n+1)}$, with equality if and only if $K$ is a hyperbolic ellipsoid. The paper also proves Lp-versions (Theorem 1.2) and a Blaschke-Santal\\'o type inequality for the hyperbolic polar body (Theorem 1.3). All of these follow from a single mechanism: orthogonal projection onto Euclidean space, under which static convexity becomes ordinary convexity and the hyperbolic affine surface area equals the Euclidean affine surface area of the projected body.","pith_inferences":["The projection identity is strong enough to transfer not only the inequalities but the whole structural theory: for instance, the duality $\\operatorname{as}_p(K)=\\operatorname{as}_{n^2/p}(K^\\circ)$ from Proposition 3.4 suggests that hyperbolic static convex domains form an Lp-affine theory parallel to Euclidean convex bodies, with polar duality preserved under projection.","Since the extremizers are hyperbolic ellipsoids, one expects a rigidity phenomenon: any static convex domain that saturates one of the inequalities must have a Euclidean ellipsoid as its projection, which could be checked numerically for non-ellipsoidal convex bodies.","The non-sharp constant in (1.10) comes from the inverse Santal\\'o inequality; tightening the Euclidean constant in that regime would immediately tighten the hyperbolic inequality, a path the paper does not pursue.","The same projection technique may extend beyond constant-curvature space forms to static spacetimes, where static convexity was originally defined, potentially linking affine isoperimetric inequalities to quasi-local mass."],"forward_implications":["Theorem 1.1 gives a sharp curvature-integral bound for static convex domains in hyperbolic space: no such domain can beat the weighted-volume power law, and the only equality cases are hyperbolic ellipsoids.","Theorem 1.2 transplants Lutwak's Lp-affine isoperimetric theory into hyperbolic space, preserving the three regimes $p>0$, $-n<p<0$, and $p<-n$, with equality for hyperbolic ellipsoids centered at the hyperbolic centroid.","Theorem 1.3 yields a sharp Blaschke-Santal\\'o inequality for the hyperbolic polar body, bounding the product of weighted volumes by $|B^n|^2$ with equality exactly for centered hyperbolic ellipsoids.","Corollary 2.3 provides a dictionary: static convexity in $H^n$ is synonymous with convexity of the Gibbons projection, so any affine isoperimetric theorem for Euclidean convex bodies that is $\\mathrm{SL}(n)$-invariant automatically produces a hyperbolic analogue.","Remark 1.4 indicates the same projection proof works in the unit sphere with $V = \\cos r$, so the paper's inequalities hold for static convex domains in spherical space as well."],"supporting_citations":[{"why":"introduced static convexity and showed it implies convexity of the orthogonal projection; this is the assumption that lets the Euclidean theorems apply.","marker":"[9]"},{"why":"defined the orthogonal (Gibbons) projection from $H^n$ to $\\mathbb{R}^n$ that the paper uses as its bridge.","marker":"[15]"},{"why":"supplied the volume-element and surface-area-element comparison formulas (2.10)–(2.11) used in the reduction.","marker":"[24]"},{"why":"is the classical affine isoperimetric inequality for convex bodies (Theorem C) that directly gives Theorem 1.1.","marker":"[29]"},{"why":"introduced Lp-affine surface area and proved the Lp-affine isoperimetric inequality for $p>1$, the source of (1.8).","marker":"[27]"},{"why":"extended Lp-affine surface area and its isoperimetric inequality to all $p\\neq -n$, needed for (1.9)–(1.10).","marker":"[35]"},{"why":"provided the general-$p$ Lp-affine isoperimetric inequality cited in Theorem D, completing the range in Theorem 1.2.","marker":"[39]"},{"why":"one of the two original proofs of the Blaschke-Santal\\'o inequality used in Theorem 1.3.","marker":"[4]"},{"why":"the other original proof of the Blaschke-Santal\\'o inequality, establishing the volume-product bound with centroid at the origin.","marker":"[32]"}],"fun_headline_variants":["Hyperbolic ellipsoids extremize new affine isoperimetric inequalities","Projection proves sharp affine bounds for static convex domains","Equality only at hyperbolic ellipsoids in new affine inequalities","Hyperbolic affine isoperimetric inequality: extremal case is ellipsoid","Static convex domains: sharp affine inequalities via projection to Euclidean"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the exact identity $\\operatorname{as}^H_p(K)=\\operatorname{as}_p(\\pi_{p_0}(K))$ between hyperbolic and Euclidean Lp-affine surface areas for static convex domains; if the support-function, Gauss-curvature, or volume-element transformation formulas connecting $H^n$ to its projection had different exponents or signs, the stated inequalities would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic ellipsoids extremize new affine isoperimetric inequalities","Projection proves sharp affine bounds for static convex domains","Equality only at hyperbolic ellipsoids in new affine inequalities","Hyperbolic affine isoperimetric inequality: extremal case is ellipsoid","Static convex domains: sharp affine inequalities via projection to Euclidean"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000608,"raw_usage":{"total_tokens":2765,"prompt_tokens":810,"completion_tokens":1955,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":426,"completion_tokens_details":{"reasoning_tokens":1868}},"tokens_in":426,"tokens_out":1955,"duration_ms":13726,"temperature":1.0,"reasoning_tokens":1868,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:22:58.335527+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Project a geodesic ball in $H^n$ centered away from $p_0$ (which is not a geodesic ball centered at $p_0$) and compute both sides of (1.7); the identity should hold exactly because the projection is an ellipsoid. Then perform the same computation for a static convex domain whose projection is a smoothly rounded cube: the inequality should be strict, and any equality would disprove the equality characterization.","supporting_citations":[{"cited_title":"Brendle and M.T","cited_arxiv_id":null,"evidence_quote":"introduced static convexity and showed it implies convexity of the orthogonal projection; this is the assumption that lets the Euclidean theorems apply."},{"cited_title":"Gibbons, Collapsing shells and the isoperimetric inequality for black holes , Class","cited_arxiv_id":null,"evidence_quote":"defined the orthogonal (Gibbons) projection from $H^n$ to $\\mathbb{R}^n$ that the paper uses as its bridge."},{"cited_title":"Li and B","cited_arxiv_id":null,"evidence_quote":"supplied the volume-element and surface-area-element comparison formulas (2.10)–(2.11) used in the reduction."},{"cited_title":"Petty, Affine isoperimetric problems, Ann","cited_arxiv_id":null,"evidence_quote":"is the classical affine isoperimetric inequality for convex bodies (Theorem C) that directly gives Theorem 1.1."},{"cited_title":"Lutwak, The Brunn-Minkowski-Firey theory","cited_arxiv_id":null,"evidence_quote":"introduced Lp-affine surface area and proved the Lp-affine isoperimetric inequality for $p>1$, the source of (1.8)."},{"cited_title":"Sch¨ utt and E","cited_arxiv_id":null,"evidence_quote":"extended Lp-affine surface area and its isoperimetric inequality to all $p\\neq -n$, needed for (1.9)–(1.10)."},{"cited_title":"Werner and D","cited_arxiv_id":null,"evidence_quote":"provided the general-$p$ Lp-affine isoperimetric inequality cited in Theorem D, completing the range in Theorem 1.2."},{"cited_title":"Blaschke, ¨Uber affine Geometrie I: Isoperimetrische Eigenschaften von Ellipse and Ellipsoid , Ber","cited_arxiv_id":null,"evidence_quote":"one of the two original proofs of the Blaschke-Santal\\'o inequality used in Theorem 1.3."},{"cited_title":"Santal´ o,Un invariante afin para los cuerpos convexos del espacio de n dimensiones, Portugaliae Math","cited_arxiv_id":null,"evidence_quote":"the other original proof of the Blaschke-Santal\\'o inequality, establishing the volume-product bound with centroid at the origin."}],"review_version":1}