1
vote
1answer
112 views

Does projective duality preserve arithmetic-Cohen-Macaulay-ness?

Let $V$ be a vector space over $\mathbb{C}$. Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring ...
1
vote
0answers
230 views

Matlis' dual of injective modules

Let $(R, \mathfrak{m})$ be a commutative Noetherian complete local rings ($R$ can be regular, if you need). Let $E(R/\mathfrak{p})$ be injective hull of $R/\mathfrak{p}$, if $\mathfrak{p}= ...
5
votes
1answer
324 views

Base change of trace for Gorenstein or Cohen-Macaulay morphisms

This is basically a question of functoriality for base change of CM morphisms. EDIT: $\text{ }$ Brian Conrad sent me an email explaining the that this is indeed true, and follows from his book. ...
9
votes
1answer
711 views

Questions about spectra of rings of continuous functions

I have been thinking a bit about rings of continuous functions of various kinds -- how they motivate the more modern notion of the Zariski topology on the prime spectrum as well as how they fit into a ...
12
votes
0answers
659 views

Frobenius upper shriek/flat of a dualizing complex

Let $X$ be a separated connected scheme of characteristic $p > 0$. I am going to assume that $F : X \to X$ (the absolute Frobenius) is a finite map. This condition is called being $F$-finite. ...