Representation Varieties of Stacks and Trace Maps
We define a derived stack $\mathscr{Rep}_n(X)$ which generalizes the assignment $A\leadsto \operatorname{Rep}_n(A)$ to an algebra of its derived $GL_n$-representation variety of arXiv:1112.1449 from algebras $A$ to perfect stacks $X$ over characteristic 0 fields. In the case of a quasi-projective classical scheme $X$,...