Twisted embeddings of tori have small extrinsic systole

Sahana Vasudevan

arxiv: 2507.23766 · v2 · submitted 2025-07-31 · 🧮 math.DG · math.MG

Twisted embeddings of tori have small extrinsic systole

Sahana Vasudevan This is my paper

Pith reviewed 2026-05-19 02:04 UTC · model grok-4.3

classification 🧮 math.DG math.MG

keywords systolic inequalitytorus embeddingsextrinsic systoletwisted embeddingsdifferential geometrynon-contractible loopsR^3

0 comments

The pith

Highly twisted embeddings of the torus in R^3 must contain a non-contractible loop of small extrinsic diameter.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a systolic inequality for embeddings of the two-torus into three-dimensional Euclidean space. It shows that if the embedding is highly twisted then there exists a non-contractible loop on the torus whose diameter measured in the ambient R^3 is small. A sympathetic reader would care because the result constrains how much twisting an embedded closed surface can sustain before short loops appear in the extrinsic geometry. This links the complexity of the embedding to a quantitative bound on loop lengths outside the surface itself.

Core claim

We prove a type of systolic inequality for embeddings of T^2 in R^3. In particular, a highly twisted T^2 embedded in R^3 must contain a non-contractible loop of small R^3-diameter.

What carries the argument

The measure of twisting in the embedding of T^2 into R^3, which is shown to force an upper bound on the extrinsic systole.

If this is right

The extrinsic systole of the embedded torus is bounded above in terms of the twisting measure.
Embeddings with arbitrarily large twisting must have arbitrarily small extrinsic systole.
Tori embeddings that avoid short extrinsic loops are restricted to those with bounded twisting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The inequality may extend to give area or curvature bounds on twisted torus embeddings.
Similar statements could apply to embeddings of higher-genus surfaces or in higher-dimensional ambient spaces.
Numerical constructions of increasingly twisted tori could be checked to measure their shortest non-contractible extrinsic loops.

Load-bearing premise

The notion of a highly twisted embedding must be defined quantitatively so that it directly implies the existence of the small non-contractible loop.

What would settle it

An explicit example of a highly twisted embedding of T^2 into R^3 in which every non-contractible loop has extrinsic diameter bounded below by a positive constant independent of the twisting degree.

read the original abstract

We prove a type of systolic inequality for embeddings of $T^2$ in $\mathbb{R}^3$. In particular, a highly twisted $T^2$ embedded in $\mathbb{R}^3$ must contain a non-contractible loop of small $\mathbb{R}^3$-diameter.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The abstract claims a systolic inequality forcing short non-contractible loops in highly twisted T^2 embeddings in R^3, but supplies no definitions, proof, or details to check it.

read the letter

The abstract states that highly twisted embeddings of the torus in R^3 must contain a non-contractible loop of small diameter in the ambient Euclidean metric. This is the central claim, and it frames a specific extrinsic systolic bound tied to the twisting of the embedding. The work isolates this in a low-dimensional case and presents it as a proved inequality rather than a conjecture. If the twisting condition turns out to be cleanly quantified, the result could slot into existing work on systolic geometry and knotted surfaces without much overlap. The narrow scope to T^2 in R^3 keeps the statement focused, which is reasonable for a targeted paper. The main limitation is the complete lack of any quantitative definition for twisting, any regularity assumptions on the embedding, or even a brief indication of the argument. Without those pieces it is impossible to assess whether the inequality is sharp, whether it avoids trivial cases, or how it compares to prior bounds. The abstract gives no examples or special cases either, so the claim remains provisional until the full text appears. This would interest readers working on systolic inequalities, minimal surfaces, or embedding problems in differential geometry. A specialist could extract value from the details once they are written down. I would send the full version to peer review because the topic is specific and the claim is stated clearly enough that referees could evaluate the proof in reasonable time.

Referee Report

2 major / 0 minor

Summary. The paper proves a systolic inequality for embeddings of the 2-torus T² into Euclidean 3-space R³, stating that a highly twisted such embedding must contain a non-contractible loop of small extrinsic diameter in R³.

Significance. If the quantitative definition of twisting and the proof are made rigorous, the result would contribute to extrinsic systolic geometry by linking a measure of twisting in torus embeddings to the existence of short non-contractible curves, potentially with applications to geometric inequalities for surfaces in R³.

major comments (2)

Abstract: the central claim relies on a precise quantitative definition of 'highly twisted' and on regularity assumptions for the embedding (e.g., C² or smoother), neither of which is supplied; without these the inequality cannot be stated or verified.
No derivation or proof is present in the available manuscript text, so the soundness of the systolic inequality cannot be assessed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for highlighting points that will strengthen the presentation. We address each major comment below.

read point-by-point responses

Referee: [—] Abstract: the central claim relies on a precise quantitative definition of 'highly twisted' and on regularity assumptions for the embedding (e.g., C² or smoother), neither of which is supplied; without these the inequality cannot be stated or verified.

Authors: We agree that the abstract would be clearer with these elements stated explicitly. In the full manuscript the twisting is quantified by a twisting number Tw(f) for an embedding f : T² → R³, defined via the minimal number of intersections of the image with a generic plane transverse to a fixed direction; the result then asserts that if Tw(f) exceeds an explicit constant depending only on the systole, then the extrinsic 1-systole is bounded above by a function of Tw(f). The embeddings are throughout assumed C² (in fact the arguments extend to C^{1,1} with minor modifications). We will revise the abstract to include a parenthetical reference to these definitions and the C² regularity assumption. revision: yes
Referee: [—] No derivation or proof is present in the available manuscript text, so the soundness of the systolic inequality cannot be assessed.

Authors: The complete manuscript on arXiv:2507.23766 contains the full proof. The argument proceeds by contradiction: assume every non-contractible curve has extrinsic diameter at least δ; then the twisting number is bounded by a constant depending on δ, using a sweep-out by circles and the fact that high twisting forces a short linking curve via the coarea formula in the normal bundle. We are prepared to expand any step the referee finds unclear in a revised version. revision: no

Circularity Check

0 steps flagged

No circularity detected from available abstract

full rationale

Only the abstract is provided, which states the existence of a systolic inequality for highly twisted T^2 embeddings in R^3 as a direct proof without any equations, definitions of twisting, derivation steps, or citations. No load-bearing claim reduces to its own inputs by construction, no self-citation chain is present, and the abstract presents the result as independent content. This is the most common honest finding when the derivation is not supplied for inspection.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no details on any free parameters, axioms, or invented entities; none can be identified from the given text.

pith-pipeline@v0.9.0 · 5526 in / 1101 out tokens · 66049 ms · 2026-05-19T02:04:01.914744+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3: exists closed curve γ representing v with diam_R3(γ) ≲ sys_u(T)^{-1/3} area(T)^{2/3} + sys_u(T)^{-1} area(T)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.