Questions tagged [manifolds]

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

Filter by
Sorted by
Tagged with
1 vote
0 answers
11 views

Random Walk on a Discrete Circle of n-dimensions and a Differentiable Manifold of n-dimensions

Let us have a circle of k discrete points. We will walk on this 2 dimensional circle randomly with a 50%-50% distribution to go clockwise or counterclockwise. If we take the number of steps we take to ...
Ege Artan's user avatar
2 votes
1 answer
37 views

Is a monomorphism of vector bundles an embedding?

Let $(p,E,B)$ and $(p',E',B)$ be two $C^r$ vector bundles over the same base space $B$. (When $r>0$ all the spaces are $C^r$ manifolds and all the maps are $C^r$ smooth. When $r=0$ they are just ...
Skyskie's user avatar
  • 303
1 vote
1 answer
48 views

An example of a non hausdorff space

Here is the question I am trying to understand its solution: Show that there exist nonorientable $1$-dimensional manifold if the Hausdorff condition is dropped from the definition of a manifold. I ...
Brain's user avatar
  • 905
0 votes
0 answers
67 views

Basic questions about the flat torus

I am trying to undesrtand a bit better the geometry of the flat torus $T^n=\mathbb{R}^n/{\mathbb{Z}^n}$ and during this process some question that I would like to solve have arising: Regarding the ...
mejopa's user avatar
  • 423
0 votes
0 answers
69 views

What is the difference between a parameterization of a manifold and a local chart?

I am confused on the difference between a parameterization of a manifold $M$ and local charts on $M$. If $M$ has dimension $n$, we may find a subset $U \subset \mathbb{R}^n$ such that there exists a ...
CBBAM's user avatar
  • 4,807
1 vote
0 answers
58 views

Closed curve in a torus diffeomorphic to a circle?

In Example 15.9 of Tu's "An Introduction to Manifolds: Second Edition", it is written Let G be the torus $R^2/Z^2$ and L a line through the origin in R2. The torus can also be represented ...
Foo's user avatar
  • 11
0 votes
1 answer
53 views

What is the meaning of this statement in the proof that grassmanian is a manifold?

In wiki page https://en.wikipedia.org/wiki/Grassmannian of Grassmannian, in the endowment of smooth structure to Grassmannian, I encounter this statement, "For each ordered set of integers $1 \...
吴yuer's user avatar
  • 301
0 votes
0 answers
136 views

Does a special orthogonal group $SO(4) \supset SU(2)$ contain a special unitary group? [closed]

Note that in the context of Lie group, The spin group $Spin(4) = SU(2) \times SU(2)$ is a product of two special unitary groups. Can you answer: Does $SO(4)=Spin(4)/{\mathbf{Z}/2}=\frac{SU(2) \times ...
zeta's user avatar
  • 155
3 votes
2 answers
137 views

Is the subset of symmetric $ 3\times 3 $ matrices with given eigenvalues a manifold?

For $ \mu_1>\mu_2>\mu_3 $ are three real numbers. Consider th set $$ S(\mu_1,\mu_2,\mu_3)=\{A\in M(3,\mathbb{R}):,A^T=A,\,\,\lambda_1(A)=\mu_1,\lambda_2(A)=\mu_2,\lambda_3(A)=\mu_3\}, $$ where $ ...
Luis Yanka Annalisc's user avatar
2 votes
0 answers
52 views

How to give an explicit manifold structure on $ \{n\otimes n-m\otimes m:n,m\in S^2,(n,m)=0\} $.

Consider $ N $ defined as follows $$ N=\{n\otimes n-m\otimes m:n,m\in S^2,\,\,(n,m)=0\}\subset M^{3\times 3}, $$ where $ S^2 $ denotes the two dimensional sphere, $ (\cdot,\cdot) $ represents the ...
Luis Yanka Annalisc's user avatar
1 vote
1 answer
104 views

Manifold of lines in $\mathbb{R}^3$

From [1, pag. 106] we learn that the set of all lines in in $\mathbb{R}^3$ is a $4$-$D$ manifold $\mathcal{S}$ embedded in $\mathbb{R}^6$: Consider a space line $L$. Let $H$ be the point on $L$ ...
Arrigo Benedetti's user avatar
0 votes
1 answer
31 views

Paraboloid and parametrizations

After having studied some concepts and definitions regarding manifolds (at a basic level), I wondered if a paraboloid with equation $P = \{ x^2 + y^2 = z\}$ was a manifold. The answer was affirmative ...
Daniel C.'s user avatar
  • 1,004
2 votes
1 answer
138 views

A question on the manifold $ \{n\otimes n-m\otimes m:n,m\in S^2,(n,m)=0\} $.

Consider a manifold $ N $ defined as follows $$ N=\{n\otimes n-m\otimes m:n,m\in S^2,\,\,(n,m)=0\}\subset M^{3\times 3}, $$ where $ S^2 $ denotes the two dimensional sphere, $ (\cdot,\cdot) $ ...
Luis Yanka Annalisc's user avatar
1 vote
1 answer
44 views

Manifold with the same dimension as $\mathbb{R}^n$

I am studying manifolds at a basic level, and I was wondering if, when a set has the same dimension as the space where it is defined (take, for instance, $\{ (x,y,z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 ...
Daniel C.'s user avatar
  • 1,004
0 votes
0 answers
51 views

Differential forms, antisymmetry, and integrals

Is it appropriate to think of surface integrals and volume integrals that come up in physics as integrals over a region (connected subset) of a 2D and a 3D manifold, where we add up the contributions ...
bkocsis's user avatar
  • 1,176
2 votes
1 answer
41 views

Question on equation of dimensions of tangent spaces in Proposition 5.38 of Lee's Smooth Manifolds

I am having trouble figuring out an equality on dimensions in the proof below from John Lee's Introduction to Smooth Manifolds. In the proof, how do we get $\dim T_p M - \dim T_{\Phi(p)}N=\dim T_p S$? ...
nomadicmathematician's user avatar
0 votes
0 answers
27 views

A regular, connected, compact surface with curvature on $[0,1]$

today was my final differential geometry exam and there was a problem that I partially solved, but I have some doubts. The problem asked to prove that there exists a regular, connected, compact ...
Nestor Bravo's user avatar
0 votes
1 answer
53 views

Characterization of the tangent space of an embedded submanifold via defining map

I have a confusion on function composition in the proof below by John Lee. We define $\Phi: U \to N$ to be a local defining map for $S$, i.e. $U$ is an open subset of $M$ and $S \cap U$ is a regular ...
nomadicmathematician's user avatar
0 votes
1 answer
49 views

On the proof of the uniqueness of smooth structures on submanifolds by John Lee

I am having difficulty with an argument in the proof below. So we assume $\tilde{S}$ to be an immersed submanifold with some topology other than the subspace topology and some smooth structure, and $S$...
nomadicmathematician's user avatar
0 votes
0 answers
28 views

$\frac{\partial }{\partial t}(f \circ \phi^{-1} \circ \phi \circ \gamma)(0)=\frac{\partial}{\partial t}(f \circ \psi^{-1} \circ\psi\circ \gamma)(0)$

I feel like this result is in a way obvious, since we can just apply the chain rule several times: \begin{aligned} \frac{d}{dt}(f \circ \phi^{-1} \circ \phi \circ \gamma)(0) &= D_{f\circ\phi^{-1}\...
Andreas804's user avatar
0 votes
0 answers
10 views

Proving that the collection of PDFs using GMM will form a statistical manifold

If I have a set $X=\{x_1,x_2,...,x_n:x_{i}\in\mathbb{R^3};x_{i}\neq x_{j} \text{ for }i\neq j\}$. and suppose I use the Gaussian mixture model to map fit the probability density function to this $X$ ...
Andyale's user avatar
  • 75
0 votes
0 answers
31 views

irreducible compoenets in Hamiton's first Ricci flow paper [closed]

In "Three-manifolds with positive Ricci curvature",page 288,11.6 lemma. I dont konw why $\left\lvert E_{ijk} \right\rvert ^2=\frac{7}{20}\left\lvert \partial_i R\right\rvert ^2$ ,I have used ...
Charlie Huang's user avatar
1 vote
0 answers
21 views

Optimizing linear least square subjected to manifold constraints

I am trying to optimize a function of a matrix $X \in \mathbb{R}^{m \times n}$ $$ f(X) = \frac{1}{2} \left\lVert AX - B \right\rVert_F^2 $$ s.t. $X^T X = I_n$ (identity matrix). As I've been watching ...
user8469759's user avatar
  • 5,263
7 votes
1 answer
201 views

Fundamental group of manifold and axiom of choice

It is known that the fundamental group of a manifold must be countable. As far as I am aware, a proof of this uses in an essential way the Axiom of Countable Choice. I was wondering: is it consistent ...
J. C.'s user avatar
  • 713
0 votes
0 answers
33 views

Notion of « piece of continuously differentiable manifold » in Lichnerowicz book

I am reading Linear algebra and analysis by André Lichnerowicz and there is a notion on which I find nothing on the internet. First the context : We consider $E$ and $F$ real Euclidean spaces of ...
coboy's user avatar
  • 1,130
0 votes
0 answers
40 views

How does the Riemannian Hessian change when changing the metric?

Let $M$ be a smooth Riemannian manifold with metric $\langle\cdot,\cdot\rangle_x$, and consider a smooth function $f:M\to\mathbb{R}$. Suppose that we consider another Riemannian metric $\langle\cdot,\...
IvanB's user avatar
  • 315
2 votes
0 answers
39 views

Degree of covering map of manidolds alternative proof

For context, I am doing Hatcher's exercise 3.3.9, which aims to show if $p: M\to N$ is a finite sheeted covering map of two closed, connected orientable manifolds, then the degree of $p$ (as defined ...
DevVorb's user avatar
  • 933
2 votes
0 answers
47 views

homology of a manifold without a point

For me this appears in the context of Hatcher exercise 6.a chapter 3.3. But the question stands on its own. Let $M$ be an $n$ dimensional closed manifold, and $p\in M$ an arbitrary point, my goal is ...
DevVorb's user avatar
  • 933
0 votes
1 answer
80 views

Is there a way to convert an element of $\mathfrak{so}(3)/\mathfrak{so}(2)$ into a "geometric" tangent vector on $S^2$?

From my understanding, the tangent space at the identity of the homogeneous space $\rm SO(3) / \rm SO(2)$ is just the quotient space $\mathfrak{so}(3) / \mathfrak{so}(2)$. An element in this quotient ...
Max0815's user avatar
  • 3,374
1 vote
1 answer
57 views

Are $n$-dimensional manifolds locally homeomorphic to $n$-dimensional Euclidean space $\mathbb{E}^n$ or the more general real space $\mathbb{R}^n$?

Many if not most authors use the term “$n$-dimensional Euclidean space” as synonymous with “$n$-dimensional real space”, $\mathbb{R}^n$. Some, however chose to be more rigorous and use the term ...
user175324's user avatar
3 votes
1 answer
102 views

Can every "noodly" space be decomposed into one or more manifolds?

The Premise: Let $X$ be a topological space. For any pair of points $x_0,x_1\in X$, let $\mathrm N_X(x_0,x_1)$ be the set of all subspaces $S$ of $X$ such that $x_0,x_1\in S$ and $S\cong I$ for some ...
R. Burton's user avatar
  • 4,828
0 votes
0 answers
36 views

Can we obtain estimates based on local sectional/scalar/Ricci curvature knowledge? [closed]

I am interested in lower bounding the injectivity radius at a point $p$ on a complete Riemannian manifold $M$. I can find results online saying that if we have e.g. global curvature estimates, like ...
E G's user avatar
  • 987
2 votes
0 answers
93 views

Question about this notation for m-forms and differential forms:

In many mathematics textbooks the $m$-form on $T_p \mathbb{R}^n$ is written in a compactified notation that I haven't seen before: $$\omega = \sum_{(1 \le i_1 < \cdots < i_m \le n)}a_{i_1 \cdots ...
Nate's user avatar
  • 564
1 vote
1 answer
53 views

Can one prove the covering space of a manifold is second countable without using the fact that the fundamental group of a manifold is countable?

I'm trying to prove that the covering space X of a manifold Y is a manifold of the same dimension. I was stuck on proving X is second countable, more specifically, on proving the fiber of any element ...
minukesis's user avatar
1 vote
2 answers
84 views

Change of Riemannian metric as a smooth map

I just started studying Riemannian geometry, so excuse me if I don't have all the necessary tools yet. Let $M$ be a finite dimensional smooth Riemannian manifold and let us denote as $\langle \cdot,\...
IvanB's user avatar
  • 315
1 vote
0 answers
49 views

Does this 'n-transitivity' property of manifolds have a name?

It seems that if I take any n points in a connected manifold of 2 dimensions or more, $M$, $x_i$, and any other points in $M$, $y_i$, I can continuously move every point in $M$ around until $x_1$ is ...
Zoe Allen's user avatar
  • 4,109
1 vote
1 answer
61 views

Prove that $\gamma$ is constant iff $\gamma′(t) = 0$ for all $t \in J$ if there is always an interval containing $t$ in which $ \gamma$ is const

I am trying to prove the following lemma. Let $M$ be a smooth manifold (a) Let $J$ be an open interval and $ \gamma: J \to M$ a smooth curve. Suppose for every $t \in J$ there is an open interval $...
darkside's user avatar
  • 511
-4 votes
0 answers
55 views

the problem of Riemannian manifolds [closed]

(3-9) suppose G is a compact Lie group with a left-invariant metric g and a left-invariant orientation.Show that the Riemannian volume form dVg is bi-invariant.
Qi Lin's user avatar
  • 1
2 votes
1 answer
79 views

Manifold of $SU(2)$ and it's relation to physical rotations

I'm a physicist trying to make sense of some topics of group theory and their applications to quantum mechanics. Let me state the things I think I understand Special Orthogonal Group $SO(3)$ This is ...
P. C. Spaniel's user avatar
0 votes
0 answers
49 views

Cohomology of product Grassmann manifolds

For infinite complex Grassmann manifolds, we always have embedding $\tau\colon G_m\times G_n\to G_{m+n}$, then how to prove the induced homomorphism of cohomology rings $\tau^*\colon \mathsf{H}^*(G_{m+...
Frank's user avatar
  • 139
2 votes
0 answers
42 views

Tangent Bundle of a smooth manifold with boundary

This is exercise 3.19 from John Lee's Introduction to Smooth Manifolds that I can't quite prove. Suppose $M$ is a smooth manifold with boundary. Show that $TM$ has a natural topology and smooth ...
nomadicmathematician's user avatar
1 vote
1 answer
50 views

Pullback of a Partition of Unity

I'm trying to prove that the collection of function $\{F^*\rho_\alpha\}$ is a partition of unity on $N$ subordinate to the open cover $\{F^{-1}(U_\alpha)\}$ of $N$. Here $\{\rho_\alpha\}$ is a ...
一団和気's user avatar
0 votes
0 answers
89 views

Proving $S^{1}$ is a manifold under the quotient topology

Lets say I have defined $S^{1}$ as $[0,1]/\sim$ where $x\sim y$ when $x=y$ except when $x,y$ equal 0 or 1. In other words, $[0,1]/\sim$ is the singletons and the set $\{0,1\}$. I want to show that ...
Manseej Khatri's user avatar
1 vote
0 answers
33 views

$n-$ forms and relation to Lebesgue integral [duplicate]

I am self-learning differential geometry, may I ask the following questions: If a 1-form is a linear function $\omega :T_p\mathbb{R}^n\to \mathbb{R}$, does it mean it's just dot product of the ...
HIH's user avatar
  • 369
0 votes
1 answer
62 views

Prove that the trajectory of the image of a 3D fixed point by a certain parametric matrix is a smooth curve in $S^2$

For $t \in \Bbb R$ we give the matrix $R(t)=\begin{pmatrix} \cos(t) & − \sin(t) &0 \\ \sin(t)& \cos(t) & 0 \\ 0 & 0 &1\end{pmatrix}$ If $p \in \Bbb R^3$ (written as a column ...
some_math_guy's user avatar
0 votes
0 answers
29 views

Holonomy vs structure group of tangent bundle

Given a Riemannian manifold $(M,g)$, is the holonomy group of $g$ the structure group of the oriented tangent bundle on $M$? If not, is there a relation between the two? Their definitions seem quite ...
user984949's user avatar
1 vote
0 answers
28 views

Manifold measure as the limit of "weighted" lebesque measures.

Let $\mathcal{M} \subseteq (0,1)^n \subseteq \mathbb{R}^n$ be a d dimensional differentiable manifold and $f: [0,1]^n \rightarrow \mathbb{R}^{n-d}$ be a smooth function such that $\mathcal{M} = f^{-1}(...
Lukas's user avatar
  • 11
0 votes
1 answer
82 views

Orientability of top-dimensional manifolds (with boundary)

Is every top-dimensional manifold-with-boundary orientable? If this is not true, is there an easy-to-understand counterexample? EDIT: Some context in case this question was unclear. The hypotheses of ...
Jeffrey Wu's user avatar
3 votes
1 answer
51 views

Is every topological submanifold in $\Bbb{R}^n$ locally a level set?

It's well known that smooth embedded submanifold in $\Bbb{R}^n$ locally a level set (and locally is a graph), as in the thread Is every embedded submanifold globally a level set? setting up. What if ...
onRiv's user avatar
  • 1,204
1 vote
0 answers
39 views

Riemannian metric on fixed rank manifold

I know that one can define metrics on the manifold of SPD matrices $$ \mathcal{S}^n = \{ A \in \mathbb{R}^{n\times n} \ | \ \text{A positive semi-definite} \} $$ like the Log-Euclidean metric or the ...
Nomeal's user avatar
  • 11

1
2 3 4 5
172