-
On boundary points of minimal continuously Hutchinson invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays,…
▽ More
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays, we subdivide this boundary into local and global arcs (the former being portions of integral curves of the rational vector field $\frac{Q(z)}{P(z)}\partial_{z}$), and singular points of different types which we classify below. The latter decomposition of the boundary of $M_{CH}^{T}$ is largely determined by its intersection with the plane algebraic curve formed by the inflection points of trajectories of the field $\frac{Q(z)}{P(z)}\partial_{z}$. We provide an upper bound for the number of local arcs in terms of degrees of $P$ and $Q$. As an application of our classification, we obtain a number of global geometric properties of minimal Hutchinson-invariant sets.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
A lower bound for the genus of a knot using the Links-Gould invariant
Authors:
Ben-Michael Kohli,
Guillaume Tahar
Abstract:
The Links-Gould invariant of links $LG^{2,1}$ is a two-variable generalization of the Alexander-Conway polynomial. Using representation theory of $U_{q}\mathfrak{gl}(2 \vert 1)$, we prove that the degree of the Links-Gould polynomial provides a lower bound on the Seifert genus of any knot, therefore improving the bound known as the Seifert inequality in the case of the Alexander invariant. One pra…
▽ More
The Links-Gould invariant of links $LG^{2,1}$ is a two-variable generalization of the Alexander-Conway polynomial. Using representation theory of $U_{q}\mathfrak{gl}(2 \vert 1)$, we prove that the degree of the Links-Gould polynomial provides a lower bound on the Seifert genus of any knot, therefore improving the bound known as the Seifert inequality in the case of the Alexander invariant. One practical consequence of this new genus bound is a straightforward proof of the fact that the Kinoshita-Terasaka and Conway knots have genus greater or equal to 2.
△ Less
Submitted 30 October, 2023; v1 submitted 24 October, 2023;
originally announced October 2023.
-
One-dimensional strata of residueless meromorphic differentials
Authors:
Myeongjae Lee,
Guillaume Tahar
Abstract:
In projectivized strata of meromorphic $1$-forms on elliptic curves with only one zero, the locus of residueless differentials is a complex curve endowed with a canonical complex projective structure. Drawing on the multi-scale compactification of strata, we provide formulas to compute the genus of these curves and the degree of their natural forgetful map to $\mathcal{M}_{1,1}$. Additionally, we…
▽ More
In projectivized strata of meromorphic $1$-forms on elliptic curves with only one zero, the locus of residueless differentials is a complex curve endowed with a canonical complex projective structure. Drawing on the multi-scale compactification of strata, we provide formulas to compute the genus of these curves and the degree of their natural forgetful map to $\mathcal{M}_{1,1}$. Additionally, we distinguish two non-hyperelliptic components in the residueless locus of the exceptional stratum $\mathcal{H}_{1}(12,-3,-3,-3,-3)$ and hence complete the classification of the connected components of these loci.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Bounds on saddle connections for flat spheres
Authors:
Kai Fu,
Guillaume Tahar
Abstract:
We consider a flat metric with conical singularities on the sphere. Assuming no partial sum of angle defects is equal to $2π$, we draw on the geometry of immersed disks to obtain an explicit upper bound on the number of saddle connections with at most $k$ self-intersections. We also deduce a bound on their lengths for a surface with a normalized area.
We consider a flat metric with conical singularities on the sphere. Assuming no partial sum of angle defects is equal to $2π$, we draw on the geometry of immersed disks to obtain an explicit upper bound on the number of saddle connections with at most $k$ self-intersections. We also deduce a bound on their lengths for a surface with a normalized area.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Isoperiodic foliation of the stratum $\mathcal{H}(1,1,-2)$
Authors:
Gianluca Faraco,
Guillaume Tahar,
Yongquan Zhang
Abstract:
On a Riemann surface, periods of a meromorphic differential along closed loops define a period character from the absolute homology group into the additive group of complex numbers. Fixing the period character in strata of meromorphic differentials defines the isoperiodic foliation where the remaining degrees of freedom are the relative periods between the zeroes of the differential. In strata of…
▽ More
On a Riemann surface, periods of a meromorphic differential along closed loops define a period character from the absolute homology group into the additive group of complex numbers. Fixing the period character in strata of meromorphic differentials defines the isoperiodic foliation where the remaining degrees of freedom are the relative periods between the zeroes of the differential. In strata of meromorphic differentials with exactly two zeroes, leaves have a natural structure of translation surface. In this paper, we give a complete description of the isoperiodic leaves in marked stratum $\mathcal{H}(1,1,-2)$ of meromorphic $1$-forms with two simple zeroes and a pole of order two on an elliptic curve. For each character, the corresponding leaf is a connected Loch Ness Monster. The translation structures of generic leaves feature a ramified cover of infinite degree over the flat torus defined by the lattice of absolute periods. By comparison, isoperiodic leaves of the unmarked stratum are complex disks endowed with a half-translation structure having infinitely many singular points. Finally, we give a description of the large-scale conformal geometry of the wall-and-chamber decomposition of the leaves.
△ Less
Submitted 24 January, 2024; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Stiff connections in pseudo-Euclidean manifolds
Authors:
Arnaud Chéritat,
Guillaume Tahar
Abstract:
For a smooth manifold endowed with a (similarity) pseudo-Euclidean structure, a stiff connection $\nabla$ is a symmetric affine connection such that geodesics of $\nabla$ are straight lines of the pseudo-Euclidean structure while the first-order infinitesimal holonomy at each point is an infinitesimal isometry. In this paper, we give a complete classification of stiff connections in a local chart,…
▽ More
For a smooth manifold endowed with a (similarity) pseudo-Euclidean structure, a stiff connection $\nabla$ is a symmetric affine connection such that geodesics of $\nabla$ are straight lines of the pseudo-Euclidean structure while the first-order infinitesimal holonomy at each point is an infinitesimal isometry. In this paper, we give a complete classification of stiff connections in a local chart, identify canonical models and start investigating the global geometry of (similarity) pseudo-Euclidean manifolds endowed with a stiff connection. In the conformal class of the pseudo-Euclidean metric g, a stiff connection $\nabla$ defines a pseudo-Riemannian metric h such that unparameterized geodesics of $\nabla$ coincide with unparameterized geodesics of g but have a constant speed with respect to the so-called isochrone metric h. In particular, we obtain a new natural connection on the open unit ball that provides a compromise between properties of Cayley-Klein and Poincaré hyperbolic models.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Similarity surfaces, connections, and the measurable Riemann map** theorem
Authors:
Arnaud Chéritat,
Guillaume Tahar
Abstract:
This article studies a particular process that approximates solutions of the Beltrami equation (straightening of ellipse fields, a.k.a. measurable Riemann map** theorem) on $\mathbb{C}$. It passes through the introduction of a sequence of similarity surfaces constructed by gluing polygons, and we explain the relation between their conformal uniformization and the Schwarz-Christoffel formula. Num…
▽ More
This article studies a particular process that approximates solutions of the Beltrami equation (straightening of ellipse fields, a.k.a. measurable Riemann map** theorem) on $\mathbb{C}$. It passes through the introduction of a sequence of similarity surfaces constructed by gluing polygons, and we explain the relation between their conformal uniformization and the Schwarz-Christoffel formula. Numerical aspects, in particular the efficiency of the process, are not studied, but we draw interesting theoretical consequences. First, we give an independent proof of the analytic dependence, on the data (the Beltrami form), of the solution of the Beltrami equation (Ahlfors-Bers theorem). For this we prove, without using the Ahlfors-Bers theorem, the holomorphic dependence, with respect to the polygons, of the Christoffel symbol appearing in the Schwarz-Christoffel formula. Second, these Christoffel symbols define a sequence of parallel transports on the range, and in the case of a data that is $C^2$ with compact support, we prove that it converges to the parallel transport associated to a particular affine connection, which we identify.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
K-differentials With Prescribed Singularities
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
We study the local invariants that a meromorphic k-differential on a Riemann surface of genus greater or equal to zero can have for k greater or equal to 3. These local invariants are the orders of zeros and poles, and the k-residues at the poles. We show that for a given pattern of orders of zeros, there exists, up to a few exceptions, a primitive holomorphic k-differential having zeros of these…
▽ More
We study the local invariants that a meromorphic k-differential on a Riemann surface of genus greater or equal to zero can have for k greater or equal to 3. These local invariants are the orders of zeros and poles, and the k-residues at the poles. We show that for a given pattern of orders of zeros, there exists, up to a few exceptions, a primitive holomorphic k-differential having zeros of these orders. In the meromorphic case, in genus greater or equal to one, every expected tuple appears as k-residues. On the other hand, some expected tuples are not the k-residus of a $k$-differential in some remaining strata. This happens in genus zero for a finite number (up to simultaneous scaling) of them.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Linear first order differential operators and their Hutchinson-invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using…
▽ More
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$.
△ Less
Submitted 17 May, 2024; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Dihedral monodromy of cone spherical metrics
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
Among metrics of constant positive curvature on a punctured compact Riemann surface with conical singularities at the punctures, dihedral monodromy means that the action of the monodromy group globally preserves a pair of antipodal points. Using recent results about local invariants of quadratic differentials, we give a complete characterization of the set of conical angles realized by some cone s…
▽ More
Among metrics of constant positive curvature on a punctured compact Riemann surface with conical singularities at the punctures, dihedral monodromy means that the action of the monodromy group globally preserves a pair of antipodal points. Using recent results about local invariants of quadratic differentials, we give a complete characterization of the set of conical angles realized by some cone spherical metric with dihedral monodromy.
△ Less
Submitted 4 June, 2023; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Quadratic differentials with prescribed singularities
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
The local invariants of a meromorphic quadratic differential on a compact Riemann surface are the orders of zeros and poles, and the residues at the poles of even orders. The main result of this paper is that with few exceptions, every pattern of local invariants can be obtained by a quadratic differential on some Riemann surface. The exceptions are completely classified and only occur in genera z…
▽ More
The local invariants of a meromorphic quadratic differential on a compact Riemann surface are the orders of zeros and poles, and the residues at the poles of even orders. The main result of this paper is that with few exceptions, every pattern of local invariants can be obtained by a quadratic differential on some Riemann surface. The exceptions are completely classified and only occur in genera zero and one. Moreover, in the case of a nonconnected stratum, we show that, with three exceptions in genus one, every invariants can be realized in each connected component of the stratum. These results are obtained using the flat metric induced by the differentials. We give an application by bounding the number of disjoint cylinders on a primitive quadratic differential.
△ Less
Submitted 21 May, 2024; v1 submitted 24 November, 2021;
originally announced November 2021.
-
Closed geodesics in dilation surfaces
Authors:
Adrien Boulanger,
Selim Ghazouani,
Guillaume Tahar
Abstract:
We prove that directions of closed geodesics in every dilation surface form a dense subset of the circle. The proof draws on a study of the degenerations of the Delaunay triangulation of dilation surfaces under the action of Teichmüller flow in the moduli space.
We prove that directions of closed geodesics in every dilation surface form a dense subset of the circle. The proof draws on a study of the degenerations of the Delaunay triangulation of dilation surfaces under the action of Teichmüller flow in the moduli space.
△ Less
Submitted 11 July, 2024; v1 submitted 12 October, 2021;
originally announced October 2021.
-
Horizon saddle connections and Morse-Smale dynamics of dilation surfaces
Authors:
Guillaume Tahar
Abstract:
Dilation surfaces are generalizations of translation surfaces where the transition maps of the atlas are translations and homotheties with a positive ratio. In contrast with translation surfaces, the directional flow on dilation surfaces may contain trajectories accumulating on a limit cycle. Such a limit cycle is called hyperbolic because it induces a nontrivial homothety. It has been conjectured…
▽ More
Dilation surfaces are generalizations of translation surfaces where the transition maps of the atlas are translations and homotheties with a positive ratio. In contrast with translation surfaces, the directional flow on dilation surfaces may contain trajectories accumulating on a limit cycle. Such a limit cycle is called hyperbolic because it induces a nontrivial homothety. It has been conjectured that a dilation surface with no actual hyperbolic closed geodesic is in fact a translation surface. Assuming that a dilation surface contains a horizon saddle connection, we prove that the directions of its hyperbolic closed geodesics form a dense subset of $\mathbb{S}^{1}$. We also prove that a dilation surface satisfies the latter property if and only if its directional flow is Morse-Smale in an open dense subset of $\mathbb{S}^{1}$.
△ Less
Submitted 9 February, 2023; v1 submitted 25 July, 2021;
originally announced July 2021.
-
Abelian differentials with prescribed singularities
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
The local invariants of a meromorphic Abelian differential on a Riemann surface of genus $g$ are the orders of zeros and poles, and the residues at the poles. The main result of this paper is that with few exceptions, every pattern of orders and residues can be obtain by an Abelian differential. These exceptions are two families in genus zero when the orders of the poles are either all simple or a…
▽ More
The local invariants of a meromorphic Abelian differential on a Riemann surface of genus $g$ are the orders of zeros and poles, and the residues at the poles. The main result of this paper is that with few exceptions, every pattern of orders and residues can be obtain by an Abelian differential. These exceptions are two families in genus zero when the orders of the poles are either all simple or all nonsimple. Moreover, we even show that the pattern can be realized in each connected component of strata. Finally we give consequences of these results in algebraic and flat geometry. The main ingredient of the proof is the flat representation of the Abelian differentials.
△ Less
Submitted 22 July, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
On limit sets for geodesics of meromorphic connections
Authors:
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the the…
▽ More
Meromorphic connections on Riemann surfaces originate and are closely related to the classical theory of linear ordinary differential equations with meromorphic coefficients. Limiting behaviour of geodesics of such connections has been studied by e.g. Abate, Bianchi and Tovena in relation with generalized Poincaré-Bendixson theorems. At present, it seems still to be unknown whether some of the theoretically possible asymptotic behaviours of such geodesics really exist. In order to fill the gap, we use the branched affine structure induced by a Fuchsian meromorphic connection to present several examples with geodesics having infinitely many self-intersections and quite peculiar omega-limit sets.
△ Less
Submitted 22 January, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Isoresidual fibration and resonance arrangements
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
The stratum $\mathcal{H}(a,-b_{1},\dots,-b_{p})$ of meromorphic $1$-forms with a zero of order $a$ and poles of orders $b_{1},\dots,b_{p}$ on the Riemann sphere has a map, the isoresidual fibration, defined by assigning to any differential its residues at the poles. We show that above the complement of a hyperplane arrangement, the resonance arrangement, the isoresidual fibration is an unramified…
▽ More
The stratum $\mathcal{H}(a,-b_{1},\dots,-b_{p})$ of meromorphic $1$-forms with a zero of order $a$ and poles of orders $b_{1},\dots,b_{p}$ on the Riemann sphere has a map, the isoresidual fibration, defined by assigning to any differential its residues at the poles. We show that above the complement of a hyperplane arrangement, the resonance arrangement, the isoresidual fibration is an unramified cover of degree $\frac{a!}{(a+2-p)!}$. Moreover, the monodromy of the fibration is computed for strata with at most three poles and a system of generators and relations is given for all strata. These results are obtained by associating to special differentials of the strata a tree, and by studying the relationship between the geometric properties of the differentials and the combinatorial properties of these trees.
△ Less
Submitted 27 March, 2022; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Geometric decompositions of surfaces with spherical metric and conical singularities
Authors:
Guillaume Tahar
Abstract:
We prove that any compact surface with constant positive curvature and conical singularities can be decomposed into irreducible components of standard shape, glued along geodesic arcs connecting conical singularities. This is a spherical analog of the geometric triangulations for flat surfaces with conical singularities. The irreducible components include not only spherical triangles but also othe…
▽ More
We prove that any compact surface with constant positive curvature and conical singularities can be decomposed into irreducible components of standard shape, glued along geodesic arcs connecting conical singularities. This is a spherical analog of the geometric triangulations for flat surfaces with conical singularities. The irreducible components include not only spherical triangles but also other interesting spherical polygons. In particular, we present the class of \textit{half-spherical concave polygons} that are spherical polygons without diagonals and that can be arbitrarily complicated. Finally, we introduce the notion of core as a geometric invariant in the settings of spherical surfaces. We use it to prove a reducibily result for spherical surfaces with a total conical angle at least $(10g-10+5n)2π$.
△ Less
Submitted 4 January, 2022; v1 submitted 7 July, 2020;
originally announced July 2020.
-
On existence of quasi-Strebel structures for meromorphic k-differentials
Authors:
Boris Shapiro,
Guillaume Tahar
Abstract:
In this paper, motivated by the classical notion of a Strebel quadratic differential on a compact Riemann surfaces without boundary we introduce the notion of a quasi-Strebel structure for a meromorphic differential of an arbitrary order. It turns out that every differential of even order k exceeding 2 satisfying certain natural conditions at its singular points admits such a structure. The case o…
▽ More
In this paper, motivated by the classical notion of a Strebel quadratic differential on a compact Riemann surfaces without boundary we introduce the notion of a quasi-Strebel structure for a meromorphic differential of an arbitrary order. It turns out that every differential of even order k exceeding 2 satisfying certain natural conditions at its singular points admits such a structure. The case of differentials of odd order is quite different and our existence result involves some arithmetic conditions. We discuss the set of quasi-Stebel structures associated to a given differential and introduce the subclass of positive k-differentials. Finally, we provide a family of examples of positive rational differentials and explain their connection with the classical Heine-Stieltjes theory of linear differential equations with polynomial coefficients.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Triangulations of branched affine surfaces
Authors:
Guillaume Tahar
Abstract:
A branched affine structure on a compact topological surface with marked points is a complex affine structure outside the marked points. We give a proof of an unpublished foundational theorem of Veech, stating that any branched affine surface can be decomposed into affine triangles and some annulus-shaped cylinders. Then, we prove that any pair of such decompositions can be connected by a chain of…
▽ More
A branched affine structure on a compact topological surface with marked points is a complex affine structure outside the marked points. We give a proof of an unpublished foundational theorem of Veech, stating that any branched affine surface can be decomposed into affine triangles and some annulus-shaped cylinders. Then, we prove that any pair of such decompositions can be connected by a chain of flips. As a first step toward a compactification of the moduli spaces of branched affine structures, we introduce invariant $α$ of a branched affine surface that controls degeneracy of the structure. Finally, we consider some examples of compactification of spaces of branched affine surfaces by stable curves.
△ Less
Submitted 3 December, 2019; v1 submitted 30 November, 2019;
originally announced December 2019.
-
A topological bound on the Cantor-Bendixson rank of meromorphic differentials
Authors:
Guillaume Tahar
Abstract:
In translation surfaces of finite area (corresponding to holomorphic differentials), directions of saddle connections are dense in the unit circle. On the contrary, saddle connections are fewer in translation surfaces with poles (corresponding to meromorphic differentials). The Cantor-Bendixson rank of their set of directions is a measure of descriptive set-theoretic complexity. Drawing on a previ…
▽ More
In translation surfaces of finite area (corresponding to holomorphic differentials), directions of saddle connections are dense in the unit circle. On the contrary, saddle connections are fewer in translation surfaces with poles (corresponding to meromorphic differentials). The Cantor-Bendixson rank of their set of directions is a measure of descriptive set-theoretic complexity. Drawing on a previous work of David Aulicino, we prove a sharp upper bound that depends only on the genus of the underlying topological surface. The proof uses a new geometric lemma stating that in a sequence of three nested invariant subsurfaces the genus of the third one is always bigger than the genus of the first one.
△ Less
Submitted 4 October, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Horizon saddle connections, quasi-Hopf surfaces and Veech groups of dilation surfaces
Authors:
Guillaume Tahar
Abstract:
Dilation surfaces are generalizations of translation surfaces where the geometric structure is modelled on the complex plane up to affine maps whose linear part is real. They are the geometric framework to study suspensions of affine interval exchange maps. However, though the $SL(2,\mathbb{R})$-action is ergodic in connected components of strata of translation surfaces, there may be mutually disj…
▽ More
Dilation surfaces are generalizations of translation surfaces where the geometric structure is modelled on the complex plane up to affine maps whose linear part is real. They are the geometric framework to study suspensions of affine interval exchange maps. However, though the $SL(2,\mathbb{R})$-action is ergodic in connected components of strata of translation surfaces, there may be mutually disjoint $SL(2,\mathbb{R})$-invariant open subsets in components of dilation surfaces. A first distinction is between triangulable and non-triangulable dilation surfaces. For non-triangulable surfaces, the action of $SL(2,\mathbb{R})$ is somewhat trivial so the study can be focused on the space of triangulable dilation surfaces.\newline In this paper, we introduce the notion of horizon saddle connections in order to refine the distinction between triangulable and non-triangulable dilation surfaces. We also introduce the family of quasi-Hopf surfaces that can be triangulable but display the same trivial behavior as non-triangulable surfaces. We prove that existence of horizon saddle connections drastically restricts the Veech group a dilation surface can have.
△ Less
Submitted 16 June, 2020; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Chamber structure of modular curves $X_{1}(N)$
Authors:
Guillaume Tahar
Abstract:
Modular curves $X_{1}(N)$ parametrize elliptic curves with a point of order $N$. They can be identified with connected components of projectivized strata $\mathbb{P}\mathcal{H}(a,-a)$ of meromorphic differentials. As strata of meromorphic differentials, they have a canonical walls-and-chambers structure defined by the topological changes in the flat structure defined by the meromorphic differentia…
▽ More
Modular curves $X_{1}(N)$ parametrize elliptic curves with a point of order $N$. They can be identified with connected components of projectivized strata $\mathbb{P}\mathcal{H}(a,-a)$ of meromorphic differentials. As strata of meromorphic differentials, they have a canonical walls-and-chambers structure defined by the topological changes in the flat structure defined by the meromorphic differentials. We provide formulas for the number of chambers and an effective means for drawing the incidence graph of the chamber structure of any modular curve $X_{1}(N)$. This defines a family of graphs with specific combinatorial properties. This approach provides a geometrico-combinatorial computation of the genus and the number of punctures of modular curves $X_{1}(N)$. Although the dimension of a stratum of meromorphic differentials depends only on the genus and the numbers of the singularities, the topological complexity of the stratum crucially depends on the order of the singularities.
△ Less
Submitted 4 February, 2019; v1 submitted 23 October, 2017;
originally announced October 2017.
-
Ordered algebraic structures and classification of semifields
Authors:
Guillaume Tahar
Abstract:
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For every characteristic, we provide a structure theorem that reduces the classification of semifields to the classification of better-known algebraic structures. E…
▽ More
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For every characteristic, we provide a structure theorem that reduces the classification of semifields to the classification of better-known algebraic structures. Every semifield of characteristic $p$ is actually a field. There is an equivalence between semifields of characteristic one and lattice-ordered groups. Strict semifields of characteristic zero are quotients of cancellative semifields and there is an equivalence between concellative strict semifields and a particular class of partially ordered rings.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Geometric triangulations and flips
Authors:
Guillaume Tahar
Abstract:
We prove that for a given flat surface with conical singularities, any pair of geometric triangulations can be connected by a chain of flips.
We prove that for a given flat surface with conical singularities, any pair of geometric triangulations can be connected by a chain of flips.
△ Less
Submitted 1 July, 2019; v1 submitted 2 July, 2017;
originally announced July 2017.
-
Différentielles à singularités prescrites
Authors:
Quentin Gendron,
Guillaume Tahar
Abstract:
We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $g\geq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-differential having these orders of zero. The same is true for meromorphic $k$-diffe…
▽ More
We study the local invariants that a meromorphic $k$-differential on a Riemann surface of genus $g\geq0$ can have. These local invariants are the orders of zeros and poles, and the $k$-residues at the poles. We show that for a given pattern of orders of zeroes, there exists, up to a few exceptions, a primitive $k$-differential having these orders of zero. The same is true for meromorphic $k$-differentials and in this case, we describe the tuples of complex numbers that can appear as $k$-residues at their poles. For genus $g\geq2$, it turns out that every expected tuple appears as $k$-residues. On the other hand, some expected tuples are not the $k$-residues of a $k$-differential in some remaining strata. This happens in the quadratic case in genus $1$ and in genus zero for every $k$. We also give consequences of these results in algebraic and flat geometry.
△ Less
Submitted 7 July, 2020; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Veech groups of flat surfaces with poles
Authors:
Guillaume Tahar
Abstract:
Flat surfaces that correspond to meromorphic $1$-forms or to meromorphic quadratic differentials containing poles of order two and higher are surfaces of infinite area. We classify groups that appear as Veech groups of translation surfaces with poles. We characterize those surfaces such that their $GL^{+}(2,\mathbb{R})$-orbit or their $SL(2,\mathbb{R})$-orbit is closed. Finally, we provide a way t…
▽ More
Flat surfaces that correspond to meromorphic $1$-forms or to meromorphic quadratic differentials containing poles of order two and higher are surfaces of infinite area. We classify groups that appear as Veech groups of translation surfaces with poles. We characterize those surfaces such that their $GL^{+}(2,\mathbb{R})$-orbit or their $SL(2,\mathbb{R})$-orbit is closed. Finally, we provide a way to determine the Veech group for a typical infinite surface in a given chamber of a stratum.
△ Less
Submitted 21 December, 2017; v1 submitted 12 June, 2016;
originally announced June 2016.
-
Counting saddle connections in flat surfaces with poles of higher order
Authors:
Guillaume Tahar
Abstract:
Flat surfaces that correspond to $k$-differentials on compact Riemann surfaces are of finite area provided there is no pole of order $k$ or higher. We denote by \textit{flat surfaces with poles of higher order} those surfaces with flat structures defined by a $k$-differential with at least one pole of order at least $k$. Flat surfaces with poles of higher order have different geometrical and dynam…
▽ More
Flat surfaces that correspond to $k$-differentials on compact Riemann surfaces are of finite area provided there is no pole of order $k$ or higher. We denote by \textit{flat surfaces with poles of higher order} those surfaces with flat structures defined by a $k$-differential with at least one pole of order at least $k$. Flat surfaces with poles of higher order have different geometrical and dynamical properties than usual flat surfaces of finite area. In particular, they can have a finite number of saddle connections. We give lower and upper bounds for the number of saddle connections and related quantities. In the case $k=1\ or\ 2$, we provide a combinatorial characterization of the strata for which there can be an infinite number of saddle connections.
△ Less
Submitted 6 December, 2017; v1 submitted 12 June, 2016;
originally announced June 2016.
-
On the number of saddle connections in translation surfaces with poles
Authors:
Guillaume Tahar
Abstract:
Translation surfaces with poles correspond to meromorphic differentials on compact Riemann surfaces. They appear in compactifications of strata of the moduli space of Abelian differentials and in the study of stability conditions. Such structures have different geometrical and dynamical properties than usual translation surfaces. In particular, they always have infinite area and can have a finite…
▽ More
Translation surfaces with poles correspond to meromorphic differentials on compact Riemann surfaces. They appear in compactifications of strata of the moduli space of Abelian differentials and in the study of stability conditions. Such structures have different geometrical and dynamical properties than usual translation surfaces. In particular, they always have infinite area and can have a finite number of saddle connections. We provide a combinatorial characterization of the strata for which there can be an infinite number of saddle connections and give lower and upper bounds for the number of saddle connections and related quantities.
△ Less
Submitted 12 October, 2016; v1 submitted 22 March, 2016;
originally announced March 2016.