# Questions tagged [germs]

In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind which captures their shared local properties. In particular, the objects in question are mostly functions (or maps) and subsets

62 questions
Filter by
Sorted by
Tagged with
1 vote
44 views

### Addition and multiplication in $C_p^{\infty}$

I am trying to define addition and multiplication in the set of all germs of $C^{\infty}$ functions on $\mathbb{R}^n$ at a point $p$. Before continuing, I would like to pose a quick question: I know ...
192 views

### Are sheaves determined by their stalks? [duplicate]

Let $X$ be a scheme (or just a topological space) and $F$ and $G$ be two sheaves on them. If $F_x=G_x$ for all $x \in X$ i.e $F$ and $G$ are equal at stalks at every point, is $F \cong G$ ?
1 vote
43 views

### Showing that $I/I^2 \simeq T_{x_0}^{\ast} X.$

Let $X$ be a Poisson manifold with Poisson bivector field $\Pi.$ Let $x_{0} \in X$ be such that $\Pi (x_{0}) = 0.$ Let $\mathcal O (X)_{x_{0}}$ denote the ring of germs of the smooth functions on $X$ ...
1 vote
47 views

### "sheaf of germs of functions" VS "sheaf of functions"?

I encountered phrases such as "sheaf of germs of continuous functions" (e.g., page 164 of the book "Foundations of Differentiable Manifolds and Lie Groups" by Warner 1983) and &...
133 views

### Can germs be defined as a quotient of vector spaces?

Summary: Let $M$ be a smooth manifold and $p\in M$. I know of two notions of germs of functions at $p$, the more restrictive of which can be written as a quotient vector space. I am curious whether ...
77 views

### The only maximal ideal of the set of all function germs around $p$

Here is the definition we are using for the set of all function germs around p: Now, I want to show that $m(p) := \{\bar{\phi} \in \mathcal{\varepsilon}(p)| \bar{\phi}(p) = 0\}$ is the only maximal ...
1 vote
45 views

### Showing that the vector space structures induced by $\alpha$ and $\beta \alpha$ are equal(#3.3.13).

In the context of "The Tangent Space" and after defining "Germs" and to prove that the vector space structure on the tangent space does not depend on the choice of charts, here is ...
309 views

### Why are local rings called local?

I gather that rings of germs of functions at a point $p$ on a manifold/variety/etc. are local with the maximal ideal containing exactly the germs of functions which vanish at $p$. So in some sense, ...
1 vote
39 views

### Units in the ring of germs of a continuous functions at $p$.

Let $X$ be a metric space.Consider the set $A=\{(U,f): U$open set containing $p$,$f:U\to \mathbb R$ continuous$\}$.Define an equivalence relation on $A$ by $(U,f)\sim (V,g)$ if $\exists$ an open set ...
69 views

### On kernels in the category of sets (more specifically, kernels of maps between stalks)

There's a functor that taakes a presheaf $\mathcal F$ on $X$ and assigns to it the stalk at $x$, written $\mathcal F_x$. There's also a result saying that this functor is exact. In proving this, we ...
77 views

352 views

### How is the Algebra $C_{p}^{\infty}(U)$ of germs of $C^\infty$ functions in $U$ at $p$ is the Same as $C_{p}^{\infty}(M)$

Hi i am reading An introduction to manifolds by Loring and have some doubts in remark 8.2. It is written that If $U$ is an open set containing $p$ in $M$ then the algebra $C_{p}^{\infty}(U)$ of germs ...
93 views

### If $p \in U\subseteq M$ is an open subset, then $C^\infty_p(U) = C^\infty_p(M)$.

Let $M$ be a (smooth) manifold and $p \in M$. We define $C^\infty_p(M)$ to be the set of equivalence classes of smooth functions $M \to \mathbb{R}$ that are identified when they agree on some ... 87 views

### We have a germ that contains finite, infinite, oscillating and infinitesimal parts. How can we separate them?

Suppose a germ of a function at a point (from one direction) or at infinity has finite, infinite, oscillating and infinitesimal parts. Is it possible to separate it into all four, so that The ...
92 views

### Ring structure on a space of functions between vector spaces?

In this Wikipedia article about jets, in the section about rigorous definitions, for the algebro-geometric definition, they take the vector space $C^\infty_p(\mathbb R^n,\mathbb R^m)$ of germs of ...
33 views

### Meaning of "equality of functions as map germs along a curve"

I am trying to understand a notion given in this paper, summarized as the following: Let $c \colon I \to \mathbb{R}^3$ be a smooth, regular, arc-length parametrized curve with image $C$, where $I$ is ...
22 views

### What is a good reference to cite for the definition of forms in terms of germs of functions?

I would like to edit the Wikipedia articles [[Differential (infinitesimal)]] and [[Differential form]] to mention the definition of 1-forms in terms of germs of functions. None of the appropriate ...
302 views

### Problem 2.2 in Loring Tu's Introduction to Manifolds

another seemingly innocent problem in Loring Tu's Introduction to Manifolds is 2.2 (Algebra structure in $C_p^\infty$) that says Define carefully addition, multiplication, and scalar multiplication ...
1 vote
56 views

### Quotient of Ideals in the Algebra of Function Germs

Let $\mathcal{E}_n$ be the algebra of germs at the origin of smooth functions $f : \mathbb{R}^n \supset U \to \mathbb{R}$, where $U$ is an open set containing $0$, and let $M_n \subset \mathcal{E}_n$ ...
212 views

### $\mathscr{O}_{X,a}\cong \mathscr{O}_{\mathbb{A}^n,a}/ I(X)\mathscr{O}_{\mathbb{A}^n,a}$

This problem is from Gathmann's notes problem 3.23 https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/alggeom-2014.pdf Let $X ⊂ \mathbb{A}^n$ be an affine variety, and let $a ∈ X$. Show ...
431 views

### Is a germ equivalent to an infinite jet?

Not all smooth functions are analytic, as it is well known, so they in general cannot be represented as a power series. If we restrict our attention to analytic functions, then a specification of the ...
254 views

97 views

### Existence of a global involution extension.

I'm studying the paper "Local and simultaneous structural stability of certain diffeomorphisms. - Marco Antonio Teixeira". At the beginning of the paper, the author gives the following ...
206 views

### Stalks, Germs and Localisation

I've been trying to prove the following proposition: Let $(X,\mathcal{O}_X)$ be a quasi-compact ringed space which is locally isomorphic to an affine variety over an algebraically closed field $k$. ...
417 views

1 vote
168 views

### Does curvature affect these "infinitesimal isometry groups"?

This is a follow-up to a previous question, where it was concluded that at any point of Euclidean space, the "infinitesimal isometry group" is $O(n) \times \mathbb{R}^n$ and the "...
160 views

### Basic Jets and Germs calculations (Catastophe Theory)

I am a bit confused on these ideas, though they should be simple calculations. I have an exam for this in 2/3weeks and I need more examples. If you can explain 3 or more (or point me in the direction ...
1 vote
41 views

73 views

134 views

### Value of the derivative of a function at a point depends only on the germ at that point

Suppose that f : I → R is a $C^∞$ function defined on an open subset I ⊆ R. How can I show that for $a \in I$ the value $f^n (s)$, n = 1, 2, 3, . . . of the derivative of $f$ of order n at s depends ...
### Stuck on this proof that $ord(f) = ord(g)$
Let $f, g: \mathbb R \to \mathbb R$ be smooth maps such that $f(a) = g(a') = 0$ and let $\tau, \sigma : \mathbb R \to \mathbb R$ be diffeomorphisms such that $$\tau \circ f = g \circ \sigma$$ ...