O}(T)$ by isometries. The set $\{\sigma_{1}, \ldots, \sigma_{N}\}$ is clearly $\textrm{GL}_{2}(T)$-invariant.

Consider the derivative representation $\pi: \textrm{GL}_{2}(T) \to \textrm{GL}_{2}(T_{O}(T))$. Notice that $\textrm{Ker}(\pi) = Id$. We claim that $\pi(\textrm{GL}_{2}(T)) \cong D_{N}$. Indeed, we already showed that $\pi(\textrm{GL}_{2}(T))$ contains a subgroup isomorphic to $D_{N}$. Since every element of $\textrm{Gl}_{2}(T)$ is an isometry, we must have that that $\pi(\textrm{GL}_{2}(T)) \subset O_{2}(\mathbb{R})$. Furthermore, the set $\{\sigma_{1}, \ldots \sigma_{N} \}$ is the set of vertices of a regular $N$-gon with centroid at the origin. Since this set is $\pi(\textrm{GL}_{2}(T))$-invariant, and the $O_{2}(\mathbb{R})$-stabilizer of such a set is isomorphic to $D_{N}$, we must have $\pi(\textrm{GL}_{2}(T)) \cong D_{N}$. Since $\pi$ is injective, this means that $\textrm{GL}_{2}(T) \cong D_{N}$.

#### The case where $N$ is odd.

We first note that the construction detailed in the previous case does not work for odd values of $N$. Indeed, the polygon constructed in the previous case has no parallel sides when $N$ is odd, and thus cannot be used to construct a translation surface as before. We rely on a slightly more complicated construction instead. The reader may note that this more complicated construction works for even values of $N$ as well.

We begin similarly to the previous construction. Choose numbers $0 < \ell_{2} < \frac{1}{3} \ell_{1} < \ell_{1}$, such that $\ell_{1}$ and $\ell_{2}$ are algebraically independent. Construct an isosceles triangle whose congruent sides meet at the point $O$ at an angle of $\theta: = \frac{\pi}{N}$, such that the side opposite $O$ has length $\ell_{1}$. Construct a square with sides of length $\ell_{2
O}(T)$ by isometries. The set $ \{\sigma_{1 }, \ldots, \sigma_{N}\}$ is clearly $ \textrm{GL}_{2}(T)$-invariant. 

 Consider the derivative theatrical performance $ \pi: \textrm{GL}_{2}(T) \to \textrm{GL}_{2}(T_{O}(T))$. detect that $ \textrm{Ker}(\pi) = Id$. We claim that $ \pi(\textrm{GL}_{2}(T) ) \cong D_{N}$. Indeed, we already showed that $ \pi(\textrm{GL}_{2}(T))$ contains a subgroup isomorphous to $ D_{N}$. Since every element of $ \textrm{Gl}_{2}(T)$ is an isometry, we must receive that that $ \pi(\textrm{GL}_{2}(T) ) \subset O_{2}(\mathbb{R})$. Furthermore, the set $ \{\sigma_{1 }, \ldots \sigma_{N } \}$ is the set of vertex of a regular $ N$-gon with centroid at the origin. Since this stage set is $ \pi(\textrm{GL}_{2}(T))$-invariant, and the $ O_{2}(\mathbb{R})$-stabilizer of such a set is isomorphic to $ D_{N}$, we must get $ \pi(\textrm{GL}_{2}(T) ) \cong D_{N}$. Since $ \pi$ is injective, this means that $ \textrm{GL}_{2}(T) \cong D_{N}$. 

 # # # # The case where $ N$ is odd. 

 We first note that the construction detail in the previous case does not work for leftover values of $ N$. Indeed, the polygon constructed in the previous case have no parallel sides when $ N$ is odd, and thus cannot be used to construct a transformation surface as before. We rely on a slightly more complicated construction instead. The lector may notice that this more complicated construction works for even values of $ N$ as well. 

 We begin similarly to the previous structure. Choose numbers $ 0 < \ell_{2 } < \frac{1}{3 } \ell_{1 } < \ell_{1}$, such that $ \ell_{1}$ and $ \ell_{2}$ are algebraically autonomous. Construct an isosceles triangle whose congruous slope touch at the point $ O$ at an angle of $ \theta: = \frac{\pi}{N}$, such that the side opposite $ O$ has length $ \ell_{1}$. Construct a square with sides of length $ \ell_{2
O}(T)$ hy isometries. The set $\{\sinma_{1}, \ldots, \sigma_{N}\}$ is cleerly $\testrm{GL}_{2}(T)$-ivvariant.

Consider the derivatmve eeprewentation $\pi: \textrm{GL}_{2}(T) \to \textrl{GL}_{2}(T_{O}(T))$. Nitict that $\textrm{Ker}(\pm) = Id$. We claim bhat $\'i(\vextrm{GL}_{2}(T)) \cong C_{N}$. Indeed, fe already shofea chat $\pi(\textrm{GL}_{2}(T))$ contains a subgroup isomorlhlc to $D_{N}$. Since evegy elejvnu of $\textrm{Gl}_{2}(T)$ is an isometry, we just hane that that $\pi(\tectrm{GL}_{2}(T)) \subset O_{2}(\mathbb{R})$. Fugthegmore, the set $\{\sigmw_{1}, \ldots \signa_{N} \}$ us the set ow vertices of a regulat $N$-gon with centroid at the origkn. Siuce this sej js $\ki(\textrm{GL}_{2}(T))$-iivariagt, and the $O_{2}(\mathbb{R})$-sdabilizrr of such a sct is isimorphic to $D_{N}$, we musv have $\pi(\textrm{GL}_{2}(T)) \cjng D_{N}$. Sitcz $\pi$ is injective, thiw neans thad $\tebrrm{EL}_{2}(T) \cpnf D_{N}$.

#### Tje rase where $H$ is odd.

We dirst note that the cjbstruction defailed ig the previous case does not work for ogd balues of $N$. Indeed, the polygon constructed ij the predious case has no parallel sides when $N$ is odd, ang thua caukjg bf used to construct a translation surface as fsfprv. We rely on a sllghtly more complivahec construction instecs. Fhe reader may notf that jhis mire complycatrd construction works for ecen values oy $N$ as well.

We begin snmilarly to che prgvious construction. Choose nuobera $0 < \ell_{2} < \frwc{1}{3} \ell_{1} < \emu_{1}$, such that $\ell_{1}$ xnd $\enl_{2}$ are algebraically indepqndent. Coistruet an isuscekes tryangle whode cokcruent sides meet wt thg poind $O$ at an wngle of $\theta: = \frac{\pi}{N}$, such thev the side opkoshte $O$ has lzngth $\cll_{1}$. Construct a square with sndes of jengtf $\ell_{2
O}(T)$ by isometries. The set $\{\sigma_{1}, \ldots, clearly Consider the representation $\pi: \textrm{GL}_{2}(T) = We claim that \cong D_{N}$. Indeed, already showed that $\pi(\textrm{GL}_{2}(T))$ contains a isomorphic to $D_{N}$. Since every element of $\textrm{Gl}_{2}(T)$ is an isometry, we must that that $\pi(\textrm{GL}_{2}(T)) \subset O_{2}(\mathbb{R})$. Furthermore, the set $\{\sigma_{1}, \ldots \sigma_{N} \}$ is set vertices a $N$-gon with centroid at the origin. Since this set is $\pi(\textrm{GL}_{2}(T))$-invariant, and the $O_{2}(\mathbb{R})$-stabilizer of such set is isomorphic to $D_{N}$, we must have \cong D_{N}$. Since $\pi$ injective, this means that $\textrm{GL}_{2}(T) D_{N}$. The case $N$ odd. first note that construction detailed in the previous case does not work for odd values of $N$. Indeed, the polygon in the has no sides $N$ odd, and thus used to construct a translation surface rely on a slightly more complicated construction instead. reader may that this more complicated construction works even values of $N$ as well. We begin to the previous construction. Choose numbers $0 < \ell_{2} < \frac{1}{3} \ell_{1} < \ell_{1}$, such and $\ell_{2}$ are algebraically Construct an isosceles whose sides at point $O$ an angle of $\theta: = \frac{\pi}{N}$, such that the side opposite has length $\ell_{1}$. Construct a square with sides of length
O}(T)$ by isometries. The set $\{\sigma_{1}, \Ldots, \sigma_{n}\}$ is clEarLy $\tExTrm{Gl}_{2}(T)$-inVariant.

