Skip to main content
MathOverflow

Return to Answer

added 763 characters in body
Source Link
wongdl
wongdl
  • 388
  • 1
  • 9

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

update: I had thought you just consider the Künneth case.To give the relationship between the cohomology for general closed subscheme Z and the $pr_{1*}Z$ $pr_{2*}Z$ is related to Motives and algebraic correspondences.In the case that $Z=Z_1\times Z_2$，Künneth formula can expressed in the form $H(Z)=Hom(H(Z_1,Z_2)$$H(Z)=Hom(H(Z_1),H(Z_2))$ by Poincare duality (transfer tensor to hom),When Z is not as this form and $H_C(X,A)$ corresponds to$c^!RHom(p_1^*A_2,p_2^!A_2)=RHom(c_1^*A_1,c_2^!A_2)$ by kunneth theorem (c.f SGA5 III), in the case that Z corresponds to the graph of a morphism,it is isomorphic to$RHom(f^*A_1,A_2)$,we can calculate the $H_C(X,A)$ by Fubini-like theroem in SGA5 III proposition 3.4.But I don't really know how wide can this theorem apply

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

update: I had thought you just consider the Künneth case.To give the relationship between the cohomology for general closed subscheme Z and the $pr_{1*}Z$ $pr_{2*}Z$ is related to Motives and algebraic correspondences.In the case that $Z=Z_1\times Z_2$，Künneth formula can expressed in the form $H(Z)=Hom(H(Z_1,Z_2)$ by Poincare duality (transfer tensor to hom),When Z is not as this form and $H_C(X,A)$ corresponds to$c^!RHom(p_1^*A_2,p_2^!A_2)=RHom(c_1^*A_1,c_2^!A_2)$ by kunneth theorem (c.f SGA5 III), in the case that Z corresponds to the graph of a morphism,it is isomorphic to$RHom(f^*A_1,A_2)$,we can calculate the $H_C(X,A)$ by Fubini-like theroem in SGA5 III proposition 3.4.But I don't really know how wide can this theorem apply

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

update: I had thought you just consider the Künneth case.To give the relationship between the cohomology for general closed subscheme Z and the $pr_{1*}Z$ $pr_{2*}Z$ is related to Motives and algebraic correspondences.In the case that $Z=Z_1\times Z_2$，Künneth formula can expressed in the form $H(Z)=Hom(H(Z_1),H(Z_2))$ by Poincare duality (transfer tensor to hom),When Z is not as this form and $H_C(X,A)$ corresponds to$c^!RHom(p_1^*A_2,p_2^!A_2)=RHom(c_1^*A_1,c_2^!A_2)$ by kunneth theorem (c.f SGA5 III), in the case that Z corresponds to the graph of a morphism,it is isomorphic to$RHom(f^*A_1,A_2)$,we can calculate the $H_C(X,A)$ by Fubini-like theroem in SGA5 III proposition 3.4.But I don't really know how wide can this theorem apply

added 763 characters in body
Source Link
wongdl
wongdl
  • 388
  • 1
  • 9

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

update: I had thought you just consider the Künneth case.To give the relationship between the cohomology for general closed subscheme Z and the $pr_{1*}Z$ $pr_{2*}Z$ is related to Motives and algebraic correspondences.In the case that $Z=Z_1\times Z_2$，Künneth formula can expressed in the form $H(Z)=Hom(H(Z_1,Z_2)$ by Poincare duality (transfer tensor to hom),When Z is not as this form and $H_C(X,A)$ corresponds to$c^!RHom(p_1^*A_2,p_2^!A_2)=RHom(c_1^*A_1,c_2^!A_2)$ by kunneth theorem (c.f SGA5 III), in the case that Z corresponds to the graph of a morphism,it is isomorphic to$RHom(f^*A_1,A_2)$,we can calculate the $H_C(X,A)$ by Fubini-like theroem in SGA5 III proposition 3.4.But I don't really know how wide can this theorem apply

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

update: I had thought you just consider the Künneth case.To give the relationship between the cohomology for general closed subscheme Z and the $pr_{1*}Z$ $pr_{2*}Z$ is related to Motives and algebraic correspondences.In the case that $Z=Z_1\times Z_2$，Künneth formula can expressed in the form $H(Z)=Hom(H(Z_1,Z_2)$ by Poincare duality (transfer tensor to hom),When Z is not as this form and $H_C(X,A)$ corresponds to$c^!RHom(p_1^*A_2,p_2^!A_2)=RHom(c_1^*A_1,c_2^!A_2)$ by kunneth theorem (c.f SGA5 III), in the case that Z corresponds to the graph of a morphism,it is isomorphic to$RHom(f^*A_1,A_2)$,we can calculate the $H_C(X,A)$ by Fubini-like theroem in SGA5 III proposition 3.4.But I don't really know how wide can this theorem apply

deleted 10 characters in body
Source Link
wongdl
wongdl
  • 388
  • 1
  • 9

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem need two things,theneeds the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem need two things,the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

In the topology case, it is the Kunneth theorem for excision pair.In the algebraic geometry(etale cohomology) case , it can be reduced to prove that for $Z_1$,$Z_2$(if $Z=Z_1\times Z_2)$and sheaf $Ri_1^! F$and $Ri_2^!G$ since $R\Gamma(Z,Ri^!F)=R\Gamma(X,R\Gamma_ZF)$.Kunneth theorem needs the projection formula and base change theorems.If we only consider the case that the base scheme is spec k,the generic base change theorem in SGA4.5 is always available。$Ri^!F$ should be locally constant sheaf due to the projection formula.If Z and X are smooth,this is from purity theorems. The case that X is smooth and Z is a divsor can be found in SGA7 XIII lemma 2.1.10.

In fact the topology purity theorem is often proved by using Kunneth theorem for excision pair(c.f Milnor's characteristic class ）

deleted 3 characters in body
Source Link
wongdl
wongdl
  • 388
  • 1
  • 9
Source Link
wongdl
wongdl
  • 388
  • 1
  • 9