On the Possible Orders of Harmonic Maps into Euclidean Buildings

Ben K. Dees; Christine Breiner

arxiv: 2604.16608 · v1 · submitted 2026-04-17 · 🧮 math.DG

On the Possible Orders of Harmonic Maps into Euclidean Buildings

Christine Breiner , Ben K. Dees This is my paper

Pith reviewed 2026-05-10 06:58 UTC · model grok-4.3

classification 🧮 math.DG

keywords harmonic mapsEuclidean buildingsdiscrete ordersspherical billiardsWeyl groupGromov-Schoen order gaphomogeneous mapsdifferential geometry

0 comments

The pith

Harmonic maps from surfaces to Euclidean buildings have orders of the form m/k where k divides the Weyl group order.

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

The paper establishes that the orders of harmonic maps from two-dimensional surfaces into Euclidean buildings are discrete rather than arbitrary. For a building of type W, the order must be a fraction m/k in which k divides the order of W. This discreteness generalizes the order gap of Gromov and Schoen specifically when the domain is two-dimensional. The argument proceeds by directly studying the local behavior of homogeneous maps into the buildings and then reducing the question to a spherical billiards problem.

Core claim

We prove a discreteness result for the possible orders of harmonic maps from surfaces to Euclidean buildings; in particular for a building of type W the order is of the form m/k where k divides |W|. This generalizes, in the case where the domain has dimension 2, the order gap of Gromov and Schoen. This result follows by directly analyzing the behavior of homogeneous maps into Euclidean buildings, and then studying a related spherical billiards problem.

What carries the argument

Direct analysis of homogeneous maps from the plane into Euclidean buildings, followed by reduction to an associated spherical billiards problem.

If this is right

The possible orders of such maps form a discrete set controlled by the divisors of |W|.
Local expansion or branching rates near points in the domain are restricted to these quantized values.
The result extends the Gromov-Schoen order gap to the broader class of Euclidean building targets in dimension two.
Singularities of the maps cannot occur with arbitrary real orders but must respect the Weyl group symmetry.

Where Pith is reading between the lines

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

The billiards reduction may apply to harmonic maps into other piecewise-Euclidean or symmetric singular spaces.
Discreteness of orders could constrain the possible conformal structures or branched covers that admit such maps.

Load-bearing premise

The domain is a two-dimensional surface and the target is a Euclidean building, allowing the homogeneous-map analysis and spherical billiards reduction to proceed without extra regularity assumptions failing at singular points.

What would settle it

A concrete counterexample would be any harmonic map from a surface to a Euclidean building whose order is either irrational or a rational number whose denominator does not divide |W| for the building's type.

read the original abstract

We prove a discreteness result for the possible orders of harmonic maps from surfaces to Euclidean buildings; in particular for a building of type $W$ the order is of the form $\frac mk$ where $k$ divides $|W|$. This generalizes, in the case where the domain has dimension $2$, the "order gap" of Gromov and Schoen. This result follows by directly analyzing the behavior of homogeneous maps into Euclidean buildings, and then studying a related spherical billiards problem.

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 paper proves that orders of harmonic maps from surfaces to Euclidean buildings are discrete of the form m/k with k dividing |W|, by reducing homogeneous maps to a spherical billiards problem on the link.

read the letter

The core result is a discreteness statement: harmonic maps from 2-manifolds into a Euclidean building of type W can only have orders m/k where k divides the order of the Weyl group. This extends the Gromov-Schoen order gap, which was known for smooth targets, to these singular spaces that appear in rigidity questions and geometric analysis. The proof route is direct: classify homogeneous harmonic maps from the plane into the building, then convert the possible orders into a billiards trajectory problem on the spherical link. That reduction is the actual new step and it is not just a routine rewrite of earlier work. The billiards setup encodes the reflection rules across the walls cleanly, and it produces an explicit list of allowed orders without extra parameters. The argument stays geometric and avoids fitting or self-referential definitions. One place that needs checking is the behavior at higher-codimension singular strata. If a homogeneous map spends positive time on those strata, the standard billiards reflection law may not apply directly, and the discreteness claim would require a separate verification step. The abstract does not spell out how that case is closed, so a referee should look at the details of the stratification handling. The paper is aimed at people already working on harmonic maps into singular spaces or on rigidity phenomena in metric geometry. A reader who knows the Gromov-Schoen result and the structure of buildings will get the most out of it. The claim is specific enough and the method is concrete enough that it belongs in peer review rather than a desk rejection.

