4
votes
1answer
40 views

Is this a valid way to show $\chi(SL_n(\mathbb{R}))=0$?

Why does $\chi(SL_n(R))=0$? I'm going about it like this. Let $X:=SL_n(R)$. Define a map $f:X\to X$ such by $A\mapsto BA$, where $B$ is the identity matrix, except with an extra $1$ in the upper ...
7
votes
1answer
82 views

Is there anything “nice” about the set of normal matrices (over $\Bbb R$ and $\Bbb C$?)

Normal matrices are of course useful to any linear algebra buff, not least because of the spectral theorem. However, taken as a whole, they tend to have some not-so-nice properties. For example: ...
1
vote
0answers
27 views

Orientability of space with only even dimensional cells.

I have the following question: Suppose a compact $\mathbb{R}$-manifold has finite cell decomposition with only even dimensional cells. Then $M$ is orientable. It's a theorem that a closed ...
0
votes
1answer
23 views

inverse of stiefel-whitney class of product bundles

Let $\xi_1,\cdots,\xi_n$ be vector bundles over $M$. Let $\omega$ be the Stiefel-Whitney class and $\bar\omega$ be the inverse. By an exercise in Milnor's book, $$ w(\Pi_{j=1}^a ...
3
votes
1answer
85 views

Questions about simplex and affine space

For the sake of completeness, I would like to give you some concepts before asking the questions: For every simplex $S=<<x^{0},x^{1},...,x^{k}>>$ in $\Bbb R^{n}$, denote by $H_s$, the ...
4
votes
0answers
98 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 ...
2
votes
1answer
44 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
2
votes
1answer
53 views

Boundary connected sum of manifolds

I have two related questions about the boundary connected sum of manifolds with boundaries. Let $T=S^1 \times S^1$ be a torus and let $X=T \times [0, 1]$ be the cylinder over the torus. Let $X'$ be a ...
3
votes
0answers
30 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
0
votes
1answer
36 views

Condition for Orientability of Manifold

Let $M^n$, $n>2$ be a manifold and let $f:D\rightarrow M$ be an embedding of the closed $n-$disk in $M$. Prove or Disprove: $M$ orientable iff $M-f(D)$ is orientable. $M$ is orientable iff all ...
2
votes
1answer
44 views

Quotient of Unit Quaternions by Subgoup (Lie Groups)

Let $G \leq Sp(1)\cong S^3$ (unit quaternions) be a discrete subgroup of order 120 (the Binary Icosahedral Group, not the other one), with presentation $G=<s,t| s^2=t^3=(st)^5>$. $\hspace{2mm}G$ ...
2
votes
1answer
48 views

Is $\mathbb{R}P^n$ “two-sided” in $\mathbb{R}P^{n+1}$

i.e. Does $\mathbb{R}P^n$ have a tubular neighborhood $N$ such that $N-\mathbb{R}P^n$ is disconnected. My guess is yes, but don't know how to show it convincingly ( or maybe only for $n$ odd, I'm ...
2
votes
3answers
278 views

Holomorphic functions on a complex compact manifold are only constants

Is there a simple proof that every holomorphic function $M\to\mathbb{C}$ on a compact complex manifold $M$ is constant?
0
votes
0answers
41 views

Link complement simply-connected if codimension $\geq 3$

In Rolfsen, page 50 says that "an easy general position argument shows that a PL link $L^k$ in $S^n$ has simply-connected complement if $n - k > 3$," where $L^k$ is a $k$-dimensional link in $S^n$. ...
2
votes
2answers
110 views

Stiefel-Whitney classes of 3-manifolds are trivial

Is there a simple way how to show that Stiefel-Whitney classes of a compact closed 3-manifold $M$ are zero? This is exercise 11-D in Milnors Characteristic classes. The available tools in the ...
2
votes
4answers
317 views

Should I read about Manifolds or Algebraic Topology?

I really enjoy doing maths and it fills quite a lot of my spare time. I'm starting my first year in the university on october and I probably won't have that much time for independent reading once ...
2
votes
0answers
71 views

Role of the Thom space in the Pontryagin-Thom construction

I am trying to understand the Pontryagin-Thom theorem; especially how the Thom space comes into play. Just to bring everyone on the same page: I am specifically talking about the construction of an ...
1
vote
1answer
39 views

Show this Map $f:M\rightarrow S^n$ is a Diffeomorphism

