Abstract:Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$. Local invariants such as the Milnor number $\mu_f$, the perverse sheaf of vanishing cycles $\mathsf{P}_{U,f}$ and the category of matrix factorizations $\mathsf{MF}(U,f)$ are naturally defined on the Darboux stack, without ambiguity. The stack of non-degenerate flat quadratic bundles acts on the Darboux stack and our main theorem is the contractibility of the quotient stack when taking a further homotopy quotient identifying isotopic automorphisms. As a corollary we recover the gluing results for vanishing cycles by Brav--Bussi--Dupont--Joyce--Szendr\H oi. In a second part (to appear), we will apply this general mechanism to glue the motives of the locally defined categories of matrix factorizations $\mathsf{MF}(U,f)$ under the prescription of additional orientation data, thus answering positively conjectures by Kontsevich--Soibelman and Toda in motivic Donaldson--Thomas theory.

Effective Morphisms and Quotient Stacks

Stable maps to quotient stacks with a properly stable point

Complex algebraic stacks and morphisms of intersection complexes

Existence of moduli spaces for algebraic stacks

Stratifying quotient stacks and moduli stacks

A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

Relative étale slices and cohomology of moduli spaces

Tensor stable moduli stacks and refined representations of quivers

On the Teichmüller stack of compact quotients of

A degeneration of stable morphisms and relative stable morphisms

Mapping stacks and categorical notions of properness

Gluing invariants of Donaldson--Thomas type -- Part I: the Darboux stack

On the Motivic Homotopy Type of Algebraic Stacks

On the cohomology of differentiable stacks

Desingularizations of sheaves and higher genus reduced Gromov-Witten invariants

On the stack of 0-dimensional coherent sheaves: motivic aspects

Equivariant Gromov-Witten Theory of Affine Smooth Toric Deligne-Mumford Stacks

Rational motives on pro-algebraic stacks

Moduli spaces of semistable pairs on projective Deligne-Mumford stacks

Generalized cohomology theories for algebraic stacks

On motives for Deligne-Mumford stacks