Riemann relations

Posted on November 2, 2017 by Dima

tags: Abelian varieties, complex geometry

I’ll throw in some coordinate-free-ness, for originality’s sake, and because I hate matrices.

Let \(V\) be a complex vector space and let \(\Lambda\) be a finitely generated torsion-free Abelian group such that \(\Lambda \otimes {\mathbb{R}}\cong V\) as \({\mathbb{R}}\)-vector spaces. The data of \(V\), \(\Lambda\) and a Hermitian form \(H: V \otimes V \to {\mathbb{C}}\) such that \(H|_{\Lambda \times \Lambda} \subset {\mathbb{Z}}\) gives rise to an Abelian variety and a line bundle endowed with a Hermitian metric.

The inclusion \(\Lambda \hookrightarrow V\) extended linearly to a map of \({\mathbb{R}}\)-spaces \(\Lambda \otimes {\mathbb{R}}\to V\) is denoted \(\Pi\).

Let \(A \in GL(\Lambda)\) be an intergral linear invertible self-map such that \((Ax, y) = -(x,Ay)\) wrt the standard inner product on \(\Lambda\). Via \({\mathbb{R}}\)-linear extension this induces a symplectic form on \(V\), call it \(\omega\). Define the following Hermitian metric on \(V\) \[ H(x,y) = \omega(Ix,y) + i \omega(x,y) \] where \(I\) is the complex structure on \(V\). One checks that it is \({\mathbb{C}}\)-linear in the first argument, \({\mathbb{C}}\)-antilinear in the second. Further, \[ H(x,y) = \overline{H(y,x)} \qquad \textrm{ iff }\qquad \omega(Ix,Iy) = \omega(x,y) \]

Indeed, \[ H(y,x) = \omega(Iy,x) + i \omega(y,x) = -\omega(x,Iy) - i \omega(x,y) \] and \(-\omega(x,Iy) = \omega(Ix,y)\) iff \(\omega(Ix,Iy) = \omega(x,y)\).

Since \(\Pi\) is an isomorphism and in particular surjective, in order to check that \(H\) is Hermitian we need to check that \(\omega(I \Pi x, I \Pi y) = \omega(\Pi x, \Pi y)\) for all \(x,y \in \Lambda \otimes {\mathbb{R}}\). Remark now that from definition of \(\omega\), \(\omega(\Pi x, \Pi y)=(Ax,y)\).

