Germ (mathematics)

In

); it is however necessary that the space on/in which the object is defined is a topological space, in order that the word local has some meaning.

Name

The name is derived from cereal germ in a continuation of the sheaf metaphor, as a germ is (locally) the "heart" of a function, as it is for a grain.

Formal definition

Basic definition

Given a point x of a topological space X, and two maps ${\displaystyle f,g:X\to Y}$ (where Y is any set), then ${\displaystyle f}$ and ${\displaystyle g}$ define the same germ at x if there is a neighbourhood U of x such that restricted to U, f and g are equal; meaning that ${\displaystyle f(u)=g(u)}$ for all u in U.

Similarly, if S and T are any two subsets of X, then they define the same germ at x if there is again a neighbourhood U of x such that

${\displaystyle S\cap U=T\cap U.}$

It is straightforward to see that defining the same germ at x is an equivalence relation (be it on maps or sets), and the equivalence classes are called germs (map-germs, or set-germs accordingly). The equivalence relation is usually written

${\displaystyle f\sim _{x}g\quad {\text{or}}\quad S\sim _{x}T.}$

Given a map f on X, then its germ at x is usually denoted [f]_x. Similarly, the germ at x of a set S is written [S]_x. Thus,

${\displaystyle [f]_{x}=\{g:X\to Y\mid g\sim _{x}f\}.}$

A map germ at x in X that maps the point x in X to the point y in Y is denoted as

${\displaystyle f:(X,x)\to (Y,y).}$

When using this notation, f is then intended as an entire equivalence class of maps, using the same letter f for any

map.

Notice that two sets are germ-equivalent at x if and only if their characteristic functions are germ-equivalent at x:

${\displaystyle S\sim _{x}T\Longleftrightarrow \mathbf {1} _{S}\sim _{x}\mathbf {1} _{T}.}$

More generally

Maps need not be defined on all of X, and in particular they don't need to have the same domain. However, if f has domain S and g has domain T, both subsets of X, then f and g are germ equivalent at x in X if first S and T are germ equivalent at x, say ${\displaystyle S\cap U=T\cap U\neq \emptyset ,}$ and then moreover ${\displaystyle f|_{S\cap V}=g|_{T\cap V}}$, for some smaller neighbourhood V with ${\displaystyle x\in V\subseteq U}$. This is particularly relevant in two settings:

1. f is defined on a subvariety V of X, and
2. f has a pole of some sort at x, so is not even defined at x, as for example a rational function, which would be defined off a subvariety.

Basic properties

If f and g are germ equivalent at x, then they share all local properties, such as continuity,

then so are all representatives, at least on some neighbourhood of x.

Algebraic structures on the target Y are inherited by the set of germs with values in Y. For instance, if the target Y is a group, then it makes sense to multiply germs: to define [f]_x[g]_x, first take representatives f and g, defined on neighbourhoods U and V respectively, and define [f]_x[g]_x to be the germ at x of the pointwise product map fg (which is defined on ${\displaystyle U\cap V}$). In the same way, if Y is an abelian group, vector space, or ring, then so is the set of germs.

The set of germs at x of maps from X to Y does not have a useful

