Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
0 answers
680 views

Artin's "On isolated rational singularities of surfaces"

My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt: The Setting: Let ...
user267839's user avatar
  • 5,966
4 votes
1 answer
537 views

Which schemes can be presented as limits of smooth varieties?

I can prove a certain statement for any scheme that can be presented as the limit of an essentially affine (filtering) projective system of smooth varieties over a perfect field such the connecting ...
Mikhail Bondarko's user avatar
2 votes
0 answers
113 views

Singularities of curves over DVRs with non-reduced special fibre

Let $R$ be a complete DVR of mixed characteristic with fraction field $K$ of characteristic $0$ and residue field $k$ of characteristic $p>0$. Suppose that $\mathcal{X}$ is a normal $R$-curve such ...
David Hubbard's user avatar
2 votes
0 answers
170 views

Resolution of pairs in characteristic p

Let $R$ be a complete DVR of characteristic $p$, say $R=\mathbb{F}_p[[t]]$, and $X$ be a reduced scheme of finite type over $R$. Let also $X_s$ denote the special fiber of $X$. If I understand ...
Kostas Kartas's user avatar
1 vote
2 answers
508 views

Base change of a finite morphism

Let $X$, $Y$, $Z$ be integral schemes of finite type over a field $K$ (i.e., locally affine opens are finitely-generated algebras over $K$). Suppose we have the following condition$\colon$ $f \colon ...
Pierre's user avatar
  • 563
1 vote
0 answers
410 views

Separable morphism of curves

A proof from Janos Kollar's Lectures on Resolution of Singularities Kollar (p 37) works as follows: Theorem 1.58 (M. Noether, 1871). Let $k$ be an algebraically closed field and $C \subset \...
user267839's user avatar
  • 5,966
0 votes
0 answers
82 views

Bijective restriction of the normalization morphism

Let $X$ be an integral separated scheme of finite type over $\mathbb{C}$. Consider the normalization morphism $f:X'\rightarrow X$. Can we always find an affine open $U\subset X'$ such that $f|_U:U\...
mikhalych's user avatar