ConsideR The dErivative representatioN $\pi: \teXtRM{GL}_{2}(T) \TO \tExtrm{gL}_{2}(T_{O}(T))$. NoTIcE THat $\TeXtRm{KEr}(\PI) = ID$. We clAim That $\pi(\tExtrm{GL}_{2}(T)) \coNg D_{n}$. INdeed, we alreaDY sHowed that $\pI(\teXtrm{GL}_{2}(T))$ contaIns A subgrOuP isOMorphIc tO $D_{N}$. SiNce eveRY elemeNt of $\textrM{GL}_{2}(t)$ is an iSOmetry, wE MUsT havE that that $\pi(\textrm{gl}_{2}(T)) \SUbset O_{2}(\mathbb{R})$. FUrtherMoRE, tHE Set $\{\SigMa_{1}, \ldots \sigMa_{n} \}$ is thE Set of veRTiCES Of a REgular $N$-gon witH centroid at THe oRigin. SInCe tHIs set iS $\pi(\teXtRM{GL}_{2}(t))$-invariant, aNd thE $O_{2}(\mathbb{R})$-StabilIZer of suCH a set is IsomorPhiC to $d_{N}$, we MUsT hAve $\Pi(\TExtRM{Gl}_{2}(T)) \cONg D_{n}$. Since $\pi$ Is InJectiVe, thIS MEAns tHat $\TextRm{GL}_{2}(T) \Cong D_{N}$.

#### The case WheRe $N$ iS Odd.

we firSt notE thaT tHe conStructIon deTaIled in the previoUs caSe does not WorK fOr oDd ValueS Of $N$. IndEed, The Polygon ConstruCTed In THE PrEvious case has no parAlLEL sIdes when $n$ is odd, ANd ThUS cannot bE uSed To coNSTruct A traNSlAtion surFace as BEfOrE. We rely On A slighTlY moRe cOmpliCAted ConstrUction inStead. tHe reader may notE That this more cOMpLICaTEd coNstRuction workS for EVen vAlueS Of $n$ as WEll.

