https://en.wikipedia.org/wiki/Rational_mapping The usual example is that $ \mathbb {P} _{k}^{2} $ is birational to the variety $ X $ contained in $ \mathbb {P} _{k}^{3} $ consisting of the set of projective points $ [w:x:y:z] $ such that $ xy-wz=0 $, but not isomorphic. Indeed, any two lines in...

$\require{AMScd}$I am in the process of understanding how to work with (quotient) stacks. In my case, it is usually helpful to get my hands dirty so I like to come up with examples where maybe using stacks can make an argument more transparent. I recalled an exercise that I did when preparing...

Consider functions from $R^n$ to a subset of $R^n$. So $f(x_1,x_2,...,x_n) = (y_1,y_2,...,y_n)$. where $x_i,y_i$ are all real. More specific consider $$f(x_1,x_2,...,x_n) = (Q_1(x_1,x_2,...,x_n),Q_2(x_1,x_2,...,x_n),...,Q_n(x_1,x_2,...,x_n))$$ where the $Q_i$ are all Quadratic forms. Even more...

Suppose that $$ x=u^{-d},\qquad y=f(u), $$ where $$ d\in \mathbb Z_{>0},\qquad f(u)\in \mathbb C((u)), \qquad y=o(x). $$ Equivalently, $\operatorname{ord}_u f(u)>-d$. Let $ (P,Q)\in \operatorname{Aut}_{\mathbb C}\mathbb C[x,y]$ be a polynomial coordinate system, and write $$ X=P(x,y),\qquad...

I am currently working through Fulton's Algebraic Curves and I have attempted the following problem: $$\text{Let P be a simple (non-singular) point on }F\text{ . Show that the tangent line to }F \text{ at } P\text{ has the equation }F_X (P )X + F_Y (P )Y + F_Z (P )Z = 0$$ My solution thus far...

Let $k$ be a commutative ring and let $A$ be a commutative $k$-algebra. The cotangent complex $\mathbf{L}_{A \mid k}$ can be computed using a simplicial resolution of $A$ as follows: choose a simplicial commutative $k$-algebra $P$ and an augmentation $\epsilon : P_0 \to A$ (i.e. a $k$-algebra...

Vakil, Definition 20.1.1: Let $X$ be a variety (reduced separated finite type scheme, actually I'm not sure if we need all this. I think we can get away with dropping "reduced" and "separated" and just assume $X$ is a finite type scheme) over a field $k$ (not necessarily algebraically closed)....

I am trying to work through the following problem: Let $k$ be a field, and let $X = \operatorname{Spec} k[x, y, z, w]/(xy−zw)\subseteq \mathbb{A}^4_ k.$ (a) Show that $D= V (x, z)$ is a prime (Weil) divisor on $X$ and that $\operatorname{Cl} X\simeq \mathbb{Z}$ is generated by the divisor class...

Many results in real algebraic geometry are proved by passing from a real variety to its complexification , then studying the action of complex conjugation on . For example, one often regards $X(\mathbb R)$ as the fixed-point locus of conjugation on $X(\mathbb C)$. This appears in results such...

If $f \colon X \to Y$ is a finite surjective morphism between integral Noetherian schemes, then the set $V\subseteq Y$ of points over which $f$ is flat is open. I want to show that this fails if we drop the finiteness assumption. I can think of an example given by blowing up $\mathbb A^3$ at a...