Bounding the homological finiteness length

We give a criterion for bounding the homological finiteness length of certain H픉‐groups. This is used in two distinct contexts. First, the homological finiteness length of a non‐uniform lattice on a locally finite n‐dimensional contractible CW‐complex is less than n. In dimension 2, it solves a conjecture of Farb, Hruska and Thomas. As another corollary, we obtain an upper bound for the homological finiteness length of arithmetic groups over function fields. This gives an easier proof of a result of Bux and Wortman that solved a long‐standing conjecture. Secondly, the criterion is applied to integer polynomial points of simple groups over number fields, obtaining bounds established in earlier works of Bux, Mohammadi and Wortman, as well as new bounds. Moreover, this verifies a conjecture of Mohammadi and Wortman.