Skip to main content
Teichmuller -> Teichmüller (missed the title)
Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Confusion about TeichmullerTeichmüller curves and $\mathrm$\operatorname{SL}_2$-action

formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Confusion about Teichmuller curves and $SL_2$ action$\mathrm{SL}_2$-action

Let$\DeclareMathOperator\SL{SL}$Let $M_g$ be the moduli space of curves, $\Omega M_g$ the total space of the bundle of holomorphic 1-forms and $\pi: \Omega M_g\to M_g$ the natural projection. On $\Omega M_g$ there's an action of $SL_2(\mathbb{R})$$\SL_2(\mathbb{R})$. When the image $\pi(SL_2(\mathbb{R})\cdot x)\subset M_g$$\pi(\SL_2(\mathbb{R})\cdot x)\subset M_g$ of an orbit is a closed algebraic curve of $M_g$ it's called a TeichmullerTeichmüller curve. This is the most common definition of TeichmullerTeichmüller curve. On the other hand sometimes they are also referred to as affine invariant submanifolds (i.e. complex submanifolds of a stratum of $\Omega M_g$ which are $SL_2(\mathbb{R})$$\SL_2(\mathbb{R})$-invariant and linear in the period coordinates). My confusion stems from the following fact: if $(X,\omega)$ generates a TeichmullerTeichmüller curve then its stabiliser under the action of $SL_2(\mathbb{R})$$\SL_2(\mathbb{R})$ is a lattice and the orbit would have real dimension equal to $dim SL_2(\mathbb{R})=3$$\dim \SL_2(\mathbb{R})=3$, so I don't see how to interpret a TeichmullerTeichmüller curve as an affine invariant submanifold.

Confusion about Teichmuller curves and $SL_2$ action

Let $M_g$ be the moduli space of curves, $\Omega M_g$ the total space of the bundle of holomorphic 1-forms and $\pi: \Omega M_g\to M_g$ the natural projection. On $\Omega M_g$ there's an action of $SL_2(\mathbb{R})$. When the image $\pi(SL_2(\mathbb{R})\cdot x)\subset M_g$ of an orbit is a closed algebraic curve of $M_g$ it's called a Teichmuller curve. This is the most common definition of Teichmuller curve. On the other hand sometimes they are also referred to as affine invariant submanifolds (i.e. complex submanifolds of a stratum of $\Omega M_g$ which are $SL_2(\mathbb{R})$-invariant and linear in the period coordinates). My confusion stems from the following fact: if $(X,\omega)$ generates a Teichmuller curve then its stabiliser under the action of $SL_2(\mathbb{R})$ is a lattice and the orbit would have real dimension equal to $dim SL_2(\mathbb{R})=3$, so I don't see how to interpret a Teichmuller curve as an affine invariant submanifold.

Confusion about Teichmuller curves and $\mathrm{SL}_2$-action

$\DeclareMathOperator\SL{SL}$Let $M_g$ be the moduli space of curves, $\Omega M_g$ the total space of the bundle of holomorphic 1-forms and $\pi: \Omega M_g\to M_g$ the natural projection. On $\Omega M_g$ there's an action of $\SL_2(\mathbb{R})$. When the image $\pi(\SL_2(\mathbb{R})\cdot x)\subset M_g$ of an orbit is a closed algebraic curve of $M_g$ it's called a Teichmüller curve. This is the most common definition of Teichmüller curve. On the other hand sometimes they are also referred to as affine invariant submanifolds (i.e. complex submanifolds of a stratum of $\Omega M_g$ which are $\SL_2(\mathbb{R})$-invariant and linear in the period coordinates). My confusion stems from the following fact: if $(X,\omega)$ generates a Teichmüller curve then its stabiliser under the action of $\SL_2(\mathbb{R})$ is a lattice and the orbit would have real dimension equal to $\dim \SL_2(\mathbb{R})=3$, so I don't see how to interpret a Teichmüller curve as an affine invariant submanifold.

Confusion about Teichmuller curves and SL_2$SL_2$ action

Source Link
Angy
  • 61
  • 2
Loading