Hostname: page-component-78c5997874-xbtfd Total loading time: 0 Render date: 2024-11-08T07:33:46.520Z Has data issue: false hasContentIssue false

SINGULAR DIRECTIONS IN VEECH SURFACES

Published online by Cambridge University Press:  16 September 2022

YAN HUANG*
Affiliation:
Department of Mathematics, Henan University, Kaifeng, China
*
Rights & Permissions [Opens in a new window]

Abstract

Singular directions in a Veech surface are shown to be exactly the directions of its saddle connections.

Type
Research Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of Australian Mathematical Publishing Association Inc.

1 Introduction

A real d-dimensional vector $\alpha :=(\alpha _{1},\ldots ,\alpha _{d})\in \mathbb {R}^{d}$ is singular if for any $\delta>0$ , the system of inequalities

(1.1) $$ \begin{align} \begin{cases} \max_{1\leq k\leq d}|q\alpha_{k}-p_{k}|<\delta/T^{1/d}\\ 0<q<T \end{cases} \end{align} $$

admits solutions $(p_{1}\ldots ,p_{d},q)\in \mathbb {Z}^{d+1}$ , provided that T is large enough. When $\delta =1$ , the classical Dirichlet theorem (see [Reference Schmidt11]) states that (1.1) admits solutions $(p,q)\in \mathbb {Z}^{d+1}$ for T large enough. It is well known that a real number $\alpha \in \mathbb {R}$ is singular if and only if $\alpha $ is rational. However, Cheung and Chevallier [Reference Cheung4, Reference Cheung and Chevallier5] showed that when $d\geq 2$ , the set of singular d-dimensional vectors has Hausdorff dimension ${d^{2}}/{(d+1)}$ .

A translation surface is a closed Riemann surface associated with a nonzero holomorphic one-form. The lattice $\mathbb {Z}^{2}$ makes a genus one translation surface, the flat torus $T^{2}$ , such that each integer vector corresponds to the holonomy vector of some closed geodesic. Conversely, it is classical that any genus one translation surface corresponds to a unique rank-2 lattice in the plane $\mathbb {R}^{2}$ . In general, a translation surface determines a closed, discrete and centro-symmetric subset of the plane $\mathbb {R}^{2}$ , the set of holonomy vectors of oriented saddle connections in the translation surface (see [Reference Masur, Tabachnikov, Hasselblatt and Katok9, Reference Vorobets14]). Hence, it is interesting to investigate Diophantine approximation of real numbers in the context of higher genus translation surfaces (see [Reference Arnoux and Hubert1, Reference Arnoux and Schmidt2]).

Let $S^{1}$ be the set of unit vectors in the plane $\mathbb {R}^{2}$ . Denote by $\|\cdot \|$ the Euclidean norm of $\mathbb {R}^{2}$ and by $\angle uv\in [0,\pi ]$ the angle between two nonzero vectors u and v in $\mathbb {R}^{2}$ .

Definition 1.1. Let $(X,\omega )$ be a translation surface and $\mathcal {Z}$ the set of holonomy vectors of oriented saddle connections. A unit vector $\theta \in S^{1}$ is a singular direction of $(X,\omega )$ if for any $\delta>0$ , the system of inequalities

(1.2) $$ \begin{align} \begin{cases} \|v\|\,|\kern-1.4pt\sin\angle v\theta|<\delta/T\\ \|v\|\,|\kern-1.4pt\cos\angle v\theta|<T \end{cases} \end{align} $$

admits solutions $v\in \mathcal {Z}$ , provided that T is large enough.

Hubert and Schmidt [Reference Hubert and Schmidt8] showed that the set of holonomy vectors of saddle connections in a translation surface always has a finite Minkowski constant. As a result, there exists $\delta>0$ such that (1.2) admits solutions $v=(p,q)$ in this set for T large enough.

