pith. sign in

arxiv: 1907.02021 · v1 · pith:FCK7JFSRnew · submitted 2019-07-03 · 🧮 math.DG · math.GR

Holonomy groups of compact flat solvmanifolds

Alejandro Tolcachier This is my paper

Pith reviewed 2026-05-25 09:24 UTC · model grok-4.3

classification 🧮 math.DG math.GR
keywords holonomy groupflat solvmanifoldabelian groupcompact flat manifoldminimal dimensionsolvable Lie groupdeveloping map
0
0 comments X

The pith

The holonomy group of any compact flat solvmanifold is abelian, and every finite abelian group arises as such a holonomy group.

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

The paper proves that holonomy groups of compact flat solvmanifolds must be abelian and supplies an elementary argument for this restriction. It further constructs flat solvmanifolds realizing every finite abelian group as holonomy and shows that the smallest dimension admitting a cyclic holonomy group Z_n equals the smallest dimension known for any compact flat manifold with the same holonomy. Explicit lists of possible holonomy groups are given for dimensions three through six, together with a general construction producing non-cyclic examples in dimension six.

Core claim

The holonomy group of a compact flat solvmanifold is always abelian. For any finite abelian group G there exists a compact flat solvmanifold with holonomy exactly G. The minimal dimension of a flat solvmanifold with holonomy Z_n is the same as the minimal dimension of a compact flat manifold with holonomy Z_n.

What carries the argument

The developing map of the flat solvmanifold together with the adjoint action of a lattice in a solvable Lie group, which produces the finite orthogonal representation serving as holonomy.

If this is right

  • Every finite abelian group occurs as the holonomy of some compact flat solvmanifold.
  • The minimal dimensions for cyclic holonomy groups Z_n are identical for solvmanifolds and for general compact flat manifolds.
  • All possible holonomy groups in dimensions three, four, five and six can be listed explicitly.
  • Non-cyclic finite abelian holonomy groups appear in dimension six via a uniform construction.

Where Pith is reading between the lines

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

  • Solvmanifolds may serve as computationally simpler test cases for questions about possible holonomy representations that remain open for general flat manifolds.
  • The equality of minimal dimensions suggests that the obstructions to realizing Z_n as holonomy are purely representation-theoretic and independent of the ambient Lie-group type.

Load-bearing premise

For every finite abelian group there exist suitable lattices in solvable Lie groups whose induced orthogonal action realizes that group as holonomy.

What would settle it

An explicit lattice-free construction or exhaustive search in low dimensions that produces a non-abelian holonomy group on a compact flat solvmanifold, or a flat solvmanifold with holonomy Z_n in a dimension strictly smaller than the known minimal dimension for ordinary flat manifolds.

read the original abstract

This article is concerned with the study of the holonomy group of flat solvmanifolds. It is known that the holonomy group of a flat solvmanifold is abelian; we give an elementary proof of this fact and moreover we prove that any finite abelian group is the holonomy group of a flat solvmanifold. Furthermore, we show that the minimal dimension of a flat solvmanifold with holonomy group $\mathbb{Z}_n$ coincides with the minimal dimension of a compact flat manifold with holonomy group $\mathbb{Z}_n$. Finally, we give the possible holonomy groups of flat solvmanifolds in dimensions 3, 4, 5 and 6; exhibiting in the latter case a general construction to show examples of non cyclic holonomy groups.

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.

Referee Report

1 major / 1 minor

Summary. The paper claims to give an elementary proof that the holonomy group of any flat solvmanifold is abelian, to prove that every finite abelian group arises as the holonomy group of some flat solvmanifold, to show that the minimal dimension of a flat solvmanifold with holonomy Z_n equals that of a compact flat manifold with the same holonomy, and to determine all possible holonomy groups of flat solvmanifolds in dimensions 3--6 (with an explicit construction for non-cyclic examples in dimension 6).

Significance. If the general existence result and the low-dimensional classification hold, the work would give a complete picture of possible holonomy groups for flat solvmanifolds, extending the known theory for compact flat manifolds and supplying concrete examples up to dimension 6.

major comments (1)
  1. [the section stating the general existence theorem] The central claim that every finite abelian group G arises as holonomy requires, for each G, the existence of a solvable Lie group with a lattice whose induced orthogonal representation realizes a faithful action of G. The manuscript invokes this existence for the general case without supplying a uniform, explicit construction or self-contained verification that works for arbitrary G (low-dimensional cases are treated separately).
minor comments (1)
  1. [Abstract and Introduction] The abstract and introduction would benefit from a brief outline of the lattice-construction method used for the general abelian case.

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 regarding the general existence result. We respond to the major comment below.

