Let be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety , and let be a -equivariant algebraic vector bundle over . A section of is regular if it is transversal to the zero section. Let be the subset of regular sections. We give a sufficient condition in terms of topological invariants of and that implies that every orbit map induces a surjection in rational cohomology. Under natural assumptions on and this condition is also necessary. If the condition is satisfied, then (1) the geometric quotient exists; (2) there is an isomorphism $H^(U,)\cong H^(G,)\otimes H^*(U/G,)G_s,s\in U$ divides a certain expression that can be explicitly calculated e.g. if is a compact homogeneous space. In some cases (e.g. if is a line bundle) we also prove similar statements for the space of the zero loci of . We apply these results to several explicit examples which include hypersurfaces in projective spaces, non-degenerate quadrics and complete flag varieties of the simple Lie groups of rank 2, and also certain Fano varieties of dimension 3 and 4.

生成讲解博客的中文版本

生成AI智能校验的中文版本