Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.
1
vote
Lie group operation and tangent vectors
EDIT: Wrong.
Forgive me my naiveté (and my spelling), but I think that on a small enough chart around $e$, we can actually subtract elements of $G$, and we have
$\displaystyle \left(\alpha\beta\righ …
1
vote
Accepted
Invariant characterization of isometric embeddings
Here is a proof of $\left( \ast\ast\right) $. As you correctly admitted,
part of the problem is to define the signs that enter into
$\operatorname*{Cof}A$. Let me actually start from scratch and int …
1
vote
Rolle's theorem in n dimensions
EDIT: The following solution is incomplete. We need to make sure that if $F^{\prime}\left(t\right)$, $F^{\prime\prime}\left(t\right)$, ..., $F^{\left(n-1\right)}\left(t\right)$ are linearly dependent …
6
votes
The action of $GL_{\infty}$ on the infinite wedge space
$Av_0 \wedge Av_{-1} \wedge Av_{-2} \wedge \cdots$ does make sense, but it cannot be "multiplied out" in finitely many steps, so the usual definition does not work. Instead, one needs to define semiin …
5
votes
Accepted
Expansions of iterated, or nested, derivatives, or vectors--conjectured matrix computation
I have finally written up the proof in detail. It is in my note
Darij Grinberg, Commutators, matrices and an identity of Copeland, also available as arXiv:1908.09179v1.
Your result is a particular …