Referee Report

2 major / 2 minor

Summary. The paper proves a discreteness result for the possible orders of harmonic maps from 2-dimensional surfaces to Euclidean buildings: for a building of type W, any such order must be of the form m/k where k divides |W|. This generalizes the Gromov-Schoen order-gap theorem to the building setting. The argument proceeds by classifying homogeneous harmonic maps from R^2 into the building and reducing the order computation to an associated spherical billiards problem on the link.

Significance. If the central claim holds, the result supplies a precise arithmetic restriction on branching orders that extends a classical gap theorem to a broader class of singular targets. The direct analysis of homogeneous maps plus the billiards reduction offers a geometric route that avoids heavy analytic machinery and could be useful for studying regularity questions for harmonic maps into buildings.

major comments (2)

[analysis of homogeneous maps and spherical billiards reduction] The reduction of homogeneous harmonic maps to the spherical billiards problem on the link (described after the classification of homogeneous maps) assumes that the image avoids or is transverse to higher-codimension singular strata almost everywhere. When a homogeneous map sends a positive-measure set into a stratum of codimension greater than 1 (possible near branch points), the reflection law and the resulting formula m/k with k dividing |W| require separate justification; the manuscript does not explicitly treat this case, which is load-bearing for the discreteness statement.
[spherical billiards problem] The extension of the Gromov-Schoen argument to buildings relies on the billiards problem controlling all possible orders. It is not shown that the billiards dynamics remain well-defined and yield only the claimed denominators when the link geometry includes the full stratified structure of the building; a concrete verification or counter-example check for a rank-2 building with non-trivial singular strata would strengthen the claim.

minor comments (2)

[introduction / main theorem] Notation for the Weyl group order |W| and the integers m, k should be introduced with a brief reminder of their geometric meaning when first used in the statement of the main theorem.
[introduction] The abstract states that the result follows from homogeneous-map analysis and billiards; a short roadmap paragraph at the end of the introduction would help readers locate where each step occurs.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and insightful report. The comments highlight important points regarding the handling of singular strata in the analysis. We provide point-by-point responses below and will make the suggested clarifications and additions in the revised manuscript.

read point-by-point responses

Referee: [analysis of homogeneous maps and spherical billiards reduction] The reduction of homogeneous harmonic maps to the spherical billiards problem on the link (described after the classification of homogeneous maps) assumes that the image avoids or is transverse to higher-codimension singular strata almost everywhere. When a homogeneous map sends a positive-measure set into a stratum of codimension greater than 1 (possible near branch points), the reflection law and the resulting formula m/k with k dividing |W| require separate justification; the manuscript does not explicitly treat this case, which is load-bearing for the discreteness statement.

Authors: We agree that an explicit justification for the higher-codimension strata is needed. In the classification of homogeneous maps in Section 3, any non-constant homogeneous harmonic map from R^2 is piecewise geodesic and transverse to the stratification except at isolated times; the set of parameters where the image lies in a codimension >1 stratum necessarily has measure zero because the map is Lipschitz and such strata have positive codimension. The billiards reduction and the computation of the order are carried out on the full-measure set where the image lies in the top stratum, and the order is insensitive to the measure-zero set. We will add a clarifying paragraph after the classification statement to make this measure-zero argument explicit and to confirm that positive-measure occupation of higher strata cannot occur for homogeneous harmonic maps. revision: yes
Referee: [spherical billiards problem] The extension of the Gromov-Schoen argument to buildings relies on the billiards problem controlling all possible orders. It is not shown that the billiards dynamics remain well-defined and yield only the claimed denominators when the link geometry includes the full stratified structure of the building; a concrete verification or counter-example check for a rank-2 building with non-trivial singular strata would strengthen the claim.