${\displaystyle J_{x}^{k}(X,Y)}$ (finite order

finite-dimensional vector spaces

.

Relation with sheaves

The idea of germs is behind the definition of sheaves and presheaves. A presheaf ${\displaystyle {\mathcal {F}}}$ of abelian groups on a topological space X assigns an abelian group ${\displaystyle {\mathcal {F}}(U)}$ to each open set U in X. Typical examples of abelian groups here are: real-valued functions on U, differential forms on U, vector fields on U, holomorphic functions on U (when X is a complex space^{[disambiguation needed]}), constant functions on U and differential operators on U.

If ${\displaystyle V\subseteq U}$ then there is a restriction map ${\displaystyle \mathrm {res} _{VU}:{\mathcal {F}}(U)\to {\mathcal {F}}(V),}$ satisfying certain compatibility conditions. For a fixed x, one says that elements ${\displaystyle f\in {\mathcal {F}}(U)}$ and ${\displaystyle g\in {\mathcal {F}}(V)}$ are equivalent at x if there is a neighbourhood ${\displaystyle W\subseteq U\cap V}$ of x with res_WU(f) = res_WV(g) (both elements of ${\displaystyle {\mathcal {F}}(W)}$). The equivalence classes form the stalk ${\displaystyle {\mathcal {F}}_{x}}$ at x of the presheaf ${\displaystyle {\mathcal {F}}}$. This equivalence relation is an abstraction of the germ equivalence described above.

Interpreting germs through sheaves also gives a general explanation for the presence of algebraic structures on sets of germs. The reason is that formation of stalks preserves finite limits. This implies that if T is a Lawvere theory and a sheaf F is a T-algebra, then any stalk F_x is also a T-algebra.

Examples

If ${\displaystyle X}$ and ${\displaystyle Y}$ have additional structure, it is possible to define subsets of the set of all maps from X to Y or more generally sub-

${\displaystyle {\mathcal {F}}}$ and corresponding germs: some notable examples follow.

• If ${\displaystyle X,Y}$ are both
  topological spaces
  , the subset

${\displaystyle C^{0}(X,Y)\subseteq {\mbox{Hom}}(X,Y)}$

of continuous functions defines germs of continuous functions.

• If both ${\displaystyle X}$ and ${\displaystyle Y}$ admit a
  differentiable structure, the subset

${\displaystyle C^{k}(X,Y)\subseteq {\mbox{Hom}}(X,Y)}$

of ${\displaystyle k}$-times continuously differentiable functions, the subset

${\displaystyle C^{\infty }(X,Y)=\bigcap \nolimits _{k}C^{k}(X,Y)\subseteq {\mbox{Hom}}(X,Y)}$

of

smooth functions and the subset

${\displaystyle C^{\omega }(X,Y)\subseteq {\mbox{Hom}}(X,Y)}$

of analytic functions can be defined (${\displaystyle \omega }$ here is the ordinal for infinity; this is an abuse of notation, by analogy with ${\displaystyle C^{k}}$ and ${\displaystyle C^{\infty }}$), and then spaces of germs of (finitely) differentiable, smooth, analytic functions can be constructed.

• If ${\displaystyle X,Y}$ have a
  subsets of complex vector spaces), holomorphic functions
  between them can be defined, and therefore spaces of germs of holomorphic functions can be constructed.
• If ${\displaystyle X,Y}$ have an
  regular (and rational
  ) functions between them can be defined, and germs of regular functions (and likewise rational) can be defined.
• The germ of${\displaystyle f:\mathbb {R} \rightarrow Y}$ at positive infinity (or simply the germ of f) is ${\displaystyle \{g:\exists x\forall y>x\,f(y)=g(y)\}}$. These germs are used in asymptotic analysis and Hardy fields.

Notation

The stalk of a sheaf ${\displaystyle {\mathcal {F}}}$ on a topological space ${\displaystyle X}$ at a point ${\displaystyle x}$ of ${\displaystyle X}$ is commonly denoted by ${\displaystyle {\mathcal {F}}_{x}.}$ As a consequence, germs, constituting stalks of sheaves of various kind of functions, borrow this scheme of notation:

• ${\displaystyle {\mathcal {C}}_{x}^{0}}$ is the space of germs of continuous functions at ${\displaystyle x}$.
• ${\displaystyle {\mathcal {C}}_{x}^{k}}$ for each natural number ${\displaystyle k}$ is the space of germs of ${\displaystyle k}$-times-differentiable functions at ${\displaystyle x}$.
• ${\displaystyle {\mathcal {C}}_{x}^{\infty }}$ is the space of germs of infinitely differentiable ("smooth") functions at ${\displaystyle x}$.
• ${\displaystyle {\mathcal {C}}_{x}^{\omega }}$ is the space of germs of analytic functions at ${\displaystyle x}$.
• ${\displaystyle {\mathcal {O}}_{x}}$ is the space of germs of holomorphic functions (in complex geometry), or space of germs of regular functions (in algebraic geometry) at ${\displaystyle x}$.

For germs of sets and varieties, the notation is not so well established: some notations found in literature include:

