3 problems

Functorial rigidity conjecture. In the pseudo-finite case, $R_B$ has an induced rigidifying isomorphism $\rho_B$ relative to $\mathbb{K}$; in the essentially smooth case, $R_B$ lik…

Let $A$ be a tractable commutative DG ring with traction $\mathbb{K}\to A$, and let $(M,\rho)$ be a rigid DG module over $A$ relative to $\mathbb{K}$. Write…

Let $A$ be a tractable commutative DG ring, with traction $\mathbb{K} \to A$. A rigid dualizing DG module over $A$ relative to $\mathbb{K}$ is a pair $(R,\rho)$ consisting of a dua…