We Begin SiMIlARly to the previous conStRuctioN. ChooSe numbers $0 < \ell_{2} < \fRac{1}{3} \ell_{1} < \ell_{1}$, sUCH That $\ell_{1}$ aNd $\elL_{2}$ ArE Algebraically iNdepeNdent. ConstRUct an isoSceleS trianglE whose conGRUent sideS meEt aT thE poINT $O$ At an angle of $\thETA: = \fraC{\pI}{N}$, such tHat The side OppOsiTe $O$ Has LeNgth $\ell_{1}$. CoNstruct a SqUaRe WiTh sIdes oF Length $\elL_{2
O}(T)$ by isometries. Theset $\{\si gma_{ 1},  \l do ts,\sig ma_{N}\}$ is c l earl y $\textrm{GL}_{2}(T)$ -inva ri a nt.Co nside r the d e ri v a tiv ere pre se n ta tion$\p i: \tex trm{GL}_{2 }(T )\to \textrm{ G L} _{2}(T_{O} (T) )$. Notice t hat  $\tex tr m{K e r}(\p i)= Id$ . We c l aim th at $\pi(\ te x trm{GL } _{2}(T) ) \c ongD_{N}$. Indeed, w e  a l ready showed t hat $\ pi ( \t e x trm {GL }_{2}(T))$  c ontai n s a sub g ro u p iso m orphic to $D_ {N}$. Since eve ry ele me nto f $\te xtrm{ Gl } _{2 }(T)$ is an  iso metry, we  musth ave tha t  that $ \pi(\t ext rm{ GL}_ { 2} (T ))\s u bse t  O _{2 } (\m athbb{R} )$ .Furth ermo r e , theset  $\{ \sigm a_{1}, \ldots  \s igma _ {N}  \}$is th e se tof ve rtices  of a  r egular $N$-gonwith  centroid  at  t heor igin. Sincethi s s et is $ \pi(\te x trm {G L } _ {2 }(T))$-invariant,an d th e $O_{2} (\math b b{ R} ) $-stabil iz erof s u c h a s et i s  i somorphi c to $ D _{ N} $, we m us t have  $ \pi (\t extrm { GL}_ {2}(T) ) \congD_{N} $ . Since $\pi$i s injective,t hi s me a ns t hat  $\textrm{G L}_{ 2 }(T)  \co n gD_{ N }$.
####Th e  c a se where $N$ is odd .
We fi rst n ote that theconstructi o n detailed  int he previous casedoesnot work f o r odd va luesof $N$.Indeed, t h e  polygon  co nst ruc ted i nthe previousc a se h as  no par all el side s w hen  $N $ i sodd, andthus can no tbe  u sed  to c o nstructatra ns lat ion s u rfaceas be fore .We rel y on as li g h tlymo re  com pli ca ted c onst r uct ion ins tead. The  re a derma ynote th at this moreco mplicatedco nst ructio n works fo r even values of $N$ as well.
Webegin  sim ilarly to  th e prev iou s  const ructio n. Ch oo sen u mbers $ 0< \ el l_{2} < \f r a c{1 }{3}\e ll_{ 1} < \e ll_{1}$, such that $\e ll_{1}$ and $ \el l_{2 } $  a rea lg e bra ic a lly i ndependent. Con struct anis o sc eles trian g lewh ose con gruentsides meet at  the poin t $O$ atan  ang l e  of  $\theta:= \frac{ \pi}{N}$, sucht ha t the  si de opp os ite  $O$has le n gth  $\el l_{1}$ .Constr uct a  s quare wi th sides of length $\el l_{2
O}(T)$ by_isometries. The_set $\{\sigma_{1}, \ldots, \sigma_{N}\}$_is clearly_$\textrm{GL}_{2}(T)$-invariant.

Consider_the derivative_representation_$\pi: \textrm{GL}_{2}(T) \to_\textrm{GL}_{2}(T_{O}(T))$. Notice that_$\textrm{Ker}(\pi) = Id$. We_claim that $\pi(\textrm{GL}_{2}(T))_\cong_D_{N}$. Indeed, we already showed that $\pi(\textrm{GL}_{2}(T))$ contains a subgroup isomorphic to $D_{N}$. Since_every_element of_$\textrm{Gl}_{2}(T)$_is_an isometry, we must have_that that $\pi(\textrm{GL}_{2}(T)) \subset O_{2}(\mathbb{R})$._Furthermore, the_set $\{\sigma_{1}, \ldots \sigma_{N} \}$ is the set_of_vertices of a_regular $N$-gon with centroid at the origin. Since this_set is $\pi(\textrm{GL}_{2}(T))$-invariant, and the $O_{2}(\mathbb{R})$-stabilizer_of such a_set_is_isomorphic to $D_{N}$, we_must have $\pi(\textrm{GL}_{2}(T)) \cong D_{N}$. Since_$\pi$ is injective, this means that_$\textrm{GL}_{2}(T) \cong D_{N}$.

#### The case where $N$_is odd.

We first note that the_construction detailed in the previous_case does_not work for odd values_of $N$. Indeed,_the polygon_constructed in the_previous case has no parallel sides_when $N$ is_odd, and thus cannot be used_to_construct a translation_surface_as_before. We_rely on a_slightly_more complicated_construction_instead. The reader may note that_this_more complicated construction works for even values_of $N$ as well.

We_begin_similarly to the previous_construction. Choose numbers $0 <_\ell_{2} < \frac{1}{3} \ell_{1} < \ell_{1}$,_such that_$\ell_{1}$ and_$\ell_{2}$ are algebraically independent. Construct an isosceles triangle whose congruent sides_meet at the point $O$ at_an angle of $\theta:_= \frac{\pi}{N}$,_such_that the side_opposite_$O$ has_length $\ell_{1}$. Construct a square with sides_of length_$\ell_{2