Pith. sign in

REVIEW 1 major objections 39 references

The kei word metric on the transvection group and its unit ball

T0 review · 1 major / 0 minor · reviewed 2026-06-28 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A kei structure defines a bi-invariant word metric on the transvection group with an explicit unit ball.

desk verdict The paper defines a kei word metric claimed to be bi-invariant and checks its triviality on the transvection group, but the invariance step needs explicit verification against the group law. read the letter →

arxiv 2606.00693 v1 pith:NIXBOWP6 submitted 2026-05-30 math.SG math.DS

Urs Frauenfelder , Lei Zhao This is my paper · ORCID
classification math.SGmath.DS
keywords keiwordmetricbi-invarianttransvectiongroupsymplecticgeometryunitball
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines a bi-invariant word metric on a group by means of a kei structure. It then checks whether the resulting metric is trivial or non-trivial in examples drawn from group theory, dynamical systems, and symplectic geometry. Special attention is given to the transvection group, where the unit ball of the metric is described. A sympathetic reader would care because the construction supplies a left-and-right invariant distance on groups that arise naturally in geometric settings, offering a new tool for measuring elements while respecting the group law in both directions.

What carries the argument

The kei word metric: the word length generated by the set of generators furnished by a kei operation, which is bi-invariant by construction.

What would settle it

An explicit calculation showing that every element of the transvection group has word length zero under the kei generators, or that the claimed unit ball does not contain the stated elements, would falsify the claim.

Watch

Extended reading notes

Core claim

The authors equip a group with a bi-invariant word metric generated from a kei operation and apply the construction to the transvection group, obtaining an explicit description of the metric's unit ball.

Load-bearing premise

That a kei structure on the group produces a well-defined bi-invariant word metric whose triviality or non-triviality can be checked in concrete examples.

Editorial extensions

If this is right

  • The metric distinguishes trivial from non-trivial cases in selected groups from dynamical systems and complex geometry.
  • The unit ball of the metric on the transvection group can be written down explicitly.
  • The same definition applies uniformly to groups arising in symplectic geometry.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The construction may supply invariant distances on other groups equipped with involutive operations that satisfy kei axioms.
  • Such metrics could be compared with existing bi-invariant metrics on the same groups to test compatibility with symplectic invariants.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper defines a bi-invariant word metric on a group by means of a kei structure and then examines whether this metric is trivial or non-trivial in examples drawn from group theory, dynamical systems, complex geometry, and symplectic geometry, with a focus on the transvection group and its unit ball.

Significance. If the construction yields a genuinely bi-invariant metric whose triviality assessments are reliable, the work would supply a new invariant for groups arising in symplectic geometry. The manuscript supplies no machine-checked proofs, reproducible code, or parameter-free derivations that would strengthen the claim.

major comments (1)
  1. [Definition of the kei word metric (opening sections)] The central definition asserts that a kei on a group induces a bi-invariant word metric, yet the kei axioms (involutivity and self-distributivity) do not automatically guarantee that the induced length function satisfies ℓ(hgh⁻¹) = ℓ(g). The paper must exhibit the explicit compatibility condition between the kei operation and group conjugation, or supply the concrete kei on the transvection group that enforces conjugation invariance of the generating set; without this, the bi-invariance claim and all subsequent triviality assessments rest on an unverified assumption.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying this important point about the bi-invariance claim. We address the concern directly below and will revise the manuscript to make the argument fully rigorous.

