8
$\begingroup$

I'm thinking about a problem in Ravi Vakil's algebraic geometry notes http://math.stanford.edu/~vakil/216blog/ (Exercise 3.2B) and I'm having trouble with the second part of the exercise as my understanding of complex analysis is quite rudimentary.

If to every open set $U\subset \mathbb{C}$ we associate the ring of holomorphic functions which admit a holomorphic square root, this defines a presheaf on $\mathbb{C}$ (I can see this).

Apparently however this is not a sheaf -- supposedly it fails to satisfy the gluing property.

To prove this, we need to take an open cover $\{U_i\}$ of some open $U\subseteq \mathbb{C}$, a holomorphic function $f_i:U_i\to \mathbb{C}$ for each $i$ which has a holomorphic square root (i.e. there exists a holomorphic function $g_i$ for each $i$ such that $f_i(z)=g_i(z)^2$ for all $z\in U_i$), which all agree nicely on the intersections of the various open sets, but such that it is impossible to find a holomorphic function $f:U\to \mathbb{C}$ with a holomorphic function which restricts to $f_i$ on each $U_i$.

Any help would be great -- my problem is in showing that such a function cannot exist.

  • 0
    I apologize, I got myself confused. See the (now hopefully correct) argument below.2011-05-11

1 Answers 1

9

Since I messed up in the comments, I'm giving an argument as an answer.

First, I'm claiming that $f(z) = z$ doesn't have a square root in the annular region $U = \{ 1 - \varepsilon \lt |z| \lt 1 + \varepsilon\}$. Recall that for a holomorphic function $g$ without zeroes on the unit circle we have \int_{|z| = 1} \frac{g'(z)}{g(z)} \,dz \in 2 \pi i \mathbb{Z}. Now we know that \int_{|z| = 1} \frac{f'(z)}{f(z)}\,dz = 2\pi i. On the other hand if $f = g^2$, we would have \int_{|z| = 1} \frac{f'(z)}{f(z)}\,dz = 2\int_{|z|=1} \frac{g'(z)}{g(z)}\,dz \in 4\pi i \mathbb{Z}, a contradiction.

Now clearly, $f(z) = z$ can be patched together from functions that admit square roots, so the presheaf in question can't be a sheaf.

  • 1
    @Clinton: I'm not looking at the constant function. I'm looking at the function $f : z \mapsto z$. This function has a square root in any region that "doesn't wind around zero", for instance by cutting up the annulus along a ray from zero to infinity and amking use of logarithms. In fact, there are exactly two square roots differing by a factor $-1$. A function is uniquely determined by its restrictions to open sets. The sheaf condition is about the converse.2011-05-11