Skip to main content
5 events
when toggle format what by license comment
Oct 3, 2022 at 13:39 comment added Jonas @ChrisSchommer-Pries I removed the choice of basis and the presentation of the trace in coordinates. I believe one should actually use a 'difference' of two scalar products on $V^0$ and $V^1$ to do this (then negative definite on $V^1$), but this seems arbitrary to me.
Oct 3, 2022 at 13:36 history edited Jonas CC BY-SA 4.0
removed choice of basis in construction.
Oct 2, 2022 at 9:32 comment added Jonas No, you are right it should be a (non-super) symplectic basis of $V^1$. I will edit the answer, thanks.
Sep 30, 2022 at 14:05 comment added Chris Schommer-Pries Perhaps I am confused. Doesn't your symmetry condition mean that the restriction of B to the odd part of V is a (non-super) anti-symmetric form? So a symplectic form if non-degenerate. Then it would not have the basis you claim, but a different one.
Sep 30, 2022 at 13:14 history answered Jonas CC BY-SA 4.0