Authors: The spherical billiards problem is posed on the spherical link of the building, whose walls and strata are precisely those of the spherical building associated to W. The reflection law is the standard one across the codimension-1 walls, and the unfolding argument shows that closed trajectories correspond to elements of the Weyl group; hence the possible periods yield denominators dividing |W|. To make this fully explicit for stratified links, we will add a short subsection containing a complete verification for the rank-2 building of type A2 (the simplest case with non-trivial singular strata). In this example we enumerate all possible billiard trajectories on the spherical link, compute their periods, and confirm that every occurring denominator divides 6 = |W(A2)|, thereby supporting the general claim. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds by direct geometric analysis of homogeneous maps and billiards reduction, independent of fitted inputs or self-citations

full rationale

The paper states its result follows from direct analysis of homogeneous harmonic maps from R^2 into Euclidean buildings followed by reduction to a spherical billiards problem on the link. This generalizes the Gromov-Schoen order gap for 2D domains without invoking self-citations as load-bearing premises, without defining orders in terms of the claimed discreteness formula, and without renaming known empirical patterns as new theorems. No equations or steps reduce the target discreteness (orders of form m/k with k dividing |W|) to a fitted parameter or prior self-result by construction. The approach is self-contained against external benchmarks such as the cited Gromov-Schoen work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard properties of harmonic maps (energy minimization, regularity away from singularities) and Euclidean buildings (piecewise Euclidean structure, Weyl group action). No free parameters or invented entities are indicated in the abstract.

axioms (2)

domain assumption Harmonic maps from surfaces satisfy interior regularity and admit homogeneous blow-ups at points.
Invoked to reduce the order question to analysis of homogeneous maps.
domain assumption Euclidean buildings admit a spherical link at each point whose geometry is governed by the Weyl group W.
Used to set up the spherical billiards problem that constrains possible orders.

pith-pipeline@v0.9.0 · 5368 in / 1335 out tokens · 36826 ms · 2026-05-10T06:58:31.342850+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Almgren.Almgren’s big regularity paper

F.J. Almgren.Almgren’s big regularity paper. World Scientific Monograph Series in Math- ematics, vol. 1, World Scientific Publishing Co. Inc., River Edge, NJ, 2000

work page 2000
[2]

Breiner, B.K

C. Breiner, B.K. Dees.Rectifiability of the Singular Strata for Harmonic Maps to Euclidean Buildings. Trans. Amer. Math. Soc. Series B12(2025), 1156–1187

work page 2025
[3]

Harmonic Maps into Euclidean Buildings and Non-Archimedean Superrigidity

C. Breiner, B.K. Dees, C. Mese.Harmonic maps into Euclidean buildings and non- Archimedean superrigidity, to appear Geom. Topol., https://arxiv.org/abs/2408.02783

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Breiner, A

C. Breiner, A. Fraser, L. Huang, C. Mese, P. Sargent, Y. Zhang.Regularity of harmonic maps from Polyhedra to CAT(1) Spaces.Calc. Var. Partial Differential Equations57 (2018), no. 1, Paper No. 12, 35 pp

work page 2018
[5]

Breiner and C

C. Breiner and C. Mese,Harmonic branched coverings and uniformization of CAT(k) spheres, J. Reine Angew. Math. (Crelle),779(2021), 123–166

work page 2021
[6]

Bridson and A

M. Bridson and A. Haefliger.Metric Spaces of Non-Positive Curvature. Springer-Verlag, Berlin, Heidelberg, New York, 1999

work page 1999
[7]

G. D. Daskalopoulos and C. Mese, Rigidity of Teichm¨ uller space, Invent. Math.224(2021), no. 3, 791–916

