# Tagged Questions

For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

1answer
42 views

### Extension of Smooth Functions on Embedded Submanifolds

In Lee Smooth Manifolds, this problem is given: if $S \subset M$ is smoothly embedded and every $f \in \mathcal{C}^{\infty}(S)$ extends to a smooth functional on $\textit{all}$ of $M$, then $S$ is ...
0answers
34 views

### Lie Algebra of $\mathrm{SO}(2)$ and $\mathrm{O}(2)$ are the SAME - why?

If $G$ is a Lie Group (with identity element of $e$), then my definition of the Lie Algebra $\mathfrak{g}$ of $G$ is the tangent space of $G$ at $e$, so that $\mathfrak{g} = T_{e}G$. The Lie Algebra ...
0answers
35 views

### Is it possible for distinct geodesics to be equivalent over a finite segment?

Is it possible for two geodesics $\gamma_1, \gamma_2$ to be identical within a finite interval without being identical outside the interval? IOW: $\gamma_1(t) = \gamma_2(t)$ for $t \in (A,B)$ but ...
4answers
48 views

0answers
36 views

### Showing that Heisenberg group is a Lie Group.

We define the Heisenberg group $H^{n}$ for $n\geq1$ as follows. As an analytic manifold $H^{n}=\mathbb{R}^{2n+1}$. We denote elements in $H^{n}$ by $(t_{i},q_{i},p_{i})$ with $t_{i}\in\mathbb{R}$ and ...
1answer
34 views

### tensor product of a line bundle with $\bigwedge^k T^*M$

I am reading a source that says: Let $L \to M$ be complex line bundle. Define $\Omega^k(M,L)=C^\infty(M,L \otimes\bigwedge^k T^*M)$. Can someone explain thoroughly what this means? What does it mean ...
5answers
532 views

### A Compact Hausdorff Space with no Manifold Structure? [closed]

What is an example of a compact Hausdorff space that cannot be given the structure of a (i) differential manifold (ii) topological manifold?
0answers
48 views

1answer
72 views

### Proof that the special linear group $\mathrm{SL}(n,\mathbb{R})$ is a smooth manifold

This is my definition of a smooth manifold I am supposed to work with: Let $\mathcal{M} \subseteq \mathbb{R}^{n}$. The set $\mathcal{M}$ is a $k$-dimensional smooth submanifold of $\mathbb{R}^{n}$ ...
1answer
24 views

### How can I calculate this integral of a differential form in a surface?

I'm trying to integrate the 2-form $\omega = A(y) dx \wedge dy - dx \wedge dz + B(z)dz \wedge dy$ in the set $R_f=\{(x,y,z),\quad z=f(x,y)\quad x^2+y^2 \neq 1 \}$ with $f$ a differentiable function ...
1answer
28 views

1answer
26 views

### Expression of a given vector field for the stereographic projection of the sphere

I have got stuck trying to solve the following problem. Let $X=-zx \frac{\partial}{\partial x} -zy \frac{\partial}{\partial y} + (1-z^2) \frac{\partial}{\partial z}$ be a vector field in ...
2answers
31 views

### Does the forgetful functor from smooth manifolds to sets preserve colimits?

It is easily shown that the forgetful functor $F: \mathbf{Man} \to \mathbf{Set}$ preserves limits ($F$ is representable), but does it preserve colimits? It certainly preserves all examples of ...
1answer
51 views