Abstract
Every compact Riemann surface X admits a natural projective structure \(p_u\) as a consequence of the uniformization theorem. In this work we describe the construction of another natural projective structure on X, namely the Hodge projective structure \(p_h\), related to the second fundamental form of the period map. We then describe how projective structures correspond to (1, 1)-differential forms on the moduli space of projective curves and, from this correspondence, we deduce that \(p_u\) and \(p_h\) are not the same structure.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A projective structure on a Riemann surface is a maximal atlas with linear fractional functions (Möbius transformations) as coordinate changes. As a consequence of the uniformization theorem there exists a preferred structure \(p_u\) on every Riemann surface. The space of projective structures on a compact Riemann surface X is a complex affine space \(P_g\) having the space of holomorphic quadratic differentials on X as corresponding vector space. The structure \(p_u\) can then be interpreted as a \(\mathcal C^\infty \)-section of an affine bundle \({{\mathcal {P}}}\) over \({{\mathcal {M}}}_g\), the moduli space of compact Riemann surfaces of genus g.
The problem of comparing projective structures defined on families of compact Riemann surfaces is then addressed by passing to some related differential forms. In particular, with this method we show that the canonical structure \(p_u\) is different from the Hodge canonical structure, of which we sketch the construction.
A second canonical projective (Hodge-)structure \(p_h\) on the compact Riemann surface X is indirectely constructed in [8]. In this paper, the second fundamental form corresponding to the period map is represented by a meromorphic 2-form on the product \(X\times X\), with poles only in the diagonal; the (Hodge) projective structure \(p_h\) is constructed from this 2-form through the solutions of the schwarzian equation. In terms of differential equations, \(p_h\) is associated to the Laplacian (commutative Hodge theory) while \(p_u\) is associated to a nonlinear differential equation (noncommutative Hodge theory). We then have two canonical sections \(p_u\) and \(p_h\) of the bundle \({{\mathcal {P}}}\) and the comparison between them is possible thanks to the interpretation of the derivatives of the sections of \({{\mathcal {P}}}\) as (1, 1)-differential forms on the moduli space \({{\mathcal {M}}}_g\). It is a classical result that the form \(w_u\) corresponding to \(p_u\) is the Kähler form related to the Weil–Petersson metric. In [2] it is proven that the form \(w_h\) corresponding to \(p_h\) is the pull-back of the Kähler form to the Siegel space through the period map. In a subsequent paper [10] the connection between projective structures and differential forms is specified; furthermore, this relation is used in [3] in order to clarify the relation between the form \(w_h\) and the section \(p_h\) by means of the Quillen metrics. The geometry of the atlas corresponding to the projective Hodge structure is still completely mysterious.
This paper is based on the plenary conference “Strutture proiettive e teoria di Hodge” given by the second author at the XXII Congress of the Unione Matematica Italiana, held in Pisa in September 5, 2023.
2 Cartography and Global Positioning System (GPS)
2.1 Charts
The fundamental problem of cartography is the representation of the Earth’s surface at a small scale by means of charts, and the second problem is the change of charts, that is the difficulty of producing easily usable coordinate map transitions.
Stereographic projections from the sphere to the plane or to the cylinder were classically used (Fig. 1a). The most famous charts are perhaps the ones constructed in 1596 by the Flemish geographer and cartographer Gerard Mercator via conformal cylindrical cartographic projections (Fig. 1b). A curious remark is that Mercator maps are related to the complex exponential (see e. g. [20]).
An attempt to go beyond the stereographic projections is made by Lagrange in his two memoirs of 1779 and 1781 both with title “Sur la construction de cartes géographiques” [19].
2.2 Atlases
A non-secondary aspect and an important geometric and topological problem on every differentiable manifold is that of finding atlases with simple changes of coordinates. We will treat here only the case of surfaces and we recall that the general existence of conformal atlases (in the analytic case) can be traced back to Gauss and this has surely been a source of inspiration of Riemann’s work.
We now call Riemann surface every connected orientable surface X with holomorphic (\(=\) conformal) changes of charts (Fig. 2). A natural question is to ask if there exist simple changes of charts.
The simplest coordinate changes are the affine transformations
but they prove inadequate, as they impose severe topological restrictions. The existence of an affine atlas on a compact surface X, for instance, implies that X is a torus (Fig. 3)
where \(S^1\) is the circumference.
2.3 Uniformization
The uniformization theorem solves the problem of finding simple atlases for surfaces.
Theorem 2.1
(Riemann [22], Poincaré [21], Koebe [16] and see [14]) Every simply connected Riemann surface is biholomorphic to either:
-
1.
the Riemann sphere \({{\mathbb {S}}}^2={{\mathbb {P}}}^1={{\mathbb {C}}}\cup \{\infty \}\),
-
2.
the complex plane \({{\mathbb {C}}},\)
-
3.
the Poincaré half-plane \({{\mathbb {H}}}=\{z\in {{\mathbb {C}}}\, \ \hbox {Im}(z)>0\}\) equivalent to the disk \({{\mathbb {D}}}=\{z\in {{\mathbb {C}}}\, \ |z|<1\}.\)
The universal cover
of a Riemann surface X is a parametrization of X from above and can be interpreted as a Global Positioning System (GPS) (Fig. 4).
2.4 Automorphisms
The group of biholomorphisms of \({{\mathbb {P}}}^1\), known as the Möbius group, is the group of linear fractional transformations
where we interpret \({{\mathbb {P}}}^1\) as \({{\mathbb {C}}}\cup \{\infty \}.\)
Since \(g_M=g_N\) if and only if \( M=\pm N\), we have
The automorphisms of \({{\mathbb {C}}}\) are all the affine transformations
and they can be identified with the linear fractional transformations fixing the point at infinity.
Lastly, the automorphisms of \({{\mathbb {H}}}\) are the restrictions to the haf-plane of the real linear fractional transformations
In conclusion,
-
1.
\(Aut({{\mathbb {P}}}^1)\cong {{\mathbb {P}}}GL(2,{{\mathbb {C}}})\)
-
2.
\(Aut({{\mathbb {C}}}) \subset {{\mathbb {P}}}GL(2,{{\mathbb {C}}})\)
-
3.
\(Aut({{\mathbb {H}}})={{\mathbb {P}}}GL(2,{{\mathbb {R}}})\subset {{\mathbb {P}}}GL(2,{{\mathbb {C}}}).\)
3 Projective structures
We would like to begin this section by quoting Cartan [6] who explains in a way that could not be clearer:
Une variété (ou espace) à connexion projective est une variété numérique qui, au voisinage immédiat de chaque point, présente tous les caractères d’un espace projectif et douée de plus d’une loi permettant de raccorder en un seul espace projectif les deux petits morceaux [...].
3.1 Projective structures on surfaces
A projective structure on a Riemann surface X is a (maximal) atlas with linear fractional coordinate map transitions, compatible with the conformal structure of X. More precisely:
Definition 3.1
A projective structure on X is a maximal atlas \(\{(U_\alpha , \phi _\alpha )\}_\alpha \) where \(U_\alpha \) is an open subset of X,
is an injective holomorphic function, and
is a restriction of an element
The local sections of the universal cover \(u: U\rightarrow X\) provide a natural atlas with coordinate map changes in Aut(U) and the uniformization theorem implies that \(Aut(U)\subset {{\mathbb {P}}}GL(2,{{\mathbb {C}}})\).
Therefore:
Proposition 3.2
Every Riemann surface admits a projective structure.
3.2 Projective structures on compact surfaces
From now on, we will assume that X is a compact Riemann surface of genus \(g\ge 2\). The uniformization theorem provides a natural projective structure \(p_u(X)\) on X; this structure is, however, far from being unique:
Theorem 3.3
(Gunning [12]) Let X be a compact Riemann surface of genus \(g\ge 2\).
The space \(P_X\) of projective structures on X is a complex affine space corresponding to the vector space \(H^0(X, 2K_X)\) of quadratic differentials on X. In particular
The choice of \(p_u(X)\) as origin for \(P_X\) gives an isomorphism \(P_X\cong H^0(X, 2K_X)\), that is a vector space structure on \(P_X\).
It should be remarked that even if \(X_t\) is a holomorphic family of compact Riemann surfaces, the corresponding family \(p_{u,t}\) of complex structures on \(X_t\) is, in general, smooth (\(\mathcal C^\infty \)) but not holomorphic with respect to t.
According to Riemann, let \({\mathcal {M}}_g\) denote the (Riemann) moduli space of the conformal structures on X; we have that \({\mathcal {M}} _g\) is a (singular) algebraic variety of dimension \(3\,g-3\). We will however neglect the singularities as we have several technical tools for treating them (Stack-Orbifold, level structures, or just the restriction to a smooth open subset).
Let us indicate by
the cotangent bundle (as said, by neglecting singularities); its fiber over [X] corresponds to \(H^0(X, 2K_X).\) The space of projective structures
is an affine space of complex dimension \(6g-6\) and with \(T^*_{{{\mathcal {M}}}_g}\) as corresponding vector bundle. An important result to which we will refer later is that the fibration \(\psi :{{\mathcal {P}}}\rightarrow {{\mathcal {M}}}_g\) does not admit holomorphic sections so, in particular, this says again that the section \(p_u\) is not holomorphic.
We now briefly discuss the theorem 3.3. The linear fractional transformations
can be characterized as the functions that nullify the Schwarzian derivative
We can also adopt a more intrinsic point of view: if \((X,\sigma )\) is a Riemann surface with a fixed projective structure and \(f:X\rightarrow {{\mathbb {C}}}\) is holomorphic, then
is a meromorphic quadratic differential, well-defined on X.
Given two projective structures \(\sigma \) and \(\sigma ^\prime \) on X and
then
is a quadratic differential. Moreover, given \(\{\sigma ,\alpha \} \), there exists \(\sigma ^\prime \) solving (1).
Remark 3.4
The Schwarzian differential operator is already present in the Lagrange memoirs “Sur la construction des cartes géographiques” we previously cited.
4 The Hodge projective structure
A new natural projective structure on every compact Riemann surface of genus \(g\ge 2\) was found by Elisabetta Colombo, Paola Frediani and Alessandro Ghigi by means of Hodge theory. It is a winding route, all the same, we will try to outline a synthetic path along it.
4.1 The period matrix
The Hodge theory on a Riemann surface X is, in simple terms, the theory of the Laplacian on a surface.
As before, let X be a compact Riemann surface of genus g. By associating a compatible metric, we have that the Dirichlet form is conformally invariant: on a differential 1-form \(\omega \equiv pdx+q dy\) depending locally on the conformal coordinate \(z=x+iy\), the Hodge star operator \(\star \) is defined as
it is conformally invariant and allows to define the product (Dirichlet form)
on the space \({{\mathcal {A}}}^1(X)\) of all differential 1-forms on X.
Let d denote the exterior differential; the real cohomology group defined as
captures the potential theory of X.
Fixing a class \(\alpha \in H^1(X,{{\mathbb {R}}})\) we can employ the scalar product induced by (2) in order to minimize the Dirichlet norm
obtaining
It can be shown that for any \( \alpha \in H^1(X,{{\mathbb {R}}}) \) the minimizer \(\omega _\alpha \) exists, is unique and harmonic; more precisely, it is the real part
of a holomorphic 1-form
This minimization procedure allows to select a precise subspace of holomorphic 1-forms \(H\subset {H^0(X, \Omega ^1_X)}\) representing the cohomology \(H^1(X,{{\mathbb {R}}})\).
These minimizers can be organized as follows. Fix a symplectic (with respect to the intersection coupling) basis \(a_1,\dots , a_g, b_1,\dots , b_g\) of \(H_1(X,{{\mathbb {Z}}}) \) (Fig. 5) and choose a basis of H
in such a way that
Then, still following Riemann, the period matrix is defined as
The matrix \(\Omega (X)\) is symmetric and with positive definite imaginary part, therefore it defines a point in the Siegel upper-half space
The association \(X \mapsto \Omega (X)\) can be interpreted as a linearization of the theory of compact Riemann surfaces albeit an imperfect one since, in order to compute the integrals, we made a choice of an integral basis (a lattice). The quotient of the Siegel space \({{\mathcal {H}}}_g\) by this choice produces the moduli space of principally polarized complex abelian varieties
and the association \(X\mapsto \Omega (X)\) globalizes to a morphism (the period map)
It is the right moment to mention two fundamental results of the last century Italian geometry school. The first one is the classic:
Theorem 4.1
(Torelli [24]) The map j is injective.
In other words, the period matrix reconstructs the curve; this should make the linearization effective but unfortunately j is not surjective and, for \(g>3\), the Jacobian locus \(J_g=j({{\mathcal {M}}}_g)\) is not open in \({{\mathcal {A}}}_g\).
The second one is the complete solution of the Schottky problem by Arbarello and De Concini in [1]. The famous Schottky problem consists in the characterization of the image \(J_g\subset {{\mathcal {A}}}_g\); we lack the space for describing the solution in [1] in details, we only recall that it has later been clarified by Shiota in [23].
4.2 The form \(\eta \)
Our starting point was the analysis of the local geometry of the inclusion \(J_g\subset {{\mathcal {A}}}_g\) of which the second fundamental form has been studied in [9]. The second fundamental form is a map
where \(T_{J_g,j([X])}\equiv H^0(X,2K)^*\) is the tangent space to \(J_g\) at a point j([X]) and N is the normal space of the inclusion at j([X]). Recall that the dual of the normal corresponds to the quadrics containing the canonical curve.
The idea, also supported by arithmetic conjectures (Coleman-Oort [7, 17, 18]), is that \(J_g\) should be very curved.
In the work [9] an intrinsic map, named Hodge-Gaussian, has been constructed and, at least in some particular cases, it allows explicit calculations.
A globalization of the Hodge-Gaussian map is constructed in [8].
On the product \(X\times X\) we construct a meromorphic form \(\eta \) with a double pole on the diagonal \(\Delta \); more explicitly, if the diagonal has local equation \(x=y\) then
with h(x, y) holomorpic.
Some quick remarks are in order:
-
1.
\(\eta \) is related to some sort of Green’s function or, more precisely, to a Bergman kernel (Ghigi and Tamborini [11]);
-
2.
a different construction of \(\eta \) appears in an unpublished book of Gunning [13];
-
3.
many forms on \( X\times X\) with poles on the diagonal appear in the literature; one of these even seems to be present in an ancient text of Klein.
All the information of the second fundamental form (3) is captured by \(\eta \). Indeed, we can rewrite all spaces involved in the construction of \(\mathrm {I\!I}\) by means of the variety \(X\times X\); in particular there is a natural inclusion
of the dual of the normal into the space of holomorphic 2-forms with double zeroes on the diagonal.
Theorem 4.2
(Colombo-Frediani-Ghigi [8]) The restriction to \(\gamma (N_{J_g,A_g,j([X])}^*)\) of the multiplication by the form \(\eta \)
is the dual of the second fundamental form \(\mathrm {I\!I}\) induced by the period map.
4.3 Forms on the product and projective structures
For any projective structure on X we can construct a form on \(X\times X\), defined in a neighbourhood of the diagonal \(\Delta \) and with a double pole on \(\Delta \): start with a projective atlas \(\{(U_\alpha ,z_\alpha )\}_\alpha \) and set in \(U_\alpha \times U_\alpha \), with coordinates \( (x_\alpha , y_\alpha )\) induced by \(z_\alpha \), the form
this local expression gives a well-defined form on \(\bigcup _\alpha \left( U_\alpha \times U_\alpha \right) .\)
Conversely, by solving a variant of the Schwarzian equation, we get a projective structure on X from each of these forms (the story could be complex here too).
Theorem 4.3
(Biswas-Raina [5], Tyurin [25], Klein [15]) Let W be a neighbourhood of the diagonal \(\Delta \subset W\subset X\times X\), and \(\theta \) a differential form on W with a double pole on \(\Delta \) and biresidue 1 (that is, it restricts to 1 on the diagonal),
then there exists a unique projective structure \(p(\theta )\) on X such that, with respect to its projective atlas, \(\theta \) is expressed as in (5) up to second order.
At this point we can construct:
Definition 4.4
The Hodge projective structure
is the structure \(p(\eta )\) induced by the differential form \(\eta \) defined by (4).
5 The comparison between \(p_u\) and \(p_h\)
A natural problem is to decide whether the two canonical sections \(p_u\) and \(p_h\) are the same or not, and many suggested a positive response.
The result instead was:
Theorem 5.1
(Biswas-Colombo-Frediani-Pirola (2021)) The two sections are not equivalent. That is, there exists an open subset \(U\subset {{\mathcal {M}}}_g\) such that for any \([X]\in U\) then \(p_u(X)\ne p_h(X).\)
The most interesting part is probably the method of the proof. In what follows, we briefly sketch it.
Recall that we have an exact sequence of vector spaces (see [5])
and the projective structures on X are the elements of
By globalizing the sequence on \({{\mathcal {M}}}_g\), we get an exact sequence of fiber bundles
so that the sections corresponding to projective structures can be viewed as sections of \({{\mathcal {E}}}\)
The exact sequence (6) does not split and the obstruction is a cohomology class \(\lambda \) which is a multiple of the generator of \(H^2({{\mathcal {M}}}_g, {{\mathbb {Z}}}).\) This generator is the Hodge class. Consider
and the computation
Henceforth the form
is a form of type (1, 1) that is, in local coordinates \(z=(z_1, \dots , z_{3\,g-3})\) can be expressed as
So, by construction:
Proposition 5.2
With the previous notations we have that
Moreover,
Theorem 5.3
There is a 1 to 1 correspondence between the sections of the projective structures and the \(\overline{\partial }\)-closed forms of type (1, 1) with Dolbeault cohomology class \(\lambda \):
Remark 5.4
The bijection above has been completed in a joint work with Favale and Torelli [10] where it is shown that there are no holomorphic forms on \({{\mathcal {M}}}_g.\) It should be recalled that Mumford showed in the sixties that there are no closed forms on \({{\mathcal {M}}}_g\)
The comparison between \(p_u\) and \(p_h\) then becomes a comparison between the forms
Luckily the form \(\beta _u\) is quite well-known:
Theorem 5.5
(Zograf-Takhtadzhyan [26]) The form \( \beta _u\) is the Kähler form of the Weil–Petersson metric:
In particular, it is everywhere positive definite.
The main point of our work was the calculation of \(\beta _h\).
Recall the period map
and the quotient
The Siegel space \({{\mathcal {H}}}_g\) is a symmetric space and admits a natural metric with associated form \(\omega _{Siegel}\) which defines a form \(\omega ^\prime _{Siegel}\) on \({{\mathcal {A}}}_g\).
Theorem 5.6
(Biswas-Colombo-Frediani-Pirola [2]) The form \( \beta _h\) is the pull-back of the Siegel metric via the period map:
Proof
The (very simplified) idea beneath the proof is that both \( j^*(\omega ^\prime _{Siegel})\) and \(\beta _h\) are invariant under the action of the symplectic group \(SP(2g,{{\mathbb {R}}})\); the uniqueness of the invariant forms concludes. \(\square \)
The comparison between \(j^*(\omega ^\prime _{Siegel})\) and \(\omega _{WP}\) is then easy: when \(g>2\), the form \(j^*(\omega ^\prime _{Siegel})\) is not positive definite in a sublocus where the differential dj is not injective, namely the hyperelliptic locus; \(\omega _{WP}\) is, on the contrary, everywhere positive definite. In the genus 2 case, an ad hoc argument is needed.
6 Final remarks and open problems
Recall the result in [10] with Favale and Torelli where it is shown that there are no holomorphic forms on \({{\mathcal {M}}}_g\) and its corollary:
Theorem 6.1
\(H^0({{\mathcal {M}}}_g,\Omega ^1)=0.\)
Corollary 6.2
\({{\mathcal {C}}}^{\infty }({{\mathcal {P}}})\equiv {{\mathcal {A}}}^{1,1}_{\lambda }({{\mathcal {M}}}_g).\)
Then, as a consequence (see [3]) we have a new point of view on the theorem of Zograf and Takhtadzhyan (5.5).
There are three objects linked together by the study of the determinant of the Quillen cohomology:
-
1.
the hyperbolic metric on a surface of genus \(g>1\) (uniformization);
-
2.
the projective structure \(p_u\);
-
3.
the Weil–Petersson metric.
In [4], Biswas, Ghigi and Tamborini develop the same principle for \(p_h\). In this case the metric could be induced by the flat metric on the Jacobian of the curve (the Arakelov metric).
The geometric nature of the projective structure \(p_h\) is still quite unclear, as some natural questions are left unanswered:
-
1.
determine the atlas, or at least understand a geometric construction;
-
2.
determine the monodromy and the associated fiber bundles: developing (unrolling) an atlas gives a monodromy action;
-
3.
determine the locus where \(p_h=p_u\);
-
4.
what happens in some specific subloci of \({{\mathcal {M}}}_g\)?
References
Arbarello, E., de Concini, C.: On a set of equations characterizing Riemann matrices. Ann. Math. 120, 119–140 (1984)
Biswas, I., Colombo, E., Frediani, P., Pirola, G.: A Hodge theoretic projective structure on compact Riemann surfaces. J. Math. Pures Appl. 149, 1–27 (2021)
Biswas, I., Favale, F.F., Pirola, G., Torelli, S.: Quillen connection and the uniformization of Riemann surfaces. Ann. Mat. Pura Appl. 4(201), 2825–2835 (2022). (6)
Biswas, I., Ghigi, A., Tamborini, C.: Theta bundle, Quillen connection and the Hodge theoretic projective structure. arXiv:2310.05843, (2023)
Biswas, I., Raina, A.K.: Projective structures on a Riemann surface. Int. Math. Res. Not. 1996(15), 753–768 (1996)
Cartan, E.: Sur les variétés à connexion projective. Bulletin de la Société Mathématique de France 52, 205–241 (1924)
Coleman, R.F.: Torsion points on curves. Galois representations and arithmetic algebraic geometry (Kyoto, 1985/Tokyo, 1986). In: Advanced Studies in Pure Mathematics, vol. 12. North-Holland, Amsterdam, 198, pp. 235–247
Colombo, E., Frediani, P., Ghigi, A.: On totally geodesic submanifolds in the Jacobian locus. Int. J. Math. 26(1), 1550005 (2015)
Colombo, E., Pirola, G., Tortora, A.: Hodge-Gaussian Maps. Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. ISSN 0391-173X. - 30:1, pp. 125-146 (2001)
Favale, F.F., Pirola, G., Torelli, S.: Holomorphic 1-forms on the moduli space of curves. Geometry and Topology (2023). arXiv:2009.10490 (to appear)
Ghigi, A., Tamborini, C.: Bergman kernel and period map for curves. Geometriae Dedicata 216 (2021)
Gunning, R.C.: Special coordinate coverings of Riemann surfaces. Math. Ann. 170, 67–86 (1967)
Gunning, R.C.: Some topics in the function theory of compact Riemann surfaces. https://web.math.princeton.edu/~gunning/book.ps
de Saint-Gervais, H.P.: Uniformisation des surfaces de Riemann. ENS Éditions, Lyon (2010)
Klein, F.: Zur Theorie der Abel’schen Functionen. Math. Annalen 36, 1–83 (1889/90)
Koebe, P.: Uber die Uniformisierung beliebiger analytischen Kurven. Gbttinger Nachr. 191–210 (1907)
Moonen F.B. , Oort, F.: The Torelli locus and special subvarieties. In: Farkas, G., Morrison, I. (eds.) Handbook of Moduli, vol. 2, pp. 549–594. International Press (2013)
Oort, F.: Some questions in algebraic geometry. Reprint of 1995 original. Advanced Lectures in Mathematics (ALM), vol. 46, open problems in arithmetic algebraic geometry, pp. 263–283. International Press, Somerville (2019)
Lagrange, J.-L.: On the construction of geographical maps. In: Caddeo, R., Papadopoulos, A. (eds.) Mathematical Geography in the Eighteenth Century: Euler, Lagrange and Lambert. Springer, Cham. https://doi.org/10.1007/978-3-031-09570-2_15 (2022)
Pijls, W.: Some Properties Related to Mercator Projection. Am. Math. Mon. 108(6), 537–543 (2001)
Poincaré, H.: Sur l’uniformisation des fonctions analytiques. Acta Math. 31, 1–63 (1907)
Riemann, Be.: Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse (Inauguraldissertation, Göttingen 1851.). In: Dedekind, R., Weber H. M. (eds) Bernard Riemann’s Gesammelte Mathematische Werke Und Wissenschaftlicher Nachlass. Cambridge Library Collection - Mathematics. Cambridge University Press, pp. 3–47 (2013)
Shiota, T.: Characterization of Jacobian varieties in terms of soliton equations. Invent. Math. 83, 333–382 (1986)
Torelli, R.: Sulle varietà di Jacobi. Rendiconti della Reale accademia nazionale dei Lincei. 22(5), 98–103 (1913)
Tyurin, A.N.: On periods of quadratic differentials Uspehi Mat. Nauk 33, pp. 149–195, translated in Russian Math. Surveys 33(1978), 169–221 (1978)
Zograf, P.G., Takhtadzhyan L.A.: On uniformization of Riemann surfaces and the Weil-Petersson metric on Teichmüller and Schottky spaces. Matematicheskii Sbornik. Novaya Seriya 132(174), 3, 304–321 (1987)
Acknowledgements
Both authors are very grateful to Alessandro Ghigi for his precoius remarks and some references. The second author author is partially supported by PRIN project Moduli spaces and special varieties (2022). The first author acknowledges the projects ‘Fondo di Ateneo per la Ricerca 2019’, ‘Fondo di Ateneo per la Ricerca 2020’, funded by the University of Sassari. Both authors are members of GNSAGA, INdAM. This work has been supported by the National Research Project PRIN PNRR 20228CPHN5 “Metamaterials design and synthesis with applications to infrastructure engineering” funded by the Italian Ministry of University and Research.
Funding
Open access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is dedicated to Alberto Collino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Causin, A., Pirola, G.P. Projective structures and Hodge theory. Boll Unione Mat Ital (2024). https://doi.org/10.1007/s40574-024-00424-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40574-024-00424-9