read point-by-point responses

  1. Referee: [Definition of the kei word metric (opening sections)] The central definition asserts that a kei on a group induces a bi-invariant word metric, yet the kei axioms (involutivity and self-distributivity) do not automatically guarantee that the induced length function satisfies ℓ(hgh⁻¹) = ℓ(g). The paper must exhibit the explicit compatibility condition between the kei operation and group conjugation, or supply the concrete kei on the transvection group that enforces conjugation invariance of the generating set; without this, the bi-invariance claim and all subsequent triviality assessments rest on an unverified assumption.

    Authors: We agree that the kei axioms of involutivity and self-distributivity alone do not imply conjugation invariance of the induced length function. In the original manuscript the bi-invariance is obtained by restricting to a specific kei on the transvection group whose operation is chosen so that the generating set is closed under conjugation. In the revised version we will add an explicit compatibility condition (that the kei operation * commutes with conjugation in the sense that h*(g*h^{-1}) = (h*g*h^{-1})*h or the appropriate algebraic relation that forces ℓ(hgh^{-1})=ℓ(g)) and we will state the concrete kei on the transvection group that satisfies this condition. With this addition the bi-invariance claim and the subsequent triviality results will rest on verified hypotheses rather than an implicit assumption. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: central contribution is a definition, not a reduction to fitted inputs or self-citations.

full rationale

The paper introduces a bi-invariant word metric via a kei structure on a group and evaluates its triviality in examples from group theory and geometry. This is a definitional construction rather than any derivation that reduces by construction to its own inputs. No equations, parameters, or self-citations are presented that would force a prediction or uniqueness claim back onto the definition itself. The provided abstract and context contain no load-bearing steps matching the enumerated circularity patterns.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract only supplies no information on free parameters, background axioms, or new entities; the ledger is therefore empty.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The kei word metric on the transvection group and its unit ball." pith.science (2026). https://pith.science/paper/NIXBOWP6

@misc{pith2026260600693,
  author       = {Pith},
  title        = {Pith review of: The kei word metric on the transvection group and its unit ball},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NIXBOWP6}},
  note         = {Machine review of arXiv:2606.00693}
}
read the original abstract

We define a bi-invariant word metric on a group using keis. We discuss whether such a word metric is trivial or non-trivial in various examples coming from group theory, dynamical systems, as well as complex and symplectic geometry.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 3 canonical work pages

  1. [1]

    Bachmann,Aufbau der Geometrie aus dem Spiegelungsbegriff,

    F. Bachmann,Aufbau der Geometrie aus dem Spiegelungsbegriff,

  2. [2]

    Auflage, Die Grundlehren der mathematischen Wissenschaften96, Springer (1973)

    1973

  3. [3]

    Bachmann,Ebene Spiegelungsgeometrie, Eine Vorlesung ¨ uber Hjelmslevgruppen, Bibliographisches Institut, Mannheim (1989)

    F. Bachmann,Ebene Spiegelungsgeometrie, Eine Vorlesung ¨ uber Hjelmslevgruppen, Bibliographisches Institut, Mannheim (1989)

    1989

  4. [4]

    Banyaga,Sur la structure du groupe des diff´ eomorphismes qui pr´ eservent une forme symplectique, Comm

    A. Banyaga,Sur la structure du groupe des diff´ eomorphismes qui pr´ eservent une forme symplectique, Comm. Math. Helv.53(1978), no. 2, 174–227

    1978

  5. [5]

    Bavard,Longueur stable des commutateurs, Enseign

    C. Bavard,Longueur stable des commutateurs, Enseign. Math.37 (1991), 109–150

    1991

  6. [6]

    Blumenthal,Lebensgeschichte, in David Hilbert, Gesammelte Ab- handlungen III (1935), 388–429

    O. Blumenthal,Lebensgeschichte, in David Hilbert, Gesammelte Ab- handlungen III (1935), 388–429

    1935

  7. [7]

    Brandenbursky, J

    M. Brandenbursky, J. Kedra, E. Shelukhin,On the autonomous norm on the group of Hamiltonian diffeomorphisms of the torus, Com- mun. Contemp. Math.20, no. 2, (2018)

    2018

  8. [8]

    Burago, S

    D. Burago, S. Ivanov, L. Polterovich,Conjugation-invariant norms on groups of geometric origin, in Groups of Diffeomorphisms, volume 52 of Adv. Stud. Pure Math, Math. Soc. Japan, Tokyo (2008), 221–250

    2008