A Veech surface has a large group of affine symmetries. In a celebrated paper [Reference Veech13], Veech showed that the directional flows of such translation surfaces satisfy the dichotomy: each directional flow is either uniquely ergodic or completely periodic. McMullen [Reference McMullen10] completed the classification of genus two Veech surfaces, and Smillie and Weiss [Reference Smillie and Weiss12] gave various geometric characterisations of such translation surfaces.

The main result of this paper is the following theorem.

Theorem 1.2. A direction of a Veech surface is singular if and only if it is parallel to some saddle connection in the Veech surface.

2 Background

2.1 Cheung’s $\mathcal {Z}$ -expansion

Cheung’s $\mathcal {Z}$ -expansion theory generalises the geometric interpretation of the classical continued fraction (for details, see [Reference Cheung3, Reference Cheung, Hubert and Masur6]).

Let $\mathcal {Z}$ be a discrete, closed and centro-symmetric subset of the plane $\mathbb {R}^{2}$ and suppose that $\mathcal {Z}$ does not contain the origin. The Minkowski constant $\mu (\mathcal {Z})$ of $\mathcal {Z}$ is the supremum of areas of bounded, convex and centro-symmetric subsets of the plane $\mathbb {R}^{2}$ which are disjoint from $\mathcal {Z}$ . Assume that $\mathcal {Z}$ has a finite Minkowski constant $\mu (\mathcal {Z})$ . Then for any $\delta>\mu (\mathcal {Z})/4$ , (1.2) has solutions in $\mathcal {Z}$ , provided that T is large enough.

Definition 2.1. An element $v\in \mathcal {Z}$ is said to be a $\mathcal {Z}$ -convergent to a unit vector ${\theta \in S^{1}}$ , if $\cos \angle v\theta \geq 0$ and, for any $u\in \mathcal {Z}$ with $\cos \angle u\theta \geq 0$ :

  1. (1) $\|v\|\cos \angle v\theta \leq \|u\|\cos \angle u\theta $ implies $\|v\|\sin \angle v\theta \leq \|u\|\sin \angle u\theta $ and

  2. (2) $\|v\|\cos \angle v\theta <\|u\|\cos \angle u\theta $ implies $\|v\|\sin \angle v\theta <\|u\|\sin \angle u\theta $ .

The sequence $\{v_{k}\}$ of $\mathcal {Z}$ -convergents to $\theta $ is ordered so that $\|v_{k}\|\cos \angle v_{k}\theta $ is increasing strictly as k increases or, equivalently, $\|v_{k}\|\sin \angle v_{k}\theta $ is decreasing strictly as k increases.

Remark 2.2. For convenience, we also arrange the sequence of $\mathcal {Z}$ -convergents to a unit vector $\theta $ so that the zeroth convergent $v_{0}$ realises the minimal $\|v\|\cos \angle v\theta $ with v taken over all $\mathcal {Z}$ -convergents. This makes sense because any vector of minimal length in $\mathcal {Z}$ is a $\mathcal {Z}$ -convergent to any unit vector. In other words, the zeroth convergent $v_{0}$ is just one of the vectors v of minimal length in $\mathcal {Z}$ such that $\|v\|\cos \angle v\theta $ is minimal (see Figure 1). Under our convention, there may be two choices of the kth convergent for each $k\in \mathbb {Z}$ .

Figure 1 The zeroth $\mathcal {Z}$ -convergent.

2.2 Translation surface

A translation surface $(X,\omega )$ is a closed Riemann surface X associated with a nonzero holomorphic one-form $\omega $ (see [Reference Masur, Tabachnikov, Hasselblatt and Katok9, Reference Zorich, Cartier, Julia, Moussa and Vanhove15] for details). The integral of the holomorphic one-form $\omega $ induces a translation structure, that is, an atlas of coordinates on the underlying surface between which the transition functions are locally translations. Pulling back the Euclidean metric on the plane by these coordinates induces a flat metric on the underlying surface, which has trivial holonomy and zero Gauss curvature, except at a finite number of conical singular points corresponding to zeros of the one-form.

