# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeDec 22nd 2014

have added a few more pointers to integrability of G-structures, in particular to the classical textbook Sternberg 64 and to the Encyclopedia-of-Mathematics entry by Alekseeviskii.

Then I wrote a section Formalization in differential cohesion.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJan 15th 2015

I have been working a bit on integrability of G-structures. Gave it a decent (I hope) Idea-section and a discussion mentioning all the ingredients that go into the main Examples. Also cross-linked with all the entries mentioned there.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJan 22nd 2015
• (edited Jan 22nd 2015)

Added further to the Examples-section a brief paragraph on Unitary structure and added accordingly brief paragraphs to the entries that this refers to, such as Kähler manifold – In terms of G-structure and Unitary group – Relation to orthogonal, symplectic and general linear group. I suppose I also touched almost Hermitian structure and maybe other related entries.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJan 22nd 2015
• (edited Jan 22nd 2015)

[…]