read point-by-point responses

  1. Referee: [the section stating the general existence theorem] The central claim that every finite abelian group G arises as holonomy requires, for each G, the existence of a solvable Lie group with a lattice whose induced orthogonal representation realizes a faithful action of G. The manuscript invokes this existence for the general case without supplying a uniform, explicit construction or self-contained verification that works for arbitrary G (low-dimensional cases are treated separately).

    Authors: We appreciate the referee highlighting the need for greater clarity and uniformity in the existence proof. The manuscript establishes the result by reducing to the cyclic case via the structure theorem for finite abelian groups and constructing the required solvable Lie group as a semidirect product with an appropriate lattice whose holonomy representation is faithful; the low-dimensional cases are handled by direct verification. Nevertheless, we agree that presenting a single, self-contained uniform construction applicable to arbitrary G would make the argument more transparent. We will revise the relevant section to include such an explicit construction, with full details on the Lie group, lattice existence, and verification of the orthogonal action. revision: yes

Circularity Check

0 steps flagged

No circularity: elementary proofs and constructions are self-contained

full rationale

The paper states it is known that holonomy groups of flat solvmanifolds are abelian and supplies an elementary proof of this fact. It further proves that every finite abelian group arises as such a holonomy group and that minimal dimensions coincide with those for compact flat manifolds. No equations, fitted parameters, or self-citation chains are exhibited that reduce these claims to their own inputs by construction. The existence assertions for lattices and representations are presented as part of the direct mathematical argument rather than imported via unverified self-reference. This is a standard self-contained proof paper in differential geometry with no load-bearing circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard facts from Riemannian geometry and the theory of solvmanifolds; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (2)
  • standard math Holonomy groups of flat Riemannian manifolds are finite subgroups of the orthogonal group O(n).
    Standard background fact from Riemannian geometry invoked implicitly when discussing holonomy.
  • domain assumption Compact flat solvmanifolds exist whenever a suitable lattice in a solvable Lie group is chosen so that the induced holonomy representation is finite.
    Underlying assumption required for the realization constructions stated in the abstract.

