# Tagged Questions

The concept of scheme mimics the concept of manifold obtained by glueing pieces isomorphic to open balls, but with different "basic" glueing pieces. Properly, a scheme is a locally ringed space locally isomorphic (in the category of locally ringed spaces) to an affine scheme, spectrum of a ...

42 views

49 views

### Non-noetherian scheme with infinitely many irreducible components passing through a point? Point still a domain?

Is there a non-noetherian scheme with infinitely many irreducible components passing through a point? (I expect the answer to be yes, but I do not know of an example.) For extra internet points, I ...
59 views

### Is the set of regular points in a scheme open in general?

In the situation when smooth/k coincides with regularity (for a finite-type k scheme edit: k also perfect, thanks Remy), I think this should be true (?). But I am not sure about the situation for a ...
42 views

### Is there an example of a scheme $X$, irreducible, with a dense open subset $U$ so that $\dim U < \dim X$?

Is there an example of a scheme $X$, irreducible, with a dense open subset $U$ so that $\dim U < \dim X$? What about just for topological spaces? I know for varieties this doesn't happen (though ...
90 views

### Intuition for the valuative criterion for properness of morphisms?

I've always been told that the intuition for the valuative criterion for properness is something like this: a morphism $X\rightarrow Y$ is proper if, given a map of a small disk $D$ into $Y$ and a ...
65 views

41 views

### Image of not dominant morphism in Spec Z is finite

I have a very simple question that I seem not to be able to answer by myself. I want to understand the following: "If the structure morphism $f: X \to \operatorname{Spec}\mathbb{Z}$ is not dominant, ...
78 views

### Very basic question on projective bundles: Why is the fiber a vector space?

Consider an integral scheme $(X,\mathcal O_X)$ of dimension $n$ and a "good" locally free sheaf of $\mathcal O_X$-modules $\mathcal E$ of rank $n+1$. Then, thanks to the "global proj construction" we ...
38 views

### Maps induced by divisors and degree

I feel very stupid to ask this question but I've serached everywhere and I've not found a clear (to me) answer. A well known result in Curve theory (over $k=\bar{k}$) states that a divisor $D$ on a ...
59 views

### The Hirzebruch surface $\mathbb F_n$ contains a unique irreducible curve with negative self-intersection.

Consider the $n$-th Hirzebruch surface $\mathbb F_n:=\mathbb P_{\mathbb P^1}(\mathcal O_{\mathbb P^1}\otimes\mathcal O_{\mathbb P^1} (n))$, and let $C_0\subseteq \mathbb F_n$ a section of the ruling ...
37 views

29 views

### What exactly does the phrase “the quadratic cuts out a quadratic cone”?

Let $u,w,v \in \mathbb{C}$. Then I read in a review on affine schemes that The quadratic $uw-v^2$ cuts out a quadratic cone $X \in \mathbb{A}^3$ with coordinate ring $\mathbb{C}[u,v,w]/(uw-v^2)$. ...
68 views

### Geometrically ruled surface, sections and intersection numbers.

Consider a geometrically ruled surface $\pi: S\longrightarrow C$ where both $S$ and $C$ are projective, non-singular and complex ($C$ is obviously a curve). By using Tsen theorem one can show that ...
52 views

### Tricks to find $\dim H^0(O(D)(n))$

Let $X$ be a curve of genus $g\neq 0$ and $D$ a divisor on $X$. If $n \in \mathbb{Z}$ and $O(D)(n)=O(D)\otimes O(n)$ is the twist of $O(D)$ by $n$, there is a manageable proceedings to find the ...
25 views

### Zariski tangent space and subschemes of length 2

Let $X$ be a scheme, $x\in X$.The Zariski tangent space of $X$ at $x$ is the dual of the vector space $\mathfrak{m}_{x}/\mathfrak{m}_{x}^2$ over $k(x)$. It is a general fact that there is a ...
47 views

57 views

### Projective line is not isomorphic to the affine space with a doubled origin (schemes)

In the book 'Geometry of Schemes' (Eisenbud-Harris), there is a question that says the following (page 34, I-44): put $Y = \rm{Spec\,} K[s]$ and $Z = \rm{Spec\,} K[t]$. Let $U \subset Y$ be the open ...
29 views

### If $f : X \to Z$ is a morphism of schemes, which factors through an open $i : U \to Z$ on the level of topological spaces…

If $f : X \to Z$ is a morphism of schemes, which factors through an open $i : U \to Z$ on the level of topological spaces... then is there a (unique) morphism of schemes $g : X \to U$ which makes the ...
200 views

### What does Hartshorne do wrong?

I'm currently trying to learn algebraic geometry from Hartshorne's Algebraic Geometry. I've often heard it said, both on MathOverflow and in my department, that Hartshorne's treatment of certain ...
92 views

### Question on the proof of Hartshorne IV.3.7

Proposition 3.7 in Hartshorne's Algebraic Geometry is the following. Let $X$ be a curve in $\mathbb P^3$, let $O$ be a point not on $X$, and let $\phi: X \rightarrow \mathbb P^2$ be the morphism ...