Welcome to MathOverflow

Question

2

3

Given a ring $R$, a prime ideal $\mathfrak{p}$ of $R$, and an extension ring $S$ (the algebra map $R\to S$ is injective), are there any nontrivial sufficient conditions for the induced map $Spec(S) \to Spec(R)$ to be injective as a map of topological spaces (completely disregarding any of our sheaf structure)? That is, every prime that lifts lifts to a unique prime? If this problem is intractable as-is, I can add more conditions, so please don't add answers unless they are actual answers.

edited Feb 5 2010 at 5:57

Harry Gindi

community wiki

	If R--->S is strict epimorhism which is surjective map.Then Spec(S)-->Spec(R) is a closed immersion(as closed subvariety) – Shizhuo Zhang Feb 5 2010 at 2:04
	A strict epimorphism of rings is surjective, no? – Harry Gindi Feb 5 2010 at 2:18
	Is "strict epimorphism" synonymous with "surjection"? If not, could somebody define the former for me? – Anton Geraschenko♦ Feb 5 2010 at 3:10
	Haha, I think it's another incarnation of radiciel but flipped around. – Harry Gindi Feb 5 2010 at 5:13
	It seems to me that there is a disconnect between the title and the body of the question. "When do primes lift uniquely?" seems to be asking "When is it the case that for every prime ideal p of R, there is exactly one prime ideal of S lying over p?" which is a wordier way of asking when the map on spectra is bijective. This is why some people are responsing with radiciel/purely inseparable extensions. On the other hand, in the body it seems to simply be asking for the map on spectra to be injective, which e.g. as VA points out occurs much more commonly... – Pete L. Clark Feb 5 2010 at 5:44

show 2 more comments

Anton Geraschenko · Accepted Answer · 2010-02-05 03:01:25Z UTC

2

Rather than listing various non-trivial sufficient conditions, let me give you a reference. Search EGA for the word "radiciel" (or start reading at Definition 3.5.4 of EGA I). A morphism of schemes $X\to Y$ is said to be radiciel (or universally injective) if for every field $K$, the induced map on $K$-points $X(K)\to Y(K)$ is injective. This generalizes the notion of a purely inseparable field extension.

answered Feb 5 2010 at 3:01

Anton Geraschenko♦♦
13.7k●3●48●108

Are these as functors of points? – Harry Gindi Feb 5 2010 at 3:03

Yes. Sorry if that was unclear. – Anton Geraschenko♦ Feb 5 2010 at 3:05

Oh no, it was clear. Is there a nice translation of this into an algebraic condition? – Harry Gindi Feb 5 2010 at 3:06

Yes. Look in EGA or in the stacks project. – Emerton Feb 5 2010 at 3:13

1

I pretty much wasted 4-5 hours trying to avoid a direct check. I feel like a total idiot. – Harry Gindi Feb 5 2010 at 6:14

show 11 more comments

Felipe Voloch · Answer 2 · 2010-02-05 02:32:02Z UTC

4

If $S/R$ is purely inseparable then the primes will lift uniquely.

answered Feb 5 2010 at 2:32

Felipe Voloch
16.6k●2●36●61

1

Could you give a reference? This looks like the condition I needed. Well, also, what do you mean by S/R is purely inseparable? Isn't that a condition on field extensions? – Harry Gindi Feb 5 2010 at 2:39

When do primes lift uniquely (provided they lift at all)?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.