Skip to main content
2 of 2
deleted 974 characters in body
David E Speyer
  • 156.2k
  • 14
  • 419
  • 763

$\def\CC{\mathbb{C}}\def\cO{\mathcal{O}}$

Here is a candidate counterexample for $M= \CC$: Is $e^{-z}$ in the closure of the algebra generated by $e^z$ and $e^{\sqrt{2}z}$? My current guess is "no", but I need to move on to actual work.


I will show that separating points and separating tangents is not enough for $M = \CC^2$.

Let $A \subset \cO(\CC^2)$ be those holomorphic functions $f$ such that $f(z,z^{-1})$ extends holomorphically to $z=0$. We observe:

$A$ is a subalgebra: This is obvious.

$A$ is closed: Proof We have $f \in A$ if and only if $\oint f(z,z^{-1}) z^n dz=0$ for all $n \geq 0$, where the integral is on a circle around $0$. This fact is preserved by uniform limits on compact sets. (Specifically, by uniform limits on that circle.)

$A$ separates points: Note that the functions $f(x,y) = x$, $g(x,y) = xy$ and $h(x,y) = y (xy-1)$ are all in $A$. The functions $f$ and $g$ alone separate $(x_1, y_1)$ and $(x_2, y_2)$ unless $x_1=x_2=0$. In that case, $h$ separates them.

$A$ separates tangent vectors: Again, $df$ and $dg$ are linearly independent at all points where $x \neq 0$, and $df$ and $dh$ are linearly independent at $x=0$.

$A \neq \cO(\CC^2)$ Clearly, $y \not \in A$.

I remembered this counterexample from an old blog post of mine.

Note that we could replace $z \mapsto (z, z^{-1})$ with any map $\phi$ from the punctured disc $D^{\ast}$ to $\CC^2$. There are many such $\phi$'s, and they all appear to impose independent conditions. This makes me pessimistic about any simple criterion for equality when $M = \CC^2$.

David E Speyer
  • 156.2k
  • 14
  • 419
  • 763