Skip to main content
added 161 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Edit. Something is wrong with the following examples (the Hopf surface has no nontrivial pluricanonical forms, so also "twists" have no nontrivial pluricanonical forms). I will try to fix it soon (maybe using twists of the Iwasawa manifold).

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Edit. Something is wrong with the following examples. I will try to fix it soon.

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Edit. Something is wrong with the following examples (the Hopf surface has no nontrivial pluricanonical forms, so also "twists" have no nontrivial pluricanonical forms). I will try to fix it soon (maybe using twists of the Iwasawa manifold).

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

added 92 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Edit. Something is wrong with the following examples. I will try to fix it soon.

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Edit. Something is wrong with the following examples. I will try to fix it soon.

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

added 388 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

Here is the simplest example that I can think of, but there may be simpler examples. Let These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Now form Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Here is the simplest example that I can think of, but there may be simpler examples. Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Now form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Here is the simplest example that I can think of, but there may be simpler examples. These examples are "bundles" of Hopf surfaces, and they are "universal counterexamples" in non-Kähler geometry. In particular, note that any counterexample must have that the canonical bundle is not positive (or the manifolds would be projective, where Siu's theorem applies). In the following examples, the canonical bundles are all homologically equivalent to the structure sheaf / the trivial divisor class.

Let $(E,0)$ be an elliptic curve over $\mathbb{C}$. On the surface $E\times E$, form the Cartier divisor $$D = \underline{\Delta} - \underline{\{0\}\times E} - \underline{E\times\{0\} },$$ where $\Delta$ is the diagonal. Denote by $\mathcal{L}$ the associated invertible sheaf, $\mathcal{O}_{E\times E}(D)$. Denote by $$\text{pr}_1:E\times E\to E,$$ the projection onto the first factor. For $p\in E(\mathbb{C})$, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber $E$ of $\text{pr}_1$ over $p$ is either isomorphic to $\mathcal{O}_E$ if $p$ is a $2$-torsion point, or it is an invertible sheaf of degree $0$ on $E$ that has only the zero global section if $p$ is not a $2$-torsion point.

Form the geometric vector bundle $\pi:V\to E\times E$ such that there is a universal $\mathcal{O}_V$-module homomorphism, $$s:\pi^*(\mathcal{L}\oplus \mathcal{L})\to \mathcal{O}_V,$$ i.e., $V$ is $\text{Spec}_{E\times E}\text{Sym}^\bullet(\mathcal{L}\oplus \mathcal{L})$. The dualizing sheaf of $V$ is isomorphic to $\pi^*( \mathcal{L}^{\otimes 2} )$. Denote by $U\subset V$ the open complement of the zero section of $\pi$. There is a scaling action of $\mathbb{G}_m$ on $V$, compatible with the projection to $\pi$: just scale $s$ by the universal invertible global section $t$ of $\mathcal{O}_{\mathbb{G}_m}$. Let $q\in \mathbb{C}^*$ be an element of complex modulus different from $1$. Then the scaling of $U(\mathbb{C})$ by $q\in \mathbb{G}_m(\mathbb{C})$ is a free, proper, discontinuous action with respect to the Euclidean / analytic topology on $U(\mathbb{C})$. Thus, there is a well-defined quotient in the category of complex analytic spaces, and this quotient is even a compact complex manifold with a projection to the underlying analytic space of $E\times E$, $$\rho:M\to (E\times E)^{\text{an}}.$$ In particular, there is a projection of $(E\times E)^{\text{an}}$ to $E^{\text{an}}$ by projection on the first factor, $$M \xrightarrow{\rho} (E\times E)^{\text{an}} \xrightarrow {\text{pr}_1} E^{\text{an}}.$$ The relative dualizing sheaf of $\text{pr}_1\circ \rho$ is still $\rho^*(\mathcal{L}^{\otimes 2})$. Of course the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $0\in E^\text{an}$ is the structure sheaf, which has nonzero global sections. But for $p\in E^{\text{an}}$ not a $2$-torsion point, the restriction of $\mathcal{L}^{\otimes 2}$ to the fiber over $p$ has only the zero section.

Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111
Loading
Post Made Community Wiki by Jason Starr