Pass to the complexification: let \(\Pi \otimes {\mathbb{C}}: (\Lambda \otimes {\mathbb{R}}) \otimes_{{\mathbb{R}}} C \to V \otimes_{{\mathbb{R}}} {\mathbb{C}}\) be the \({\mathbb{C}}\)-linear extension of \(\Pi\). The vector space \(V\) decomposes into direct sum of eigenspaces of \(I\): \(V = V^{1,0} \oplus V^{0,1}\) where \(I\) acts by \(i\) on the first piece and by \(-i\) on the second. Denote \(\Pi' := \pi_{V^{1,0}} \circ \Pi \otimes {\mathbb{C}}\). By definition, \(\Pi'\) is the same as the composition of \(\Pi\) and identification between \(V \subset V \otimes C\) and \(V^{1,0}\) via the projection on \(V^{1,0}\). When written out in some basis \(\Pi'\) is called a period matrix. If \(\Lambda \cong {\mathbb{Z}}^{2g}\), it is a \(g \times 2g\) matrix which has the coordinates of the generators of \({\mathbb{Z}}^{2g}\) as its columns.

\[ \begin{array}{ccccc} \Lambda \otimes {\mathbb{R}}& \to^\Pi & V & \to & V \otimes {\mathbb{C}}\\ \downarrow & & \downarrow & \swarrow & \\ \Lambda \otimes {\mathbb{C}}& \to^{\Pi'} & V^{1,0} & \\ \end{array} \]

After restriction to \(V^{1,0}\) it is clear that \(\omega\) respects \(I\) if and only if \(\omega_{\mathbb{C}}(i \Pi' x, i \Pi'y) = \omega_{\mathbb{C}}(\Pi' x, \Pi'y)\) for all \(x,y \in \Lambda \otimes C\).

Define \[ J = (\Pi\otimes {\mathbb{C}})^{-1} (I\otimes {\mathbb{C}}) (\Pi\otimes {\mathbb{C}}) \] Notice that it has the property \(i \Pi' = \Pi' J\). Also notice that \(\omega_{\mathbb{C}}(\Pi' x, \Pi' y) = (Ax, y)\). Then the condition to check becomes \[ (A J x, J y) = (A x, y) \] or \(J^* A J=A\). Rewrite the latter identity using the definition of \(J\), denoting \(\Phi = \Pi \otimes {\mathbb{C}}\) \[ \Phi^* (I\otimes {\mathbb{C}})^* (\Phi^{-1})^* (A \otimes {\mathbb{C}}) \Phi^{-1} (I\otimes {\mathbb{C}}) \Phi = A \] so, using self-adjointness of \(I \otimes {\mathbb{C}}\), \[ I\otimes {\mathbb{C}}(\Phi^{-1})^* (A \otimes {\mathbb{C}}) \Phi^{-1} (I\otimes {\mathbb{C}}) = (\Phi^{-1})^* A \Phi^{-1} \] and further (omitting \(\otimes {\mathbb{C}}\) for simplicity of notation) \[ I (\Phi A^{-1} \Phi^*)^{-1} I = (\Phi A^{-1} \Phi^*)^{-1} \] Given that \(I \otimes {\mathbb{C}}\) is semi-simple, the restriction of \((\Phi A^{-1} \Phi^*)^{-1}\) to \(V^{1,0}\) must take values in \(V^{0,1}\) (if the projection of \((\Phi A^{-1} \Phi^*)^{-1}(x)\) on \(V^{1,0}\) is non-zero element \(y\), then \(i y i = y\) which is absurd), and similar reasoning works for \(V^{0,1}\). We conclude, computing \(\pi_{1,0} \circ (\Phi A^{-1} \Phi^*)^{-1}\) and \(\pi_{0,1} \circ (\Phi A^{-1} \Phi^*)^{-1}\), that \[ \Pi' A^{-1} (\Pi')^* = 0 \textrm{ and } \overline{\Pi'} A^{-1} (\overline{\Pi'})^* \] [the trick is to write down the operator to be inverted as an inverse of block matrix, and observe that the “determinant” term does not matter for vanishing] The second equality is the conjugation of the first, and we are done clarifing the condition for \(H\) to be Hermitian.

Now let us compute \(H(x,x)\). As before it will be convenient to pass to the complexification of \(\omega\) and put \[ H_{\mathbb{C}}(x,y) = \omega_{\mathbb{C}}(I \otimes {\mathbb{C}}x, y) +i \omega_{\mathbb{C}}(x,y) \] The second term is defined by the proprety: \(\omega_{\mathbb{C}}(\Phi x, \Phi y) = (Ax,y)\), and hence \[ \omega_{\mathbb{C}}(x, y) = (A\Phi^{-1}x,\Phi^{-1}y) \] so \[ \omega_{\mathbb{C}}(x, y) = ((\Phi^{-1})^* A \Phi^{-1}x, y) = ((\Phi A \Phi^*)^{-1} x, y) \] And so the first term is: \[ \omega_{\mathbb{C}}(I \otimes {\mathbb{C}}x, y) = ((\Phi^* A \Phi)^{-1} (I \otimes {\mathbb{C}})x, y) \] Assuming \(H\) to be Hermitian, the restriction of \((\Phi^* A^{-1} \Phi)^{-1}\) to \(V^{1,0}\) writes \((\Pi' A^{-1} (\overline{\Pi'})^*)^{-1} ) D\), and its restriction to \(V^{0,1}\) is \((\overline{\Pi'} A^{-1} (\Pi')^*)^{-1}\). Therefore \(H(x,x)\) is \[ (2i (\Pi' A^{-1} (\overline{\Pi'})^*)^{-1} x,x) \] on \(V^{1,0}\). Since positivity depends only on the sign of eigenvalues, passing to the inverse operator does not affect it, and so the condition for positivity of \(H\) is \[ (i (\Pi' A^{-1} (\overline{\Pi'})^*)^{-1} x,x) > 0 \] for all \(x \in V \hookrightarrow V \otimes {\mathbb{C}}\).

(comments)

