1: \begin{abstract}

2: % Let $G$ be a transitive graph whose automorphism group has a transitive nonunimodular subgroup. 

3: We study Bernoulli bond percolation on nonunimodular quasi-transitive graphs, and more generally graphs whose automorphism group has a  nonunimodular quasi-transitive subgroup. 

4: % Here we focus on the critical and near-critical regimes; the second half of this series deals with the supercritical regime.

5: We prove that  percolation on any such graph has a non-empty phase in which there are infinite \emph{light} clusters, which implies the existence of a non-empty phase in which there are \emph{infinitely many} infinite clusters. That is, we show that $p_c<p_h \leq p_u$ for any such graph. This answers a question of H\"aggstr\"om, Peres, and Schonmann (1999), and verifies the nonunimodular case of a well-known conjecture of Benjamini and Schramm (1996).

6: % 

7: We also prove that the triangle condition holds at criticality

8:  on any such graph, 

9: which implies that various critical exponents exist and take their mean-field values. 

10: % Finally, we also prove that the susceptibility exponent, the gap exponent, and the cluster radius exponent each take their mean-field values on any such graph.

11: % ; these exponents were previously known to follow from the triangle condition only in the unimodular case. 

12: 

13: 

14: All our results apply, for example, to the product $T_k\times \Z^d$ of a $k$-regular tree with $\Z^d$ for $k\geq 3$ and $d \geq 1$, for which these results were previously known only for large~$k$.

15: Furthermore, our methods also enable us to establish the basic topological features of the phase diagram for \emph{anisotropic} percolation on such products, in which tree edges and $\Z^d$ edges are given different retention probabilities. These features had  only previously been established for $d=1$, $k$ large.

16: 

17: 

18: \end{abstract}

19: