Quotients of multiplicative forms and Poisson reduction (Q2145098)

This paper concerns with quotients of Lie algebroids and Lie groupoids endowed with compatible differential forms. Ultimately, the authors use their theory to recover -- or rather reinterpret various reduction procedures from the literature (e.g., Examples 2.26, 4.11, 4.12, 4.13 and 4.14), and further propose new reduction procedures for twisted (Proposition 4.2) and higher (Corollary 4.16) Poisson and Dirac structures. The heart of the paper is Section 2, where the authors carefully lay out their objects of interest. They start with simple quotients of vector bundles (Subsection 2.1) and, layer by layer, they add structure; first, Lie algebroid structures on the vector bundles (starting at Definition 2.14), then linear forms (Subsection 2.2), and lastly ``A-morphic'' or IM-forms -- forms compatible with the Lie algebroid structure, (starting at Definition 2.22). They also dedicate Subsection 2.23 to what they call ``kernel-reducible'' forms (Definition 2.27), which are forms that have constant rank and integrable kernels. These latter subclass is important for the susequent applications. In Section 3 the authors consider the class of groupoid quotients and forms that can be completely determined by their infinitesimal counter-parts (see the words after Remark 3.3), and provide an explicit dictionary from infinitesimal to global (see, e.g., Theorems 3.10 and 3.15). They close the article with Section 4, where they recall the notion of twisted, non-degenerate and weakly non-degenerate IM 2-forms (Definition 4.1) and explain how these are related to twisted Dirac and Poisson structures. They move on to study quotients of these (Subsection 4.3). Lastly, they do the same for higher Dirac and Poisson structures (Subsection 4.4). An innocuous typo in the final words of Example 2.9: ``Ann\((\ker Tf)\)'' should read ``Ann\((\ker Tq_{M})\)''.