The corpus of tools and results that arose from studying manifold theory using non-algebraic techniques, that is, as opposed to (algebraic-topology). The focus of the field tends to be on special objects/manifolds/complexes and the topological characterisation and classification thereof. A key ...

learn more… | top users | synonyms (1)

8
votes
2answers
89 views

Are $\{(x,y)\in \mathbb{R}^2 : (x,y)\neq(0,0)\}$ and $\{(x,y)\in \mathbb{R}^2 : (x,y)\notin [0,1]\times\{0\}\}$ homeomorphic?

Let $X_1$ and $X_2$ be the spaces \begin{align*} X_1&=\{(x,y)\in \mathbb{R}^2 : (x,y)\neq(0,0)\}, \\ X_2&=\{(x,y)\in \mathbb{R}^2 : (x,y)\notin [0,1]\times\{0\}\}. \end{align*} Are these ...
3
votes
1answer
28 views

how to see whether a bundle is trivial or not?

Let $Z_2$ be the group with $2$ elements. Let $a\in Z_2$ be the nontrivial element. Let $S^n$ be the $n$-sphere. Let $C(S^n,2)=\{(x,y)\in S^n\times S^n\mid x\neq y\}$. Let $a$ act on $C(S^n,2)$ by ...
3
votes
2answers
84 views

triviality of tensor product of vector bundles

Let $\xi$ be a $O(n)$-bundle with fibre $\mathbb{R}^n$. Let $\xi\otimes \mathbb{C}$, $\xi\otimes \mathbb{H}$ be complex vector bundles and quaternionic vector bundles. If $\xi$ is not a trivial ...
0
votes
0answers
32 views

principal bundle and the associated bundle

Let $G\leq O(n)$ be a subgroup of orthogonal group. Let $\xi$ be a principal $G$-bundle. Let $\xi[\mathbb{R}^n]$ be the associated vector bundle. If $\xi$ is not a trivial bundle, can we obtain that ...
3
votes
0answers
51 views

What is the relation between the construction of Reshetikhin-Turaev and Witten's paper?

I have read that the papers of Reshetikhin and Turaev provide a mathematically rigorous framework for the ideas contained in Witten's paper "Quantum field theory and the Jones polynomial". Can ...
1
vote
1answer
48 views

a question on oriented bundles and Euler class

In Characteristic classes, J. Milnor, J. Stasheff, Prop. 9.7, it is proved that: if the oriented vector bundle $\xi$ possesses a nowhere zero cross section, then the Euler class $e(\xi)=0$. I want ...
4
votes
2answers
197 views

A complex line bundle is trivial if and only if the first Chern class is zero

Let $\xi$ be a complex line bundle over a CW-complex $B$. I want to prove that $\xi$ is trivial if and only if $c_1(\xi)=0$. My attempt: Suppose $c_1(\xi)=0$. Then the Euler class $e(\xi)=0$. Since ...
2
votes
1answer
188 views

Software for drawing braid-related graphs

I am looking for a (preferably free) software that can draw braid-related graphs, such as and (Quoted from A Study of Braids By Kunio Murasugi, B. Kurpita) I have seen this question, but the ...
0
votes
1answer
29 views

How to prove that the minimum parameters required is equal to the dimension of an object?

Based on my (very limited) understanding, if an object needs to be expressed in terms of at least $n$-parameters, then it is an $n$-dimensional object. You can parameterise a circle as: ...
2
votes
1answer
45 views

ways to see whether the Pontryagin class of a quaternionic line bundle over a CW-complex is zero

the first pontryagin class of a quaternionic line bundle over a CW-complex is zero if and only if the quaternionic line bundle is trivial or not? Let $\xi^\mathbb{H}$ be a given quaternionic line ...
1
vote
0answers
61 views

Is every $S^1$ knot orientable?

let $K$ be an $S^1$ knot, i.e., $K$ is a homeomorphic copy of the "standard" $S^1$ living in $\mathbb R^3$ ). I am trying to see if $K$ is orientable. This is what I have: 1) If the map sending $S^1$ ...
0
votes
0answers
34 views

Homology of Subspace vs. Homology of Ambient Space.

Let $M$ be a manifold embedded in $\mathbb R^n$ , so that the manifold has non-trivial $k-th$ homology for some $n \geq k\geq 0$ . How do we identify the fact that while there is a non-trivial cycle ...
0
votes
2answers
147 views

Showing that stereographic projection is a homeomorphism

For any $n\geq 0$,the unit $n$-sphere is the space $S^{n}\subset \mathbb{R^{n+1}}$ defined by $$S^{n}=S^{n}(1) :=\left\{ (x_{1},...,x_{n+1}) \left\vert\,\sum_{i=1}^{n+1} x_{i}^{2}=1\right.\right\}$$ ...
2
votes
1answer
37 views

Homeomorphisms of different spheres

