# Tagged Questions

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

49 views

### Computing relative de Rham cohomology?

Let $f: N \to M$ be a smooth map. Then in Bott and Tu they define a relative de Rham complex $\Omega^{\bullet}(f)$ where $\Omega^k(f) = \Omega^k(M) \oplus \Omega^{k-1}(N)$ with coboundary map given in ...
47 views

### Showing that the set of semi-orthogonal matrices is a $C^\infty$ submanifold

For $k, n \in \mathbb{N}$ with $k ≤ n$, we define $$S_{n, k} = \{X \in \mathbb{R}^{n \times k}: X^t X = I_k\}$$ where $I_k$ is the identity matrix of rank $k$. I want to prove that $S_{n, k}$ is a ...
34 views

### Under which additional hypothesis are open maps locally injective

Recollection of basic definitions: We recall the basic definitions that a continous map of topological spaces $f : X \to Y$ is open if $f(U)$ is an open subset of $Y$ whenever $U$ is an open subset ...
52 views

### Is the cuspidal cubic $\{y^2 = x^3\} \subset \Bbb R^2$ not smooth?

Cuspidal cubic $y^2=x^3$ in $\Bbb R^2$ "seems to be not smooth" intuitively because its pictured graph has a cusp at the origin. But I read from book that it is a smooth manifold. I feel so confused. ...
15 views

### explaination of the metric tensor on another manifold?

In skew -product decomposition the following features are observed :- 1.the Riemannian Manifold $(M,g)$ has a product form of $$M=R\times \Theta$$ Where $\Theta ,R$ are connected $C^\infty$ ...
30 views

### the definition of relative Thom spaces

I find the definition of Thom space on the book Characteristic classes, J.W. Milnor, J.D. Stasheff, page 205: For a vector bundle $\xi$ with a Riemannian metric over a $CW$-complex $B$, let $A$ ...
36 views

42 views

32 views

70 views

26 views

### Integrate 2-Form over surface

Problem: Calculate $\int_S dx \wedge dy + dy \wedge dz$, where $S$ is the surface given by $S = \{(x,y,z) : x = z^2 +y^2 -1, x < 0\}$. Wikipedia says: Let  \omega=f_{z}\, \mathrm dx \wedge \...
9 views

### Sum two nearest function of two class are the nearest function of the sum class

Suppose $x,\mu:[0,1]\rightarrow \mathbb{R^2}$ two smooth function and $\Gamma = \{\gamma : [0, 1] \rightarrow [0, 1]| \gamma (0) = 0, \gamma (1) = 1, \gamma$ is a diffeomorphism $\}$. Here $\Gamma$ ...
38 views

### Differential of the multiplication and inverse maps on a Lie group

I'm trying to solve the following two problems: Let $G$ be a Lie group with multiplication map $\mu\colon G\times G\to G$, and let $\ell_a\colon G\to G$ and $r_b\colon G\to G$ be left and right ...
34 views

### Why does $(X_a,Y_b)(f\circ \mu(a,b)) = X_a(f\circ R_b(a)) + Y_b(f\circ L_a(b))$?

On the first page of these notes: if $\mu\colon G\times G\to G$ is the multiplication map on a Lie group $G$, then given a point $(a,b)\in G\times G$ and letting $R_b$ and $L_a$ denote right-...
Consider, in the $(x, y)$-plane, the family of curves given by $y = (x - c)^3$, for the various possible values of the number $c$. Denote by $v$ the unit vector field everywhere tangent to this family ...
### $M=M_1\cup M_2$ is not necessarily a manifold, when $M_1\cap M_2=\emptyset$, $M_i$ a manifold
While $M_1\cap M_2=\emptyset$, $M_i$ a manifold, show $M=M_1\cup M_2$ is not necessarily a manifold. Another question, prior to this one, was to show the union is a manifold, where the conditions ...