All Questions
6 questions
5
votes
5
answers
2k
views
Terminology introduced in recent years with more than one meaning
Suppose a term(inology) is recently (in last 20 years) introduced in research mathematics.
It might happen that some one who wish to use it, in the same area of research, for different purposes or ...
74
votes
29
answers
8k
views
Proofs where higher dimension or cardinality actually enabled much simpler proof?
I am very interested in proofs that become shorter and simpler by going to higher dimension in $\mathbb R^n$, or higher cardinality. By "higher" I mean that the proof is using higher dimension or ...
79
votes
9
answers
21k
views
Results that are widely accepted but no proof has appeared
The background of this question is the talk given by Kevin Buzzard.
I could not find the slides of that talk. The slides of another talk given by Kevin Buzzard along the same theme are available here.
...
2
votes
2
answers
214
views
Measuring failure of a setup to preserve some structure giving interesting notions
I am looking for some examples of failure of some structures giving interesting notions. For example, we have the following situation:
Let $P(M,G)$ be a principal bundle. Let $\Gamma\subseteq TP$ be ...
8
votes
2
answers
3k
views
What does reduction of structure group of principal bundle say?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SO{SO}$Let $G$ be a Lie group and $\pi:P\rightarrow M$ be a principal $G$ bundle.
The notion of reduction of structure group is standard but I will ...
24
votes
3
answers
5k
views
A list of machineries for computing cohomology
This is not a question, but I just hope to hear more from everyone here on it.
A list of ready-to-use machineries to compute the de Rham / Cech cohomology of a manifold / variety. As far as I know, I ...