Chromatic Nullstellensatz seminar