Skip to content

Commit

Permalink
Add names to schemes because these names are used later
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jun 19, 2020
1 parent 9f6757f commit dbc7b28
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions flat.tex
Original file line number Diff line number Diff line change
Expand Up @@ -11457,8 +11457,8 @@ \section{Almost blow up squares and the h topology}
Then
$$
\xymatrix{
\Spec(A/fA + J) \ar[r] \ar[d] & \Spec(A/J) \ar[d] \\
\Spec(A/fA) \ar[r] & \Spec(A)
E = \Spec(A/fA + J) \ar[r] \ar[d] & \Spec(A/J) = X' \ar[d] \\
Z = \Spec(A/fA) \ar[r] & \Spec(A) = X
}
$$
is an almost blowup square.
Expand All @@ -11469,9 +11469,9 @@ \section{Almost blow up squares and the h topology}
Let $A$ be a ring. Let $f_1, f_2 \in A$ be elements.
$$
\xymatrix{
\text{Proj}(A/(f_1, f_2)[T_0, T_1]) \ar[r] \ar[d] &
\text{Proj}(A[T_0, T_1]/(f_2 T_0 - f_1 T_1) \ar[d] \\
\Spec(A/(f_1, f_2)) \ar[r] & \Spec(A)
E = \text{Proj}(A/(f_1, f_2)[T_0, T_1]) \ar[r] \ar[d] &
\text{Proj}(A[T_0, T_1]/(f_2 T_0 - f_1 T_1) = X' \ar[d] \\
Z = \Spec(A/(f_1, f_2)) \ar[r] & \Spec(A) = X
}
$$
is an almost blowup square.
Expand Down

0 comments on commit dbc7b28

Please sign in to comment.