# Tagged Questions

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

30 views

### Level set of the hopf map

The Hopf map is given by the projection $\pi: \mathbb{S}^3 \to \mathbb{S}^2$, and: $\pi: z \mapsto zi\bar{z}$, where $z \in \mathbb{S}^3$ and $i \in \mathbb{H}$ is a unit quaternion. Show that ...
371 views

### Difference Between Tensor and Tensor field?

I don't understand the difference between tensor and tensor field. I'm learning from Barret O'neill's Semi-Riemann Geometry and here are the definitions: If $A:(V^*)^r \times V^s\to K$ ...
36 views

### Intersection of kernels of linearly independent smooth 1-forms on $\mathbb R^n$

I'm trying to solve the following problem: Let $\omega^1,\dots,\omega^k$ be smooth $1$-forms on $\mathbb R^n$ that are linearly independent at each point of $\mathbb R^n$. For $p\in\mathbb R^n$, ...
38 views

186 views

### Which Algebraic Properties Distinguish Lie Groups from Abstract Groups?

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
20 views

### Proof Writing: Given 2 two dimensional manifolds $\emptyset \neq N \subseteq M \subseteq \mathbb{R}^3$, $N$ is compact, $M$ is pconnected: $N = M$

Statement: Given 2 two-dimensional manifolds $\emptyset \neq N \subseteq M \subseteq \mathbb{R}^3$, if $N$ is compact and $M$ is path-connected, then $N = M$. Proof: We know that there is at least ...
30 views

### Why are PDEs with Hamiltonians usually solved on compact manifolds?

The title is self explaining: I see in a lot of literature that PDEs with some Hamiltonian structure in it are solved over a torus or some other compact manifold. Why is that? At least I now that it ...
34 views

### Brownian motion on a manifold

If I have a manifold $M$ and a chart $\left(x,U\right)$, is it possible to simulate Brownian motion on that manifold by solving an SDE in the chart representation $x\left(U\right)$ and then use the ...
29 views

### Symplectic form on $T^ ∗X$

If $\mu$ is any closed 2-form on a manifold $X$, then $d\alpha_X + π^∗\mu$ is also a symplectic form on $T^ ∗X$, where $\alpha_X$ is tautological one-form and $\pi:T^*X\to X$ is projection. In fact, ...
74 views

### Explicit form of the exponential map

I am stuck by the following problem. Let $g = 1/y^2 (dx \otimes dx + dy \otimes dy)$ be a Riemannian metric on the half-plane $S = \mathbb{R}^2_{y > 0}$. What is the explicit form of the ...
829 views

### Understanding the Definition of a Differential Form of Degree $k$

Let $M$ be a smooth manifold. A differential form of degree $k$ is a smooth section of the $k$th exterior power of the cotangent bundle of $M$. Does it mean that a differential form of degree $k$ ...
87 views

### Kirby diagrams for nonorientable $4$-manifolds

In http://www.math.msu.edu/~akbulut/papers/akbulut.lec.pdf, which is a (still developed) set of lecture notes on 4-manifolds by Selman Akbulut, in section 1.5 there is a way to draw a non-orientable ...
14 views

### Is there an atlas of Kirby diagrams of 4-manifolds?

We've defined an invariant of 4-manifolds (article) in terms of Kirby diagrams and I'm looking for a lot of manifolds to test it on. Now I'm not a big differential topologist myself, and coming up ...
33 views

### $A\cup \text{Fr}A$ is a manifold

I'm dealing with the following exercise from Spivak's "Calculus on Manifolds": Let $A\subset \mathbb R^n$ be an open set such that the (topological) boundary of $A$, $\text{Fr}A$ is an $n-1$ ...
18 views

38 views

### Proof formalization help: Given a vector $u$ in $\mathbb{R}^3$ and a compact 2 dimensional manifold $m$, $u$ is normal to the $m$ at 2 points.

Proof formalization help: Given a vector $u$ of Euclidean length $1$ in $\mathbb{R}^3$ and a compact 2 dimensional manifold $m$, $u$ is normal to the $m$ at at least 2 points. I've thought about the ...
112 views

### Hausdorff measure, volume form, reference

Could you tell me where I can find a reference to the fourth corollary in this encyclopedia? Corollary $4$: Assume that $\Sigma \subset \mathbb{R}^m$ is an $n$-dimensional $C^1$ submanifold....
46 views

### equivalent characterizations of manifolds such that configuration spaces are homotopy equivalent

Let $M$ and $N$ be manifolds. If $M$ is homeomorphic to $N$, then the $k$-th configuration spaces $F(M,k)$ is homeomorphic to $F(N,k)$. If $M$ is homotopy equivalent to $N$, then the $k$-th ...
167 views

### quotient by a group that acts almost freely

How can I show that if a compact lie group G acts almost freely and smoothly on a manifold M, then M/G is Hausdorff? (an action is almost free if $G_x$ is finite for all x $\in$ M)
52 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 ...
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 ...
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 ...
67 views

### Cut out characteristic Submanifold N ($w_1(M)=w_1$(Normalbundle of N in M)). Remainder M-N is orientable? Orientation Character or CW-Structure?

So I try to understand the following (which is taken from Dold, "Structure of the cobordism ring", Page 3/274, in the paragraph "1. La suite exacte de Wall."): https://eudml.org/doc/109581 ): Giving a ...
308 views

### “Completing” a vector field on a non-compact manifold $M$

Suppose I have a non-compact smooth manifold $M$ and an arbitrary nowhere-vanishing smooth vector field $X$ on $M$ which is not complete. Is there a way to create a smooth vector field $V$ that is ...
### 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. ...
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$ ...