work page 2021
[8]

De Lellis, A

C. De Lellis, A. Marchese, E. Spadaro, and D. Valtorta.Rectifiability and upper Minkowski bounds for singularities of harmonicQ-valued mapsComment. Math. Helv.93(2018) no. 4, 737-779

work page 2018
[9]

de Lellis and E

C. de Lellis and E. Spadaro.Q-Valued Functions Revisited. Mem. Amer. Math. Soc.211 (2011)

work page 2011
[10]

B. K. Dees.Rectifiability of the singular set of harmonic maps into buildings. J. Geom. Anal. 32 (2022), no.7, Paper No. 205, 57

work page 2022
[11]

Gromov and R

M. Gromov and R. Schoen.Harmonic maps into singular spaces andp-adic superrigidity for lattices in groups of rank one.Publ. Math. IHES76(1992), 165–246

work page 1992
[12]

Kleiner and B

B. Kleiner and B. Leeb.Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings. Inst. Hautes ´Etudes Sci. Publ. Math.86(1997) 115–197

work page 1997
[13]

Korevaar and R

N. Korevaar and R. Schoen.Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom.1(1993), 561–659

work page 1993
[14]

Korevaar and R

N. Korevaar and R. Schoen.Global existence theorem for harmonic maps to non-locally compact spaces.Comm. Anal. Geom.5(1997), 333–387

work page 1997
[15]

Kuwert.Harmonic maps between flat surfaces with conical singularities.Math

E. Kuwert.Harmonic maps between flat surfaces with conical singularities.Math. Z. (1996) 421-436

work page 1996
[16]

Margulis.Discrete subgroups of semisimple Lie groups.Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol

G. Margulis.Discrete subgroups of semisimple Lie groups.Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer- Verlag, Berlin, 1991

work page 1991
[17]

Ognibene and B

R. Ognibene and B. Velichkov.A survey on the optimal partition problem.La Mat.5 (2026), no. 1, Paper No. 6

work page 2026
[18]

Parreau.Immeubles affines: construction par les normes et´ etude des isom´ etries.Con- temp

A. Parreau.Immeubles affines: construction par les normes et´ etude des isom´ etries.Con- temp. Math. 262 (2000) 263-302

work page 2000
[19]

Sun.Regularity of Harmonic Maps to Trees

X. Sun.Regularity of Harmonic Maps to Trees. Amer. J. Math. 125 (2003) 737-771

work page 2003
[20]

Tits.Immeubles de type affine, in Buildings and the geometry of diagrams, Como Italy 1984, L.A

J. Tits.Immeubles de type affine, in Buildings and the geometry of diagrams, Como Italy 1984, L.A. Rosati editor, Springer lecture note in Math. 1181 (1986) 159-190. Brown University, Department of Mathematics, Providence, RI Email address:christine breiner@brown.edu Brown University, Department of Mathematics, Providence, RI Email address:benjamin dees@brown.edu

work page 1984

[1] [1]

Almgren.Almgren’s big regularity paper

F.J. Almgren.Almgren’s big regularity paper. World Scientific Monograph Series in Math- ematics, vol. 1, World Scientific Publishing Co. Inc., River Edge, NJ, 2000

work page 2000

[2] [2]

Breiner, B.K

C. Breiner, B.K. Dees.Rectifiability of the Singular Strata for Harmonic Maps to Euclidean Buildings. Trans. Amer. Math. Soc. Series B12(2025), 1156–1187

work page 2025

[3] [3]

Harmonic Maps into Euclidean Buildings and Non-Archimedean Superrigidity

C. Breiner, B.K. Dees, C. Mese.Harmonic maps into Euclidean buildings and non- Archimedean superrigidity, to appear Geom. Topol., https://arxiv.org/abs/2408.02783

work page internal anchor Pith review Pith/arXiv arXiv

[4] [4]

Breiner, A

