When we have a vector bundle ( of finite rank ) over a scheme, that induces a flat pull back map of cycle classes, which can be shown to be isomorphism.

The surjectivity holds for affine bundle as well, this can be reduced to the case where the bundle is trivial using Noetherian induction : the cycle classes of a scheme can be “roughly” divided into the classes in an open subset and those in the complement ( this can be described by an exact sequence, which I would name the structural exact sequence ).

The injectivity is much harder to show, we need extra structures. First we need to complete the bundle projectively, with its projectivization added as the hyperplane at infinity. Then using Noetherian induction, we can show that there is an “O(1) decomposition” of each cycle class in the projective bundle as a ordered sum of classes : each of which is represented by the iterated action of the canonical line bundle on a pull back class. This fits nicely with the description of a projective space recursively as piecing an affine space with a projective space of 1 dimension less at infinity. Then the injectivity comes as a corollary of these added structure, using the “structural exact sequence” on the bundles, which are all compatible with the projection onto the base scheme.

There is a more descriptive description of the Gysin homomorphism using the the universal quotient bundle on the projective completion . To get the class on the base scheme via the Gysin morphism, first we take the closure of the class inside the projective completion of the bundle, intersect it with the highest Chern class of the universal quotient bundle, and the project it onto the base scheme.

We want to parametrize subschemes of projective space . Naturally, those with same Hilbert polynomial will cluster together, by the result which states that any continuous (flat ) family of closed projective subschemes have constant Hilbert polynomial. Now we will construct the moduli space of all subschemes with a fixed Hilbert polynomial . Here is the idea :
The value of the Hilbert polynomial at will coincide with the dimension of the graded piece of the coordinate ring of when is large. Another description of the Hilbert polynomial is the Euler characteristic of the structure sheaf of the scheme twisted by , by Serre vanishing theorem ( why?).
The idea is, if we choose large enough, then we hope to identify with the graded piece of its defining ideal . So each scheme can therefore be identified with a subspace of fixed dimension of the space of all monomials of degree . Which means that we have a map from our “moduli space” to the Grassmanian , and then hope that the image is actually a closed subscheme of the Grassmanian. Fortunately, we can do that, but need a lot of results.
First in order to cut out precisely those with Hilbert polynomial , we require that the image of the map in has dimension for all ( the dimension of the piece of the defining ideal ). That could be consider a linear map of two vector bundles over the Grassmanian. Unfortunately , this is the same as to require the map of vector bundles has constant rank, which is not in general a closed condition. The best that we can do is to require that the rank is alway not mroe than . There are three problems we need to solve :
1) As mentioned, this is not a closed condition.
2) We have to do this for infinitely many .
3) It is not clear how we can pick uniformly, so that the dimension of the graded pieces after behave as we expect.
There are two important results that have us resolve this :
Thm 1: We can in fact choose such a uniformly.
Thm 2 : (i) We can choose such a that for all , the multiplication by map increase the dimension at least 1 ( first test )
(ii) Once any has passed the first test, it will pass all the required tests:
has image of dimension at least .
Now, with all of the above, to cut out the moduli space, we can just put on the closed condition: the rank of the multiplication maps must not be more than “expected”, i.e. and that would cut out precisely the subschemes having Hilbert polynomial .

For a vector bundle over a scheme , consider the projective bundle . Then we can use the canonical line bundle on to define the $i-th$ Segre class of as follows : for a cycle , we pull it back, and we let the first Chern class of the canonical line bundle act on the pullback cycle times ( so that we get the dimensions as expected), and then pushforward the result. Here we utilize the property that the projection from the projective bundle is both flat and proper.
The Segre classes have the following properties inherited from that of Chern class of line bundle :
- Projection formula
- Flat pull back
- Commutativity of classes
It also has vanishing property : that is, the Segre classes whose orders are negative or bigger than the dimension of are all trivial

Now we can define formally the Segre power series, and then take the inverse to get the Chern polynomials, which then gives us the Chern classes. The Chern classes also have the properties like projection formula, flat pulback, commutativity, vanishing, and one other important property is the Whitney sum formula, which states that the Chern polynomial of the “sum” of two vector bundles ( the middle term is the short exact sequences ) is the product of those of other two.