Show all 39 references
  1. [9]

    Carter,A survey of Quandle Ideas, Proceeding of a conference in Triest in 2009, arXiv:1002.4429, (2010), 37–65

    J. Carter,A survey of Quandle Ideas, Proceeding of a conference in Triest in 2009, arXiv:1002.4429, (2010), 37–65. 22

    2009 arXiv

  2. [10]

    Conway, R

    J. Conway, R. Curtis, S. Norton, R. Parker, R. Wilson,Atlas of Fi- nite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups,Clarendon Press (1985)

    1985

  3. [11]

    O’Farrell, A

    A. O’Farrell, A. Short,Reversibiliy in Dynamics and Group Theory, London Math. Soc. Lecture Note Series416, Cambridge Univ. Press (2015)

    2015

  4. [12]

    Floer,Symplectic fixed points and holomorphic spheres, Comm

    A. Floer,Symplectic fixed points and holomorphic spheres, Comm. Math. Phys.,120(1989), 575–611

    1989

  5. [13]

    Frauenfelder, L

    U. Frauenfelder, L. Polterovich, E. Shelukhin, L. Zhao, Reversible sys- tems and metrics on diffeomorrphism groups, in preparation, (2026)

    2026

  6. [14]

    Freyn, T

    W. Freyn, T. Hartnick, M. Horn, R. K¨ ohl,Kac-Moody symmetric spaces, arXiv:1702.08426v2

    arXiv

  7. [15]

    S. Gal, J. Kedra,On bi-invariant word metrics,J. Topol. Anal.3 (2011), no. 2, 161–175

    2011

  8. [16]

    Gambaudo, E

    J. Gambaudo, E. Ghys,Commutators and diffeomorphisms of sur- faces, Ergodic Theory Dynam. Systems24(2004), no. 5, 1591–1617

    2004

  9. [17]

    Hjelmslev,Einleitung in die allgemeine Kongruenzlehre, Danske Vid

    J. Hjelmslev,Einleitung in die allgemeine Kongruenzlehre, Danske Vid. Selsk., mat.-fys. Medd.8, Nr. 11 (1929);10, Nr. 1 (1929),19, Nr. 12 (1942);22, Nr. 6, Nr. 13 (1945);25, Nr. 10 (1949)

    1929

  10. [18]

    Hofer,On the topological properties of symplectic maps, Proc

    H. Hofer,On the topological properties of symplectic maps, Proc. Royal Soc. Edinburgh115A(1990), 25–38

    1990

  11. [19]

    Hofer, E

    H. Hofer, E. Zehnder,Symplectic invariants and Hamiltonian dynam- ics, Birkh¨ auser Advanced Texts: Basler Lehrb¨ ucher. Birkh¨ auser, Basel (1994)

    1994

  12. [20]

    Joyce,A classifying invariant of Knots, the knot quandle J

    D. Joyce,A classifying invariant of Knots, the knot quandle J. Pure Appl. Alg.23(1982), 37–65

    1982

  13. [21]

    Kedra, On the geometry and bounded cohomology of racks and quandles, J

    J. Kedra, On the geometry and bounded cohomology of racks and quandles, J. Knot Theory Ramif.33(5) (2024),

    2024

  14. [22]

    Kn¨ uppel,Lotketten in metrischen R¨ aumen, J

    F. Kn¨ uppel,Lotketten in metrischen R¨ aumen, J. of Geometry10 (1977), 87–107

    1977

  15. [23]

    LoosSymmetric Spaces I: General Theory, W.A.Benjamin, New York, Amsterdam (1969)

    O. LoosSymmetric Spaces I: General Theory, W.A.Benjamin, New York, Amsterdam (1969)

    1969

  16. [24]

    McDuff, D

    D. McDuff, D. Salamon,Introduction to Symplectic Topology2nd edi- tion, Oxford University Press (1998)

    1998

  17. [25]

    Needham,Visual Complex Analysis, Clarendon Press, Oxford (1997)

    T. Needham,Visual Complex Analysis, Clarendon Press, Oxford (1997)

    1997

  18. [26]

    Nobusawa,On symmetric structures of a finite set, Osaka J

    N. Nobusawa,On symmetric structures of a finite set, Osaka J. Math. 11(1974), 569–575

    1974

  19. [27]

    Y. Otsuka,Japan’s Involvement with Higher Education in Manchuria: Some Historical Lessons from an Imposed Educational Cooperation, in Education, Culture & Identity n Twentieth-Century China, The University of Michigan Press (2001), 54–81

    2001

  20. [28]

    Pierce,Symmetric groupoids, Osaka J

    R. Pierce,Symmetric groupoids, Osaka J. Math.15(1978), 51–76. 23

    1978

  21. [29]

    Polterovich,The geometry of the group of symplectic diffeomor- phisms, ETH Lectures in Mathematics, Birkh¨ auser (2001)

    L. Polterovich,The geometry of the group of symplectic diffeomor- phisms, ETH Lectures in Mathematics, Birkh¨ auser (2001)

    2001

  22. [30]

    Schwarz,On the action spectrum for closed symplectically aspher- ical manifolds, Pacific J

    M. Schwarz,On the action spectrum for closed symplectically aspher- ical manifolds, Pacific J. Math.193(2000), 419–461

    2000

  23. [31]

    Siegel,Symplectic geometry, Amer

    C. Siegel,Symplectic geometry, Amer. J. Math.65(1943), 1–86

    1943

  24. [32]

    Ben Simon, D

    G. Ben Simon, D. Salamon,Homogeneous quasimorphisms on the symplectic linear group, Israel J. Math.175(2010), 221–224

    2010

  25. [33]

    Stanovsk´ y,The origins of involutory quandles, arXiv:1506.02389v1

    D. Stanovsk´ y,The origins of involutory quandles, arXiv:1506.02389v1

    arXiv

  26. [34]

    Stroscher,Reduktion von Punktspiegelungen in der ebenen metrischen Geometrie, Archiv Math.33(1979), 183–192

    C. Stroscher,Reduktion von Punktspiegelungen in der ebenen metrischen Geometrie, Archiv Math.33(1979), 183–192

    1979

  27. [35]

    Takasaki,Abstractions of symmetric functions, Tohoku Math

    M. Takasaki,Abstractions of symmetric functions, Tohoku Math. J. 49, 143–207 (1943)

    1943

  28. [36]

    Thomsen,Grundlagen der Elementargeometrie in gruppenalge- braischer Behandlung, Hamburger Math

    G. Thomsen,Grundlagen der Elementargeometrie in gruppenalge- braischer Behandlung, Hamburger Math. Einzelschr.15(1933)

    1933

  29. [37]

    Thurston,Foliations and groups of diffeomorphisms, Bull

    W. Thurston,Foliations and groups of diffeomorphisms, Bull. Amer. Math. Soc.80, (1974), 304–307

    1974

  30. [38]

    Wiener,Die Zusammensetzung zweier endlicher Schraubun- gen zu einer einzigen

    H. Wiener,Die Zusammensetzung zweier endlicher Schraubun- gen zu einer einzigen. Zur Theorie der Umwendungen. ¨Uber ge- ometrische Analysen. ¨Uber geometrische Analysen, Fortsetzung. ¨Uber die aus zwei Spiegelungen zusammengesetzten Verwandtschaften. ¨Uber Gruppen vertauschbar...

  31. [39]

    Wonenburger,Transformations which are Products of Two Involu- tions, J

    M. Wonenburger,Transformations which are Products of Two Involu- tions, J. Math. Mech.16(4) (1966) 327–338 Urs Frauenfelder, Institute of Mathematics, University of Augsburg, Ger- many, Email: urs.frauenfelder@math.uni-augsburg.de Lei Zhao, School of Mathematical Sciences, Dal...

    1966

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.