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

learn more… | top users | synonyms (1)

1
vote
1answer
29 views

Cartan's structural equation

I am reading through a proof of Cartan's Structural equation: $$\Omega=d\omega + \frac{1}{2}[\omega\wedge\omega]$$ In the case when the input is two vertical vectors $V_1$ and $V_2$, we can ...
0
votes
0answers
21 views

Unbounded Geodesics and Nonpositive Curvature

I have the following interesting(?) question: Let $M$ be a complete Riemann manifold. Suppose that it is of non-negative curvature. I want to know if $M$ has unbounded geodesics. As the question is ...
0
votes
0answers
24 views

Showing that the 2-torus is parallelizable

Here is the question Let $$ \widehat{\xi}: \mathbb{R}^2 \to \mathbb{R}^2 $$ be a smooth function satisfying $$ \widehat{\xi}(x,y)=\widehat{\xi}(x+m, y+n) $$ for all $x,y\in \mathbb{R}, ...
1
vote
0answers
15 views

Non-affinely parametrized geodesics

Consider a non-affinely parameterised geodesic, i.e., a geodesic whose tangent vector field obeys $\nabla_X X = fX$ for some function $f$. Prove that one may reparameterise the geodesic so the tangent ...
5
votes
1answer
180 views

Different definitions of differential forms?

I am a physicist and was reading about differential forms in Classical Mechanics. Now, I thought that a two-form is a smooth map $\omega : M \rightarrow \Lambda(T^*M)$ so that a point $p$ on the ...
1
vote
1answer
23 views

Fractional Sobolev spaces on closed manifolds

Let $M$ be a closed manifold and $0<s<1$. How is the fractional Sobolev space , $H^s(M)$ defined? In particular if $M$ is a closed smooth simple curve in the place how is $H^{1/2}(M)$ ...
1
vote
0answers
25 views

Bianchi Identity - Gauge Theory

I am reading through some lecture notes (found here) and following a proof of the Bianchi identity in the context of principal bundles. That is, $h^*\Omega = 0$, where $\Omega$ is the curvature ...
1
vote
1answer
28 views

Gauge transformation on a principal bundle

I am reading through lecture notes found here and on pg 11 they define a map $\overline{\phi}_{\alpha}:\pi^{-1}(U_{\alpha})\rightarrow G$ by ...
0
votes
2answers
33 views

CW -complex structure of boundary of a manifold

Given a CW-complex structure of manifold with boundary .Is there any natural way to construct CW-complex structure of its boundary? Thanking you.
0
votes
1answer
24 views

The continuity of a function defined by pieces

Let $M$ be a topological $n$-manifold and $\varphi \colon U\to \mathbb{R}^n$ a chart of $M$. Assume that $\varphi(U)=B(q, \varepsilon)$ is an open ball in $\mathbb{R}^n$ and that the map $f\colon B(q, ...
12
votes
1answer
134 views

How equivalent are the homeomorphism and diffeomorphism groups of 3-manifolds?

Every topological 3-manifold carries a smooth structure, unique up to diffeomorphism. In addition, "up to homotopy", the maps between them are the same: every continuous map is homotopic to a smooth ...
2
votes
1answer
54 views

Submersions define Foliations

Let $M$ be a $C^\infty$ manifold of dimension $m$. A $C^r$ foliations of dimension $n$ of $M$ is a $C^r$ atlas $\mathcal{F}$ of $M$ which is maximal (not needed) with the following properties: a) If ...
3
votes
2answers
62 views

$\Delta_L(\text{im}\,\delta^*_g)\subset\text{im}\,\delta^*_g$ and $\Delta_L\big(\text{ker}\,\text{Bian}(g)\big)\subset\text{ker}\,\text{Bian}(g)$?

Let $(M,g)$ be an Einstein manifold with Levi-Civita connection $\nabla$ and whose Ricci tensor $\text{Rc}(g)=g$, in components $R_{ij}=g_{ij}$. The Lichnerowicz Laplacian of $g$ is the map ...
0
votes
2answers
119 views

Integration over manifolds

S is subset of $\Bbb R^3 $ consisting of the union of 1) $z$ axis 2) the unit circle $x^2+y^2=1,z=0$ 3) the points $(0,y,0)$ with $y \ge1 $ Let $A$ be the open set $\Bbb R^3-S$. Let $C_1, C_2, ...
1
vote
0answers
29 views

Invertible Matrices as a Manifold [duplicate]

I've been trying to prove that the set of all invertible $n \times n$ matrices is a differentiable manifold. My attempt is as follows: Define a map $\alpha : X \to XX^{-1} - I$ I take the inverse: ...
1
vote
0answers
42 views

Showing the Sum of $n-1$ Tori is a Double Cover of the Sum of $n$ Copies of $\mathbb{RP}^2$

I want to show that the non-orientable surface of genus $n$ has a 2-sheeted cover by an orientable surface of genus $n-1$. The base cases are easy: $S^2$ covers $\mathbb{RP}^2$ and I worked on a ...
1
vote
2answers
75 views