Let $S^{1}$ be the circle in the complex plane consisting of unit complex numbers. For any $\theta \in S^{1}$ , the line segments on the plane parallel to $\theta $ induce a foliation $\mathcal {F}_{\theta }$ of the surface, called the flow in the direction $\theta $ , whose leaves, named $\theta $ -trajectories, are geodesics with respect to the flat metric. A saddle connection of a translation surface is a geodesic segment, which has conical points as end points and contains no conical points in its interior. The holonomy vector of an oriented saddle connection $\gamma $ is the integral of $\omega $ along $\gamma $ . A direction of $(X,\omega )$ is minimal if there is no leaf of the directional flow which is a saddle connection.

Definition 2.3. Let $(X,\omega )$ be a translation surface and let $\mathcal {Z}$ be the set of holonomy vectors of its oriented saddle connections. A direction $\theta $ in $(X,\omega )$ is singular if $\theta $ is $\mathcal {Z}$ -singular.

Two translation surfaces are affinely isomorphic if there is a homeomorphism between them, given by an affine isomorphism, which preserves singular points and is represented by affine maps under their translation structures. By the connectivity, the linear part of these affine representatives is unique; it is called the derivative of the affine isomorphism. When the derivative is the identity matrix, the affine isomorphism is an isomorphism and the two translation surfaces are isomorphic. The Veech group of a translation surface is defined as the group of derivatives of all its affine self-isomorphisms. It is well known that a Veech group is a discrete sub-group of $\text {SL}(2,\mathbb {R})$ (see [Reference Gutkin and Judge7, Reference Vorobets14]).

Definition 2.4. A translation surface is called a Veech surface if its Veech group is a lattice in $\text {SL}(2,\mathbb {R})$ .

Lemma 2.5 [Reference Smillie and Weiss12]

A translation surface is a lattice surface if and only if it has no visual triangle, that is, the set $\mathcal {Z}$ of holonomy vectors of its saddle connections satisfies

$$ \begin{align*} \inf\{|u\times v|\neq0:u,v\in\mathcal{Z}\}>0. \end{align*} $$

3 Proof of Theorem 1.2

In the remainder of this paper, we assume that $(X,\omega )$ is a Veech surface and $\mathcal {Z}$ is the set of holonomy vectors of oriented saddle connections in $(X,\omega )$ . Recall that the Minkowski constant $\mu (\mathcal {Z})$ is finite.

A unit vector $\theta $ is said to be $\mathcal {Z}$ -minimal if the kth $\mathcal {Z}$ -convergent exists for any positive integer $k\in \mathbb {Z}_{>0}$ .

Lemma 3.1. A unit vector $\theta $ is $\mathcal {Z}$ -minimal if and only if it is not parallel to some vector in  $\mathcal {Z}$ .

Proof. Necessity. By contradiction, assume that $\theta $ is parallel to an element w in $\mathcal {Z}$ . Recall that $\mathcal {Z}$ is discrete and centro-symmetric and does not contain the origin. Hence, there exists a unique element $w_{0}\in \mathcal {Z}$ , with $\angle w_{0}\theta =0$ , which is parallel to w and has minimal length. As a result, $\|w_{0}\|\sin \angle w_{0}\theta =0$ so that $w_{0}$ is a $\mathcal {Z}$ -convergent to $\theta $ . It is sufficient to show that

$$ \begin{align*} \|v\|\cos\angle v\theta\leq\|w_{0}\| \end{align*} $$

for any $\mathcal {Z}$ -convergent v to $\theta $ , which contradicts the assumption that $\theta $ is $\mathcal {Z}$ -minimal. In fact, if there is a $\mathcal {Z}$ -convergent u to $\theta $ such that $\|u\|\cos \angle u\theta>\|w_{0}\|$ , then the definition of $\mathcal {Z}$ -convergents implies that

$$ \begin{align*} \|u\|\sin\angle u\theta<\|w_{0}\|\sin\angle w_{0}\theta=0, \end{align*} $$