Let $M$ be a compact, connected smooth manifold of dimension $n>1$, and $f:M\rightarrow S^n$ a smooth map such that the differential $df_x:T_xM\rightarrow T_{f(x)}S^{n}$ has full rank $= n$ for all ...
3
votes
1answer
35 views

Two definitions of framed manifolds/cobordism

One notion of framed cobordism is that $\Omega_{fr}^n(X)$ is a certain equivalence class of $n$-manifolds $M^n$ in $X$ with a trivialization of the normal bundle $N M^n\subseteq TX$. For compact ...
0
votes
1answer
61 views

Show That $\dim H_m(\partial M;\mathbb{R})$ is Even

A student asked me this. Suppose that $M$ is a compact, orientable $n$-manifold with boundary. It is a fact that for each $k$ with $0\leq k\leq n$ the vector spaces $H_k(M;\mathbb{R})$ and ...
2
votes
1answer
89 views

$\mathbb{R}^2$ is a Retract of $\mathbb{R}^5$

Looking through some old qualifying exams, I noticed the question: Let $X\subseteq \mathbb{R}^5$ be homeomorphic to $\mathbb{R}^2$. Prove that $X$ is a retract of $\mathbb{R}^5$. I'm not even sure ...
2
votes
1answer
66 views

Characteristic classes not defined on vector bundles

If you read the definition on Wikipedia, you'll see that they allow characteristic classes to be defined on general principal $G$-bundles (vector bundles being subsumed in this general case by looking ...
7
votes
0answers
84 views

Definition of bordism - gluing manifolds with structure