Non-Archimedean analytic continuation, Weirstrass elliptic functions and definability

Posted on August 15, 2016 by Dima

tags: non-Archimedean geometry

Let \(K\) be an algebraically closed complete non-Archimedean valued field. Let \(q \in \mathbb{G}_m(K)\) be an element of strictly positive valuation. Then the quotient \(\mathbb{G}_m(K) / q^{\mathbb Z}\) is a rigid analytic manifold which can be embedded into \(\mathbb{P}^2(K)\) by means of analytic functions \(x, y: \mathbb{G}_m(K) \to \mathbb{A}^2(K)\) that are periodic under multiplication by \(q\) (one takes the image in \(\mathbb{A}^2\) and takes the closure in \(\mathbb{P}^2\)). Here is the series that give \(x\) (taken from Tate’s article ``A review of non-Archimedean elliptic functions’’): \[ x(w) = \sum_{q = -\infty}^{\infty} \dfrac{q^m w}{(1 - q^m w)^2} - 2 \sum_{m=1}^\infty \dfrac{q^m}{(1 - q^m)^2} \]

Recall that algebras of the form \[ K\{x_1, \ldots, x_n\} := {\{\ \sum a_\delta x^\delta \ \mid\ v(a_\delta) \to \infty \textrm{ as } |\delta| \to \infty\ \}} \] where \(\delta\) is a multiindex, are called Tate algebras. They are normed algebras with the norm \[ || \sum a_\delta x^\delta || = \sum e^{-v(a_\delta)} \]

The power series that constitute these algebras converge on unit polydiscs \[ {\{\ x_i \in K \ \mid\ ||x_i|| \leq 1 \ \}} = {\{\ x_i \in K \ \mid\ v(x_i) \geq 0 \ \}} \] Variants include (isomorphic) algebras \[ K\{e^{-r_1}x_1, \ldots, e^{-r_n}x_n\} := {\{\ \sum a_\delta x^\delta \ \mid\ v(a_\delta) \to \infty \textrm{ as } |\delta| \to \infty\ \}} \] of functions analytic on polydiscs of varying radii \[ {\{\ x_i \in K \ \mid\ v(x_i) \geq r_i\ \}} \] They are however not isometric, since they are normed in a different way \[ || \sum a_\delta x^\delta || = \sum e^{-v(a_\delta)} e^{-r_{\delta_i}} \]

An annulus with inner valuative radius \(a\) and outer valuatie radius \(0\) \[ {\{\ x \in K \ \mid\ 0 \leq v(x) \leq a\ \}} \] is an affinoid domain with the corresponding algebra of analytic functions \(K\{x, y\}/(xy = \gamma)\); here, \(\gamma \in K\) is such that \(v(\gamma) = a\).

This is an example of a rational domain in \(\mathbb{A}^1\). The importance of rational domains lies in the following theorem:

Theorem (Gerritzen-Grauert). Let \(U\) be an affinoid domain. Every affinoid subdomain of \(U\) is a finite union of rational subdomains of \(U\).

An affinoid algebra is a quotient of a Tate algebra by a closed ideal. Global analytic functions on affinoid domains are called affinoid functions. Recall that a function is called meromorphic on a domain if it can be locally represented as a quotient of analytic functions. We will see that on affinoid domains meromorphic functions are quotients of affinoid functions globally.

Intersections of affinoid domains are affinoid. Affinoids play the role of opens in rigid geometry. In fact, one can define the ``rigid \(G\)-topology’’: it is a Grothendieck topology where admissible covers are finite covers of \(\mathrm{Specm} A\) by affinoid domains.

Both elliptic functions introduced above, \(x\) and \(y\), are meromorphic on \({\mathbb{G}}_m(K)\). Indeed, restricting to annuli \[ {\{\ x \in K \ \mid\ n \leq v(x) \leq m\ \}} \] for \(n,m \in {\mathbb{Z}}\), functions \(x\) and \(y\) have finitely many poles, therefore, after multiplication by a suitable polynomial, they become analytic.

Note that \(x\) and \(y\) cannot be extended to a function meromorphic on \(\mathbb{A}^1\) (or unit disc), since their poles converge to 0, and meromorphic functions can only have isolated poles (the proof is similar to the Archimedean case).

