All Questions
7 questions
12
votes
1
answer
419
views
Is height preserved in a normalization?
Let $R$ be a domain and $\tilde R$ its integral closure in its fraction field: $R\subset \tilde R\subset Frac(R)$.
Is it true that a prime ideal $ \tilde {\mathfrak p} \subset \tilde R$ and its ...
- 47.5k
3
votes
1
answer
736
views
Can height one maximal ideals in the normalization contract to non-height one primes in the base?
Let $R$ be a local (Noetherian) integral domain of dimension greater than one. Can the integral closure (i.e. normalization) of $R$ have a maximal ideal of height one?
- 1,802
4
votes
1
answer
678
views
When is normalization functorial?
Let $X$ and $Y$ be two irreducible, affine $\newcommand{\C}{\mathbb C}\C$-varieties. Let $f:X\to Y$ be a morphism. Denote by $u:\tilde X\to X$ and $v:\tilde Y\to Y$ their normalizations. Now, if $f$ ...
- 4,902
18
votes
4
answers
4k
views
Flatness of normalization
Let $X$ be a noetherian integral scheme and let $f \colon X' \to X$ be the normalization morphism. It is known that, if non trivial, $f$ is never flat (see Liu, example 4.3.5).
What happens if we ...
- 3,704
8
votes
2
answers
425
views
Doing explicit computations with coordinate rings
Suppose that we are given an integral $k$-algebra $A$ of finite type explicitly, by which I mean that we are given the generators of the defining ideal $J$ where $A = k[x_1,...,x_n]/J$. What kinds of ...
- 3,918
3
votes
2
answers
552
views
Is weak normality stable under completion?
I'm curious if anyone knows a reference for the following. It seems like someone must have done this somewhere, but I couldn't find a reference.
Recall that an excellent reduced noetherian ring $R$ ...
- 20.5k
32
votes
6
answers
9k
views
What is the universal property of normalization?
What is the universal property of normalization? I'm looking for an answer something like
If X is a scheme and Y→X is its
normalization, then the morphism
Y→X has property P and any ...
