The asymptotic shape theorem for generalized first passage percolation (Q964780)

Let \(G\) be a locally compact group acting on a probability space \((X,\mu)\), where \(\mu\) is \(G\)-invariant, and let \((Y,\nu)\) be a measure space with \(\nu\) \(\sigma\)-finite. A random semimetric on \(Y\), modelled on the \(G\)-space \(X\), is a map \(\rho:X\times Y\times Y \to [0,+\infty)\) such that \(\rho_x\) is a semimetric for almost every \(x\in X\) and \(\rho_{gx}(y,y')=\rho_{x}(gy,gy')\) for all \(y,y'\in Y\), \(g\in G\), and \(x\in X\), and the map \(x\mapsto\rho_x(y,y') \) is measurable for all \(y,y'\in Y\). The action of \(G\) is called ergodic if the invariant sets are either null or conull, and quasi-invariant if it preserves the measure class of \(\mu\). The main result of this paper is an asymptotic shape theorem showing that, for every random semimetric \({\mathbb Z}^d\)-modelled on an ergodic \({\mathbb Z}^d\)-probability space \((X,\mu)\) with \(x\mapsto\rho_x(0,n)\) in \(L^{d,1}(X,\mu)\) for every \(n\in{\mathbb Z}^d\), there exists a seminorm \(L\) on \({\mathbb R}^d\) such that \(\lim_{n\to\infty}(\rho_x(0,n)-L(n))/|n|=0\) almost everywhere on \((X,\mu)\). A structure theorem for equivariant semimetrics on topological groups and an extended version of the maximal inequality for \({\mathbb Z}^d\)-cocycles of Boivin and Derriennic in the vector-valued case is also proved. This inequality implies a general form of Kingman's subadditive ergodic theorem. For certain classes of generalized first passage percolation, the author proves further structure theorems providing rates of convergence for the asymptotic shape theorem. He also establishes a general form of the multiplicative ergodic theorem of Karlsson and Ledrappier for cocycles with values in separable Banach spaces with the Radon-Nikodým property.