It is pretty straightforward to show that if $X$ is a Banach space under two equivalent norms, then the respective open unit balls $B_1$ and $B_2$ are homeomorphic only by showing that $B_i$ is ...
0
votes
1answer
18 views

geometric triangle parallel

$DC$ is parallel to $AB$. Find the value of $BE$ and $DC$. I've tried too many times but still can't figure it out.
0
votes
0answers
13 views

Geometric Parallel Triangle Find Value

DC parallel to AB Find Value of BE and DC. I've tried too many times but still can't figure it out.
1
vote
1answer
62 views

Completely self-contained (and as elementary as possible) introduction to Teichmuller Theory

Can you recommend a completely self-contained and elementary (as much as it can be) introduction to Teichmuller Theory?
1
vote
0answers
22 views

use homology groups to obtain minimal cell structure

On Hatcher's book Algebraic Topology, Section 4.C Prop. 4C.1, for a simply-connected CW-complex $X$, if $H_*(X;\mathbb{Z})$ is known as a graded module over $\mathbb{Z}$, then the minimal cell ...
0
votes
1answer
26 views

a generalization of punctured cylinder

Let $S^1\times \mathbb{R}$ be the infinite cylinder. Pucture it, we have $S^1\times \mathbb{R}-*$. Then $(S^1\times \mathbb{R}-*)\simeq Skeleton^1(S^1\times \mathbb{R})\simeq S^1\vee S^1$. How ...
3
votes
1answer
40 views

Example expectation of an exponential function

Given a geometric random variable $Y$ with $p = 1/3$, I know that $E[Y] = 1/p = 3$. However, what is $E[e^{aY}]$ ? for a small value $a$. Thanks
0
votes
1answer
31 views

Shapes of a simplicial complex

In Bridson and Haefliger's book, page 98, there is a definition of shape. Here is a link to the book. The definiton is not very clear to me. It says set of isometry classes: Is it the isometry ...
0
votes
0answers
27 views

Simplicial complex and link

Theorem 7.16 in Bridson and Haefliger's book states that: Theorem: Let K be an $M_k$-simplicial complex, and let $x\in K $. If the number $\epsilon(x)$ defined in (7.8) is strictly positive, ...
0
votes
1answer
59 views

What is the definition of a properly-immersed arc?

I am going over a paper in which a theorem includes a condition that certain arcs are "properly-immersed geodesic arcs" in a surface $\Sigma$ with nonempty boundary. I have done a search, but I have ...
4
votes
2answers
119 views

Homomorphism between homotopy groups of spheres induced by the fibration and the multiplication map of $SO(n)$

Let $n$ be a nonnegative integer and $x\in S^n$ a point in the n-sphere. Combining the map $\alpha\colon SO_{n+1}\longrightarrow S^n$ induced by matrix multiplication with $x$ and the connecting ...
0
votes
0answers
29 views

Right Veering Property of elements in MCG(S)

Let h be an element of MCG(S), the mapping class group of a surface S. I was going over : I was going over :Geometric Intuition for "Right-Veering" Property of $f$ in MCG(S)? Where a p.e ...
2
votes
1answer
66 views

Homeomorphism type of the cone on a cylinder

Let $X$ be a topological space. The cone $CX$ on $X$ is the cylinder $X \times I$ with the top $X \times 1$ identified to a point. Clearly for every $X$, $CX$ is contractible. Looking at the ...
15
votes
1answer
209 views

Intuition for Exotic $\mathbb R^4$'s

Today one of my professors told me that $\mathbb R^4$ admits uncountably many non-diffeomorphic differential structures. When I asked him whether there's an intuitive reason to expect a result like ...
3
votes
0answers
143 views

Fundamental group of connected sum for non-orientable manifolds

