# Tagged Questions

27 views

### Question on morphism locally of finite type

The exercise 3.1 in GTM 52 by Hartshorne require to prove that $f:X \longrightarrow Y$ is locally of finite type iff for every open affine subset $V=\text{Spec}B$, $f^{-1}(V)$ can be covered by open ...
39 views

### Is this morphism flat?

Suppose $X$ is a smooth projective curve over an algebraically closed field $k$. Is the morphism $X \to \operatorname{Spec}(k)$ necessarily flat? What kind of conditions on the above morphism are ...
72 views

### Finite fiber- unramified morphisms

I'm in trouble understandig the proof of Proposition 3.2 Chapter 1 of Milne's Book "Étale Cohomology". Let $f:Y\rightarrow X$ be locally of finite-type. The following are equivalent. $(a)$ f is ...
95 views

### How to use flatness here?

Let $X\to S$ be a scheme. Definition: A relative effective Cartier divisor on $X/S$ is a closed subscheme $D\subset X$ such that the ideal sheaf $I$ of $D$ is invertible and $D\to S$ is flat. Let ...
58 views

### Relative effective Cartier divisors

I have two different definitions of a relative effective Cartier divisor. The first one is a bit outdated and defines the notion over analytic spaces, in the following way: Definition 1: Let $X$ be ...
60 views

### On Lemma 4.1 of Hartshorne's algebraic geometry text

I'm in the process of teaching myself algebraic geometry from Hartshorne. Lemma 4.1 says that if we let $X$ and $Y$ be two varieties, and let $\phi$ and $\psi$ be two morphisms from $X$ to $Y$, and ...
79 views

### Every $\mathbb{P}^n$-bundle is a $\mathbb{P}(\mathscr{E})$

I am working on exercise II.7.10(c) in Hartshorne's Algebraic geometry, which asks: Let $X$ be a noetherian regular scheme. Show that every $\mathbb{P}^n$-bundle $P$ over $X$ is isomorphic to ...
41 views

115 views

### Morphisms between quasiprojective varieties preserve irreducibility

Let $X,Y$ be two quasiprojective varieties and $\phi \colon X \to Y$ a surjective morphism. Let $Z \subset Y$ a closed set such that $\phi^{-1}(Z)$ is irreducible. Prove that $Z$ is irreducible. ...
86 views

### Problem 3.1.2 in Liu — Omission in problem statement?

Exercise 3.1.2 in Liu's Algebraic Geometry and Arithmetic Curves is as follows. Let $f:X\rightarrow Y$ be a morphism of schemes. For any scheme $T$, let $f(T):X(T)\rightarrow Y(T)$ denote the ...
Let $X$ and $Y$ be locally Noetherian schemes and $f:X\rightarrow Y$ be an étale morphism of finite type. Let $x\in X$ and $y=f(x)$. I would like to know why the fiber $X_y$ is a zero-dimensional ...