# Supersymmetric Derived Stacks

## TL;DR

This paper develops a theory of supersymmetric derived stacks on $ ext{Z}_2$-bi-graded modules, extending existing stack frameworks to incorporate supersymmetry and supergeometry relevant to String Theory.

## Contribution

It introduces the concept of supersymmetric derived stacks on $ ext{Z}_2$-bi-graded modules, defining maps and prestacks that respect supersymmetry transformations, expanding the mathematical toolkit for supergeometry.

## Key findings

- Defined derived stacks on $ ext{Z}_2$-bi-graded modules.
- Established behavior of supersymmetry transformations on these stacks.
- Proposed a criterion for supersymmetric stacks as derived stacks.

## Abstract

Stacks have become a prevalent tool in studying problems with connections to String Theory, hence we see a need to develop a theory of supersymmetric stacks proper. We first define derived stacks on $\mathbb{Z}_2$-bi-graded k-modules (objects of sk-sMod$_*$) following the exposition of Toen and Vezzosi on ungraded modules in HAG I & II. We then define $\text{Top}_{* \centerdot}$-valued maps on those supermodules ($\text{Top}_{* \centerdot}$ $\mathbb{Z}_2$-bi-graded), and show how they behave under supersymmetry transformations in the base. For $\Psi: M \rightarrow X$ one such map, $M \in $ sk-sMod$_*$, $X \in \text{Top}_{* \centerdot}$, we argue that defining a prestack $F$ of simplicial sets over simplicial graded k-superalgebras object-wise by $F(M) = \{\Psi(\sigma, \theta) | \sigma, \theta \in M \}$ with the induced topology, one can call $F$ a supersymmetric stack if it is a derived stack.