Skip to content

Commit

Permalink
missing space
Browse files Browse the repository at this point in the history
  • Loading branch information
tim-at-topos committed Sep 28, 2024
1 parent e7da287 commit dadda8c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion trees/fga1/fga1-4.tree
Original file line number Diff line number Diff line change
Expand Up @@ -201,7 +201,7 @@
}
that we define by using the exterior product #{\Omega_X^p\times\Omega_X^{p'}\to\Omega_X^{p+p'}};
the pairing in the first column is the cup product (relative to the exterior product).
I claim that the last line of \ref{fga1-equation-4.5}can be identified with the diagram of isomorphisms analogous to \ref{fga1-equation-4.3}, where #{Y} is replaced by #{Y\cap Y'} and #{p} by #{p+p'}.
I claim that the last line of \ref{fga1-equation-4.5} can be identified with the diagram of isomorphisms analogous to \ref{fga1-equation-4.3}, where #{Y} is replaced by #{Y\cap Y'} and #{p} by #{p+p'}.
For this, it suffices to show that #{\sh{L}\otimes\sh{L}'} is a resolution (evidently locally-free) of #{\OO_{Y\cap Y'}}.
But then
##{
Expand Down

0 comments on commit dadda8c

Please sign in to comment.