Quite expectedly though, they can be uniquely extended to the punctured unit disc. It took me some effort to find out how this can be proved: analytic continuation works quite differently in non-Archimedean situation than in the complex-analytic setting.

Theorem (Tate acyclicity theorem) Let \(\{ A_i \}\) be finitely many affinoid domains such that \(\cup A_i = A\). Then the following sequence (with Čech differentials: taking restrictions with alternating signs) is exact \[ 0 \to {\mathcal{O}}_A(A) \to {\mathcal{O}}_A ( \coprod A_i) \to {\mathcal{O}}_A ( \coprod A_i \cap A_j) \] where \({\mathcal{O}}_A\) is the sheaf of affinoid functions. In particular, affinoid domains are acyclic and cohomology of coherent sheaves in \(G\)-topology can be computed using Čech complex of an admissible covering.

Theorem (Kiehl’s Theorem A) Any coherent sheaf \(\mathcal F\) over an affinoid domain is generated by global sections.

Proof. Let \(a \in A\) and let \({\mathcal{I}}_{a}\) be the skyscraper sheaf. Consider the exact sequence \[ 0 \to {\mathcal{I}}_a \mathcal F \to \mathcal F \to \mathcal F / {\mathcal{I}}_a \mathcal F \to 0 \] Then the associated cohomology long exact sequence is \[ \ldots \to H^0(A,\mathcal F) \to H^0(A,\mathcal F / {\mathcal{I}}_a \mathcal F) \to H^1(A,{\mathcal{I}}_a \mathcal F) \to \ldots \] where the last term vanishes by Tate’s acyclicity. Therefore, there exist (finitely many, by coherence) non-vanishing at \(a\) global sections of \(\mathcal F\). The second term is a finitely generated \({\mathcal{O}}_{A,a}\)-module, and by Nakayama’s lemma, these sections generate the germs of \(\mathcal F\) at \(a\).

Read more (comments)

Incidence structures on algebraic curves

Posted on June 7, 2016 by Dima

tags: model theory, curves, algebraic geometry

Abstract projective geometry

Let \(k\) be a field. Consider the set of points \(P\) and lines \(L\) on the projective \(n\)-space \({\operatorname{\mathbb{P}}}^n(k)\) over \(k\). One finds that the following properties hold:

A tuple \((P,L,I)\) where \(P\) is the set of points, \(L\) is the set of lines and \(I \subset P \times L\) is the incidence relation, is an abstract projective geometry if the properties above hold. These properties in particular hold if \(P\), \(L\) are sets of points and lines on a projective plane over a (skew) field \(k\). There are examples of abstract projective geometries that do not arise this way. The reason is that all geometries arising from a (skew) field additionally satisfy Desargues axiom:

