Skip to main content
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
Results tagged with
Search options not deleted user 2530

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 …
darij grinberg's user avatar
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 …
darij grinberg's user avatar
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 …
darij grinberg's user avatar
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 …
darij grinberg's user avatar