which cannot happen.

Sufficiency. Assume by contradiction that $\theta $ is not $\mathcal {Z}$ -minimal. Then there is a $\mathcal {Z}$ -convergent v to $\theta $ such that

$$ \begin{align*} \|v\|\cos\angle v\theta\geq\|u\|\cos\angle u\theta \end{align*} $$

for any convergent u to $\theta $ . Since $\mathcal {Z}$ has a finite Minkowski constant, $\|v\|\sin \angle v\theta =0$ . Otherwise, the infinite strip

$$ \begin{align*} \{w\in\mathbb{R}^{2}:\|w\|\sin\angle w\theta<\|v\|\sin\angle v\theta\} \end{align*} $$

contains no point in $\mathcal {Z}$ and has infinite area. As a result, $\theta $ is parallel to $v\in \mathcal {Z}$ .

Lemma 3.2. Let $v_{k}$ and $v_{k+1}$ be a pair of consecutive $\mathcal {Z}$ -convergents to $\theta $ . Then

(3.1) $$ \begin{align} 2\sin\angle v_{k}v_{k+1}{<}\sin\angle v_{k}\theta\cos\angle v_{k+1}\theta\leq\mu(\mathcal{Z})/\|v_{k}\|\|v_{k+1}\|. \end{align} $$

Proof. From the definition of $\mathcal {Z}$ -convergents, for any $k\in \mathbb {Z}$ , the system of inequalities

$$ \begin{align*} \begin{cases} \|v\|\,|\kern-1.4pt\sin\angle v\theta|<\|v_{k}\|\sin\angle v_{k}\theta\\ \|v\|\,|\kern-1.4pt\cos\angle v\theta|<\|v_{k}\|\cos\angle v_{k}\theta \end{cases} \end{align*} $$

admits no solution in $\mathcal {Z}$ . Since $v_{k+1}$ is the next convergent after $v_{k}$ ,

$$ \begin{align*} \|v\|\sin\angle v\theta\geq\|v_{k}\|\sin\angle v_{k}\theta \end{align*} $$

for any $v\in \mathcal {Z}$ satisfying

$$ \begin{align*} \|v_{k}\|\cos\angle v_{k}\theta<\|v\|\cos\angle v\theta<\|v_{k+1}\|\cos\angle v_{k+1}\theta. \end{align*} $$

Therefore, the rectangle

$$ \begin{align*} \{w\in\mathbb{R}^{2}:\|w\|\,|\kern-1.4pt\cos\angle w\theta|<\|v_{k+1}\|\,|\kern-1.2pt\cos\angle v_{k+1}\theta|,\ \|w\|\,|\kern-1.4pt\sin\angle w\theta|<\|v_{k}\|\,|\kern-1.4pt\sin\angle v_{k}\theta|\} \end{align*} $$

contains no point in $\mathcal {Z}$ and has area

$$ \begin{align*} \|v_{k}\|\sin\angle v_{k}\theta\,\|v_{k+1}\|\cos\angle v_{k+1}\theta \end{align*} $$

(see Figure 2). Together with the definition of the Minkowski constant $\mu (\mathcal {Z})$ , this gives the right-hand inequality of (3.1). The left-hand inequality of (3.1) follows from the fact that the rectangle with four vertices $\pm v_{k}$ and $\pm v_{k+1}$ has area

$$ \begin{align*} 2|v_{k}\times v_{k+1}|=2\|v_{k}\|\,\|v_{k+1}\|\sin\angle v_{k}v_{k+1} \end{align*} $$

and is contained in the rectangle constructed above.

Theorem 3.3. A $\mathcal {Z}$ -minimal direction $\theta $ is $\mathcal {Z}$ -singular if and only if its kth $\mathcal {Z}$ -convergent $v_{k}$ satisfies

$$ \begin{align*} \lim\limits_{k\rightarrow+\infty}\|v_{k+1}\|\cos\angle v_{k+1}\theta\,\|v_{k}\|\sin\angle v_{k}\theta=0. \end{align*} $$

