$$\require{color}$$ $$\require{ams}$$ $$\require{amscd}$$ $$\definecolor{purple}{RGB}{226, 15, 233}$$ $$\definecolor{grey}{RGB}{177, 159, 149}$$ $$\DeclareMathOperator{\mult}{mult}$$ $$\DeclareMathOperator{\df}{def}$$ $$\DeclareMathOperator{\pr}{pr}$$ $$\DeclareMathOperator{\Supp}{Supp}$$ $$\DeclareMathOperator{\ord}{ord}$$ $$\DeclareMathOperator{\Vol}{Vol}$$ $$\DeclareMathOperator{\Im}{Im}$$ $$\DeclareMathOperator{\Ker}{Ker}$$ $$\DeclareMathOperator{\Bs}{Bs}$$ $$\DeclareMathOperator{\Hom}{Hom}$$ $$\DeclareMathOperator{\Alb}{Alb}$$ $$\DeclareMathOperator{\Jac}{Jac}$$ $$\newcommand{\BB}{\mathbf{B}}$$ $$\newcommand{\sDiff}{\mathcal{D}\mathscr{iff}\,}$$ $$\newcommand{\sHom}{\mathcal{H}\mathscr{om}\,}$$ $$\newcommand{\O}{\mathcal{O}}$$ $$\newcommand{\PP}{\mathbf{P}}$$ $$\newcommand{\H}{\mathcal{H}}$$ $$\newcommand{\D}{\mathcal{D}}$$ $$\newcommand{\QQ}{\mathbb{Q}}$$ $$\newcommand{\CC}{\mathbb{C}}$$ $$\newcommand{\RR}{\mathbb{R}}$$ $$\newcommand{\ZZ}{\mathbb{Z}}$$ $$\newcommand{\mfm}{\mathfrak{m}}$$ $$\newcommand{\mc}[1]{\mathcal{#1}}$$ $$\newcommand{\mb}[1]{\mathbb{#1}}$$ $$\newcommand{\mf}[1]{\mathfrak{#1}}$$ $$\renewcommand{\d}{\operatorname{d}}$$ $$\newcommand{\OM}{\Omega}$$ $$\newcommand{\ov}[2]{\overset{#1}{#2}}$$ $$\newcommand{\ext}{\operatorname{Ext}}$$ $$\newcommand{\sing}{\operatorname{Sing}}$$ $$\newcommand{\codim}{\operatorname{codim}}$$ $$\newcommand{\pic}{\operatorname{Pic}}$$ $$\newcommand{\proj}{\operatorname{Proj}}$$ $$\newcommand{\spec}{\operatorname{Spec}}$$ $$\newcommand{\surj}{\twoheadrightarrow}$$ $$\newcommand{\rk}{\text{rank}}$$ $$\newcommand{\supp}{\operatorname{supp}}$$ $$\newcommand{\im}{\operatorname{im}}$$ $$\newcommand{\Div}{\operatorname{Div}}$$ $$\renewcommand{\div}{\operatorname{div}}$$ $$\newcommand{\roundup}[1]{\lceil #1 \rceil}$$ $$\newcommand{\rounddown}[1]{\lfloor #1 \rfloor}$$ $$\newcommand{\cech}{\check H}$$ $$\newcommand{\smaller}{\footnotesize}$$ $$\newcommand{\Exc}{\operatorname{Exc}}$$ $$\newcommand{\length}{\operatorname{length}}$$ $$\newcommand{\Lg}{\mathfrak{g}}$$ $$\newcommand{\Lgl}{\mathfrak{gl}}$$ $$\newcommand{\Lsl}{\mathfrak{sl}}$$ $$\newcommand{\kk}{\mathbb{k}}$$ $$\newcommand{\End}{\mathrm{End}}$$ $$\newcommand{\ad}{\mathrm{ad}}$$ $$\newcommand{\LX}{\mathcal{L}_X}$$ $$\newcommand{\GL}{\operatorname{GL}}$$ $$\newcommand{\Aut}{\operatorname{Aut}}$$ $$\newcommand{\Ad}{\operatorname{Ad}}$$ $$\newcommand{\Orb}{\operatorname{Orb}}$$ $$\newcommand{\Diff}{\operatorname{Diff}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\HdR}{H_\mathrm{dR}}$$ $$\newcommand{\cH}{\mathcal{H}}$$ $$\newcommand{\Hom}{\operatorname{Hom}}$$ $$\newcommand{\Alb}{\operatorname{Alb}}$$ $$\newcommand{\Jac}{\operatorname{Jac}}$$ $$\newcommand{\alb}{\operatorname{alb}}$$ $$\newcommand{\tor}{\operatorname{tor}}$$ $$\newcommand{\Bl}{\operatorname{Bl}}$$ $$\newcommand{\Rees}{\operatorname{Rees}}$$ $$\newcommand{\Spec}{\operatorname{Spec}}$$ $$\newcommand{\Proj}{\operatorname{Proj}}$$ $$\newcommand{\gr}{\operatorname{gr}}$$ $$\newcommand{\widebar}[1]{\overline{\kern{-0.1em}{#1}\kern{0.1em}}}$$

Albanese Map of a Riemannian Manifold

Given a compact Riemannian manifold \(M\) such that the first Betti number \(b\) is nonzero, there exists a map \(\operatorname{alb}: M\to \mathbb{R}^b/\mathbb{Z}^b\), called the Albanese map. The aim of post is to prove the smoothness of the Albanese map.

Author

Affiliation

Fei Ye

QCC-CUNY

Let \(C\) be a Riemann surface of genus \(g\) and \(p_{0}\) be point in \(C\). There is a map \(C\to \Jac(C)=H^1(C,\CC)^*/H_1(C, \ZZ)\) defined by \(p \mapsto \left(\int_{p_{0}}^{p}\omega_{1},\dots ,\int_{p_{0}}^{p}\omega_{g}\right)\). This map is called a Abel-Jacobi map. The generalization of this construction in a higher dimension is also known as the Albanese map. Albanese maps have many good applications. Interested reader may check the discussions What is the Albanese map good for on math stackexchange. For a heuristic discussion of Abel-Jacobi map, we refer the reader to the section on Abel’s theorem in (Griffiths and Harris 1994).

In this post, we will generalized the construction of Albanese map from complex manifolds to real manifolds. Let \(M\) be a compact smooth manifold. Fix a Riemannian metric on \(M\).

1 First Cohomology group

We first recall de Rham Theorem and Hodge Theorem on Riemannian manifolds.

Theorem 1 (de Rham Theorem) The following map is an isomorphism \[\iota: \HdR^p(M, \RR)\to H^{p}(M,\RR)\simeq \Hom_{\RR}(H_{p}(M,\RR),\RR),\] where \(\iota\) is defined by \(\iota([\omega])(\gamma)=\int_\gamma\omega\).

Consider harmonic forms which are differential forms annihilated by the Laplacian operator \(\Delta=\d\delta+\delta\d\).

Theorem 2 (Hodge Theorem) In each de Rham cohomology class \([\omega]\) of a differential \(p\)-form \(\omega\), there is an unique harmonic form \(\omega_{\cH}\) such that \([\omega]=[\omega_\cH]\).

Denote by \(\cH^1(M,\RR)\) the space of harmonic 1-forms on \(M\). Then \[\cH^1(M,\RR)\simeq H^1_{\mathrm{dR}}(M, \RR).\]

2 Albanese Map

Let \(\omega_1\), \(\dots\), \(\omega_b\) be a basis of \(\cH^1(M,\RR)\), where \(b\) is the first betti number of \(M\). Choose a basis \(\gamma_1\), \(\dots\), \(\gamma_b\) of \(H_1(M, \ZZ)\), we can define a \(\ZZ\)-linear map \(H_1(M, \ZZ)\to \cH^1(M,\RR)^*=\RR^b\) by \[ (\gamma_1, \dots, \gamma_b)\mapsto \left(\int_{\gamma_1}, \dots, \int_{\gamma_b}\right). \]

The linear maps \(\int_{\gamma_i}\) are linearly independent over \(\RR\). Indeed, if \(\sum_{i=1}^b a_i\int_{\gamma_i}=0\), then \(\sum_{i=1}^b a_i\int_{\gamma_i}\omega=0\) for any harmonic 1-form. Hence, \(\sum_{i=1}^ba_i\gamma_i=0\). Since \(\gamma_i\) is a basis, then \(a_i=0\) for all \(i\). Therefore, the image \(\Lambda\subset \cH^1(M,\RR)^*\) of \(H_1(M, \ZZ)\) is a lattice isomorphic to the additive subgroup \(\ZZ^b\subset\RR^b\).

Fix a point \(p_0\) in \(M\). There is a map \[\alb_M: M\to \Alb(M):=\cH^1(M,\RR)^*/\Lambda,\] called the Albanese map, defined by \[\alb_M(p)=\left(\int_{\gamma_p}\omega_1,\dots, \int_{\gamma_p}\omega_b\right),\] where \(\gamma_p\) is a path from \(p_0\) to \(p\). The map is well-defined, i.e., independent of the choice of the path. Because, if \(\gamma_x'\) is another path, then \(\gamma_x-\gamma_x'\) is a loop in \(H_1(M,\ZZ)\). The difference is then an element in the lattice \(\Lambda\) which is isomorphic to \(\ZZ^b\). The isomorphism between \(\Lambda\) and \(\ZZ^b\) follows from the linear independency of the images of a basis of \(H_1(M, \ZZ)\).

Equipped with the quotient Euclidean metric, the quotient \(\Alb(M)=\RR^b/\ZZ^b\) is a flat torus, called the Jacobi torus or Albanese torus.

Theorem 3 Let \(M\) be a compact Riemannian manifold. The Albanese map \(\alb_M: M\to\Alb(M)\) is smooth map.

Proof. Let \(\rho: \widetilde{M}\to M\) be the universal covering. Since \(M\) is a smooth manifold, \(\widetilde{M}\) admit a unique smooth structure such that \(\pi\) is a smooth covering map (see for example (Lee 2009) Theorem 1.86).

Fix a point \(\widetilde{p}_0 \in \pi^{-1}(p_0)\). We define a map \[ \alpha: \widetilde{M}\to \cH^1(M,\RR)^* \] by \(\alpha(\widetilde{p})(\omega)=\int_{\gamma_{\widetilde{p}}}\rho^*\omega\), where \(\gamma_{\widetilde{p}}\) is a path from \(\widetilde{p}_0\) to \(\widetilde{p}\). The map \(\alpha\) is well-defined because \(\widetilde{M}\) is contractible.

Then the following diagram commutes \[ \begin{CD} \widetilde{M} @>\alpha>> \cH^1(M,\RR)^*\\ @V \rho VV @VV q V\\ M @>\alb>> \Alb{M} \end{CD} \] Because the quotient map \(q\) and the covering map \(\pi\) are both smooth, and moreover, \(\pi\) is locally diffeomorphic, to show that \(\alb\) is smooth, it suffices to show that \(\alpha\) is smooth. Note that the linear map \(F: \cH^1(M,\RR)^*\to \RR^b\) defined \(F(l)=(l(\omega_1)), \dots, l(\omega_b))\) is an isomorphism as it has the full rank. To show that \(\alpha\) is smooth, it suffices to show that \(F\circ \alpha\) is smooth.

For any harmonic 1-form \(\omega\in \cH^1(M,\RR)\), we define \[\alpha_{\omega}: \widetilde{M}\to \RR\] by \(\alpha_\omega(\widetilde{p})=\alpha(\widetilde{p})(\omega)\).

To show \(F\circ\alpha\) is smooth, it suffices to show that \(\alpha_{\omega}\) is smooth for any \(\omega\).

Because \(\widetilde{M}\) is contractible, the 1-form \(\rho^*\omega\) is exact. Then there is a smooth function \(\beta\) such that \(\rho^*\omega=\d\beta\). Therefore, by the Stock’s theorem \[\alpha_\omega(\widetilde{p})=\beta(\widetilde{p})-\beta(\widetilde{p}_0).\] Therefore, \(\alpha_\omega\) is smooth for any \(\omega\in \cH^1(M,\RR)\).

It follows that \(\alpha\) is a smooth map.

The Albanese map indeed is a harmonic map. Moreover, it satisfies the following universal property.

Theorem 4 (Universal Property of Albanese Map) If \(f: M \to T\) is a smooth map from \(M\) to a flat torus \(T\) such that \(f(p_0) = 0\), then there exists a unique smooth map of flat tori \(g: \Alb(M)\to T\) such that \(g\circ\alb_M=f\), i.e., the following diagram commutes. \[ \begin{array}{ccc} M &~\xrightarrow{\alb}~&\Alb(M)\\[0.5em] {\llap{\scriptstyle f}~\Big\downarrow}~ & {~\swarrow~\rlap{\scriptstyle g}}&\\[0.5em] T & & \end{array} \]

For proofs of the harmonicity and universal property of the Albanese map, we refer the reader to (Nagano and Smyth 1975).

The Albanese map is a special case of Abel-Jacobi map which sends codimenion \(k\) cycles to intermediate Jacobi varieties. Interested reader may find details from Chapter 12 in (Voisin 2002) or Chapter V in [Beauville2003].

References

Griffiths, Phillip, and Joe Harris. 1994. Principles of Algebraic Geometry. Wiley classics libr. ed. Wiley Classics Library. New York, NY: Wiley.

Lee, Jeffrey M. 2009. Manifolds and Differential Geometry. Graduate Studies in Mathematics, v. 107. Providence, R.I: American Mathematical Society.

Nagano, Tadashi, and Brian Smyth. 1975. “Minimal Varieties and Harmonic Maps in Tori.” Commentarii Mathematici Helvetici 50 (1): 249–65. https://doi.org/bpthcs.

Voisin, Claire. 2002. Hodge Theory and Complex Algebraic Geometry I. Translated by Leila Schneps. Vol. 1. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. https://doi.org/10.1017/CBO9780511615344.