How to motivate vectors as derivations?

In a manifold it's easy to motivate the definition of vectors as equivalence classes of curves. On the other hand the definition as derivations is harder to motivate. I know how to show that the space ...
1
vote
1answer
57 views

Möbius band inside projective plane

How can I see inside the projective plane the Möbius band? I need to know how the Möbius Band appears inside the projective plane. I know it is easy using identifications and algebraic topology. ...
1
vote
1answer
93 views

A question about Möbius strip

The Möbius strip (without boundary) $ S $ can be realized as a regular surface of $ R^3 $ (regular surface is meant in the sense of do Carmo's book). Using a 'manifold' language it can be proved that ...
2
votes
1answer
40 views

What does “orthogonal complement” mean in Milnor's Topology from the Differentiable Viewpoint?

Milnor writes on p. 11 If $M'$ is a manifold which is contained in $M$, it has already been noted that $TM'_x$ is a subspace of $TM_x$ for $x \in M'$. The orthogonal complement of $TM'_x$ in ...
2
votes
0answers
67 views

Complex structure on the product of two complex Kähler manifolds

I have the following question: Let $(M,J_{M}, \omega_{M})$ and $(N,J_{N}, \omega_{N})$ be two Kähler manifolds. I consider $M \times N$. Can I introduce on $M \times N$ a complex structure ? I think ...
4
votes
1answer
29 views

Sections of associated bundles

Let $\pi:P\rightarrow M$ be a Principal bundle and $\pi_V:P\times_G F\rightarrow M$ be its associated bundle via the representation $\rho:G\rightarrow GL(V)$. Fact: $\Gamma(P\times_G ...
7
votes
0answers
82 views

Is a compact, simply-connected 3-manifold necessarily $S^3$ with $B^3$'s removed?

Let $M$ be a compact, simply-connected 3-manifold (which is also smooth and connected). Is $M$ diffeomorphic to $S^3$ with a finite number of $B^3$'s removed? This seems like a handy fact, but I ...
0
votes
0answers
16 views

Adjoint representation for matrix groups (Gauge theory)

This is a question in regards to an identity in Gauge theory. Let $\omega$ be the connection one form on a principal bundle $\pi:P\rightarrow M$ and let $A_{\alpha}:=s_{\alpha}^*\omega$ be the gauge ...
0
votes
0answers
26 views

Sections of associated bundles isomorphism between spaces

I am reading some lecture notes which can be found here . They say that sections of $P\times_G F$ are represented by the functions $f:P\rightarrow F$ satisfying $f(pg)=\rho(g^{-1})\circ f$. Or ...
1
vote
1answer
39 views

Winding number of differential curve

Consider the one-form $\omega$ on $\textbf{R}^2$\ {(0,0)} defined by $\omega$ = $\frac{xdy-ydx}{x^2+y^2}$ Let K $\subset$$\textbf{R}^2$\ {(0,0)} denote the positive x-axis. Let $\gamma$ : $[a,b]$ ...
2
votes
2answers
45 views

Exterior differentiation of one form on a smooth manifold

Prove : $d$$\omega$$(V,W)$=$V \omega (W) - W \omega(V) -\omega([V,W])$ where $\omega$ is a one-form and V,W are vector fields on a smooth manifold M. I'm fine with the right side of the equation, ...
0
votes
0answers
29 views

One form and Vector fields on a manifold in terms of local coordinates.

Prove : $d$$\omega$$(V,W)$=$V \omega (W) - W \omega(V) -\omega([V,W])$ in local coordinates where $\omega$ is a one-form and V,W are vector fields on a smooth manifold M. I do not know how to ...
1
vote
0answers
50 views

Gradient in local coordinates on a manifold with Riemannian metric

Let $M$ be a smooth manifold with a Riemannian metric g : $TM\otimes TM$ -> R If f is a smooth function from M to R, the gradient of f with respect to g is the vector field $\nabla f$ defined by ...
0
votes
1answer
35 views

Finding coordinate charts from a torus (square with sides identified) to $\mathbb R^2$.

I have a torus which is thought of as the unit square with sides identified in the usual manner. I know that for every point on the square I have to find a neighborhood and a diffeomorphism to open ...
1
vote
1answer
50 views

Guillemin & Pollack's proof on Whitney embedding theorem

I am confused with a little detail in Guillemin & Pollack's proof on Whitney embedding theorem. Please see page 54 in their book "Differential topology". In the second paragraph of page 54, they ...
0
votes
1answer
25 views

Quotient of a cylinder by the product of a rotation and translation

Let $D$ be the unit disk, and $$f : D \times \mathbb R \rightarrow D \times \mathbb R$$ be defined by $$f(z,t)=(e^{2i\pi \alpha}z, t+1)$$ where $\alpha$ is an irrational number. Now consider $X = (D ...
2
votes
1answer
59 views

Extension of Sections of Restricted Vector Bundles

Edit: Changing Question: There are two questions related questions: extending a smooth vector field extending a vector field defined on a closed submanifold I'm trying to answer a question which is ...
0
votes
0answers
20 views

A complicated question on barycenter map

I have $\Omega\subset \mathbb{R}^n$ is an open bounded subset, i define for $r>0$ the set $\Omega_{r}^{+}=\{x\in \mathbb{R}^n, d(x,\Omega)\leq r\}$ we suppose that $0\in \Omega.$ I have also this ...
-1
votes
1answer
52 views

Passage in a proof of a lemma

Here is a lemma and a proof given to me in class. Lemma If $M$ is a smooth manifold, $K\subseteq M$ a compact subset, $A\subset M$ an open set containing $K$< then there exists a compact-support ...
1
vote
0answers
53 views

Connection on Tangent Bundle of Group Manifolds

The thing puzzling me is about a transformation rule of connection on tangent bundle of group manifolds: Assume one has a compact and simply connected Lie group $K$. One can give a metric $g$ on $K$ ...
1
vote
1answer
146 views

Hermitian form, fundamental $2$-form of Kahler structure on $\mathbb{C}^n$

I've come across the following (it is an excerpt of Stolzenberg's lecture notes 19): Wirtinger's Inequality. Let $L$ be a complex linear space and let $M$ be a real even-dimensional ...
1
vote
1answer
99 views

Integration of forms on non-simply connected manifolds

What I know is that closed forms are not exact on non-simply connected manifolds, so for instance, if $E$ is a closed form, then $dE = 0$ but $\int_\gamma E \neq 0$, where $\gamma$ is a ...
3
votes
1answer
55 views

Associated bundles: isomorphism between spaces of differential forms.

I think this will be an easy question for numerous people. Let $\pi:P\rightarrow M$ be a principal bundle and $\rho:G\rightarrow GL(V)$ a representation. The space of $k$ forms on $M$ with values in ...
1
vote
2answers
68 views

Gauge fields and restrictions of the connection one form

I am working through some lecture notes on principal bundles and am stuck on the proof of a certain proposition. In the following, $\pi:P\rightarrow M$ is a principal bundle, $\omega$ is the ...
1
vote
0answers
22 views

Trouble proving identity - Gauge theory/Maurer-Carton one-form/Adjoint representation

The Identity I am trying to prove is the one in this already asked question how to show that ${ad}_{g_{\alpha\beta}} \circ g_{\alpha\beta}^{\star}\theta=-g_{\beta\alpha}^{\star}\theta$? The author ...
2
votes
1answer
42 views

Are knot complements prime 3-manifolds?

Well, that is basically the question. Is the complement of a knot, i.e. an smoothly embedded copy of $S^1$ in $S^3$ a prime $3$-manifold? Here I mean by prime: A connected $3$-manifold $M$ is prime ...
2
votes
1answer
68 views

Are open sets in $R^n$ homeomorphic to $R^n$?

I am working on exercise 1.1 and I think the way to do this would be to show that open sets are homeomorphic to $R^n$ or open balls in $R^n$. Is this even true? I'm not sure how to go about ...
4
votes
3answers
171 views

Are there such things as 'locally homogenous spaces'?

A Euclidean space has the property that every point has a neighbourhood that is homeomorphic to some neighbourhood of any other point. I'm not sure what the name of this property is - I thought it ...
0
votes
0answers
20 views

Why is the kernel of the connection one form a connection on a principal bundle?

Let $\pi:P\rightarrow M$ be a principal bundle and let $\omega\in \Omega(P;\mathfrak{g})$ be a one form satisfying $\omega(\sigma(X))=X$ and $R_g^*\omega=\text{Ad}_{g^{-1}}\circ\omega$ Then ...
1
vote
1answer
88 views

Manifolds, coordinate systems, books

Which books, say Lee's Introduction to Smooth Manifolds or Munkres' Analysis on Manifolds explains how the theory of a differentiable manifolds can be used to solve a problem that is expressed in a ...
2
votes
0answers
37 views

Difference of two connections is a tensor

I am currently reading through Jost's Riemannian Geometry and Geometric Analysis and am seeking clarification of the statement in the title. Jost abstractly defines a connection on a vector bundle ...
2
votes
2answers
211 views

Why is Klein bottle non-orientable?

I am doing the homework of differential geometry and encounter this problem: The Klein bottle $K^2$ is defined to be the identification space $$[0, 1] \times [0, 1]/{\sim}, \text{ where the ...
0
votes
0answers
28 views

What are all angle preserving linear operators on $\mathbb R^n$?

I´m working on Spivak's Calculus on Manifolds and I met this exercise. My immediate answer was 'all the rotations' but I can't explain why. Am I right? Can you give a hint or something to be able to ...
0
votes
1answer
19 views

Manifold that is Hausdorff and second countable

Why are we usually assume that a manifold $M$ has to be a Hausdorff space and Second countable ? Is it really hard to study smooth manifolds without making these assumptions?