• ${\displaystyle {\mathfrak {V}}_{x}}$ is the space of germs of analytic varieties at ${\displaystyle x}$. When the point ${\displaystyle x}$ is fixed and known (e.g. when ${\displaystyle X}$ is a topological vector space and ${\displaystyle x=0}$), it can be dropped in each of the above symbols: also, when ${\displaystyle \dim X=n}$, a subscript before the symbol can be added. As example
• ${\displaystyle {_{n}{\mathcal {C}}^{0}},{_{n}{\mathcal {C}}^{k}},{_{n}{\mathcal {C}}^{\infty }},{_{n}{\mathcal {C}}^{\omega }},{_{n}{\mathcal {O}}},{_{n}{\mathfrak {V}}}}$ are the spaces of germs shown above when ${\displaystyle X}$ is a ${\displaystyle n}$-dimensional vector space and ${\displaystyle x=0}$.

Applications

The key word in the applications of germs is locality: all local properties of a function at a point can be studied by analyzing its germ. They are a generalization of Taylor series, and indeed the Taylor series of a germ (of a differentiable function) is defined: you only need local information to compute derivatives.

Germs are useful in determining the properties of

.

When the topological spaces considered are

.

Germs can also be used in the definition of tangent vectors in differential geometry. A tangent vector can be viewed as a point-derivation on the algebra of germs at that point.^[1]

Algebraic properties

As noted earlier, sets of germs may have algebraic structures such as being rings. In many situations, rings of germs are not arbitrary rings but instead have quite specific properties.

Suppose that X is a space of some sort. It is often the case that, at each x ∈ X, the ring of germs of functions at x is a

.

The types of local rings that arise, however, depend closely on the theory under consideration. The

. On the other hand, let ${\displaystyle {\mathcal {C}}_{0}^{\infty }(\mathbf {R} )}$ be the ring of germs at the origin of smooth functions on R. This ring is local but not Noetherian. To see why, observe that the would imply that a smooth function whose Taylor series vanished would be the zero function. But this is false, as can be seen by considering

${\displaystyle f(x)={\begin{cases}e^{-1/x^{2}},&x\neq 0,\\0,&x=0.\end{cases}}}$

This ring is also not a unique factorization domain. This is because all UFDs satisfy the ascending chain condition on principal ideals, but there is an infinite ascending chain of principal ideals

${\displaystyle \cdots \subsetneq (x^{-j+1}f(x))\subsetneq (x^{-j}f(x))\subsetneq (x^{-j-1}f(x))\subsetneq \cdots .}$

The inclusions are strict because x is in the maximal ideal m.

The ring ${\displaystyle {\mathcal {C}}_{0}^{0}(\mathbf {R} )}$ of germs at the origin of continuous functions on R even has the property that its maximal ideal m satisfies m² = m. Any germ f ∈ m can be written as

${\displaystyle f=|f|^{1/2}\cdot {\big (}\operatorname {sgn} (f)|f|^{1/2}{\big )},}$

where sgn is the sign function. Since |f| vanishes at the origin, this expresses f as the product of two functions in m, whence the conclusion. This is related to the setup of almost ring theory.

See also

• Analytic variety
• Catastrophe theory
• Gluing axiom
• Riemann surface
• Sheaf
• Stalk

References

• ISBN 3-540-64241-2
  ., chapter I, paragraph 6, subparagraph 10 "Germs at a point".
• Raghavan Narasimhan (1973). Analysis on Real and Complex Manifolds (2nd ed.). North-Holland Elsevier.
  ISBN 0-7204-2501-8
  ., chapter 2, paragraph 2.1, "Basic Definitions".
• Prentice-Hall
  ., chapter 2 "Local Rings of Holomorphic Functions", especially paragraph A "The Elementary Properties of the Local Rings" and paragraph E "Germs of Varieties".
• ISBN 0-521-00264-8
  .
• Giuseppe Tallini (1973). Varietà differenziabili e coomologia di De Rham (Differentiable manifolds and De Rham cohomology). Edizioni Cremonese.
  ISBN 88-7083-413-1
  ., paragraph 31, "Germi di funzioni differenziabili in un punto ${\displaystyle P}$ di ${\displaystyle V_{n}}$ (Germs of differentiable functions at a point ${\displaystyle P}$ of ${\displaystyle V_{n}}$)" (in Italian).

External links

• Chirka, Evgeniǐ Mikhaǐlovich (2001) [1994], "Germ", Encyclopedia of Mathematics, EMS Press
• Germ of smooth functions at PlanetMath.
• Mozyrska, Dorota; Bartosiewicz, Zbigniew (2006). "Systems of germs and theorems of zeros in infinite-dimensional spaces".
  analytic varieties
  in an infinite dimensional setting.