Search Results

Is there a name for a morphism of schemes which is an inverse limit of schemes such that the transition maps are all open immersions? To be more precise, I have a scheme $S$, and a functor $U: I \to …

It looks like this question has already been asked, but after reading some mistitled previous questions you can see it actually doesn't appear in the "Related Questions" list. Is there a reference fo …

It was a stupid question. And obviously not very clearly stated. By $F(x)$ I mean't $F(Spec\ k(x))$ where $k(x) = \mathcal{O}_{X,x} / \mathfrak{m}_x$ is the residue field of the point $x$ in the schem …

I have local hensel ring $A$ and a finite flat $A$-algebra $B$ (which is therefore a direct product of local henselien $A$-algebras) and I would like a section of the canonical map $B \to B / N$ where …

I have the following Grothendieck pretopologies on the category of schemes. The first one, the covers are families of morphisms $\{ U_i \to X \}$ such that for every point $x \in X$ there exists some …

I was wondering if it is foolish to ask if there is a criteria on a morphism $f: X \to Y$ between separated schemes of finite type over a perfect field which will assure that all the scheme theoretic …

Is the reduction $X_{red}$ of a flat, finite, surjective scheme $X$ over an integral base $S$ still flat? I could possibly add that I am already aware we can assume the base $S$ to be local and compl …

Does anyone know an example of a curve $X$ over a perfect field $k$ such that if $\tilde{X}$ is its noramlisation, there exists a point $x \in X$ and a point $y \in \tilde{X}$ over $x$ such that $k(y) …

Here is a probably stupid question : If $F$ is a sheaf on the big Nisnevich site, then is the morphism $F(X) \to \amalg F(x)$ injective where the sum is over ALL the points of $X$ (not just the closed …

In the setting described in Bernstein, Beilinson, and Deligne, associated to a scheme $X$, a closed subscheme $i: Z \to X$ and its open complement $j: U \to X$ we have six functors between the corresp …

If $S$ is the Zariski-Riemann space of a noetherian subring $k$ of a field $K$, Zariski-Samuel prove that $S$ is quasi-compact. If $S'$ is the subspace of valuations that are discrete (i.e. that valua …

Here is the question: if $X$ is a separated, finite type scheme over a perfect field (but not necassarily smooth) is the map $KH_n(X) \to \prod_{x \in X^{(0)}} KH_n(k(x))$ injective? If $X$ is smoot …

This feels like something I should know but I can't find an answer in Liu or in Atiyah-MacDonald, or a counter-example. To state the question again: let $A$ be an integral Noetherien ring of Krull di …

This seems like the kind of thing an expert should be able to answer off the top of their head: Recall that a valuation ring is an integral domain $A$ such that for every $a \in Frac(A)$ we have eith …

Exercise VI.8.3 from Bourbaki's Algèbre Commutative gives am example of a hensel discrete valuation ring and a finite (inseparable) extension of its fraction field for which the normalisation is not …