Questions tagged [differential-topology]

Differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.

Differential topology is the field dealing with differentiable functions on differentiable manifolds. Somewhat simplified view of this field is that it describes the setting to which the notion of differentiable function can be generalized from the more familiar case of functions $\mathbb R^n\to\mathbb R^k$. Differential topology is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.

6575 questions
208
votes
10 answers

Teaching myself differential topology and differential geometry

I have a hazy notion of some stuff in differential geometry and a better, but still not quite rigorous understanding of basics of differential topology. I have decided to fix this lacuna once for all. Unfortunately I cannot attend a course right…
190
votes
6 answers

Why can't differentiability be generalized as nicely as continuity?

The question: Can we define differentiable functions between (some class of) sets, "without $\Bbb R$"* so that it Reduces to the traditional definition when desired? Has the same use in at least some of the higher contexts where we would use the…
88
votes
4 answers

A continuous, nowhere differentiable but invertible function?

I am aware of a few example of continuous, nowhere differentiable functions. The most famous is perhaps the Weierstrass functions $$W(t)=\sum_k^{\infty} a^k\cos\left(b^k t\right)$$ but there are other examples, like the van der Waerden functions, or…
levitopher
  • 2,481
  • 18
  • 34
80
votes
1 answer

Is there an easy way to show which spheres can be Lie groups?

I heard that using some relatively basic differential geometry, you can show that the only spheres which are Lie groups are $S^0$, $S^1$, and $S^3$. My friend who told me this thought that it involved de Rham cohomology, but I don't really know…
74
votes
6 answers

If a two variable smooth function has two global minima, will it necessarily have a third critical point?

Assume that $f:\mathbb{R}^2\to\mathbb{R}$ a $C^{\infty}$ function that has exactly two minimum global points. Is it true that $f$ has always another critical point? A standard visualization trick is to imagine a terrain of height $f(x,y)$ at the…
65
votes
1 answer

Does $\Bbb{CP}^{2n} \mathbin{\#} \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has now been crossposted to MathOverflow, in the hopes that it reaches a larger audience there. $\Bbb{CP}^{2n+1} \mathbin{\#} \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an orientation-reversing diffeomorphism…
user98602
63
votes
1 answer

Which Algebraic Properties Distinguish Lie Groups from Abstract Groups?

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse". Here I am taking an abstract group $G$ and looking for necessary conditions for it to admit…
60
votes
2 answers

How do different definitions of "degree" coincide?

I've recently read about a number of different notions of "degree." Reading over Javier Álvarez' excellent answer for the thousandth time finally prompted me to ask this question: How exactly do the following three notions of "degree"…
56
votes
3 answers

Is Stokes' Theorem natural in the sense of category theory?

Stokes' Theorem asserts that for a compactly-supported differential form $\omega$ of degree $n-1$ on a smooth oriented $n$-dimensional manifold $M$ we have the marvellous equation $$\int_M d\omega = \int_{\partial M} \omega.$$ Doesn't that look like…
56
votes
1 answer

Properly discontinuous action: equivalent definitions

Let us define a properly discontinuous action of a group $G$ on a topological space $X$ as an action such that every $x \in X$ has a neighborhood $U$ such that $gU \cap U \neq \emptyset$ implies $g = e$. I would like to prove that this property is…
55
votes
1 answer

$C^{k}$-manifolds: how and why?

First of all, I have a specific question. Suppose $M$ is an $m$-dimensional $C^k$-manifold, for $1 \leq k < \infty$. Is the tangent space to a point defined as the space of $C^k$ derivations on the germs of $C^k$ functions near that point? If so, is…
Pedro
  • 5,988
  • 5
  • 28
  • 45
54
votes
1 answer

precise official definition of a cell complex and CW-complex

I would be very grateful If someone could state a precise definition (direct one and inductive one) of a cell complex and CW-complex, since my intuition is telling that some restriction is missing and also, the definitions from several books seem to…
53
votes
2 answers

Which manifolds are parallelizable?

Recall that a manifold $M$ of dimension $n$ is parallelizable if there are $n$ vector fields that form a basis of the tangent space $T_x M$ at every point $x \in M$. This is equivalent to the tangent bundle $TM$ being trivial or the frame bundle…
Marek
  • 6,048
  • 1
  • 28
  • 29
51
votes
3 answers

Roadmap to study Atiyah–Singer index theorem

I am a physics undergrad and want to pursue a PhD in maths (geometry or topology). I study it almost completely by myself, as the program in my country offers very less flexibility to take non departmental courses, thought I will be able to take…
50
votes
2 answers

What exactly is a Kähler Manifold?

Please scroll down to the bold subheaded section called Exact questions if you are too bored to read through the whole thing. I am a physics undergrad, trying to carry out some research work on topological solitons. I have been trying to read a…
1
2 3
99 100