The germ captures the local behaviour of a function at a point of a topological space. I'd like to know how it is different from a 1-form or its relationship with a 1-form. Pardon me if its a naive question in case its too simple please give a link adding a comment.
What is the difference between a Germ and a 1-form
-
3Do you know the definitions? If you do, what are your definitions, and where do you find them confusing? – 2011-07-20
3 Answers
The first point to make is that a differential $1$-form is something not unlike a function and has a domain in a meaningful sense. By contrast, a germ is only really defined at a point, so is very very local. Like a function, however, a differential $1$-form does have a ‘value’ at a point and so can be ‘evaluated’ at that point.
The second point to make is that a germ is a very general concept. It can be defined for arbitrary functions, not just continuous or differentiable or analytic ones! On the other hand, differential $1$-forms are built from differentiable functions (obviously). Two functions can have the same differential at a point but different germs; on the other hand if two functions have the same germ at a point, then their differentials must agree at that point.
Let's be precise.
Definition. Let $X$ be a topological space, $E$ any set, and $D_1, D_2$ any two open subsets of $X$. Let $f_1 : D_1 \to X$, $f_2 : D_2 \to X$ be any two functions, and $p \in D_1 \cap D_2$. We say $f_1$ and $f_2$ have the same germ at $p$ just if there is an open neighbourhood $U$, $p \in U \subseteq D_1 \cap D_2$, such that the restrictions of $f_1$ and $f_2$ to $U$ are equal, i.e. for every p' in $U$, we have f_1(p') = f_2(p'). This induces an equivalence relation on the set of all functions defined in an open neighbourhood of $p$, and the germ of a function at $p$ is the equivalence class under the relation so defined.
Proposition. Let $X$ be a smooth manifold, and $f_1 : D_1 \to \mathbb{R}$, $f_2 : D_2 \to \mathbb{R}$ two functions defined on open subsets $D_1$, $D_2$. Suppose $D_1 \cap D_2$ is non-empty, $p \in D_1 \cap D_2$, and $f_1$ and $f_2$ have the same germ at $p$. Then,
- $f_1$ is continuous at $p$ if and only if $f_2$ is continuous at $p$.
- $f_1$ is differentiable at $p$ if and only if $f_2$ is differentiable at $p$, and moreover their derivatives are equal when they exist.
- Ditto, with $n$-times differentiable and the $n$-th derivative instead.
- Ditto, with analytic and the power series (under a fixed chart) about $p$ instead.
So we see that germs really do capture the ‘local’ data of a function near a point. (Or we can flip this on its head and say that a property is local if and only if the property can be defined in terms of germs.)
Definition. Let $X$ be a smooth manifold, and let $D$ be an open subset of $X$. Let $f_1, f_2 : D \to \mathbb{R}$ be two functions which are smooth on $D$. Let $p \in D$. Then, we say $f_1$ and $f_2$ have the same differential at $p$ if their derivatives agree at $p$. [This is the main difference from germs: We don't need them to agree on an open set!] If the derivatives also agree on an open neighbourhood of $p$ then we say $f_1$ and $f_2$ have the same differential germ at $p$. We write $\mathrm{d}f_p$ for the differential germ at $p$ of a smooth function $f : D \to \mathbb{R}$.
A differential $1$-form on $D$ is an assignment of a differential germ $\omega_p$ to each point $p$ of $D$ such that for each point $p$, there is an open neighbourhood $U$, $p \in U \subseteq D$, such that there is a smooth function $f : U \to \mathbb{R}$ for which \omega_{p'} = \mathrm{d}f_{p'} for each p' in $U$.
Notice that we only require $\omega_{\bullet}$ to agree with the differential germs of a smooth function locally; the function chosen may be different from point to point. In other words, there need not be a function $f : D \to \mathbb{R}$ such that $\omega_p = \mathrm{d}f_p$ for every $p$ in $D$. For example, take $D = \mathbb{R}^2 \setminus \{ (0, 0) \}$, the punctured plane. Then there is a differential $1$-form $\omega = \frac{-y \mathrm{d}x + x \mathrm{d}y}{x^2 + y^2}$ which is not of the form $\mathrm{d}f$ for any $f : D \to \mathbb{R}$. (The reason is simple enough: when you integrate $\omega$ over a loop going around the origin once, you get a non-zero result, but the fundamental theorem of calculus tells us that the integral of $\mathrm{d}f$ around any loop must be zero.)
-
0That's just terminology. I choose to use the word ‘differential 1-form’ for sections of the cotangent bundle (i.e. covector fields). – 2011-07-23
Given a point $p$ in a topological space $X$ you might be interested in functions $f:\ U\to{\mathbb R}$ defined in various neighborhoods $U$ of $p$. If you don't care about the behavior of such $f$ far away from $p$ you call two such functions $f_i:\ U_i\to{\mathbb R}$ equivalent if there is a smaller neighborhood $V\subset U_1\cap U_2$ on which $f_1$ and $f_2$ coincide. The equivalence classes of this relation are called ${\it germs}$ of functions at $p$. Note that we have not computed derivatives; it didn't even matter whether our functions were continuous.
If the space $X$ is actually a differentiable manifold then we can do calculus on $X$. In particular, "any" function $f$ defined on an open set $U\subset X$ has its differential $df:\ T_U\to{\mathbb R}$ which is the "multivariable and coordinate free" substitute for the derivative of a calculus 101 function $f:\ {\mathbb R}\to{\mathbb R}$. This differential is a function of two variables $p\in U$ and $X\in T_p$ and is linear in the second variable. The following are true:
(a) $df$ is a $1$-form on the domain $U$ of $f$.
(b) If $f_1$ and $f_2$ coincide in a neighborhood $V$ of $p$ then their differentials $df_1$, $df_2$ coincide there as well. It follows that each function germ at $p$ determines a unique "differential germ".
On the other hand it is not true that the germ of $df$ at $p$ determines the germ of $f$ at $p$: It determines $f$ only up to an additive constant. And more seriously: It is not true that any given $1$-form $\omega$ in a neighborhood $U$ of $p$ is the $df$ of some $f$; the reason being that there are integrability conditions.
-
0@Rasmus I agree! I wrote it out for my own benefit, and thought that it might help the disoriented beginner. I wish I could have linked to a proof of "sections of $E^\vee \otimes F$ are sections of $\operatorname{Hom}(E, F)$, which are vector bundle maps $E \to F$", but unfortunately I don't know of a place where this is written down. – 2011-07-21
In this post I am only talking about differentiable maps. Having the same germ seems to be much more stringent that having the same differential. For example, the functions $f,g:\mathbb{R}_{\geq 0}\rightarrow \mathbb{R}$ defined by $f(x)=x$ and $g(x)=log(x)$ have the same differential at $x=1$, but do not have the same germ. Also the functions $x$ and $x+3$ have the same differential everywhere, but nowhere have the same germ. Functions having the same germ, do have the same differential there.
I believe the following is true. If two functions have the same differential in some neighborhood of a point, and are equal in this point, then the functions have the same germ.
Edit: removed the remark of my uncertainty after the comments.
-
0Isn't that just the fundamental theorem of calculus? – 2011-07-20