pith-pipeline@v0.9.0 · 5648 in / 1321 out tokens · 26486 ms · 2026-05-25T09:24:54.183454+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · 1 internal anchor

  1. [1]

    Auslander , Discrete uniform subgroups of solvable Lie groups, Trans

    L. Auslander , Discrete uniform subgroups of solvable Lie groups, Trans. Am. Math. Soc. 99 (1961), 398–402

    work page 1961

  2. [2]

    Auslander , An exposition of the structure of solvmanifolds

    L. Auslander , An exposition of the structure of solvmanifolds. I. Algebr aic theory, Bull. Am. Math. Soc. 79 (1973), 227–261

    work page 1973

  3. [3]

    Auslander , An exposition of the structure of solvmanifolds

    L. Auslander , An exposition of the structure of solvmanifolds. II. G-ind uced flows, Bull. Am. Math. Soc. 79 (1973), 262–285. HOLONOMY GROUPS OF COMPACT FLAT SOL VMANIFOLDS 25

    work page 1973

  4. [4]

    Auslander, M

    L. Auslander, M. Auslander , Solvable Lie groups and locally Euclidean Riemann spaces, Proc. Amer. Math. Soc. 9 (1958), 933–941

    work page 1958

  5. [5]

    Auslander, M

    L. Auslander, M. Kuranishi , On the holonomy group of locally Euclidean spaces, Ann. of Math. 65 (1957), 411–415

    work page 1957

  6. [6]

    M. L. Barberis, I. Dotti, A. Fino , Hyper-Kähler quotients of solvable Lie groups, J. Geom. Phys. 56 (2006), 691–711

    work page 2006

  7. [7]

    Bieberbach , Über die Bewegungsgruppen des n-dimensionalen euklidischen Raumes mit einem endlichen Fundamentalbereich, Gött

    L. Bieberbach , Über die Bewegungsgruppen des n-dimensionalen euklidischen Raumes mit einem endlichen Fundamentalbereich, Gött. Nachr. (1910) 75–84

    work page 1910

  8. [8]

    Bieberbach, Über die Bewegungsgruppen der Euklidischen Räume I, Math

    L. Bieberbach, Über die Bewegungsgruppen der Euklidischen Räume I, Math. Ann. 70 (1911), 297–336

    work page 1911

  9. [9]

    Bieberbach, Über die Bewegungsgruppen der Euklidischen Räume II, Math

    L. Bieberbach, Über die Bewegungsgruppen der Euklidischen Räume II, Math. Ann. 72 (1912), 207–216

    work page 1912

  10. [10]

    Bock , On low-dimensional solvmanifolds, Asian J

    C. Bock , On low-dimensional solvmanifolds, Asian J. Math. 20 (2016), 199–262

    work page 2016

  11. [11]

    Charlap , Bieberbach groups and flat manifolds , Springer, New York, 1986

    L. Charlap , Bieberbach groups and flat manifolds , Springer, New York, 1986

    work page 1986

  12. [12]

    J. H. Conw ay, J. P. Rossetti , Describing the platycosms, arXiv:math/0311476 [math.DG]

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Dekimpe, M

    K. Dekimpe, M. Halenda, A. Szczepański , Kähler flat manifolds, J. Math. Soc. Japan 61 (2009), 363–377

    work page 2009

  14. [14]

    Fernández, V

    M. Fernández, V. Manero, A. Otal, L. Ugarte , Symplectic half-flat solvmanifolds, Ann. Glob. Anal Geom. 43 (2013), 367–383

    work page 2013

  15. [15]

    Greiter , A simple proof for a theorem of Kronecker, Amer

    G. Greiter , A simple proof for a theorem of Kronecker, Amer. Math. Monthly 9 (1978), 756– 757

    work page 1978

  16. [16]

    Hantzsche, H

    W. Hantzsche, H. Wendt , Dreidimensionale euklidische Raumformen, Math. Ann. 110 (1935), 593–611

    work page 1935

  17. [17]

    Hattori, Spectral sequence in the de Rham cohomology of fibre bundles , J

    A. Hattori, Spectral sequence in the de Rham cohomology of fibre bundles , J. Fac. Sci. Univ. Tokyo I 8 (1960), 289–331

    work page 1960

  18. [18]

    Hiller , Minimal dimension of flat manifolds with abelian holonomy, unpublished

    H. Hiller , Minimal dimension of flat manifolds with abelian holonomy, unpublished

    work page

  19. [19]

    Kasuya , Vaisman metrics on solvmanifolds and Oeljeklaus-Toma man ifolds, Bull

    H. Kasuya , Vaisman metrics on solvmanifolds and Oeljeklaus-Toma man ifolds, Bull. Lond. Math. Soc. 45 (2013) 15–26

    work page 2013

  20. [20]

    Malcev , On a class of homogeneous spaces, Izv

    A. Malcev , On a class of homogeneous spaces, Izv. Akad. Nauk. Armyan. SSSR Ser. Mat 13 (1949), 201–212

    work page 1949

  21. [21]

    Milnor , Curvatures of left invariant metrics on Lie groups, Adv

    J. Milnor , Curvatures of left invariant metrics on Lie groups, Adv. Math. 21 (1976), 293–329

    work page 1976

  22. [22]

    Morgan , The classification of flat solvmanifolds, Trans

    A. Morgan , The classification of flat solvmanifolds, Trans. Amer. Math. Soc. 239 (1978), 321– 351

    work page 1978

  23. [23]

    Mostow , Cohomology of topological groups and solvmanifolds, Ann

    G. Mostow , Cohomology of topological groups and solvmanifolds, Ann. of Math. 73 (1961), 20–48

    work page 1961

  24. [24]

    Nomizu , On the cohomology of compact homogeneous space of nilpoten t Lie groups, Ann

    K. Nomizu , On the cohomology of compact homogeneous space of nilpoten t Lie groups, Ann. of Math. 59 (1954), 531–538

    work page 1954

  25. [25]

    Oeljeklaus, M

    K. Oeljeklaus, M. Toma , Non-Kähler compact complex manifolds associated to numbe r fields, Ann. Inst. Fourier (Grenoble) 55 (2005) 161–171

    work page 2005

  26. [26]

    A. Otal, L. Ugarte, R. Villacampa , Invariant solutions to the Strominger system and the heterotic equations of motion, Nuclear Phys. B 920 (2017) 442–474

    work page 2017

  27. [27]

    Raghunathan, Discrete subgroups of Lie groups , Springer, Berlin, 1972

    M. Raghunathan, Discrete subgroups of Lie groups , Springer, Berlin, 1972

    work page 1972

  28. [28]

    Szczepański , Geometry of crystallographic groups , World Scientific, Singapore, 2012

    A. Szczepański , Geometry of crystallographic groups , World Scientific, Singapore, 2012

    work page 2012

  29. [29]

    Thurston , Some simple examples of symplectic manifolds, Proc

    W. Thurston , Some simple examples of symplectic manifolds, Proc. Amer. Math. Soc. 55 (1976), 467–468

    work page 1976

  30. [30]

    V aradarajan, Lie groups, Lie algebras and their representations , Springer, New York, 1984

    V. V aradarajan, Lie groups, Lie algebras and their representations , Springer, New York, 1984

    work page 1984

  31. [31]

    Wolf , Spaces of constant curvature , McGraw-Hill, New York, 1967

    J. Wolf , Spaces of constant curvature , McGraw-Hill, New York, 1967. E-mail address : atolcachier@famaf.unc.edu.ar F aMAF, Universidad Nacional de Córdoba, Ciudad Universitaria, X5000HUA Cór- doba, Argentina

    work page 1967