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)

5
votes
5answers
503 views

Different definitions of a “one-form”

I started self-studying some differential geometry while using several different sources, but I'm confused about the notion of a one-form and how different places define it differently. Here are some ...
5
votes
1answer
159 views

$K$-theory of smooth manifolds: continuous vs. smooth vector bundles

Suppose I have a smooth manifold $M$, and want to consider the $K$-theory $K^0(M)$. I could define this in the usual way (by taking the Grothendieck group of the monoid of equivalence classes of ...
5
votes
2answers
98 views

frustrating experience about differential geometry

I am felling rather frustrated now, after taking a long time to study differential geometry, but with little progress... Indeed my major is mainly numerical analysis. I am studying modern geometry, ...
5
votes
1answer
97 views

Is a bounded (Riemannian) manifold always totally bounded?

Let $(M,g)$ be a finite dimensional Riemannian manifold. Suppose it is bounded as a metric space, i.e. $$\sup \{ d(x,y) | x,y \in M \} < \infty$$ where $d$ is the distance induced by $g$. Is $M$ ...
5
votes
1answer
104 views

Is there any way to define differentiablity without any reference to the Euclidean space?

We define metric spaces based on the properties of the real numbers $\Bbb{R}$. In the same spirit we define smooth manifolds. But there is a more general and elegant way to formulate our intuition of ...
5
votes
1answer
155 views

Topologist's Sine Curve not a regular submanifold of $\mathbb{R^2}$?

I am trying to work out the details of following example from page 101 of Tu's An Introduction to Manifolds: Example 9.3. Let $\Gamma$ be the graph of the function $f(x) = \sin(1/x)$ on the ...
5
votes
2answers
825 views

Relationship Between Differential Forms and Vector Fields

I am trying reach an understanding of precisely how the space of differential forms is related to the space of vector fields. These are the definitions that I understand and am using for these ...
5
votes
2answers
143 views

Classical tensor analysis and Tensors on Manifolds

I learned tensors the bad way (Cartesian first, then curvilinear coordinate systems assuming a Euclidean background) and realize that I am in very bad shape trying to (finally) learn tensors on ...
5
votes
2answers
191 views

Why do folded concentric circles and rectangles form a hyperbolic paraboloid?

Here is a "self-forming" origami that I made from folding concentric circles - it would also happen if I folded concentric rectangles. How can the fold shapes such a saddle-like geometry?
5
votes
2answers
218 views

Compatibility of a connection and metric

Every Riemannian manifold admits a metric connection. Suppose $M $ is a manifold and $\nabla $ is an arbitrary connection on the tangent bundle. Does $M$ necessarily admit a metric such that $\nabla$ ...
5
votes
1answer
276 views

Functionally structured spaces and manifolds

The question requires some definitions that I have listed below for your convenience. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups. On a ...
5
votes
1answer
178 views

Is a continuous map between smoothable manifolds always smoothable?

Let $X$ and $Y$ be topological manifolds and $f:X\to Y$ a continuous map. Suppose $X$ and $Y$ admit a differentiable structure (at least one). My question: is it always possible to choose a ...
5
votes
2answers
577 views

Question about Lee's Introduction to Topological Manifolds

From page 2 in Lee's Introduction to topological manifolds: Question 1: What does "describe parametrically" exactly mean? Is it a synonym for "global coordinate chart"? (that is, an atlas ...
5
votes
1answer
242 views

Question about $4$-manifolds and intersection forms

This is a question related to an earlier question of mine: I've been reading about topological invariants. Some of them are defined in terms of quadratic forms. My current understanding is: we can ...
5
votes
2answers
288 views

A question about the topological homogeneity of manifolds

Let $M$ be a connected topological manifold of dimension $n \geq 1$. It is well known that if $p,q \in M$ then there exists a homeomorphism $\phi : M \to M$ such that $\phi(p) = q$. This can be summed ...
5
votes
2answers
518 views

Which mapping tori are Seifert manifolds?

According to Orlik's lecture notes on Seifert manifolds (and the Wikipedia page on Seifert fiber spaces), a mapping torus over a 2-torus is a Seifert manifold if and only if it is the mapping torus of ...
5
votes
1answer
100 views

Interpretation of generalized eigenvector in orbits

First of all, this is my fourth question about dynamical systems in a week, sorry for that. Considering a linear bidimensional dynamical (autonomous) system, the orbits can be plotted in the phase ...
5
votes
1answer
91 views

Volume of neighborhood of the curve

Let $\gamma:[0,1] \to \mathbb R^n$ be a smooth closed curve, such that $\gamma(0)=\gamma(1), \gamma'(0)=\gamma'(1), |\gamma'(a)|=1$ and let $B_r=\{x| \exists t, |\gamma(t)-x|<r\}$. How can i show ...
5
votes
1answer
62 views

Proof of 'manifold with dimension less then 4 always has differentiable structure'

L.S., I read in the lecture notes of my course on manifolds (undergraduate) a little side-note that stated that every manifold with dimension less then 4 can be equipped with a differentiable ...
5
votes
2answers
207 views

Injectivity of a map between manifolds

I'm learning the concepts of immersions at the moment. However I'm a bit confused when they define an immersion as a function $f: X\rightarrow Y$ where $X$ and $Y$ are manifolds with dim$X <$ ...
5
votes
2answers
971 views

Orientability of projective space

Q: Show that $\mathbb {RP}^n$ is not orientable for $n$ even. First I looked at the definition for orientability for manifolds of higher degree than 2, because for surfaces I know the definition with ...
5
votes
1answer
233 views

A question about concept of pushforward

In An Introduction to Smooth manifolds by Lee is written: for any smooth vector fields V and W on a manifold $M$, let $\theta$ be the flow of $V$, and define a vector $(\mathcal{L}_v W)_p$ at each ...
5
votes
2answers
235 views

Are matrices with determinant zero a manifold?

Consider the set of matrices with determinant zero in $M_n(\mathbb R)$, where $n > 1$. Is it a manifold? In fact, is it even a topological manifold? I would suspect not; but I do not have a proof. ...
5
votes
1answer
142 views

Diffeomorphic riemannian manifolds and volume forms

Maybe the question will be stupid, but I'm a beginner in riemannian geometry... We have two riemannian manifolds $(M,g)$, $(\overline M,\overline g)$ and a diffeomorphism $F:M\rightarrow\overline M$ ...
5
votes
1answer
358 views

Line integral and integration of differential forms

The definition of integral of a $k$-form $\omega$ over a parametrized manifold $ Y_\alpha $ is $ \int_{Y_\alpha}\omega = \int_A\alpha^*\omega$ where $ \alpha\colon A \to R^n $. Let $ \gamma:(a, b) ...
5
votes
1answer
215 views

The embedding of smooth manifold

I have run into a problem in my differential geometry book. Let $M$ be a smooth manifold and $F={C^\infty }(M,\mathbb R)$. Define a mapping $i:M \to {\mathbb R^F}$ by ${i_f}(x) = f(x)$ for $x \in M,f ...
5
votes
2answers
85 views

Geometry of Commuting Hermitian Matrices

I am a physicist working on a project dedicated to the quantisation of commuting matrix models. In the appropriate formalism this problem is reduced to a quantisation in a curved space -- the space of ...
5
votes
1answer
63 views

Why are there always pairwise intersections in a Heegaard splitting?

Let $M=A\cup B$ be a Heegaard splitting, such that $\{\alpha_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $A$, and $\{\beta_i\}_{i=1}^g$ is a set of boundaries for meridian disks of $B$ ...
5
votes
1answer
113 views

Submanifold given by an open immersion

I was wondering if the following is true: Let $M,N$ be two manifolds such that $\dim M\leq \dim N$ and $f:M\rightarrow N$ an smooth immersion. Assume that for any open set $U\subset M$, ...
5
votes
1answer
117 views

One-form on quotient manifold

Let $M$ be a smooth manifold with tangent bundle $TM$ and cotangent bundle $TM^*$ and $\psi\in TM^*$ a one-form. We denote the quotient manifold of $M$ by the free and proper $G$-action $\varphi$ as ...
5
votes
1answer
353 views

proof of stokes theorem

I don't understand the "idea" of the following proof, aswell as some of the steps. As i'm not sure about its "ways", im not editing it much and as such it might be in the wrong order. My sincere ...
5
votes
1answer
96 views

Embedding manifolds of constant curvature in manifolds of other curvatures

I know that there is no complete surface embedded in $\mathbb{R}^3$ of constant curvature -$k$ for any $k$. But you can clearly embed the hyperbolic plane (curvature -1) into hyperbolic 3-space ...
5
votes
1answer
177 views

Finding an algebra of smooth functions on a manifold with a given product.

I am having trouble with the following exercise from Jet Nestruev's Smooth Manifolds and Observables. It is one of the first exercises in the book and I have no idea how to approach this type of ...
5
votes
1answer
297 views

Algebraist's definition of the tangent space of a manifold

By the "algebraist's definition" of the tangent space of manifolds, can we say that the partial derivative $d/dx$ belongs to the the tangent space of $S^1$? It feels strange, but I can't see why it ...
5
votes
1answer
148 views

Vector field on riemannian manifold

Let $M$ be a riemannian manifold and $N$ be a submanifold of $M$. Let $v$ be a vector field in $N$. Then $v$ can be covariantly differentiated along $\gamma$ resulting in new field $u$. (Here consider ...
5
votes
1answer
64 views

The graph of $x\mapsto |x|$ cannot be the image of an immersion.

How can one prove that the set $\{(x,|x|)\in \mathbb{R}^2 \mid x\in \mathbb{R}\}$ cannot be the image of an immersion of a smooth manifold? This was my homework exercise in a course about ...
5
votes
1answer
88 views

Slice of a coordinate system in a manifold

In the book - Foundations of differentiable manifolds and Lie groups by Frank Warner, the definition of a slice is as under. Suppose that $(U,\phi)$ is a coordinate system on $M$ (dimension $d$) with ...
5
votes
1answer
142 views

Directional, differential and lie derivatives on manifolds intuition?

Trying to translate elementary multivariable calculus into the language of manifolds: Is the directional derivative on a manifold just a way of finding the rate of change of a vector in a single ...
5
votes
1answer
128 views

Pullback of a form using the Hopf fibration

I embed the 2-sphere and the 3-sphere in $\mathbb{R}^3$ and $\mathbb{R}^4$ respectively. Then denote by $\{x_1,x_2,x_3,x_4\}$ the coordinates on the 3-sphere and $\{y_1,y_2,y_3\}$ on the 2-sphere. So ...
5
votes
1answer
295 views

Constant Rank theorem for domain with nonempty boundary

Problem 4-3 in J.M. Lee's introductory text about smooth manifolds, asks to formulate and prove a version of the constant rank theorem for a map of constant rank whose domain is a smooth manifold with ...
5
votes
1answer
167 views

Isometries from Diffeomorphisms

Given a compact, connected Lie group G of diffeomorphisms on a manifold M, how to construct a Riemannian metric on M such that elements of G are isometries of M?
5
votes
1answer
342 views

differential form

one form $\alpha$ over a smooth manifold is non vanishing means for every $p\in M$, $\alpha_p\neq 0$. But $\alpha_p$ is linear map $T_M\to \mathbb R$, hence $\alpha_p(0)=0$. So confusion arises ...
5
votes
1answer
132 views

Status of PL topology

I'm starting to learn about geometric topology and manifold theory. I know that there are three big important categories of manifolds: topological, smooth and PL. But I'm seeing that while topological ...
5
votes
1answer
86 views

One-forms in differentiable manifolds and differentials in calculus

Suppose that we have this metric and want to find null paths: $$ds^2=-dt^2+dx^2$$ We can easily treat $dt$ and $dx$ "like" differentials in calculus and obtain for $ds=0$ $$dx=\pm dt \to x=\pm t$$ ...
5
votes
1answer
106 views

What is the space that we live in? [closed]

Not sure if this question is trivial to some experts; but what is the three dimensional space that we live in? If this question is too difficult to describe, can we at least tell its topology? Is it ...
5
votes
0answers
105 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
5
votes
1answer
65 views

General introduction to orbifolds?

Where should I go to learn about orbifolds? I am interested in a general introduction that gives precise definitions and clear explanations. I have a fair background in topological and smooth ...
5
votes
0answers
61 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
5
votes
0answers
91 views

Fixed Point Involutions

In recent reading on Riemann surfaces and complex manifolds (primary Miranda with a few random finds online), I encountered the notion of involutions, in particular fixed point involutions. We recall ...
5
votes
0answers
85 views

Does there exist a vector field s.t. all orbits are dense on $\mathbb{R}^2$

Is there a complete vector field such that the all orbits are dense on a contractible manifold? For example, $\mathbb{R}^2$,the interior of a $n$-unit ball.