In general, when you have a "cobordism category" (as defined in Stong's Notes on Cobordism Theory) you define two objects $M,N$ to be bordant when there exist $U,V$ such that $M \amalg \partial U ...
1
vote
1answer
35 views

Closed regular neighborhood

I would like to understand the following sentences. Let $L$ be a framed link in the three dimensional sphere $S^3$. Suppose $L$ has $m$ components $L_1, \cdots, L_m$. Let $U$ be a closed regular ...
4
votes
0answers
75 views

Generalizing the Hopf invariant to arbitrary manifolds

I recently ran across a qual question about a generalization the Hopf invariant to smooth maps $f: M^{4n-1} \to N^{2n}$ between arbitrary closed connected oriented manifolds of the indicated ...
10
votes
1answer
210 views

Am I reading Bott - Tu right?

Summary: I'm finding Bott - Tu to be too brief and terse. I constantly have to look elsewhere to fill in details. This is not time-efficient. Am I missing something? If not - what other books do ...
2
votes
0answers
61 views

Reduction of structure group of real vector bundles

I'm trying to show that the structure group of real vector bundles can be reduced to the orthogonal group. This is an exercise in Differential Forms in Algebraic Topology by Bott and Tu. The book ...
5
votes
1answer
109 views

Poincare dual of unit circle

I'm trying to self-study Differential Forms in Algebraic Topology by Bott and Tu. I've come across this exercise: Show that the closed Poincare dual of the unit circle in $ R^2-\{0 \} $ is zero, ...
0
votes
0answers
51 views

Turning a torus inside-out

Smale's paradox is now famous, and great videos can be found illustrating it. Similarly, there is a video showing how to turn a torus inside-out. The solution seems to be simpler, but is the proof ...
5
votes
0answers
43 views

How to kill homotopy groups using framed cobordism

Let $M$ be an orientable manifold (with or without boundary), $N$ a framed submanifold in the interior of $M$ and assume (if necessary) that $\dim N<(\dim M)/2$. If some low-dimensional homotopy ...
0
votes
0answers
44 views

Sections of the dual bundle of a smooth vector bundle

Let $M$ be a smooth manifold and $E,F,G$ smooth vector bundles over $M$. Denote the global sections by $\Gamma(.)$. In this question, it is proven that the canonical map ...
0
votes
1answer
25 views

Euler class is odd under orientation, thus its integral over a manifold will be even.

I learned a statement from others: "Euler class is odd under orientation, thus its integral over a manifold $M$ is even." I cannot fully appreciate it, can someone show this explicitly? The ...
1
vote
1answer
25 views

Avoiding self-intersections of immersed manifolds

Let $i: N\to M$ be an immersion of manifolds. If $\dim M\geq 2\dim N+1$ (or something like that?), does there exist arbitrary small perturbations of $i$ (wrt. some reasonable norm) that are already ...
0
votes
1answer
36 views

invariants of a Lie algebra

What does it mean by "constructing invariants" in algebraic topology or algebra in general? How to define a "invariant" in algebra? What does it mean by the "invariant of a Lie algebra"?
6
votes
0answers
136 views

Which manifolds are zero sets of $\mathbb R^n$ valued maps

If $M$ is a smooth manifold, then any framed submanifold $N$ is the preimage $f^{-1}(y) $ for a smooth sphere-valued map $f$ transversal to $y$, with the framing of the normal bundle induced by $f$. ...
1
vote
1answer
136 views

Another differential topology lemma

Another lemma (1) Why can we assume $z=f(z)=0$ and that $U$ is convex? (the coordinate domains of the manifolds can be taken to be balls?) (2) Why is it enough to consider the special case of a ...
0
votes
0answers
69 views

Two books defined two Chern(Euler) classes yet differed by a negative sign, what's wrong?

In the book 'Principles of Algebraic Geometry' P141 and the book 'Differential Forms in Algebraic Topology' P72-73, they defined the Chern(Euler) classes of line bundles using the patching data ...
0
votes
1answer
167 views

A differential topology lemma

Consider the following lemma (1) How come he talks about degrees here, after all he doesn't assume $X$ to be oriented? (2) Why is $\bar{v}|\partial X$ homotopic to $g$? (NOTE: we consider them as ...
1
vote
2answers
91 views

Homology of manifolds with boundary

If $M$ is a compact topological manifold WITH boundary does it follow that its homology groups are finitely generated and zero almost all of them? I know it is true in case it has no boundary (i.e. is ...
1
vote
0answers
78 views

Homeomorphic or Homotopic

Q1: Are the Fig (a) and (b), the equivalence "=" is Homeomorphic or Homotopic? ps. for details of the figures see Ref here. I learned that "The characterization of a homeomorphism often ...
2
votes
0answers
83 views

Reviewing the basics of algebraic topology for further deeper study

I am entering a Ph.D. program in pure math this fall. Over the summer, I am hoping to review the basics of algebraic topology (fundamental group, covering space theory, etc.) and I wondered if you had ...
0
votes
0answers
28 views

express skew-commutative product of Whitney sum of vector bundles in tensor products

Let $\xi$ and $\eta$ be vector bundles over a paracompact space $B$ and $\xi\oplus\eta$ be their Whitney sum. Can we write $\Lambda(\xi\oplus\eta)\cong \Lambda(\xi)\otimes \Lambda(\eta)$ as (graded) ...
4
votes
1answer
136 views

Is the Hopf fibration the only fibration with total space $S^{3}$?

Let $S^{1}$ bundle over $S^{2}$ is homeomorphic (diffeomorphic) to $S^{3}$. Is the Chern class of the fibration 1, i.e. is the Hopf fibration up to isomorphism the only fibre bundle with total space ...
7
votes
3answers
138 views

let $\xi$ be an arbitrary vector bundle. Is $\xi\otimes\xi$ always orientable?

Let $\xi=(E,p,B)$ be a line bundle (not nec. orientable). Then the tensor product $\xi\otimes \xi$ is orientable. I obtain this by choosing $b\in U\cap V$, $U,V$ open in $B$ such that ...
3
votes
2answers
112 views

tensor product of two vector bundles

Let $\xi$ and $\eta$ be two vector bundles over the same base space $B$. Then $\xi\otimes \eta$ is orientable if and only if $\xi$ and $\eta$ are both orientable. How to prove this true or not true? ...
1
vote
1answer
64 views

Symplectic submanifolds in $\mathbb{R}^{4}$

Which symplectic submanifolds can be realized in $\mathbb{R}^{4}$? It easy to show that such submanifolds aren't compact. So, they are spheres with some handles and holes. Which relations between the ...
0
votes
0answers
25 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 ...
1
vote
1answer
56 views

Tangent bundle of a manifold [duplicate]

can anyone help me with this problem: Show that for a manifold $M$, the tangent bundle $TM$ also has the structure of a manifold. If $M$ is an n-manifold, what is the dimension of $TM$? for the 1st ...
1
vote
1answer
80 views

Construction of Hodge decomposition

We know Hodge decomposition splits any $k$-form into three $L^2$ components. And I see some proofs, none of them provide an explicit constructive method. Is there any general method to construct one? ...
3
votes
0answers
57 views

English edition of Vol 9 of Dieudonné's Foundations of Modern Analysis?

I have found the first 8 volumes of Dieudonné's Foundations of Modern Analysis in English translation, but I'm having difficulty locating volume 9. I have searched the catalogues of numerous libraries ...