## interval exchange maps and surfaces

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I apologize if the question is a well-known theorem, but I'm just starting to learn about laminations, so I don't know much.

The question is roughly, if interval exchange maps have an underlying closed smooth surface, or if not, what is known about conditions on that.

Now I try to be more precise.

Usual interval exchange functions are bijective functions $\mathbb R/\mathbb Z=S^1\to S^1$ which are piecewise translations where "piecewise" is defined using a finite partition of $S^1$ in segments $s_i$.

Given a interval exchange function $\phi:S^1\to S^1$ one can consider its suspension $S_\phi=[0,1]\times S^1/\sim$ where the nontrivial identifications are $(0,x)\sim (1,\phi(x))$. Then one has a smooth 1-dimensional structure on $S_\phi$, given by the differentiable structure on $[0,1]$, which can be extended with continuity through the identifications. In the $S^1$-direction there is just some piecewise $C^1$-structure on the pieces $]0,1[\times s_i$, since $\phi$ is not even assumed to be continuous.

Then if I understood correctly one defines $\partial S_\phi=\cup_i [0,1]\times\partial s_i/\sim$, and this set is an union of (topological but not $C^1$, since there are cusps) copies of $S^1$. Then one obtains a surface by gluing some annuli to these circles.

The question is if there is some way of obtaining a smooth surface in this way. The case where the lenghts of $s_i$ are rational and $\phi$ is piecewise equal to translations by rational numbers is simple (one refined the segments and gets a longer, smooth, boundary), so I am interested if there is a result in the other case.

-

## 1 Answer

Your method certainly works, because you are just identifying boundary edges of the annulus $[0,1] \times S^1$ in pairs to form a surface. As usual, when one glues up edge pairs of a surface-with-boundary, the endpoints of the boundary edges form "vertex cycles" whose images are points of the quotient surface, and the smooth structure then extends across each of these points. This works regardless of rationality, irrationality, etc. of the lengths of the intervals.

I would describe the method differently, though, in order to isolate the "singular" behavior in a way that is easier to analyze. It is a somewhat standard method, and is more-or-less equivalent to your method.

To describe the standard method, let me set up notation for the interval exchange map. One partitions the circle $S^1$ into $M$ intervals in two ways, $S^1 = I_1 \cup \cdots \cup I_M$ and $J_1 \cup \cdots J_M$, and so that for each $m=1,\ldots,M$ the lengths of $I_m$ and $J_m$ are equal, and then one chooses an isometry $f_m : I_m \to J_m$. The map $\phi : S^1 \to S^1$ itself is then just the union of the maps $f_1,\ldots,f_m$, perhaps restricted to the interiors of the intervals $I_m$ in order to get something well-defined and continuous (or perhaps restricted to half-open intervals in some manner to get something bijective but discontinuous, something that never seems worthwhile to me).

To get a surface, one proceeds in a few steps.

First, let $X$ be the quotient space obtained from the disjoint union of $S^1$ and the $m$ rectangles $[0,1] \times I_m$, by identifying $(0,x)$ to $x$ and identifying $(1,x)$ to $f_m(x)$ for each $m$ and each $x \in I_m$. The lower corners of these rectangles are identified 2--1 with the endpoints of the $I$'s, and the upper corners are identified 2--1 with the endpoints of $J$'s. This object $X$ might be a surface-with-boundary, if you are lucky, but it won't be if there is a common endpoint of the $I$'s and the $J$'s.

Next one studies the "boundary cycles" of $X$ (the quotes are there to accomodate the possibility that $X$ is not actually a surface and these boundary cycles might touch where the $I$'s and $J$'s have a common endpoint). Construct each of these cycles as follows. Start with an $I$-endpoint $x_1 \in S^1$. Of the two lower corners identified with $x_1$, pick one, $p_1 \in [0,1] \times I_{m_1}$, say. Then go up a vertical side of $[0,1] \times I_{m_1}$ to an upper corner $p_2$, identified with some $J$-endpoint $y_1 \in S^1$. Then jump to the other upper corner identified with $y_1$, say $p_3 \in [0,1] \times I_{m_2}$. Then go down a vertical side of $[0,1] \times I_{m_2}$ to a lower corner $p_4$, identified with some $I$-endpoint $x_2$. Then jump to the other lower corner identified with $x_2$, say $p_5 \in [0,1] \times I_{m_3}$. Altogether, so far, you have travelled up a vertical side of $X$ from $x_1$ to $y_1$ and down another vertical side from $y_1$ to $x_2$. Now continue the cycle, which will go up-down-up-down... across a cycle of vertical sides that closes up to form a circle in $X$ subdivided into some even number of sides.

Finally, for each of these boundary cycles subdivided into $2m$ vertical sides, one subdivides each vertical side at its midpoint into two half length subarcs, and then: identify the two subarcs incident to $x_1$ to a single arc; identify the two subarcs incident to $y_1$ to a single arc; identify the two subarcs incident to $x_2$ to a single arc; and so on around the circle. The effect is to collapse the entire circle onto a $2m$-pointed star.

The quotient is a closed surface $S$. The vertical segments $[0,1] \times (point)$ glue up to form a foliation of the surface. This foliation has a $2m$-pronged singularity'' at the valence $2m$ star point associated to each boundary cycle consisting of $2m$ vertical sides. This foliation has an invariant transverse measure, coming from the $dx$-measure on each rectangle $[0,1] \times I_m$, and the fact that each gluing map $f_m$ was an isometry.

One can proceed to a smooth structure on $S$ as follows. The smooth structures on the rectangles $[0,1] \times I_m$ glue up to form a smooth structure everywhere except at the finite set of even-pronged singularities. Moreover, the Euclidean structures on these rectangles glue up to form a Euclidean metric except at the singularities. From the Euclidean metric, you get a conformal structure everywhere except at the prong singularities. But each prong singularity is removable, so the conformal structure is extendable across the prongs, which induces an extension of the smooth structure as well.

-

Thanks for the detailed description. I can follow it until "is removable" in the end. What does that precisely mean? Does the removal preserve the smoothness of the foliation? Maybe there is some well-known fact here which I don't know. – Mircea May 24 at 23:52
No there's not getting around the singularity of the foliation. But that singularity has a very specific model as the horizontal foliation of the quadratic differential $z^{2m-2} dz^2$. And that $z$ coordinate provides the smooth extension of the conformal structure across the singularity. – Lee Mosher May 25 at 2:10
Thanks again, now the answer is perfectly transparent! So not even by changing the surface construction can one avoid the singularity in the foliation? If the exchange map had rational parameters in the sense that I described in the question, one has some hope of avoiding the prongs by complicating the surface. – Mircea May 25 at 5:52
The Euler-Poincare theorem says that for a foliation with isolated singularities on a compact surface, the sum of the indices of the singularities equals the Euler characteristic of the surface. So if the surface has negative Euler characteristic, singularities are unavoidable. It's best to think of prong singularities as natural features. – Lee Mosher May 25 at 12:39
I think some confusion was in my head regarding the precise meaning of the word "foliation". Is there more hope if one just looks for laminations?  – Mircea May 26 at 8:35
show 2 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 87, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9366605281829834, "perplexity_flag": "head"}