- #1

Korybut

- 64

- 3

- TL;DR Summary
- Is it doable?

Hello!

Reading Roger's book on supermanifolds one can find sketch of the proof for multiplicative property of super determinant. Which looks as follows

All the words sounds reasonable however when it comes to the direct computation it turns out to be technical mess and I am about to give up. I mean all the matrices that need to be inverted are invertible and can be represented as formal power series so everything is well-defined nonetheless resulting expressions are of insane technical complexity. Have someone tried this particular way of proving this property?

Reading Roger's book on supermanifolds one can find sketch of the proof for multiplicative property of super determinant. Which looks as follows

All the words sounds reasonable however when it comes to the direct computation it turns out to be technical mess and I am about to give up. I mean all the matrices that need to be inverted are invertible and can be represented as formal power series so everything is well-defined nonetheless resulting expressions are of insane technical complexity. Have someone tried this particular way of proving this property?