Given two triangles \(ABC\) and \(A'B'C'\) as above, the lines \(AB\) and \(A'B'\), \(BC\) and \(B'C'\), and \(AC\) and \(A'C'\) intersect in three points that lie on the same line.

There are two affine statements that follow from this axioms: called small and big Desargues axioms.

small Desargues: given \(A\) and \(A'\), \(B\) and \(B'\), \(C\) and \(C'\) lying on three parallel lines, \(BC\) and \(B'C'\) are parallel.

big Desargues: given that the lines \(AB\) and \(A'B'\), and \(AC\) and \(A'C'\) are pairwise parallel, the lines \(BC\) and \(B'C'\) are parallel.

If \(k\) is commutative, then a Pappus axiom is also satisfied:

Read more (comments)

ddc lemma

Posted on May 4, 2016 by Dima

tags: complex geometry

In this note I will prove the easy local case of \(dd^c\) lemma.

Let \((M,I)\) be a complex manifold. Extend the action of the complex structure on exterior powers of the complexified tangent bundle forms by \[ \mathbf{I}: \bigwedge{}^* M \to \bigwedge{}^* M, \mathbf{I} := \sum i^{p-q} \cdot \Pi^{p,q} \] where \(\Pi^{p,q}: \bigwedge^{p+q} \to \bigwedge^{p,q}\) is the natural projection. Define a dwisted differential \(d^c = I \circ d \circ I^{-1}\). On the cotangent bundle define it to be \(\mathbf{I}(\alpha)(v_1, \ldots, v_n) := \alpha(\mathbf{I}v_1, \ldots, \mathbf{I}v_n)\).

Proposition. \(\partial = \dfrac{d + i \cdot d^c}{2}, \bar \partial = \dfrac{d - i \cdot d^c}{2}\), where \(\partial\) and \(\bar\partial\) are projections of \(d\) on \((\cdot +1, \cdot)\) and \((\cdot, \cdot+1)\) components.

Proof. Indeed \[ \partial + \bar\partial + i \mathbf{I}^{-1} (\partial + \bar\partial) \mathbf{I} = \partial + \bar\partial + i (i^{q-p-1} \partial + i^{q-p+1}\bar\partial)i^{q-p}=\\ = \partial + \bar\partial + \partial + i^2\bar\partial=2\partial \] Similarly for the second equality. \(\square\)

In particular, \(\partial\bar\partial = -\dfrac{i}{2}dd^c\) on a complex manifold.

Lemma (Poincaré lemma). If \(\alpha\) is a closed form on a polydisc then it is exact.

Lemma (Poincaré-Dolbeault-Grothendieck lemma). If \(\alpha\) is a \(\partial\)-closed, not holomorphic (i.e. \(\alpha \notin A^{n,0} M\)), form on a polydisc then it is \(\bar\partial\)-exact.

(this lemma means in particular that Dolbault resoltions of sheaves of holomorphic forms are acyclic)

Note that since \(\bar(\partial\alpha) = \bar\partial \bar\alpha\), the PDG lemma also holds for \(\partial\).

Lemma (local \(dd^c\) lemma). Let \(\eta\) be a \((1,1)\)-form on a polydisc. The following are equvalent

Proof. \(3 \Rightarrow 1\) is immedate.

\(1 \Rightarrow 2\). Recall that \(d^2=\partial^2=\bar\partial^2=0\), where \(d=\partial+\bar\partial\), and therefore \(\bar\partial\partial=-\partial\bar\partial\). If \(\eta = d\alpha\) then there exist forms \(\beta \in A^{1,0}, \gamma\in A^{0,1}\) such that \(\eta = \partial\beta + \bar\partial\gamma\) and \(\bar\partial\beta=\partial\gamma=0\). Then \(\partial(\eta) = \partial^2 \beta + \partial\bar\partial\gamma=-\bar\partial\partial\gamma=0\). Similarly for \(\bar\partial\eta\). Apply PDG and \(\partial\)-PDG to get \(\partial\) and \(\bar\partial\)-exactness of \(\eta\).

\(2 \Rightarrow 3\). By Poincaré-Dolbeault-Grothendieck lemma, there exists a form \(\alpha \in A^{1,0}\) such that \(\bar\partial\alpha=\eta\).

Observe that \(\partial\alpha\) is a closed form: \((\partial + \bar\partial)(\partial\alpha) = \partial^2 \alpha - \partial\bar\partial\alpha=0 -\partial\eta=0\). By Poincar'e lemma, there exists a form \(\alpha'\) such that \(d\alpha' = \partial\alpha' + \bar\partial\alpha' = \partial\alpha\). By grading considerations, \(\bar\partial\alpha' = 0\).

Consider the form \(\beta = \alpha - \alpha' \in A^{1,0}\). Then \(\partial\beta = \partial\alpha - \partial\alpha' = 0\) and \(\bar\partial\beta = \bar\partial\alpha - \bar\partial\alpha' = \eta\). By \(\partial\)-PDG, there exists a function \(\psi\) such that \(\partial\psi = \beta\), so \(\bar\partial\partial\psi=\eta\). Put \(\chi=-i\psi\). \(\square\)

Interestingly, this statement is true globally, i.e. for global \((p,q)\)-forms on a manifold \(M\), if the manifold is Kähler.

Lemma (global \(dd^c\) lemma). Let \(\alpha\) be a form on a Kähler manifold, and assume that \(\eta\) is either \(d\)-, \(\partial\)- or \(\bar\partial\)-exact. Then \(\alpha\) is \(dd^c\)-exact (or, which is the same, \(\partial\bar\partial\)-exact).

This result requires Hodge theory for K"ahler manifolds.

(comments)
← Newer Entries  
Older Entries →