1: \begin{abstract}

2: This paper is the fifth in a series devoted to the development of a

3: rigorous renormalisation group method applicable to lattice field

4: theories containing boson and/or fermion fields, and comprises the

5: core of the method.  In the renormalisation group method, increasingly

6: large scales are studied in a progressive manner, with an interaction

7: parametrised by a field polynomial which evolves with the scale under

8: the renormalisation group map.  In our context, the progressive

9: analysis is performed via a finite-range covariance decomposition.

10: Perturbative calculations are used to track the flow of the coupling

11: constants of the evolving polynomial, but on their own perturbative

12: calculations are insufficient to control error terms and to obtain

13: mathematically rigorous results.  In this paper, we define an

14: additional non-perturbative coordinate, which together with the flow

15: of coupling constants defines the complete evolution of the

16: renormalisation group map.  We specify conditions under which the

17: non-perturbative coordinate is contractive under a single

18: renormalisation group step.  Our framework is essentially

19: combinatorial, but its implementation relies on analytic results

20: developed earlier in the series of papers.  The results of this paper

21: are applied elsewhere to analyse the critical behaviour of the

22: 4-dimensional continuous-time weakly self-avoiding walk and of the

23: 4-dimensional $n$-component $|\varphi|^4$ model.  In particular, the

24: existence of a logarithmic correction to mean-field scaling for the

25: susceptibility can be proved for both models, together with other

26: facts about critical exponents and critical behaviour.

27: \end{abstract}

28: