Abstract
This paper gives sufficient conditions, which guarantee that a complex \(n\)-dimensional manifold is analytically isomorphic to a \(n\)-dimensional complex torus and a Kähler manifold. We discuss the relation with Hodge theory and an immediate consequence is that a complex manifold will complete to abelian variety by adjoining some divisors. Several examples are given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathcal {D}\subset M\) be a divisor on a compact complex manifold \(M\). In other words, an element of the form
where \(\mathcal {D}_{i}\) are irreducible subvarieties of \(M\). In particular a divisor on a curve is a finite formal sum \(\sum n_{i}p_{i}\) where \(p_{i}\) are points of the curve and \(n_{i}\) integers. For example, one can associate a divisor to a meromorphic function \(f\) by taking \(p_{i}\) zeros and poles of \(f\) and \(n_{i}\) the order of \(p_{i}\) with a negative sign for the poles. We denote this divisor \((f)\) and we have
We say that a divisor \(\mathcal {D}\) is positive and we write \(\mathcal {D}\ge 0\), if the integers \(n_{i}\) involved in the sum are positive. Define
i.e., a function \(f\in \mathcal {L}(\mathcal {D})\) has at worst a \(n_i\)-fold pole along \(\mathcal {D}_i\). For example, if the divisor \(\mathcal {D}\) is positive, then \(\mathcal {L}\left( \mathcal {D}\right) \) is the set of holomorphic functions outside of \(\mathcal {D}\) and having at most poles along \(\mathcal {D}\).
Consider a basis \((1,f_{1},\ldots ,f_{N})\) of the space \(\mathcal {L}\left( \mathcal {D}\right) \) and the map
considered projectively. If \(F\) defines a smooth embedding of \(M\) into \(\mathbb {P}^{N}(\mathbb {C})\), then by Chow’s theorem (Griffiths and Harris 1978) (which states that any analytic submanifold of a projective space is algebraic), it is equivalent to say that the variety \(M\) is algebraic, i.e.,
where \(P_{i}(z)\) are homogeneous polynomials. Moreover, a theorem of Kodaira (Griffiths and Harris 1978) states that if \(\mathcal {D}\subset M\) is a positive divisor, then for \(k\in \mathbb {N}\), the mapping \(F\) defined by the functions of the space \(\mathcal {L}\left( k\mathcal {D}\right) \) embeds \(M\) into \(\mathbb {P}^{N}(\mathbb {C})\) where
Moreover, there exists a positive divisor if and only if \(M\) has a closed positive \((1,1)\)-form such that the cohomology class \([\omega ]\in H^{2}(M,\mathbb {Z})\).
Now consider a \(n\)-dimensional complex torus
is the lattice generated by the \(2n\) columns \(\lambda _1,\ldots ,\lambda _{2n}\) of the \(n\times 2n\) period matrix \(\Omega =\left( \lambda _{1},\ldots ,\lambda _{2n}\right) \). The torus \(T^{n}\) is a smooth compact complex manifold of dimension \(n\). A question arises: when a complex torus \(T^{n}\) can be embedded into a projective space and thus regarded as projective variety? The torus \(T^n\) will be embedded into projective space \(\mathbb {P}^{N}(\mathbb {C})\), if there exists on \(\mathbb {P}^{N}(\mathbb {C})\) a closed positive \((1,1)\)-form with integer cohomology class. This condition amounts to the Riemann conditions: there is an entire matrix \( Q \) (intersection matrix) of order \(2n\) antisymmetric such that
Under these conditions, one can choose a new basis for \(L_{\Omega }\) on \(\mathbb {Z}\) of \(2n\) column vectors \(\lambda _{1},\ldots ,\lambda _{2n}\) such that:
where
and \(\delta _{1},\ldots ,\delta _{n}\in \mathbb {N}^{*}\), \(\delta _{j}\mid \delta _{j+1}\), \(1\le j\le n-1\), are elementary divisors and \(Z\) is a matrix satisfying \(Z^{\intercal }=Z\), \(\text{ Im }Z>0\). The \((1,1)\)-form \(\omega \) can then be expressed as
where \(x_{1},\ldots ,x_{2n}\) are coordinates on the base \(\left( \lambda _{1}, \ldots ,\lambda _{2n}\right) \) such that:
There is then a positive line bundle \(\mathcal {L}\) such that its Chern class \(c_1(\mathcal {L})=[\omega ]\); corresponding to the line bundle \(\mathcal {L}\) there is a linear system of equivalent divisors \(\mathcal {D}\) all having \(c_1(\mathcal {D})=[\omega ]\).
The divisor \(\mathcal {D}\) is called ample when a basis \((f_0,\ldots ,f_N)\) of \(\mathcal {L}(k\mathcal {D})\) embeds \(M\) smoothly into \(\mathbb {P}^N(\mathbb {C})\) for some \(k,\) via the map \(F\), then \(k\mathcal {D}\) is called very ample. A complex algebraic torus \(T^n\) is called an abelian variety. It is known that every positive divisor \(\mathcal {D}\) on an irreducible abelian variety is ample and thus some multiple of \(\mathcal {D}\) embeds \(M\) into \(\mathbb {P}^N(\mathbb {C})\). By a theorem of Lefschetz, any \(k\ge 3\) will work. The integers \(\delta _j\) which provide the so-called polarization of the abelian variety \(M\) are then related to the divisor as follows: \(\dim \mathcal {L}(\mathcal {D})=\delta _1\ldots \delta _n\).
Recall that a Kähler metric (Kähler form) is a hermitian metric (i.e., a \(2\)-form of type (1,1)) whose imaginary part is closed. A Kähler manifold is a complex manifold equipped with a Kähler metric. Compact Kähler manifolds form a remarkable class of complex analytic manifolds. We will consider the class of Kähler manifolds, focusing on projective varieties. One reason is that they contain a lot of complex submanifolds while Kähler manifolds do not have them in general. We can find non-Kähler compact complex manifolds (for example Hopf’s manifolds and Calabi–Eckmann’s manifolds) but it is very difficult to build or to decide whether or not complex manifold is Kähler. The complex analytic projective varieties are particular examples of compact Kähler manifolds. Kodaira’s theorem can still be stated as follows: a compact complex manifold admits a smooth embedding in \(\mathbb {P}^{N}(\mathbb {C})\) if and only if it admits a Kähler metric whose Kähler form is of integral class. Another interesting result for Kähler varieties was obtained by Moishezon (1967) and Hartshorne (1977): a compact Kähler manifold of dimension \(n\) is projective if and only if it admits \(n\) algebraically independent meromorphic functions.
The purpose of this work is the study of some fundamental properties of complex geometry. The paper gives sufficient conditions, which guarantee that a complex \(n\)-dimensional manifold is analytically isomorphic to a \(n\)-dimensional complex torus and a Kähler manifold. Also, we discuss the relation with Hodge theory and an immediate consequence is that a complex manifold will complete to abelian variety by adjoining some divisors. Several important examples are given.
I wish to express my thanks to an anonymous referee for his valuable comments and suggestions.
2 Some properties of complex varieties
The following proposition, which will be used later, is a consequence of the following purely differential geometric fact: a compact and connected \(n\)-dimensional variety on which there exist \(n\) vector fields which commute and are independent at every point is diffeomorphic to an \(n\)-dimensional real torus.
Proposition 1
A compact (connected) complex \(n\)-dimensional variety \(M\) on which there exist \(n\) holomorphic commuting vector fields \(X_1, \ldots , X_n\) which are independent at every point is diffeomorphic to a complex torus \(\mathbb {C}^n/L\) where \(L\) is a lattice in \(\mathbb {C}^n\).
Proof
With every vector field \(X_1,\ldots ,X_n\), we associate a flow or one-parameter group of diffeomorphisms
The latter commute i.e.,
since by hypothesis \(X_1,\ldots ,X_n\) commute. It is therefore natural to consider the application \(g^t:M\longrightarrow M\),
Obviously
By the same argument as in the Arnold–Liouville theorem (Arnold 1978), one defines a holomorphic local diffeomorphism for a fixed origin \(p\in M\):
To be precise, the point \(p\) moves along the trajectory of the first flow for time \(t_1\), along the second flow for time \(t_2\), etc. Let \(U\) be a sufficiently small neighborhood of the point \(0\in \mathbb {C}^n\) and let \(V\) be a neighborhood of the point \(p\in M\). The composition of two holomorphic maps being holomorphic, we deduce that the resriction of \(G\) to \(U\):
is holomorphic. Moreover, as \(X_1, \ldots , X_n \) are independent at each point of \(M\), then the matrix
is invertible and by the local inversion theorem the mapping \(G\) is a local diffeomorphism. Note that \(G\) is surjective, i.e., for \(q\in M\), there are \(t\in \mathbb {C}^n\) such that \(G(t)=g^tp=q\) where \(p\in M\). Indeed, it suffices to connect a point \(q\in M\) with \(p\) by a curve, cover the curve by a finite number of the neighborhoods \(V\) and define \(t\) as the sum of shifts \(t_i\) corresponding to peices of the curve. Therefore, the mapping \(G\) is surjective. On the other hand \(G\) is not injective because otherwise we would have a bijection between \(M\) a compact and a non-compact \(\mathbb {C}^n\), which is absurd. To remedy this problem, we will examine the set of pre-images of \(p\in M\). The stationary group of the point \(p\) is the set
of points \(t\in \mathbb {C}^n\) for which \(G(t)=p\). It is nonempty, closed under addition, the inverse of \(t\) is \(-t\) and thus a subgroup of \(\mathbb {C}^n\). It does not depend on \(p\) and its points lie in \(\mathbb {C}^n\) discretely. Indeed, if \(G(s)=p\) and \(G(t)=p\), then \(G(s+t)=g^sg^tp=g^sp=p\) and \(g^{-1}p=g^{-t}g^tp=p\). Therefore, \(L\) is a subgroup of \(C^n\). If \(q=g^rp\) and \(t\in L\), then \(g^tq=g^{t+r}p=g^rg^tp=g^rp=q\). Therefore, \(L\) is a lattice of \(\mathbb {C}^n\) (i.e., a discrete subgroup of \(\mathbb {C}^n\) which spans the real vector space \(\mathbb {R}^{2n}\)). By taking the quotient of \(\mathbb {C}^n\) by \(L\), we obtain an injective mapping
and hence a diffeomorphism. Therefore, \(M\) is conformal to a complex torus \(\mathbb {C}^n/L\) as claimed. Note finally that the lattice \(L\) can be written as \(L=\mathbb {Z}e_1\oplus \cdots \oplus \mathbb {Z}e_k\), \(1\le k\le n\), where \(e_1,\ldots ,e_n\) are linearly independent vectors. The proof of the proposition is thus complete. \(\square \)
Recall that in dimension one, any complex torus is an abelian variety. In this case the embedding is realized in a projective space of dimension two and we obtain models \(\mathbb {C}/L\) as a projective plane curves. It is easier in this case to work with Weierstrass elliptic functions \(\wp \) and \(\wp ^{\prime }\).
In what follows, we will focus on the case where the dimension of the variety is greater than 1. Note that to show that \(M\) is to be the affine part of an abelian variety (for example), a naive guess would be to take the natural compactification \(\overline{M}\) of \(M\) by projectiving the equations. Indeed, this can never work for a general reason: an abelian variety \(\widetilde{M}\) of dimension bigger or equal than two is never a complete intersection, that is it can never be described in some projective space \(\mathbb {P}^{m}( \mathbb {C})\) by \(m\)-dim \(\widetilde{M}\) global polynomial homogeneous equations. In other words, if \(M\) is to be the affine part of an abelian variety, \(\overline{M}\) must have a singularity somewhere along the locus at infinity \(I=\overline{M}\cap \{Z_0=0\}\). When extended to \(\mathbb {P}^{m}( \mathbb {C})\), affine varieties must be singular at infinity, because abelian varieties are not simply-connected and therefore cannot be projective complete intersections.
So from this result, if \(M\) is to be the affine part of an abelian variety, \(\overline{M}\) must have a singularity somewhere along the locus at infinity. The theory of resolution of singularities of Hironaka (1964a, b) through the delicate procedure “blow-up, blow-down” allows at least theoretically resolve these singularities. The following result gives sufficient conditions for a complex manifold to be compact, connected, has an embedding in a projective space and diffeomorphic to a complex torus. In particular, we show that this is a Kähler manifold. We will show in the following some results on varieties of Hodge (these are compact Kähler varieties whose cohomology class of the Kähler form is a real multiple of a whole class) and that of abelian varieties whose applications are immense and important (Adler and van Moerbeke 1989; Adler et al. 2004; Lesfari 1988, 2007, 2008, 2009). In practice and in higher dimensions these problems are compounded considerably.
The idea of the proof we shall give here is closely related to the geometric spirit of the (real) Arnold–Liouville theorem (Adler et al. 2004; Arnold 1978).
Theorem 2
Let \(Z=(Z_0,Z_1,\ldots ,Z_n)\in \mathbb {P}^n(\mathbb {C})\) and declare \(Z_0\ne 0\) to be affine part. Let
be a smooth and irreducible variety and \(\overline{M}\) its closure in \(\mathbb {P}^n(\mathbb {C})\) defined by
involving a large number of homogeneous polynomials \(P_i\). Put \(\overline{M}\equiv M\cup \mathcal {D}\), i.e., \(\mathcal {D}=\overline{M}\cap \{Z_0=0\}\) and consider the map
Let
where \(\mathcal {D}_i\) are some codimension-one subvarieties and
Assume that:
-
(i)
\(f\) maps \(M\) smoothly and 1-1 onto \(f(M)\).
-
(ii)
There exist \(n\) holomorphic vector fields \(X_1,\ldots ,X_n\) on \(M\) which commute and are independent at every point. One vector field, say \(X_k, 1\le k\le n\), extends holomorphically to a neighborhood of \(\mathcal {S}_k\) in \(\mathbb {P}^N(\mathbb {C})\).
-
(iii)
For all \(p\in \mathcal {S}_k\), the integral curve \(f(t)\in \mathbb {P}^N(\mathbb {C})\) of the vector field \(X_k\) through \(f(0)=p\in \mathcal {S}_k\) has the property that
$$\begin{aligned} \{f(t): 0<\mid t\mid <\varepsilon , t\in \mathbb {C}\}\subset f(M). \end{aligned}$$Then the variety \(\widetilde{M}=f(\overline{M})=\overline{f(M)}\) is compact, connected and embeds smoothly into \(\mathbb {P}^{N}(\mathbb {C})\) via \(f\).
Proof
Condition (iii) means that the orbits of \(X_k\) through \(\mathcal {S}_k\) go immediately into the affine part and in particular, the vector field \(X_k\) does not vanish on any point of \(\mathcal {S}_k\). A crucial step is to show that the orbits running through \(\mathcal {S}_k\) form a smooth variety \(\Sigma _p\), \(p\in \mathcal {S}_k\) such that
Let \(p\in \mathcal {S}_k\), \(\varepsilon >0\) small enough, \(g^{t}_{X_k}\) the flow generated by \(X_k\) on \(M\) and
the orbit going through the point \(p\). The vector field \(X_k\) is holomorphic in the neighborhood of any point \(p\in \mathcal {S}_k\) and non-vanishing, by (ii) and (iii). Then the flow \(g^{t}_{X_k}\) can be straightened out after a holomorphic change of coordinates. Let \(\mathcal {H}\subset \mathbb {P}^N(\mathbb {C})\) be a hyperplane transversal to the direction of the flow at \(p\) and let \(\Sigma _{p}\) be the surface element formed by the divisor \(\mathcal {S}_k\) and the orbits going through \(p\). Consider the segment of \(\mathcal {S}'\equiv \mathcal {H}\cap \Sigma _{p}\) and so locally, we have \(\Sigma _{p}=\mathcal {S}'\times \mathbb {C}\). We shall show that \(\Sigma _{p}\) is smooth. Note that \(\mathcal {S}'\) is smooth. Indeed, suppose that \(\mathcal {S}'\) is singular at \(0\), then \(\Sigma _{p}\) would be singular along the trajectory (\(t\)-axis) which goes immediately into the affine \(f(M)\), by condition (iii). Hence, the affine part would be singular which is impossible by condition (i). So, \(S'\) is smooth and by the implicit function theorem, \(\Sigma _{p}\) is smooth too. Consider now the map
where \(Z=(Z_0,Z_1,\ldots ,Z_n)\in \mathbb {P}^{n}(\mathbb {C})\) and
Recall that the flow exists in a full neighborhood of \(p\) in \(\mathbb {P}^{N}(\mathbb {C})\) and it has been straightened out. Therefore, near \(p\in \mathcal {S}_k\), we have \(\Sigma _{p}=\widetilde{M}\) and \(\Sigma _{p}{\backslash }\mathcal {S}_k\subseteq M\). Otherwise, there would exist an element \(\Sigma '_{p}\subset \widetilde{M}\) such that
by condition (iii). In other words, \(\Sigma _{p}\cap \Sigma '_{p}\)=t-axis and hence \(M\) would be singular along the \(t\)-axis which is impossible. Since the variety \(M\) is irreducible and since the generic hyperplane section \(\mathcal {H}_{gen.}\) of \(\widetilde{M}\) is also irreducible, all hyperplane sections are connected and hence \(\mathcal {D}\) is also connected. Now consider the graph \(G_f\subset \mathbb {P}^n(\mathbb {C}) \times \mathbb {P}^N(\mathbb {C})\) of the map \(f\), which is irreducible together with \(\widetilde{M}\). It follows from the irreducibility of \(G_f\) that a generic hyperplane section \(G_f\cap (\mathcal {H}_{gen.}\times \mathbb {P}^N(\mathbb {C}))\) is irreducible, hence the special hyperplane section \(G_f\cap (\{Z_0=0\}\times \mathbb {P}^N(\mathbb {C}))\) is connected and therefore the projection map
is connected. Hence, the variety
is compact, connected and admits an embedding into \(\mathbb {P}^N(\mathbb {C})\). \(\square \)
Corollary 3
Under the same assumptions as the previous theorem, \(\widetilde{M}\) is diffeomorphic to a \(n\)-dimensional complex torus. The vector fields \(X_{1},\ldots ,X_{n}\) extend holomorphically and remain independent on \(\widetilde{M}\).
Proof
Let \(g^{t_{i}}\) be the flow generated by \(X_{i}\) on \(M\) and let \(p_{1}\in \widetilde{M}{\setminus } M \). For small \(\varepsilon >0\) and for all \(t_{1}\in \mathbb {C}\) such that \(0< |t_{1}| < \varepsilon \), note that \(q\equiv g^{t_{1}}(p_{1})\) is well defined and \( g^{t_{1}}(p_{1})\in f(M)\), using condition (iii) (Theorem 2). Let \(U(q)\subseteq M\) be a neighborhood of \(q\) and let
which is well defined since by commutativity one can see that the right hand side is independent of \(t_{1}\):
Note that \(g^{t_{2}}(p_{2})\) is a holomorphic function of \(p_{2}\) and \(t_{2}\), because in \(U(p_1)\) the function \(g^{t_{1}}\) is holomorphic and its image is away from \(\mathcal {S}\), i.e., in the affine, \(g^{t_{2}}\) is holomorphic. The same argument applies to \(g^{t_{3}}(p_{3}),\ldots ,g^{t_{n}}(p_{n})\) where
Thus \(X_{1},\ldots ,X_{n}\) have been holomorphically extended, remain independent and commuting on \(\widetilde{M}\). Therefore, we can show along the same lines as in Proposition 1, that \(\widetilde{M}\) is a complex torus \(\mathbb {C}^{n}/lattice\). And that will be done, by considering the local diffeomorphism
for a fixed origin \(p\in f(M)\). The additive subgroup
is a lattice of \(\mathbb {C}^{n}\) (spanned by \(2n\) vectors in \(\mathbb {C}^{n}\), independent over \(\mathbb {R}\)), hence \(\mathbb {C}^{n}/L\longrightarrow \widetilde{M}\) is a biholomorphic diffeomorphism. \(\square \)
Corollary 4
Under the same assumptions as the previous theorem, \(\widetilde{M}\) is a Kähler variety.
Proof
Let
be a hermitian metric on the complex variety \(\widetilde{M}\) and let \(\omega \) its fundamental \((1,1)\)-form. We have
So we see that \(\omega \) is closed and the metric \(ds^{2}\) is Kähler and consequently \(\widetilde{M}\) is a Kähler variety. \(\square \)
Corollary 5
Under the same assumptions as the previous theorem, \(\widetilde{M}\) is a Hodge variety. In particular, \(M\) is the affine part of an abelian variety \(\widetilde{M}\).
Proof
On the Kähler variety \(\widetilde{M}\) are defined periods of \(\omega \). If these periods are integers (possibly after multiplication by a number), we obtain a variety of Hodge. More specifically, integrals \(\int _{\gamma _k}\omega \) of the form \(\omega \) (where \(\gamma _k\) are cycles in \(H_{2}(\widetilde{M}, \mathbb {Z})\)) determine the periods \(\omega \). As they are integers, then \(\widetilde{M}\) is a Hodge variety. The variety \(\widetilde{M}\) is equipped with \(n\) holomorphic vector fields, independent and commuting. From Theorem 2 and Corollary 3, the variety \(\widetilde{M}\) is both a projective variety and a complex torus and hence an abelian variety as a consequence of Chow theorem (Griffiths and Harris 1978). Another proof is to use the result that we just show since every Hodge torus is abelian, the converse is also true. Note also that by Moishezon’s theorem (Moishezon 1967; Hartshorne 1977), a compact complex Kähler variety having as many independent meromorphic functions as its dimension is an abelian variety. \(\square \)
A complex torus being a Kähler manifold, we deduce from Moishezon’s theorem (Moishezon 1967; Hartshorne 1977) the following result:
Corollary 6
A complex torus of dimension \(n\) is an abelian variety if and only if it admits \(n\) independent meromorphic functions.
3 Examples
Example 7
The three quartic,
are invariants of the following system of five differential equations in the unknowns \(z_1,\ldots ,z_5\in \mathbb {C}^5\),
Let \(M\) be the complex affine variety defined by
where \(c_1, c_2, c_3\in \mathbb {C}\). The main problem will be to complete \(M\) into a non singular compact complex algebraic variety \(\widetilde{M}=M\cup \mathcal {D}\) in such a way that the vector fields generated respectively by \(F_1\) and \(F_2,\) extend holomorphically along a divisor \(\mathcal {D}\) and remain independent there. This is possible (for details see Lesfari 2007), \(\widetilde{M}\) is an algebraic complex torus (an abelian variety). More precisely, the variety \(M\) generically is the affine part of an abelian surface \(\widetilde{M}\). The reduced divisor at infinity \(\widetilde{M}\!\backslash \!M=\mathcal {C}_1+\mathcal {C}_{-1}\), consists of two copies \(\mathcal {C}_1\) and \(\mathcal {C}_{-1}\) of the same genus \(7\) Riemann surface.
Example 8
Let \(B\) be the affine variety defined by
where \(c_{1},c_{2}\in \mathbb {C}^{2}\) and
are invariants of the following system
We show that the invariant surface \(B\) can be completed as a cyclic double cover \(\overline{B}\) of the abelian surface \(\widetilde{M}\) (Example 1), ramified along the divisor \(\mathcal {C}_{1}+\mathcal {C}_{-1}\). Moreover, \(\overline{B}\) is smooth except at the point lying over the singularity (of type \(A_3\)) of \(\mathcal {C}_{1}+\mathcal {C}_{-1}\) and the resolution \(\widetilde{B}\) of \(\overline{B}\) is a surface of general type with Euler characteristic \(\mathcal {X}(\widetilde{B})=1\) and geometric genus \(p_g(\widetilde{B})=2\) (for details see Lesfari 2007).
Example 9
Another system similar to that of Example 1 is defined by
These three quartic are invariants of the following system of differential equations in the unknowns \(z_1,\ldots ,z_5\in \mathbb {C}^5\),
where \(a\) is a constant. Let \(M\) be the complex affine variety defined by
where \(c_1, c_2, c_3\in \mathbb {C}\). This complex affine variety \(M\) defined by putting these invariants equal to generic constants, is a double cover of a Kummer surface defined by
where
The variety \(M\) generically is the affine part of an abelian surface \(\widetilde{M},\) more precisely the jacobian of a genus \(2\) curve. The reduced divisor at infinity
consists of two smooth isomorphic genus \(2\) curves \(\mathcal {H}_{\pm 1}\) (for details see Lesfari 2008).
Example 10
Let \(M\) be the variety defined by
where
are invaraints of the Hénon–Heiles system
\(A\) and \(B\), are constant parameters. The affine surface \(M\) completes into an abelian surface \(\widetilde{M}\), by adjoining a curve \(\mathcal {D}\). The latter determined by an eight-order equation is smooth, hyperelliptic and its genus is \(3\). More precisely, \(\widetilde{M}= \mathbb {C}^2 /Lattice\subseteq \mathbb {P}^7(\mathbb {C})\), where the lattice is generated by the period matrix \({\small {\left( \begin{array}{llll} 2 &{} 0 &{} a &{} c \\ 0 &{} 4 &{} c &{} b \end{array}\right) }}\), \({\small {\text { Im}\left( \begin{array}{ll} a &{} c \\ c &{} b \end{array}\right) >0}}\), \((a, b, c\in \mathbb {C})\) (for details see Lesfari 2009).
Example 11
In \(\mathbb {C}^6\), let \(M\) be the affine variety defined by
where
are invariants for the Kowalewski’s top and \(c_k\in \mathbb {C}\), \(1\le k\le 4\). The invariant variety \(M\) can be completed via the flow into complex algebraic tori \(\mathbb {C}^2/Lattice\) were the lattice is spanned by the columns of the period matrix \({\small {\left( \begin{array}{llll} 1 &{} 0 &{} a &{} c \\ 0 &{} 2 &{} c &{} b \end{array} \right) }}\), \({\small {\text { Im}\left( \begin{array}{ll} a &{} c \\ c &{} b \end{array} \right) >0}}\). Here, the divisor \(\mathcal {D}\) is a set of two isomorphic curves of genus \(3\), \(\mathcal {D}=\mathcal {D}_{1}+\mathcal {D}_{-1}\). Each of the curve \(\mathcal {D}_{\pm 1 }\) is a 2-1 ramified cover of elliptic curves \(\mathcal {D}_{\pm 1}^{0}\), ramified at four points. Each divisor \(\mathcal {D}_{\pm 1}\) is ample and defines a polarization \((1,2)\), whereas the divisor \(\mathcal {D}\) of geometric genus 9 is very ample and defines a polarization \((2,4)\). More precisely, the affine surface \(M\) defined by putting the four invariants of the Kowalewski flow equal to generic constants, is the affine part of an abelian surface \(\widetilde{M}\) with
Moreover, \(\widetilde{M}\simeq \mathbb {C}^{2}/Lattice\) admits an embedding in \(\mathbb {P}^{7}(\mathbb {C})\) [for details see Lesfari (1988)].
Example 12
Let \(\alpha _k, \beta _k, \gamma _k \in \mathbb {C}\), \(1\le k\le 3\), be given such that the \(\alpha _k\) are distinct, non-zero and
Let
In \(\mathbb {C}^6\), let \(M\) be the affine variety defined by
where
are invariants of the geodesic flow on \(SO(4)\) for a left invariant metric and \(c_k\in \mathbb {C}\), \(1\le k\le 4\). Then for \(c_k\)’s in a Zariski-open subset of \(\mathbb {C}^4\), \(M\) is an affine open piece of an abelian surface \(\widetilde{M}\). More precisely, \(M=\widetilde{M}\backslash \mathcal {D}\), where \(\mathcal {D}\) is a curve of genus \(9\), or \(\widetilde{M}=\mathbb {C}^2/lattice\subseteq \mathbb {P}^7(\mathbb {C})\), having period matrix \({\small {\left( \begin{array}{llll} 2 &{} 0 &{} a &{} c \\ 0 &{} 4 &{} c &{} b \end{array} \right) }}\), \({\small {\text {Im}\left( \begin{array}{ll} a &{} c \\ c &{} b \end{array} \right) >0}}\), \((a,b,c\in \mathbb {C})\) (for details see Adler et al. 2004).
References
Adler, M., van Moerbeke, A.: The complex geometry of the Kowalewski–Painlevé analysis. Invent. Math. 97, 3–51 (1989)
Adler, M., van Moerbeke, P., Vanhaecke, P.: Algebraic integrability, Painlevé geometry and Lie algebras. In: A Series of Modern Surveys in Mathematics, vol. 47. Springer, New York (2004)
Arnold, V.I.: Mathematical Methods in Classical Mechanics. Springer, New York (1978)
Griffiths, P.A., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1978)
Hartshorne, R.: Algebraic Geometry. Springer, New York (1977)
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero: I. Ann. Math. 2nd Ser. 1 79, 109–203 (1964)
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero: II. Ann. Math. 2nd Ser. 2 79, 205–326 (1964)
Lesfari, A.: Abelian surfaces and Kowalewski’s top. Ann. Sci. École Norm. Sup. Paris 21(4), 193–223 (1988)
Lesfari, A.: Abelian varieties, surfaces of general type and integrable systems. Beitr. Algebra Geom. 48(1), 95–114 (2007)
Lesfari, A.: Affine parts of abelian surfaces as complete intersection of three quartics. Int. Electron. J. Geom. 1(2), 15–32 (2008)
Lesfari, A.: Integrable systems and complex geometry. Lobachevskii J. Math. 4(30), 292–326 (2009)
Lesfari, A.: Champ de Yang–Mills avec groupe de jauge SU(2). Math Report 17(67), (2015)
Moishezon, B.G.: On n-dimensional compact varieties with \(n\) algebraically independent meromorphic functions. Am. Math. Soc. Transl. 63, 51–177 (1967)
Mumford, D.: Abelian Varieties. Oxford University Press, Oxford (1974)
Weil, A.: Variétés Kählériennes. Hermann, Paris (1971)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lesfari, A. Some fundamental properties of complex geometry. Beitr Algebra Geom 57, 207–220 (2016). https://doi.org/10.1007/s13366-015-0238-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-015-0238-6