1
vote
0answers
19 views

Is the $C^r(M, N)$ space, with the strong (Whitney) topology, a Fréchet-Urysohn space?

Given smooth, non-compact manifolds $M$ and $N$, consider the function space $C^r(M, N)$. Equipped with the strong (Whitney) topology, this space is Hausdorff and Baire. It is, however, not first ...
0
votes
0answers
12 views

Calabi homomorphism of the disk

There is a fact that the homomorphism $Diff_0^{\infty}(\mathbb{D},\partial\mathbb{D},area)\to \mathbb{R}$ is surjective, we can use Calabi homomorphism to prove it, where ...
0
votes
0answers
23 views

History of vectorial bundles in articles or papers?

I'm looking for an article or book that gives a thorough and interesting history of bundles and vectorial bundles in algebraic topology. I'm looking for it for my own learning, please help its ...
2
votes
1answer
40 views

Definition for Euler characteristic without CW-complexes

It is possible to have a definition of the Euler characteristic without using CW-complexes? (I'm referring to the definition given by Wikipedia : ...
0
votes
1answer
70 views

compact open topology on M(X,Y) continuous function space

I'm really confused with the statement. let $X$ be a set endowed with the discrete topology and let $Y$ be any topological space. Show that $M(X,Y)$ with the compact open topology is homeomorphic to ...
6
votes
2answers
124 views

Prerequisites for Freedman's proof of the 4-dimensional Poincaré conjecture

I have a good understanding of differential geometry, enough at least to understand many details of Hamilton & Perelman's approach to the 3-dimensional Poincaré conjecture. I have no such ...
0
votes
1answer
16 views

If two maps' derivatives have unit length, then the derivative of the product is $\pm 1$

Let $M$ be a space and $I$ the unit interval. Definition A map $f : I \to M$ is a parametrization by arc-length if $f$ maps $I$ diffeomorphically onto an open subset of $M$, and if the "velocity ...
10
votes
3answers
399 views

Why care about group actions?

Let X be a space (topological space, manifold, etc) and let the group G act continuously on X. What extra (homotopical, homological, cohomological, diffeomorphical etc) data can extracted from X when ...
4
votes
1answer
89 views

Turn a torus inside out

Let $T=D^2 \times S^1$ be a solid torus, where $D^2$ is a 2-dimensional disk and $S^1$ is a circle. Suppose we have another solid torus $T'$ and we have a homeomorphism $f$ sending a meridian ...
3
votes
2answers
92 views

Any N dimensional manifold as a boundary of some N+1 dimensional manifold?

Is this statement true: Question: Can any N dimensional manifold be realized as a boundary of some N+1 dimensional manifold? If so/not, how to prove/disprove it? I read a TQFT paper from Edward ...
1
vote
1answer
53 views

The boundary of this set is smooth?

Let $\Omega_1 \supset \Omega_2 \supset....$ a decreasing sequence of bounded, convex and smooth sets. My intuition says that the set $int(\overline{\bigcap_i \Omega_i})$ (where int denotes the ...
1
vote
1answer
36 views

Extension of funcion

I think its right but Im not sure. I have topological space (exactly manifold - second countable, Hausdorff, local Euclidean topological space) M, dim M=m. Let $A \subset M$ is closed set, dim A=n, ...
5
votes
0answers
79 views

Cohomology of covering space

Let $B$ be a base space and $E$ be a covering space of $B$ what is the relation between $H^2(B,\mathbb{Z})$ and $H^2(E,\mathbb{Z})$.?
0
votes
0answers
49 views

Chart on a manifold

I have the following question. If I consider a manifold, for example a torus T see as space of identification $[0,1]\times [0,1]$ why I can't cover it with only one chart? what fails if a chart ...
1
vote
1answer
26 views

Involutive Properties of Space-structures on Smooth Manifolds

I am currently reading Quantum Invariants of Knots and 3-Manifolds by Turaev, and I am having a hard time understanding a statement made on page 120. He is explaining the property of space-structures, ...
0
votes
1answer
49 views

On the “regularity” of the boundary of an open set

Let $M = \mathbb{R}^2$ (or more generally, let $M$ be a topological manifold) and let $\Omega$ be an open set in $M$. I'm considering the following regularity conditions for the boundary of $\Omega$: ...
1
vote
1answer
62 views

Product manifolds

I have a question on the product of two manifolds. I have $M, N$ two real manifolds (with a smooth differentiable structure), with $\partial M=0$. I have showed that $M\times N$ has a natural induced ...
2
votes
2answers
52 views

homeomorphism between maninifolds

Exist a local homeomorphism between the manifolds with boundary $[0,1) \times [0,1) $ and $\mathbb{R}^{2}_{+}$? I don't think that a local homeomorphism like this can exist..
3
votes
0answers
50 views

Crosscap function in $\mathbb{R}^4$ - and how to show it is proper?

I found the Cross-cap function in $\mathbb{R}^3$ as follows: $$f(x,y,z)=(yz,2xy,x^2-y^2),$$ My questions are (I couldn't show any progress for Q1,2.I have thought hard but had no clue): Q1: Is ...
0
votes
1answer
55 views

$GL(n,\mathbb{C})$ is semi-locally simply connected.

How can we show that $GL(n,\mathbb{C})$ is semi-locally simply connected.
0
votes
0answers
46 views

Is a manifold over $\mathbb{R}$ normal?

We have manifold $G$ over the reals with its finite atlas ($g_i:U_i \to g_i(U_i) \subseteq \mathbb{R}, G=\bigcup U_i$). The atlas induces a topology in the normal way ($A \subseteq G$ is open iff ...
1
vote
1answer
27 views

$dg_y$ carries a subspace of $T_y(Y)$ onto $\mathbb{R}^l$

The question arises from Guillemin and Pallack Page 28 above the frame: $dg_y$ carries a subspace of $T_y(Y)$ onto $\mathbb{R}^l$ precisely if that subspace and $T_y(Z)$ span all of $T_y(Y)$. I ...
3
votes
1answer
52 views

Are space of paths between two different points and space of pointed loops only homotopy equivalent? What about smooth case?

Let $X$ be a path-connected CW-complex and $x$, $y$ points in $X$. Any choice of a path between $x$ and $y$ provides maps (in both directions) between the space $L(x, y)$ of paths from $x$ to $y$ and ...
2
votes
1answer
44 views

Topological property of some manifold

I am provided with a smooth map $g : N \rightarrow N^\prime $ between differentiable manifolds. $N$ is assumed to be compact and connected. Moreover, the differential $dg_x: T_x N \rightarrow ...
0
votes
1answer
37 views

Assumptions required for an implicitely defined surface/manifold to have a specified dimension

What are some normal assumptions made on implicitly defined manifolds? More specifically, by implicitly defined manifold, I mean the definition of a surface such as $g(x,y)=x^2+y^2-1=0$ for the ...
1
vote
0answers
30 views

Cylinder as Fibre bundles

I have to show that the cylinder C is a fibre bundle over $S^1$ with fibre an open interval and I have to write a trivialization and the cocycles. I think that this is a trivial bundle, because I can ...
3
votes
2answers
96 views

How does one prove that the Klein bottle cannot be embedded in $R^3$?

How does one prove that the Klein bottle cannot be embedded in $R^3$? I'm talking about smooth embeddings.
2
votes
3answers
72 views

Topological spaces with prescribed fundamental groups

The question I am about to ask could have gone to the chat section but I want to have the answers/comments in an easy-to-refer-back-to style. For (connected, pointed) topological spaces with trivial ...
2
votes
1answer
64 views

Is the map from the circular half cone to the $xy$ plane a local isometry?

This is a text book exercise. And I think that this map is not a local isometry. But, I don't know how to show this question. Please help me explaining this question. Thanks a lot. I posted its ...
1
vote
1answer
54 views

The question related to a regular surface.

Prove that an equation of the form $f(x,y,z)=c$ determines a regular surface if $f$, defined on some open subset $S$ of $\mathbb{R}^3$, is smooth and $\nabla f\neq 0$ everywhere in $S$. I know ...
1
vote
0answers
76 views

prove that $f$ is a diffeomorphism and an isometry

Let $S_1 : [0, 2\pi r]\times [0, h]$ $S_2: x^2+y^2=r^2$ Let $f: S_1 \to S_2$ $(u,v)=(r\cos (\frac{u}{r}), r\sin (\frac{u}{r}), v)$ for $v\in [0,h]$ and $u\in [0, 2\pi r)$ How do I prove that ...
0
votes
1answer
56 views

Verify this is not orientable.

Verify this is not orientable. Möbius transformation: $$U=\{(t,\theta) \mid \frac{-1}{2}\lt t\lt \frac{1}{2}, 0\lt \theta \lt 2\pi \}$$ $\sigma (t, \theta)=<((1-t\sin (\theta/2))\cos (\theta), ...
0
votes
0answers
55 views

What is the type of $u$ in this definition of knot?

I am going to quote from the second paragraph of the Introduction of Möbius Energy of Knots and Unknots by Michael H. Freedman, Zheng-Xu He and Zhenghan Wang. Let $\gamma = \gamma (u)$ be a ...
2
votes
1answer
34 views

Standard norm of $\mathbb{R}^3$

I am going through the paper, Energy of a Knot by Jun O'Hara. Let me quote from the Definition 1.1 of Section 1 on the first page: Let $f:S^1 = \mathbb{R}/\mathbb{Z} \to \mathbb{R}^3$ be an embedding ...
0
votes
1answer
74 views

Intuition of a Submanifold

Could someone explain the intuition behind a submanifold. When, for example, is it appropriate to work with immersed submanifolds vs embedded submanifolds? Why is it important for a submanifold to be ...
0
votes
1answer
60 views

Baire Category Theorem in a Smooth Manifold

Let $Z\subset M$ be a set of measure-0 , in a [smooth] manifold $M$. How does one shows that $M$ \ $Z$ is everywhere dense in $M$, using Baire category theorem? and which of the theorem version is ...
2
votes
1answer
85 views

Trivialisation of Moebius strip

I've just started studying Advanced Geometry and I'm in trouble with a (stupid) exercise. It's about finding a trivialisation of the Moebius strip (I'll refer to it as $E $) viewed as a fibre bundle ...
1
vote
0answers
103 views

Proof that a set $X \subset M$ is a Manifold

Let M be a manifold without boundary and let , $g:M\to \mathbb R$ have $0$ as a regular value. Than the set $X \subset M$ with $g(x) \ge 0$ is a smooth manifold with boundary equal to $g^{-1}(0)$. I ...
1
vote
1answer
125 views

Surgery on trivial knots

I know a theorem that any closed orientable 3 manifold can be obtained from the sphere $S^3$ by surgery along a framed knot. I think I read or heard somewhere that as a surgery link, we can take ...
3
votes
0answers
72 views

Products of homeomorphisms

I was wondering if there is a theorem like "If $f_i:X_i\to Y_i$ are homeomorphisms then $\prod_i f_i : \prod_i X_i \to \prod_i Y_i$ is a homeomorphism" for $I$ finite. What about $I = \mathbb N$? ...
3
votes
1answer
61 views

Locally euclidian but not topological manifold

I'm having trouble solving one part of one of the initial exercises of the classic Boothby book "An Introduction to Differentiable Manifolds and Riemannian Geometry" (exercise I.3.1). To be more ...
4
votes
1answer
92 views

Defining a quotient manifold with gluing

I'm trying to find conditions on the gluing map between two manifolds so that the quotient space will be a smooth manifold, and the inclusion map will be a diffeomorphism. Specifically, Suppose ...
1
vote
0answers
24 views

Transforming the measure in $CP^1$ mapping from Riemann sphere to $\mathbb{C}^2$-plane

I would like to know how the measure changes in $CP^1$ mapping from Riemann sphere (2-sphere) to $\mathbb{C}^2$-plane. Let a point on the 2-sphere is given by the vector ...
2
votes
0answers
45 views

Isotopy between two open disks on a surface

So I have a (compact) surface $\Sigma$ and two open disks on the surface call them $A$ and $A'$ such that the intersection contains a simple curve $P$. What I want to do is construct an isotopy ...
3
votes
2answers
130 views

Generalization of the hairy ball theorem.

The hairy ball theorem of states that there is no nonvanishing continuous tangent vector field on even dimensional n-spheres. Can the hairy ball theorem be strengthened to say that there is no ...
5
votes
1answer
322 views

Is a connected sum of manifolds uniquely defined?

It is a standard excercise in differential geometry to prove that a connected sum $M\#N$ of two smooth manifolds $M,N$ of the same dimension is uniquely defined (under some assumptions regarding ...
0
votes
0answers
21 views

$\mathbb{RP}^2$ and crosscap

Hmm, I wonder what is the relationship between $\mathbb{RP}^2$ and a cross-cap...? Is it like klein-bottle in $\mathbb{R}^4$, which they do not really intersect and embeds in $\mathbb{R}^3$, where ...
0
votes
1answer
77 views

Is the closure of an open bounded convex set already a ball?

Does the "closure of an open bounded convex set in ${R}^n$ symmetric wrt. the origin" has to be already homeomorphic to a ball? (My motivation is this: one version of Borsuks theorem says that if ...
5
votes
1answer
136 views

Quotients of $S^{2n+1}$

Any sphere $S^{2n+1} = SO(2n+2)/SO(2n+1)$ can be thought to be given as the zero-set in $\mathbb{C}^{n+1}$ of the equation, $\sum_{i=1}^{n+1} \vert z_i \vert ^2 = 1$ Now say one wants to quotient it ...
4
votes
1answer
101 views

Is there a name for this particular class of topological space?

This is a simple question, but I can't figure out the name for this class of topological space. Say you start with the affine space $\mathbb{R}^n$ for finite n, and equip it with a metric. Now, say ...