It does not change when restricting to closed subschemes. It is because the residue ring does not change : .
When taking fibre of a morphism : ,
Consider a scheme Spec . Then by the universal property of fibre product, there are ( (natural) morphisms
latex $ and since the composition induces isomorphism on residue fields, so does the first map.

Flat map has a nice property : the fibre dimension is very well behaved. Assume we have a flat map . If we take a point on , its image, then the dimension of the fibre over ( going through ) is exactly as we expect : the difference between the local dimension at and that at :

Idea of proof :

-The proof use a lot of steps involving simplifying the situation. First we can base change to make a closed point, is a local affine scheme ( Spectrum of a local ring ) , by base change to . This is in effect focus all attention to the local property at . Note that the local information at is preserved because we infact take the direct limit of the inverse of a local basis at , which must as not refined as a local basis at . This can be check using using affine open sets at and .

- Next we can, by base change ( cut out the sheaf of nilradical), get rid of all the nilpotents in , make it into a reduced scheme.

. This does not change dimensions at all. Now we can proceed by induction : we can choose an element in that is not a zero divisor. Then the subscheme defined by is one dimension less. The pull back of the subscheme ( corresponds to the base change by the map that injects the subscheme into ) is defined on by the inverse image ideal of , which is non-zero-divisor at by flatness, hence define a subschem passing through which is 1 dimension less, and this agrees with the hypothesis.

Since we need the dimension to decrease by exactly one after being cut out by a non zero divisor, we need the schemes to be of finite type over an a.c. field .

The above result is a local property. If we need to make claims about the relative dimension between the components of with their images are all the same, we need to make an assumption that all the fibres have the same dimensions. The two things are infact equivalent.

These are two quite useful properties of intersecting with divisors.
1- Projection formula :
Let be proper. Then if is a divisor on , we want to pull back , intersect it with a cycle in , and then push it back. The projection formula gives a shortcut to that : we can just pushforward the cycle, and then intersect it with .
.

( Where is the induced map from the relevant subschemes : from to . This is important, because we have to adhere to where we define our intersection classes!)

2- Flat pull back
Let be flat. Then if $latex$ F is a divisor on , we want to pull back the intersection of a cycle with . So this formula tells us that we can just pull back and and do the intersection on . Again, we need to be a bit careful to restrict maps to relevant subscheme.

The idea of proof :
1- We can assume is a surjective proper morphism of varieties, and the cycle is just itself.

2-

The nice thing about projection formula and flat pull back is that it allows us to define Chern classes of vector bundle : we pushforward the Chern classes (intersection classes) defined by the canonical line bundle on the corresponding projective bundle. The projection map from the projective bundle is both proper and flat.

Suppose we have a pseudo-divisor on a scheme . Then for each subvariety of , we can define the intersection by pulling back ( restricting ) the corresponding line bundle with section of on to , which will in turn determine a divisor supported in . In case the support of contains , then we can only define that intersection divisor up to rational equivalence ( at level of homology class ). Otherwise, it is uniquely determined at the level of cycle. Note that we want to define a class in , and it is different from defining a class in . A cycle can in fact represent the 0 class in the latter but not in the former. Plus, later we shall need commutativity of intersection, thus we want to define a class in so that no matter in what order we intersect, the classes always be defined in the same space.

Now we can extend the definition by linearity to all the cycles. There is a special case where we can definite intersections at cycle level : when the line bundle of is trivial in a neighborhood of . In that case, in the only situation where the previous failed to determine a cycle i.e. when the support of a subvariety is contained , we can just define the intersection to be the 0 cycle.

As we should expect, if the line bundle that comes with is trivial, then intersecting with always yield 0 on the groups . In fact, if is any variety, then the restriction of on is trivial, hence it defines the 0 homology class. Later, we will know that intersecting with divisors yield a homomorphism of Chow groups ( i.e., intersecting with 0 homology class yield a homology class, as a corollary of commutativity of intersection ).

There are two properties of intersection with divisors which are useful but somewhat not quite trivial to prove :
1- Projection formula
2- Flat pullback

In some situation, when we are sure that Cartier divisors can be pulled backed ( i.e., the image scheme is not contained in the support of the divisor, or when the map is flat ( pull back of nonzero divisors are nonzero divisors , hence we can pull back the ration functions that define the Cartier divisor under flat map ). In general, since the support of a Cartier divisor is contained in that of the pseudo-divisor it represents, the equality involving two intersection classes (with Cartier divisor ) is better, since the classes are defined in smaller spaces.

Suppose we have a morphism . Let’s say we are going to blow up along a coherent sheaf of ideals, . We can take the inverse image ideal sheaf of in . Blow up along : . Whence lifts to a morphism in the obvious sense.
Furthermore, as a result, the ideal sheaves defining the exceptional divisors are both inverse image ideal sheaves of the , hence they correspond as well according to the lift , i.e, pull back the exceptional divisor on to the exceptional divisor on .

Such a lift exists uniquely, according to the universal property of the blowing up projection : the inverse image ideal sheaf is invertible.

If we have morphism , and a sheaf of ideal on , then the inverse image sheaf is therefore a subsheaf of , whose action on makes it an algebra. Thus also acts on , and thus we can define the inverse image ideal sheaf of by .
This sheaf of ideals is exactly the image of the pull back under the natural morphism :

Now let’s look at the situation where we blow up a scheme along a coherent sheaf of ideals . By definition

We shall see that the inverse image ideal sheaf of is exactly the canonical sheaf , hence is invertible, therefore determines a Cartier divisor on , which we would call the exceptional divisor.

Now we can look at the local picture. Locally over , the blow up along an ideal is , and the canonical invertible sheaf corresponds to the homogenous ideal ( graded module ) , which is nothing but the homogenous ideal generated by in . Thus the canonical sheaf coincides with the inverse image ideal sheaf of in .
This ideal sheaf defines a Cartier divisor, which is called exceptional divisor. This is the same as the inverse image scheme where is the closed subscheme of defined by .

If is a closed subscheme of , with the defining sheaf of ideals, then the normal cone to in is defined by the spectrum of the sheaf of algebra defined by :
.

The question is why it is defined this way? First of all, note that this is infact a cone over , as the zero-th grade of is just . Now let’s look a particularly nice case, when is a regular imbedding in of codim , i.e., locally is cut out by a regular sequences with elements. Then in this case, we have a normal bundle , the DUAL of the sheaf of sections of which is the locally free sheaf of dim . Thus is the spectrum of the algebra which is the symmetric algebra of . A well known result in algebra says that this algebra is just .