Skip to main content

All Questions

Filter by
Sorted by
Tagged with
17 votes
0 answers
1k views

Jets of sections of vector bundles expressed by symmetrized iterated covariant derivatives - who did it first?

The (non-unique) bundle isomorphism between the bundle $J^r E$ of $r$-th order jets of sections of a vector bundle $\pi:E\rightarrow M$ and the direct sum $$\bigoplus^r_{k=0}\vee^kT^*M\otimes E\...
Pedro Lauridsen Ribeiro's user avatar
13 votes
1 answer
1k views

Aleksandrov's proof of the second order differentiability of convex functions

Aleksandrov [A], proved a remarkable property of convex functions. Theorem. If $f:\mathbb{R}^n\to\mathbb{R}$ is convex, then for almost every $x\in\mathbb{R}^n$ there is $Df(x)\in\mathbb{R}^n$ and ...
Piotr Hajlasz's user avatar
60 votes
1 answer
6k views

What were the main ideas and gaps in Yoichi Miyaoka's attempted proof (1988) of Fermat's Last Theorem?

Out of sheer curiosity I have been reading Stewert and Tall's "Algebraic Number Theory and Fermat's Last Theorem" (2001). As it contains various bits of history, I found out to my own shame that I was ...
M.G.'s user avatar
  • 7,127
17 votes
2 answers
2k views

Where did Sophus Lie write the group commutator for two one parameter groups

If $X,Y$ are vector fields and $\def\Fl{\operatorname{Fl}}\Fl^X_t$ and $\Fl^Y_t$ their local flows, let $[\Fl^X_t,\Fl^Y_t]:= \Fl^Y_{-t}\Fl^X_{-t}\Fl^Y_t\Fl^X_t$ denote the group commutator of the ...
Peter Michor's user avatar
  • 25.3k
16 votes
1 answer
733 views

Where was $I_x/I_x^2$ first introduced? (DG or AG)

Cotangent space appears in both differential geometry (DG) and algebraic geometry (AG). In DG, given a smooth manifold $M$ and $x\in M$ one has an isomorphism $I_x/I_x^2 \cong T^*_xM$, where $I_x$ is ...
Fallen Apart's user avatar
  • 1,615
14 votes
5 answers
1k views

History of the notion of $(G,X)$-structure

I'm currently searching for sources and historical basis on the notion of $(G,X)$-structure as it appears in Thurston's work. So far, it appears that he was the first to set it. Many mathematicans ...
R. Alexandre's user avatar