For orientable $n$-manifolds, $n\ge3$, the fundamental group of connected sum is free product of fundamental groups: $\pi_1(M\#N)=\pi_1(M)*\pi_1(N)$. As far as I understand, for non-orientable ...
5
votes
2answers
74 views

Cut-number of Klein bottle and other non-orientable surfaces

What is the maximum number $c$ (cut-number) of non-intersecting (edit: two-sided) circles on a Klein bottle $N_2$ and, in general, a surface $N_h$ with $h$ Möbius strips, such that cutting by these ...
2
votes
1answer
61 views

Isotopic tori in $\mathbb{R}^4$

Intuitively it seems to me that two tori in $\mathbb{R}^4$ are isotopic to each other. By isotopic, I mean a smooth family of deformations beginning in one and ending in the other, and each member of ...
1
vote
1answer
57 views

Does a closed surface in the 3-sphere bound a handlebody? [closed]

If a closed surface is embedded in the 3-sphere, then does it bound a handlebody?
0
votes
1answer
67 views

Is “small disk” well-defined?

I saw the notion "small disk" very frequently used in literature. For example, in Brunnian braids on surfaces by V. G. Bardakov, R. Mikhailov, V. V. Vershinin, J. Wu, one line reads: Let $P_n(M)$ ...
-2
votes
1answer
64 views

Check the relation between the topology

Let $\mathbb Z_+ = \{1, 2, 3, .....\}$ be the set of positive integer . Let $\tau_1 := $ subspace topology on $\mathbb Z_+$ induced from the usual topology on $\mathbb R ,$ $\tau_2 :=$ ...
1
vote
1answer
43 views

Geometric Intuition for “Right-Veering” Property of $f$ in MCG(S)?

let $S$ be a compact surface with non-empty boundary, let $\alpha : [0,1] \rightarrow S$ be a Properly-embedded arc (meaning both endpoints of the arc are in $\partial S$) and let $f$ be an element ...
2
votes
1answer
272 views

The notion of a right-angled hexagon in hyperbolic geometry

I was hoping someone would help me understand better what a "right-angled hexagon" is in hyperbolic geometry. I know these are glued together somehow to produce hyperbolic pairs-of-pants. The only ...
13
votes
3answers
339 views

Is every self-homeomorphism homotopic to a diffeomorphism?

Given a smooth manifold $M$, is every homeomorphism $M \to M$ homotopic to a diffeomorphism? Hirsch's "Differential Topology" has a proof that every $C^1$ diffeomorphism of smooth manifolds is ...
0
votes
1answer
57 views

Are there “interesting” examples of complete finite-volume non-compact Riemannian manifolds that are not non-positively curved?

Moreover, it would be good that, if $M$ is such an example, its universal cover $\tilde M$ is "highly" symmetric, i.e. the group G of isometries of $\tilde M$ is "big" (for example, transitive, or a ...
2
votes
0answers
37 views

Alexander Method for non-orientable Surface

From Farb and Margalit,Primer on Mapping Class Group, p.62, we know For example for torus with four puncture we can choose following claret red curves. Curves are choosen such that their complement ...
0
votes
1answer
39 views

Classification of Triangulated Surface

this is for a homework problem, although not the problem itself, and I'm looking for a little guidance. In the problem, I am given a very long list of triangles, approximately 40, and asked to ...
3
votes
1answer
129 views

How to prove that $CP^4$ cannot be immersed in $R^{11}$

Please let me know how to prove that $CP^4$ cannot be immersed in $R^{11}$. I know a proof using an integrality theorem for differentiable manifolds but I want to know if a more direct and simple ...
1
vote
1answer
62 views

Existence of CAT(0)-metrics

Given a metrisable, contractible topological space. Under which conditions exists a CAT(0)-metric compatible with the given topology?
0
votes
1answer
39 views

How can I show that if a set is bounded, then it's contained in a k-cell?

The set is a bounded subset of R (under the Euclidean metric), and a k-cell is a set of points {x_1...x_k} such that a_j < x_j < b_j for j=1...k. Any ideas on how to show this?
0
votes
0answers
38 views

Classification of surface with 18-gon planar diagram

For starters, this is a problem from L. Christine Kinsey's "Topology of Surfaces." The problem is to classify the surface using cut and paste arguments on polygons. However, between my limited ...
0
votes
1answer
115 views

Proof of Jordan curve theorem

Is it possible for the following to be proof for Jordan curve theorem: Given the distance function on $\mathbb{R}^2$ ($d((x_1,y_1),(x_2,y_2))=\sqrt{ |x_2-x_1|^2 + |y_2-y_1|^2}$), and $\varepsilon ...
2
votes
1answer
86 views

Extenting a homeomorphism on subsurface to the entire surface

Suppose you have surface and a subsurface. The complement of subsurface is union of open discs and once punctured open discs. Can all homeomorphisms of the subsurface be extended to homeomorphisms of ...
4
votes
0answers
55 views

Surgery or Partial Whitney Trick in McDuff and Salamon proof of Gromov squeezing

In the proof of Gromov squeezing in McDuff and Salamon's epic J-Holomorphic Curves and Symplectic Topology, the authors use a surgery argument without any explicit construction. In the following, ...
7
votes
0answers
68 views

Is “slightly deform” a well defined concept in mathematical proof?

In topological proofs the phrase "slightly deform" is widely used. To me, although I can accept the idea intuitively, the phrase "slightly deform" does not sound like a strict mathematical concept. ...
2
votes
2answers
161 views

Proof of Brouwer's Fixed Point Theorem.

What is the simplest way to prove Brouwer's Fixed Point Theorem in three dimensions?
3
votes
2answers
87 views

Is there only one free (continuous) action of $\mathbb{Z}_2$ on $S^2$?

We all know that the antipodal map is a free action of $\mathbb{Z}_2$ on $S^2$. Considering $\mathbb{Z}_2 = \{1, -1\}$, a free action may be viewed as a map $f : S^2 \rightarrow S^2$, i.e. the action ...
10
votes
2answers
169 views

Partitioning the plane into three sets each intersecting the vertices of every square with side 1?

Q1. Is it possible to partition the plane into three sets such that each of them contains at least one vertex of every square with side 1 ? (I mean all squares of side-length 1, not just those with ...