The notion of a germ in singularity theory

I quote from my lecture:

Let $X$ be a topological space (think of $X=\mathbb{C}^n$ with the classical topology), $p\in X$, $A,B\subseteq X$. Then $A\sim B$ if there exists an open subset $U\subseteq X$, $p\in U$, and $A\cap U=B\cap U$. The germ $(A,p)$ of $A$ at $p$ is the equivalence class of $A$ under this equivalence relation.

So far okay. After this, we simply wrote we'd from now on consider the case $X=V(I)\subseteq\mathbb{C}^n$, where $I$ is an ideal in $\mathbb{C}[x_1,...,x_n]$ or $\mathbb{C}[[x_1,...,x_n]]$, and look at $(X,p)$ instead of at $X$. The first place where the notion occurs again is this:

If $f$ is a polynomial (or a convergent power series) we may consider $(V(f),0)\subseteq(\mathbb{C}^n,0)$ and find $U\subseteq\mathbb{C}^n$ open, such that $f$ is defined on $U$, and $0$ is singular, but all $p\in U\smallsetminus\{0\}$ are non-singular. (This is written after a motivating example on isolated singularities, it is not possible for an arbitrary $f$ in general.)

While it is intuitively clear to me what an isolated singularity should be (geometrically), the term including the germs still confuses me there. If I didn't misinterpret the definition, $(\mathbb{C}^n,0)$ should consist of all neighbourhoods of $0$ (all sets $A$ in $\mathbb{C}^n$ s.t. there exists an open set $U$ with $0\in U$, and $A\cap U=U$, i.e., $U\subseteq A$). Why is then $(V(f),0)\subseteq(\mathbb{C}^n,0)$? In general, $V(f)$ contains no classical open neighbourhood of $0$, so why should any $A$ with $A\sim V(f)$ be in $(\mathbb{C}^n,0)$?

Thanks for your help in advance! I bet it's simple error I'm having again ;)

-

Well no, $A\sim B$ if there exists a neighbourhood $U$ of $p$ such that $A\cap U = A\cap U$ but the set $U$ is not necessary contained in $A$ nor $U$ contans necessary $A$. I would also point out that every two neighbourhoods of $p$ are related by this equality relation. In fact their intersection is a neightbourhood of $p$.

The germ $(A,p)$ is, practically, the set of all the set that looks like $A$ sufficiently near the point.

-
Hello @Vittorio! I guess my question was not formulated well, what you wrote was actually clear to me. It's more about the particular $(V(f),0)\subseteq(\mathbb{C}^n,0)$. Of course $U$ is not contained in $A$ in general, but if $B=\mathbb{C}^n$ itself, $A\sim\mathbb{C}^n$ iff $\exists U$ open, $0\in U$ s.t. $A\cap U=\mathbb{C}^n\cap U=U$, which (in this special case) implies $U\subseteq A$. Hence (I don't think I'm wrong there, but ofc it could always be) the germ of $\mathbb{C}^n$ at $0$ is the set of all neighbourhoods of $0$. – InvisiblePanda Jun 2 '12 at 6:10
But the germ of $V(f)$ at $0$ consists, as you also said, of all sets that look locally around $0$ like $V(f)$. $(V(f),0)\subseteq(\mathbb{C}^n,0)$ would in particular imply that $V(f)\sim\mathbb{C}^n$, but in general $V(f)$ does surely not look like $\mathbb{C}^n$ locally at all. Take e.g. $f=x\in\mathbb{C}[x,y]$, then $V(f)$ is the $y$-axis, and the germ of $V(f)$ at $0$ is not contained in $(\mathbb{C}^2,0)$. Or where am I wrong? – InvisiblePanda Jun 2 '12 at 6:16
Ok, I misunderstood the question. Can you please write a more precise reference to your lectures? Anyway I suppose that what $(V(f),0)\subseteq (\mathbb{C}^n,0)$ means is that $V(f)\cap U \subset U$ for every open neighboorhood of $0$. – Vittorio Patriarca Jun 2 '12 at 13:45
Hello @Vittorio. What do you mean with your question? It's a lecture called 'singularity theory', but this is only the beginning of it (don't know if that is what you wanted to know ;)). Actually, I don't really mind what $(V(f),0)\subseteq(\mathbb{C}^n,0)$ is supposed to mean, the geometrical picture is clear anyway. It's more about if it is correct as it stands. $V(f)\cap U\subseteq U$ holds for an arbitrary $U$, not just open neighbourhoods of $0$, so I don't think that is what it's supposed to mean. – InvisiblePanda Jun 3 '12 at 9:08
I'm probably not able to help you, sorry. I answer you when I misunderstand the question and I'm probably not more expert then you in the field. Anyway two equivalence classes are either equal or disjoint so I'm quite sure that $(V(f),0)\subseteq (\mathbb{C}^n,0)$ doesn't means $V(f)\sim \mathbb{C}^n$. It probably means something like "$V(f)$ is locally a subset of $\mathbb{C}^n$" but I'm not able to formalize it in the correct way. Are you sure that subgerms are not defined somewhere in the lecture? – Vittorio Patriarca Jun 3 '12 at 15:31

This has been 'answered' some time ago by me looking into the (hardly available) book my professor has written: Let $X$ be a topological space and $x\in X$. For two germs $(Y,x)$, $(Z,x)$ at $x$, we write $(Y,x)\subseteq(Z,x)$ if there exist representatives $Y$ of $(Y,x)$ and $Z$ of $(Z,x)$ with $Y\subseteq Z$. It is only a notation, but we didn't mention it in the lecture, hence I was a little confused.

It simply has the advantage that, while as sets the germs are not contained in each other, we still have the relation: $(Y,x)\subseteq(Z,x)$ and $(Z,x)\subseteq(Y,x)$ $\Rightarrow$ $(Y,x)=(Z,x)$.

-