C. Breiner, A. Fraser, L. Huang, C. Mese, P. Sargent, Y. Zhang.Regularity of harmonic maps from Polyhedra to CAT(1) Spaces.Calc. Var. Partial Differential Equations57 (2018), no. 1, Paper No. 12, 35 pp

work page 2018

[5] [5]

Breiner and C

C. Breiner and C. Mese,Harmonic branched coverings and uniformization of CAT(k) spheres, J. Reine Angew. Math. (Crelle),779(2021), 123–166

work page 2021

[6] [6]

Bridson and A

M. Bridson and A. Haefliger.Metric Spaces of Non-Positive Curvature. Springer-Verlag, Berlin, Heidelberg, New York, 1999

work page 1999

[7] [7]

G. D. Daskalopoulos and C. Mese, Rigidity of Teichm¨ uller space, Invent. Math.224(2021), no. 3, 791–916

work page 2021

[8] [8]

De Lellis, A

C. De Lellis, A. Marchese, E. Spadaro, and D. Valtorta.Rectifiability and upper Minkowski bounds for singularities of harmonicQ-valued mapsComment. Math. Helv.93(2018) no. 4, 737-779

work page 2018

[9] [9]

de Lellis and E

C. de Lellis and E. Spadaro.Q-Valued Functions Revisited. Mem. Amer. Math. Soc.211 (2011)

work page 2011

[10] [10]

B. K. Dees.Rectifiability of the singular set of harmonic maps into buildings. J. Geom. Anal. 32 (2022), no.7, Paper No. 205, 57

work page 2022

[11] [11]

Gromov and R

M. Gromov and R. Schoen.Harmonic maps into singular spaces andp-adic superrigidity for lattices in groups of rank one.Publ. Math. IHES76(1992), 165–246

work page 1992

[12] [12]

Kleiner and B

B. Kleiner and B. Leeb.Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings. Inst. Hautes ´Etudes Sci. Publ. Math.86(1997) 115–197

work page 1997

[13] [13]

Korevaar and R

N. Korevaar and R. Schoen.Sobolev spaces and harmonic maps for metric space targets. Comm. Anal. Geom.1(1993), 561–659

work page 1993

[14] [14]

Korevaar and R

N. Korevaar and R. Schoen.Global existence theorem for harmonic maps to non-locally compact spaces.Comm. Anal. Geom.5(1997), 333–387

work page 1997

[15] [15]

Kuwert.Harmonic maps between flat surfaces with conical singularities.Math

E. Kuwert.Harmonic maps between flat surfaces with conical singularities.Math. Z. (1996) 421-436

work page 1996

[16] [16]

Margulis.Discrete subgroups of semisimple Lie groups.Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol

G. Margulis.Discrete subgroups of semisimple Lie groups.Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 17, Springer- Verlag, Berlin, 1991

work page 1991

[17] [17]

Ognibene and B

R. Ognibene and B. Velichkov.A survey on the optimal partition problem.La Mat.5 (2026), no. 1, Paper No. 6

work page 2026

[18] [18]

Parreau.Immeubles affines: construction par les normes et´ etude des isom´ etries.Con- temp

A. Parreau.Immeubles affines: construction par les normes et´ etude des isom´ etries.Con- temp. Math. 262 (2000) 263-302

work page 2000

[19] [19]

Sun.Regularity of Harmonic Maps to Trees

X. Sun.Regularity of Harmonic Maps to Trees. Amer. J. Math. 125 (2003) 737-771

work page 2003

[20] [20]

Tits.Immeubles de type affine, in Buildings and the geometry of diagrams, Como Italy 1984, L.A

J. Tits.Immeubles de type affine, in Buildings and the geometry of diagrams, Como Italy 1984, L.A. Rosati editor, Springer lecture note in Math. 1181 (1986) 159-190. Brown University, Department of Mathematics, Providence, RI Email address:christine breiner@brown.edu Brown University, Department of Mathematics, Providence, RI Email address:benjamin dees@brown.edu

work page 1984