What are some derived schemes naturally arising in geometric representation theory? Some examples include:
- Steinberg scheme
- Hilbert scheme
- Moduli stack of local systems.
Now, this looks like a community wiki question to me so maybe it should be marked as such.