← all areas

Namespace CoherentBaseChange 5 theorems

FibreH0Family 1 · TwoTermComplex 4

CoherentBaseChange.FibreH0Family 1

• Upper semicontinuity of fibre h⁰ for a family of two-term complexes CoherentBaseChange.FibreH0Family.isClosed_setOf_le_h0 0 below · cited by 1 · depth 18

CoherentBaseChange.TwoTermComplex 4

• Euler characteristic of a two-term complex at a field-valued point CoherentBaseChange.TwoTermComplex.natCast_finrank_ker_baseChange_sub_natCast_finrank_quotient_range_eq_chi 0 below · cited by 2 · depth 16
• Degree-zero cohomology and base change over a reduced ring CoherentBaseChange.TwoTermComplex.projective_ker_of_isReduced_of_fibreH0_const 0 below · cited by 1 · depth 16
• Local structure of H⁰ at a point of fibre rank ≤ 1 CoherentBaseChange.TwoTermComplex.exists_nonempty_H0_linearEquiv_annihilator_of_fibreH0_le_one 0 below · cited by 1 · depth 38
• Unimodularity of a generator of ker d under universal freeness of H⁰ CoherentBaseChange.TwoTermComplex.one_tmul_ne_zero_of_forall_nonempty_H0_linearEquiv 0 below · cited by 1 · depth 39