Constant coefficient and intersection complex L-classes of projective varieties

Abstract For a projective variety X , we have the intersection complex L -classes $$L_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> defined by Goresky-MacPerson using cohomotopy and also the constant coefficient L -class $$L^c_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> <mml:mi>c</mml:mi> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> defined by applying an L -class transformation (or $$T_{1*}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>T</mml:mi> <mml:mrow> <mml:mn>1</mml:mn> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> </mml:math> ) to a cubic hyperresolution of X . These coincide if X is a $${\mathbb {Q}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Q</mml:mi> </mml:math> -homology manifold. We show that the two L -classes $$L_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and $$L^c_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> <mml:mi>c</mml:mi> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> differ if they do by replacing X with an intersection of general hyperplane sections which has only $${\mathbb {Q}}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>Q</mml:mi> </mml:math> -homologically isolated singularities. Finding a good sufficient condition for the non-coincidence of $$L_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> and $$L^c_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> <mml:mi>c</mml:mi> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> is thus reduced to the latter case, where a necessary and sufficient condition has been obtained in terms of the Hodge signatures of stalks of intersection complex in our previous paper. In the case of projective hypersurfaces having only isolated singularities, the difference between $$L_*(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>L</mml:mi> <mml:mrow> <mml:mrow/> <mml:mo>∗</mml:mo> </mml:mrow> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>X</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math>