Proof. As $\theta $ is $\mathcal {Z}$ -minimal, the height of its kth $\mathcal {Z}$ -convergent strictly increases to infinity as k tends to infinity.

Figure 2 A pair of consecutive $\mathcal {Z}$ -convergents.

Sufficiency. Assume that

$$ \begin{align*} \lim\limits_{k\rightarrow+\infty}\|v_{k+1}\|\cos\angle v_{k+1}\theta\,\|v_{k}\|\sin\angle v_{k}\theta=0. \end{align*} $$

Then for any $\delta>0$ , there exists $k_{0}$ such that

$$ \begin{align*} \|v_{k+1}\|\cos\angle v_{k+1}\theta\,\|v_{k}\|\sin\angle v_{k}\theta<\delta \end{align*} $$

for any $k\geq k_{0}$ . Since $\|v_{k}\|\cos \angle v_{k}\theta $ strictly increases to infinity as k increases to infinity, for any $T> \|v_{k_{0}}\|\cos \angle v_{k_{0}}\theta $ , there is a unique $k\geq k_{0}$ such that

$$ \begin{align*} \|v_{k}\|\cos\angle v_{k}\theta<T\leq v_{k+1}\cos\angle v_{k+1}\theta. \end{align*} $$

As a result,

$$ \begin{align*} \|v_{k}\|\sin v_{k}\theta<\frac{\delta}{\|v_{k+1}\|\cos\angle v_{k+1}\theta}\leq\delta/T, \end{align*} $$

which means that $v_{k}$ is a solution of the system of inequalities

$$ \begin{align*} \begin{cases} \|v\|\sin\angle v\theta<\delta/T\\ 0<\|v\|\cos\angle v\theta<T \end{cases} \end{align*} $$

for $T> v_{k_{0}}$ .

Necessity. By the definition of $\omega $ -singularity, for any $\delta>0$ , there exists $k_{0}$ such that for any $k\geq k_{0}$ , the system of inequalities

$$ \begin{align*} \begin{cases} \|v\|\sin\angle v\theta<{\delta}/({\|v_{k+1}\|\cos\angle v_{k+1}\theta})\\ 0<\|v\|\cos\angle v\theta<\|v_{k+1}\|\cos\angle v_{k+1}\theta \end{cases} \end{align*} $$

has solutions $v\in \mathcal {Z}$ . Either

$$ \begin{align*} 0<\|v\|\cos\angle v\theta<\|v_{k}\|\cos\angle v_{k}\theta \end{align*} $$

or

$$ \begin{align*} \|v_{k}\|\cos\angle v_{k}\theta\leq \|v\|\cos\angle v\theta<\|v_{k+1}\|\cos\angle v_{k+1}\theta. \end{align*} $$

The definition of the consecutive pair of $|v_{k}|$ and $|v_{k+1}|$ implies that

$$ \begin{align*} \|v_{k}\|\sin\angle v_{k}\theta\leq\|v\|\sin\angle v\theta \end{align*} $$

for both of the above cases. Therefore,

$$ \begin{align*} \|v_{k+1}\|\cos\angle v_{k+1}\theta\,\|v_{k}\|\sin\angle v_{k}\theta<\delta \end{align*} $$

for any $k\geq k_{0}$ . Since $\delta>0$ is arbitrary,

$$ \begin{align*} \lim\limits_{k\rightarrow+\infty}\|v_{k+1}\|\cos\angle v_{k+1}\theta\,\|v_{k}\|\sin\angle v_{k}\theta=0. \\[-40pt] \end{align*} $$

Proof of Theorem 1.2

To prove the theorem, we first note that the sufficiency is obvious. For the necessity, by contradiction, we assume that $\theta $ is a singular and a minimal direction of $(X,\omega )$ . Combining Lemma 3.2 and Theorem 3.3,

$$ \begin{align*} \lim\limits_{k\rightarrow+\infty}|v_{k}\times v_{k+1}|=0. \end{align*} $$

Since $|v_{k}\times v_{k+1}|\neq 0$ , this yields

$$ \begin{align*} \inf\{|u\times v|\neq0:u,v\in\mathcal{Z}\}=0. \end{align*} $$

Recall that $(X,\omega )$ is a Veech surface. By Lemma 2.5, we get the contradiction.

Acknowledgement

I would like to thank the referee for a very careful reading of the paper and helpful suggestions.

Footnotes

The author was supported by the National Natural Science Foundation of China (Grant No. 11401167 and Grant No. 11871194).

References

Arnoux, P. and Hubert, P., ‘Fractions continues sur les surfaces de Veech’, J. Anal. Math. 81 (2000), 564.10.1007/BF02788985CrossRefGoogle Scholar
Arnoux, P. and Schmidt, T. A., ‘Veech surfaces with nonperiodic directions in the trace field’, J. Mod. Dyn. 3 (2009), 611629.Google Scholar
Cheung, Y., ‘Slowly divergent geodesics in moduli space’, Conform. Geom. Dyn. 8 (2004), 167189.10.1090/S1088-4173-04-00113-4CrossRefGoogle Scholar
Cheung, Y., ‘Hausdorff dimension of the set of singular pairs’, Ann. of Math. (2) 173 (2011), 127167.CrossRefGoogle Scholar
Cheung, Y. and Chevallier, N., ‘Hausdorff dimension of singular vectors’, Duke Math. J. 165 (2016), 22732329.10.1215/00127094-3477021CrossRefGoogle Scholar
Cheung, Y., Hubert, P. and Masur, H., ‘Dichotomy for the Hausdorff dimension of the set of nonergodic directions’, Invent. Math. 183 (2011), 337383.10.1007/s00222-010-0279-2CrossRefGoogle Scholar
Gutkin, E. and Judge, C., ‘Affine mappings of translation surfaces: geometry and arithmetic’, Duke Math. J. 103 (2000), 191213.10.1215/S0012-7094-00-10321-3CrossRefGoogle Scholar
Hubert, P. and Schmidt, T. A., ‘Diophantine approximation on Veech surfaces’, Bull. Soc. Math. France 140 (2012), 551568.10.24033/bsmf.2636CrossRefGoogle Scholar
Masur, H. and Tabachnikov, S., ‘Rational billiards and flat structures’, in: Handbook of Dynamical Systems, Vol. 1A (eds. Hasselblatt, B. and Katok, A.) (North-Holland, Amsterdam, 2002), 10151089.Google Scholar
McMullen, C. T., ‘Billiards and Teichmüller curves on Hilbert modular surfaces’, J. Amer. Math. Soc. 16 (2003), 857885.10.1090/S0894-0347-03-00432-6CrossRefGoogle Scholar
Schmidt, W. M., Diophantine Approximation, Lecture Notes in Mathematics, 785 (Springer, Berlin, 1980).Google Scholar
Smillie, J. and Weiss, B., ‘Characterizations of lattice surfaces’, Invent. Math. 180 (2010), 535557.10.1007/s00222-010-0236-0CrossRefGoogle Scholar
Veech, W. A., ‘Teichmüller curves in moduli space, Eisenstein series, and an application to triangular billiards’, Invent. Math. 97 (1989), 553583.CrossRefGoogle Scholar
Vorobets, Y. B., ‘Plane structures and billiards in rational polygons: the Veech alternative’, Uspekhi Mat. Nauk 51 (1996), 342.Google Scholar
Zorich, A., ‘Flat surfaces’, in: Frontiers in Number Theory, Physics, and Geometry I (eds. Cartier, P. E., Julia, B., Moussa, P. and Vanhove, P.) (Springer, Berlin–Heidelberg, 2006), 437583.Google Scholar
Figure 0

Figure 1 The zeroth $\mathcal {Z}$-convergent.

Figure 1

Figure 2 A pair of consecutive $\mathcal {Z}$-convergents.