\section{Introduction}\label{sec: intro}

In our article \cite{a} with Yukio Kametani, we investigated the geometric structure underlying a
large scale interacting system on infinite graphs, via constructing a suitable cohomology
theory called uniform cohomology, which reflects the geometric property of the
microscopic model.
In this article, as a first step to consider stochastic data on the model,
we will equip the configuration space of our model with a probability measure.
We will then define a class of functions and forms,
which we call the \textit{co-local} functions and forms, reflecting the property of the probability measure.

In our work, when discussing the model of large scale interacting systems, we will use the term
\emph{locale} to refer to the underlying space of the interacting system modeling the space where the dynamics takes place, the
\emph{set of states} to be the single state space of the model
representing all of the possible states at a single point, and an \emph{interaction}
to be an operator giving the interaction between states at related points
-- the relation between points expressed via the geometric structure of the locale.  These terms will express
the \emph{roles} played by each object within the model, and the corresponding mathematical object
may differ depending on the context.  In this article as well as \cite{a}, we take the
locale to be any locally finite simple symmetric directed graph $(X,E)$ which is connected.
Here, $X$ denotes the set of vertices of the graph and $E\subset X\times X$ the set of directed edges.
For this article,
we take the set of states to be a \emph{finite set}
$S$ with a designated element which we call the \textit{base state},
and we let the interaction to be a map
$\phi\colon S\times S\rightarrow S\times S$
such that
for any pair of states $(s_1,s_2)\in S\times S$ satisfying $\phi(s_1,s_2)\neq(s_1,s_2)$,
we have
\[
	\hat\imath\circ\phi\circ\hat\imath\circ\phi(s_1,s_2)=(s_1,s_2),
\]
where $\hat\imath\colon S\times S\rightarrow S\times S$
is the bijection obtained by exchanging the components of $S\times S$.
The interaction in our context expresses the possible change of states on vertices
connected by an edge of the locale.

Associated to the data $((X,E),S,\phi)$,
we define the \textit{configuration} space $S^X$ to be the set
\[
	S^X\coloneqq\prod_{x\in X}S
\]
with the set of \textit{transitions} $\Phi\coloneqq\{ (\eta,\eta^e) \mid  \eta\in S^X, e\in E\}$,
where for any $e=(o(e),t(e))\in E\subset X\times X$,
the configuration $\eta^e=(\eta^e_x)\in S^X$ is such that $(\eta^e_{o(e)}, \eta^e_{t(e)})=\phi(\eta_{o(e)}, \eta_{t(e)})$
and $\eta^e_x=\eta_x$ if $x\not\eq o(e),t(e)$.
The pair $(S^X, \Phi)$ form a symmetric graph which we call the \emph{configuration space with
transition structure}.  This graph represents all possible change of the configuration at a single instant.
This structure is independent of the
\textit{transition rate} -- stochastic data which encodes the expected frequency of the transitions.

A typical example of a locale is given by the Euclidean lattice $(\mathbb{Z}^d,\mathbb{E}^d)$
for $\mathbb{E}^d\coloneqq\{ (x,y)\in\mathbb{Z}^d\times\mathbb{Z}^d\mid |x-y|=1\}$, where $|x|\coloneqq\sum_{i=1}^d|x_i|$
for $x=(x_1,\ldots,x_d)\in\mathbb{Z}^d$,
and the simplest nontrivial example of the set of states is $S=\{0,1\}$ with $0$ taken to be
the base state.  We may interpret the elements $0$ and $1$ respectively to represent
the non-existence or existence of a particle.   An interaction in this case is given by
$\phi(s_1,s_2)=(s_2,s_1)$, expressing the \emph{exclusion process}.
The configuration space $S^X=\{0,1\}^{\mathbb{Z}^d}$ expresses
all of the possible configuration of particles on $X$, and the transition structure $\Phi$
expresses the change of configurations arising from the exchange of particles on an edge
of the locale.
Typical models, such as the \textit{multi-color exclusion process} and the
\textit{generalized exclusion process} may
be described using this framework.
 See \cite[\S2.1]{a} for other examples of locales, set of states, and interactions.

In our previous article \cite{a}, we investigated the geometric property of $(S^X,\Phi)$ via
a class of functions which we call
the \textit{uniform functions},
and proved a decomposition theorem for shift-invariant closed uniform forms,
which may be interpreted as a uniform variant of the decomposition theorem
originally proposed by Varadhan \cite{VY97} for
$L^2$-forms, which plays a crucial role in proving
 the hydrodynamic limit for
non-gradient systems.
The uniform functions are certain functions in $C(S^X_*)$,
where $S^X_*$ denotes the subset of $S^X$ consisting of configurations at base state
outside a finite number of vertices, and $C(S^X_*)$ denotes the $\mathbb{R}$-linear space of $\mathbb{R}$-valued
functions on $S^X_*$.  The definition of the set $C(S^X_*)$ as well as the definition of uniform
functions are purely algebraic, and is independent of the choice of a probability measure on $S^X$.

In this current article,
we will equip the configuration space $S^X$ with a probability measure $\mu$.
We will then define a certain variant of the space $C(S^X_*)$ which we call the
\textit{space of co-local functions}, as a projective limit of local functions
via projections defined via the conditional expectations of the probability measure.
The co-local functions are in fact Martingales indexed by the finite subsets of the
set of vertices of the locale.
As the name suggests, the space of co-local functions is the $\mathbb{R}$-linear dual of the
space of local functions on $S^X$.  In the case that the probability measure $\mu$
is a product measure of a probability measure on $S$,
we will define the notion of \textit{closed co-local forms},
and prove a Varadhan type decomposition theorem for such forms.
The space of co-local functions and forms contain the space of $L^2$-functions and forms.
In  \S\ref{sec: L2}, we consider $L^2$-functions and forms and formulate
a conjecture giving the Varadhan decomposition in the $L^2$-case.

\section{The Space of Co-local Functions}\label{sec: colocal}

Let the notations be as in the \S\ref{sec: intro}.
In this section, we will consider a probability measure on $S^X$ and the conditional
expectation.  We let  ${\mathcal{F}}$ be the set of all subsets of the state space $S$, which is a
finite set since we have assumed that $S$ is finite.
Then ${\mathcal{F}}$ is trivially a $\sigma$-algebra.   In other words, ${\mathcal{F}}$ contains $S$ and is closed under
taking complement and countable unions.
Note that ${\mathcal{F}}$ coincides with the Borel $\sigma$-algebra for the discrete topology of $S$.
The condition that $X$ is connected and locally finite ensures that the set of vertices is countable.
For any $\Lambda\subset X$, we let ${\mathcal{F}}_\Lambda\coloneqq{\mathcal{F}}^{\otimes \Lambda}$ be the
product $\sigma$-algebra on $S^\Lambda$ obtained from ${\mathcal{F}}$,
which coincides with the Borel $\sigma$-algebra for the topological space $S^\Lambda$.
In particular, if $\Lambda$ is finite, then ${\mathcal{F}}_\Lambda$ coincides with the set of all subsets of $S^\Lambda$.
For any $\Lambda\subset X$, the pair $(S^\Lambda,{\mathcal{F}}_\Lambda)$ is a measurable space.

\begin{dfn}
	For any $\Lambda\subset X$, denote by $C(S^\Lambda)$
	the $\mathbb{R}$-linear space of \textit{real valued measurable functions} on $S^\Lambda$.
\end{dfn}

In particular, if $\Lambda$ is finite, then $C(S^\Lambda)$ is simply the set of real valued functions on $S^\Lambda$.
Any inclusion $\Lambda\subset \Lambda'$ of subsets in $X$,
the inclusion induces a projection $S^{\Lambda'}\rightarrow S^\Lambda$, which in
turn induces the inclusion $C(S^\Lambda)\hookrightarrow C(S^{\Lambda'})$.
We let $\mathscr{I}$ be the set of \emph{all finite subsets} of $X$.
Then $\mathscr{I}$ is a \textit{directed set} for the order given by the inclusion.
Indeed, $\subset$ gives a \textit{partial order}, and
for any $\Lambda,\Lambda'\in\mathscr{I}$, if we let $\Lambda''\coloneqq\Lambda\cup\Lambda'$, then we have $\Lambda,\Lambda'\subset\Lambda''$.
Note that if $\Lambda\subset\Lambda'$,
then there exists a natural projection $S^{\Lambda'}\rightarrow S^{\Lambda}$,
which induces a natural inclusion $C(S^{\Lambda})\hookrightarrow C(S^{\Lambda'})$.
This gives $\{ C(S^\Lambda)\}_{\Lambda\in\mathscr{I}}$ a structure of a \textit{directed system}.
\begin{dfn}
	We define the set of \textit{local functions} on $S^X$ to be the direct limit
	\[
		C_{\operatorname{loc}}(S^X)\coloneqq\varinjlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)=\bigcup_{\Lambda\in\mathscr{I}}C(S^\Lambda).
	\]
	This definition of local functions is exactly the definition given in \cite{a}.
\end{dfn}

Let $S^X_*$ be the set of configurations whose components are at base state except for
a finite number of vertices, and let $C(S^X_*)$ be the $\mathbb{R}$-linear space of real valued functions on $S^X_*$.
In \cite{a}, we defined the space of uniform functions to be a certain subspace of $C(S^X_*)$
containing the space of local functions $C_{\operatorname{loc}}(S^X)$.
The space $C(S^X_*)$ may be interpreted as a projective limit of space of
local functions, given as follows.
For any inclusion $\Lambda\subset\Lambda'\subset X$, consider the projection
$\iota^\Lambda\colon C(S^{\Lambda'})\rightarrow C(S^\Lambda)$ defined by
\[
	\iota^\Lambda f(\eta)\coloneqq f(\iota_{\Lambda}(\eta))
\]
for any $\eta\in S^\Lambda$, where $\iota_{\Lambda}(\eta)$ is the configuration $\eta'=(\eta'_x)\in S^{\Lambda'}$
such that $\eta'_x=\eta_x$ for any $x\in \Lambda$ and $\eta'_x$ is at base state for any $x\in\Lambda'\setminus\Lambda$.
Then the $\mathbb{R}$-linear spaces $C(S^\Lambda)$ for $\Lambda\in\mathscr{I}$ form a projective system
with respect to the projection $\iota^\Lambda$.

\begin{lmm}\label{lem: pro-local}
	We have
	\[
		C(S^X_*)=\varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda).
	\]
\end{lmm}

\begin{proof}
	Suppose $(f^\Lambda)\in \varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)$.
	For any $\eta\in S^X_*$, let $\Lambda\in\mathscr{I}$ be sufficiently large such that the components $\eta_x$
	of $\eta=(\eta_x)$	is at base state outside $x\in\Lambda$.
	Then $f(\eta)\coloneqq \iota^\Lambda f(\eta)$ is independent of the choice of such $\Lambda$,
	hence this construction defines a function $f\colon S^X_*\rightarrow\mathbb{R}$.
	This gives an $\mathbb{R}$-linear homomorphism
	\begin{equation}\label{eq: 1}
		\varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)\rightarrow C(S^X_*).
	\end{equation}
	On the other hand, suppose we have a function $f\colon S^X_*\rightarrow\mathbb{R}$.
	For any $\Lambda\in\mathscr{I}$, let $f^\Lambda(\eta)\coloneqq f(\eta|_\Lambda)$ for any $\eta\in S^X$,
	where $\eta|_\Lambda$ denotes the configuration in $S^X$ whose components at $x\in\Lambda$
	coincides with that of $\eta$ and is at base state outside $\Lambda$.
	Then $f^\Lambda$ is a function in $C(S^\Lambda)$, and $(f^\Lambda)$ for $\Lambda\in\mathscr{I}$ form a projective
	system with respect to the projection $\iota^\Lambda$.
	This gives an $\mathbb{R}$-linear homomorphism inverse to that of \eqref{eq: 1},
	which proves that \eqref{eq: 1} is an isomorphism as desired.
\end{proof}

Due to Lemma \ref{lem: pro-local}, we refer to a function
$f\in C(S^X_*)$ as a \emph{pro-local function}.
The projection $\iota^\Lambda\colon C(S^X)\rightarrow C(S^\Lambda)$ maps any $f\colon S^X\rightarrow\mathbb{R}$ to a function $\iota^\Lambda f\colon S^\Lambda\rightarrow\mathbb{R}$.
This operation may be interpreted as restricting a function $f$ on $S^X$
to a function which depends only on the local configurations
$S^\Lambda$ on the vertices $\Lambda\subset X$.  One drawback of the projection $\iota^\Lambda$ is
that by construction, $\iota^\Lambda f$ depends only on the restriction of $f$ to $S^X_*$ and
does not reflect the behavior of $f$ on the entirety of the configuration space $S^X$.
In order to redress the projection, we introduce a probability measure $\mu$ on $S^X$
encoding the probability of occurrence of the configurations in $S^X$.

We fix a probability measure $\mu$ on $(S^X,{\mathcal{F}}_X)$.
For any $\Lambda\subset X$, we denote again by $\mu$ the measure on $S^\Lambda$
obtained as the pushforward of the measure $\mu$ with respect to the projection $S^X\rightarrow S^\Lambda$.  We assume in addition that $\mu$ is supported on $S^\Lambda$ for any finite $\Lambda\subset X$.
In other words, we have $\mu(\eta)\coloneqq\mu(\{\eta\})>0$ for any $\eta\in S^\Lambda$.
For any \emph{integrable}
$f\in C(S^X)$, we let $E_\mu[f]\coloneqq\int_{S^X}fd\mu$ be the expectation value of $f$ on $S^X$
with respect to the measure $\mu$.
For any $\Lambda\subset X$ and an integrable function $f\in C(S^{\Lambda'})$ for $\Lambda'\supset\Lambda$,
we let $\pi^\Lambda_\mu f \coloneqq E_\mu[f|{\mathcal{F}}_\Lambda]$ be the \textit{conditional expectation}
with respect to the projection $\operatorname{pr}_\Lambda\colon S^{\Lambda'}\rightarrow S^\Lambda$.
More precisely, we define $\pi^\Lambda_\mu f\in C(S^\Lambda)$
to be the integrable function on $S^\Lambda$ characterized by the property that
\[
	E_\mu[(\pi^\Lambda_\mu f)g]\coloneqq\int_{S^{\Lambda}}(\pi^\Lambda_\mu f) g d\mu = \int_{S^{\Lambda'}}f g d\mu
\]
for any integrable $g\in C(S^{\Lambda})$,
where we denote again by $g$ the function in $C(S^{\Lambda'})$
induced by the natural inclusion $C(S^\Lambda)\hookrightarrow C(S^{\Lambda'})$.
In particular, if $\Lambda,\Lambda'\in\mathscr{I}$,
by taking $g$ to be the \textit{indicator function} $1_\eta$
for $\eta\in S^\Lambda$
which is \textit{one} on $\eta$ and \textit{zero} outside of $\eta$,
we see that $\pi^\Lambda_\mu f(\eta)$ is explicitly given as
\begin{equation}\label{eq: conditional expectation}
	\pi^\Lambda_\mu f(\eta)=\frac{1}{\mu(\eta)}\sum_{\substack{\eta'\in S^{\Lambda'}\\ \operatorname{pr}_\Lambda(\eta')=\eta}} f(\eta')\mu(\eta').
\end{equation}
In other words, $\pi^\Lambda_\mu f(\eta)$ is the expected value of the function $f$ on the set of
configurations in $S^{\Lambda'}$ which projects to $\eta\in S^\Lambda$.
Hence if $f$ is an integrable function in $C(S^X)$, then
$\pi^\Lambda_\mu f$ is a function in $C(S^\Lambda)$ which reflects the property of $f$
on the entirety of $S^X$ weighted by the probability measure $\mu$.
In the case that $f\in C(S^\Lambda)$, if we view $f$ as an element in $C(S^{\Lambda'})$ for $\Lambda\subset\Lambda'$
through
the natural inclusion $C(S^\Lambda)\hookrightarrow C(S^{\Lambda'})$, then
we see that $\pi_\mu^\Lambda f=f$.

The conditional expectation satisfies the \textit{tower property}, which
may be proved for the case $\Lambda,\Lambda',\Lambda''\in\mathscr{I}$ such that
$\Lambda\subset \Lambda'\subset \Lambda''$
and integrable $f\in C(S^{\Lambda''})$ by
\begin{equation}\label{eq: tower}\begin{split}
	\pi^\Lambda_\mu(\pi^{\Lambda'}_\mu f)(\eta)
	&=\frac{1}{\mu(\eta)}\sum_{\substack{\eta'\in S^{\Lambda'}\\ \operatorname{pr}_\Lambda(\eta')=\eta}} \pi_\mu^{\Lambda'}f(\eta')\mu(\eta')
	=\frac{1}{\mu(\eta)}\sum_{\substack{\eta'\in S^{\Lambda'}\\ \operatorname{pr}_\Lambda(\eta')=\eta}}
	\sum_{\substack{\eta''\in S^{\Lambda''}\\ \operatorname{pr}_{\Lambda'}(\eta'')=\eta'}}f(\eta'')\mu(s'')\\
	&=\frac{1}{\mu(\eta)}\sum_{\substack{\eta''\in S^{\Lambda''}\\ \operatorname{pr}_\Lambda(\eta'')=\eta}} f(\eta'')\mu(\eta'')
	=\pi^\Lambda_\mu f(\eta).
\end{split}\end{equation}
Note that if $\Lambda\in\mathscr{I}$, then any function in $C(S^\Lambda)$ is integrable.
Hence for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$, the conditional expectation
induces a homomorphism $\pi^\Lambda_\mu\colon C(S^{\Lambda'})\rightarrow C(S^\Lambda)$,
which is a projection since $\pi^\Lambda_\mu (\pi^\Lambda_\mu f)=\pi^\Lambda_\mu f$
for any $f\in C(S^{\Lambda'})$.
The tower property shows that
$\{C(S^\Lambda)\}_{\Lambda\in\mathscr{I}}$ form a projective system with respect to the projections
$\pi^\Lambda_\mu$.

\begin{dfn}
	We define the set of \textit{co-local functions} on $S^X$ to be the projective limit
	\[
		C_{{\operatorname{col}}}(S^X_\mu)\coloneqq\varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)
	\]
	of $C(S^\Lambda)$ with respect to the projections $\pi^\Lambda_\mu$.
	We call any element $f$ in $C_{{\operatorname{col}}}(S^X_\mu)$ a \textit{co-local function} on $S^X$.
\end{dfn}

By definition, a co-local function $(f^\Lambda)\in C_{{\operatorname{col}}}(S^X_\mu)$ is a system of measurable functions
$f^\Lambda\in C(S^\Lambda)$
for $\Lambda\in\mathscr{I}$ satisfying $\pi^\Lambda_\mu f^{\Lambda'}=f^\Lambda$ for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$.
Such a system of random variables related via the conditional expectation is usually referred to as a \textit{Martingale} with respect to the index set $\mathscr{I}$.
We note that if $X$ is an infinite locale, then
co-local functions do not necessarily define a function on $S^X$.
We believe the space of co-local functions is a natural framework to
consider formal infinite sum of functions appearing in the works of Varadhan
(see \eqref{eq: CQ} below for the case of conserved quantities).

If $f$ is a function in $C(S^\Lambda)$
for some $\Lambda\in\mathscr{I}$, then $f$ is an integrable function in $C(S^X)$
through the natural inclusion $C(S^\Lambda)\hookrightarrow C(S^X)$.
By \eqref{eq: conditional expectation}, we see that $\pi^\Lambda_\mu f=f$
as a function in $C(S^\Lambda)$.
For any local function $f\in C_{\operatorname{loc}}(S^X)$,
if we let $f^\Lambda\coloneqq\pi^\Lambda_\mu f$ for any $\Lambda\in \mathscr{I}$, then the system
$(f^\Lambda)$ is a co-local function on $S^X$.  Thus we have a homomorphism
\[
	C_{\operatorname{loc}}(S^X)\rightarrow C_{{\operatorname{col}}}(S^X_\mu),\qquad f\mapsto (\pi^\Lambda_\mu f)
\]
which is injective since $f=\pi^\Lambda_\mu f$ for $\Lambda$ sufficiently large.
Hence we may view the space of co-local functions as enlarging the space of local functions.

\begin{rem}
	In what follows, we will
	denote $\pi^\Lambda_\mu$ and $C_{{\operatorname{col}}}(S^X_\mu)$ simply as $\pi^\Lambda$ and $C_{\operatorname{col}}(S^X)$.
	If $X$ is a finite locale, then we simply have $C_{\operatorname{loc}}(S^X)=C_{\operatorname{col}}(S^X)=C(S^X)$.
	As explained below, $C(S^\Lambda)$ for any $\Lambda\in\mathscr{I}$ has a structure of a Hilbert space
	with respect to the inner product \eqref{eq: inner product}.
	Since $C_{\operatorname{col}}(S^X)$ is a projective limit of Hilbert spaces, it has a structure of
	a Fr\'echet space (see for example \cite[Proposition 2.3.7]{DGV16}).
	The space of local functions $C_{\operatorname{loc}}(S^X)$ is dense in $C_{\operatorname{col}}(S^X)$ for this topology.
\end{rem}

The term \textit{co-local}
is derived from the duality between local and co-local functions, given in Lemma \ref{lem: 2}
below.
For any $\Lambda\in\mathscr{I}$, the space $C(S^\Lambda)$
is a Hilbert space with respect to the inner product
$\pair{\cdot,\cdot}_\mu$ given for any $f,g\in C(S^\Lambda)$ by
\begin{equation}\label{eq: inner product}
	\pair{f,g}_\mu\coloneqq E_\mu[fg]=\int_{S^\Lambda}fgd\mu.
\end{equation}
The Riesz representation theorem gives an isomorphism
\[
	C(S^\Lambda)\xrightarrow\cong \bigl(C(S^\Lambda)\bigr)^* \qquad f \mapsto
	(g\mapsto\pair{f,g}_\mu),
\]
where $\bigl(C(S^\Lambda)\bigr)^*$ denotes the
space of bounded, or equivalently continuous $\mathbb{R}$-linear functionals on $C(S^\Lambda)$.
Since we have assumed that $S$ hence $S^\Lambda$ is finite,
$C(S^\Lambda)$ is a finite dimensional $\mathbb{R}$-linear space.
Hence any $\mathbb{R}$-linear functional
on $C(S^\Lambda)$ is automatically bounded.
This shows that we have $\bigl(C(S^\Lambda)\bigr)^*= \bigl(C(S^\Lambda)\bigr)^\vee$,
where $\bigl(C(S^\Lambda)\bigr)^\vee$ denotes the algebraic dual
$\bigl(C(S^\Lambda)\bigr)^\vee\coloneqq{\operatorname{Hom}}_\mathbb{R}(C(S^\Lambda),\mathbb{R})$.

\begin{lmm}\label{lem: 2}
	For any $(f^\Lambda)\in C_{\operatorname{col}}(S^X)$, consider the bounded linear functional on $C(S^\Lambda)$
	given by $g\mapsto \langle f^\Lambda,g \rangle_\mu$.  Then this gives an isomorphism
	\[
		C_{\operatorname{col}}(S^X) \cong \bigl(C_{\operatorname{loc}}(S^X)\bigr)^\vee.
	\]
\end{lmm}

\begin{proof}
	For any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$, consider
	$f\in C(S^{\Lambda'})$ and $g\in C(S^\Lambda)$.

	By definition of the conditional expectation,
	we have
	\[
		\pair{\pi^\Lambda f,g}_\mu=\int_{S^\Lambda} (\pi^\Lambda f)g d\mu
		=\int_{S^{\Lambda'}} f  g d\mu
		=\pair{f, g}_\mu.
	\]
		Thus we have a commutative diagram
	\[
	\xymatrix{
		C(S^{\Lambda'})\ar[r]^\cong\ar[d]_{\pi^\Lambda}& C(S^{\Lambda'})^\vee\ar[d]^{\iota^*}\\
		C(S^\Lambda)\ar[r]^\cong& C(S^\Lambda)^\vee,
	}
	\]
	where $\iota^*$ is the dual of the natural injection $\iota\colon C(S^\Lambda)\hookrightarrow C(S^{\Lambda'})$.
	By passing to the projective limit, we have
	\[
		C_{\operatorname{col}}(S^X)=\varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)\cong\varprojlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)^\vee
		=\bigl(\varinjlim_{\Lambda\in\mathscr{I}}C(S^\Lambda)\bigr)^\vee=(C_{\operatorname{loc}}(S^X))^\vee
	\]
	as desired.
\end{proof}

\section{Uniformly Co-Local Functions}\label{sec: uniform}

In this section, we give an expansion of co-local functions and define the notion of uniformity.
This is a co-local version of \cite[Proposition 3.3]{a}.
We first prove some properties concerning the conditional expectation.

\begin{lmm}\label{lem: orthogonal}
	Consider $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$.
	Then $\pi^\Lambda$ is an orthogonal projection of $C(S^{\Lambda'})$ to $C(S^\Lambda)$
	with respect to the inner product \eqref{eq: inner product} on $C(S^{\Lambda'})$.
\end{lmm}

\begin{proof}
	The homomorphism $\pi^\Lambda\colon C(S^{\Lambda'})\rightarrow C(S^\Lambda)$ is a projection
	since $\pi^\Lambda(\pi^\Lambda f)=\pi^\Lambda f$ for any $f\in C(S^{\Lambda'})$.
	For any $f,g\in C(S^{\Lambda'})$, the characterization of the conditional expectation shows
	that
	\begin{align*}
		\pair{\pi^\Lambda f, \pi^\Lambda g}_\mu&=E_\mu[(\pi^\Lambda f)(\pi^\Lambda g)]
		=E_\mu[(\pi^\Lambda f)g]=\pair{\pi^\Lambda f, g}_\mu,\\
		\pair{\pi^\Lambda f, \pi^\Lambda g}_\mu&=E_\mu[(\pi^\Lambda f)(\pi^\Lambda g)]
		=E_\mu[f(\pi^\Lambda g)]=\pair{f,\pi^\Lambda g}_\mu,
	\end{align*}
	which shows that $\pair{\pi^\Lambda f, g}_\mu=\pair{f,\pi^\Lambda g}_\mu$ as desired.
\end{proof}

We now assume until the end of this section
that the probability measure $\mu$ on $S^X$ is the
product measure $\mu=\nu^{\otimes X}$ for a probability measures $\nu$ on $S$
supported on points, i.e.\
satisfying
$\nu(\{s\})>0$ for any $s\in S$.
In this case, for any $\Lambda\subset X$, the push-forward of $\mu$ to $S^\Lambda$
coincides with the product measure $\nu^{\otimes\Lambda}$.

\begin{lmm}\label{lem: needed}
	Suppose $\mu$ is the product measure $\mu=\nu^{\otimes X}$ as above.
	For any $\Lambda\in\mathscr{I}$ and $\Lambda',\Lambda''\subset\Lambda$, we have
	\[
		\pi^{\Lambda'}(\pi^{\Lambda''} f) = \pi^{\Lambda'\cap\Lambda''}f
	\]
	for any function $f\in C(S^\Lambda)$.
\end{lmm}

\begin{proof}
	By \eqref{eq: conditional expectation}, for any $\eta'\in S^{\Lambda'}$, we have
	\begin{align*}
		\pi^{\Lambda'}f(\eta')
		&\coloneqq\frac{1}{\mu(\eta')} \sum_{\substack{\eta\in S^\Lambda\\\operatorname{pr}_{\Lambda'}(\eta)=\eta'}} f(\eta)\mu(\eta)
		=\sum_{\substack{\eta=(\eta_x)\in S^\Lambda\\\operatorname{pr}_{\Lambda'}(\eta)=\eta'}} f(\eta)\Bigl(\prod_{x\in\Lambda\setminus\Lambda'}\nu(\eta_x)\Bigr),
	\end{align*}
	where the second equality is derived from the fact that $\mu=\nu^{\otimes X}$.
	Again by \eqref{eq: conditional expectation}, we have
	\begin{align*}
		(\pi^{\Lambda'}(\pi^{\Lambda''}f))(\eta')
		&=\sum_{\substack{\eta=(\eta_x)\in S^\Lambda\\\operatorname{pr}_{\Lambda'}(\eta)=\eta'}}\pi^{\Lambda''}f(\eta)
		\Bigl(\prod_{x\in\Lambda\setminus\Lambda'}\nu(\eta_x)\Bigr)\\
		&=\sum_{\substack{\eta''=(\eta''_x)\in S^{\Lambda''}\\\operatorname{pr}_{\Lambda'\cap\Lambda''}(\eta'')=\operatorname{pr}_{\Lambda'\cap\Lambda''}(\eta')}}
		\pi^{\Lambda''}f(\eta'') \Bigl(\prod_{x\in\Lambda''\setminus\Lambda'}\nu(\eta''_x)\Bigr)\\
		&=\sum_{\substack{\eta''\in S^{\Lambda''}\\\operatorname{pr}_{\Lambda'\cap\Lambda''}(\eta'')=\operatorname{pr}_{\Lambda'\cap\Lambda''}(\eta')}}
		\sum_{\substack{\eta\in S^\Lambda\\\operatorname{pr}_{\Lambda''}(\eta)=\eta''}} f(\eta)
		\Bigl(\prod_{x\in\Lambda\setminus\Lambda''}\nu(\eta_x)\Bigr)\Bigl(
		\prod_{x\in\Lambda''\setminus\Lambda'}\nu(\eta''_x)\Bigr),
	\end{align*}
	which coincides with
	\begin{align*}
		\pi^{\Lambda'\cap\Lambda''}f(\eta')
		= \sum_{\substack{\eta\in S^\Lambda\\\operatorname{pr}_{\Lambda'\cap\Lambda''}(\eta)=\eta'}} f(\eta)
		\Bigl(\prod_{x\in\Lambda\setminus(\Lambda'\cap\Lambda'')}\nu(\eta_x)\Bigr)
	\end{align*}
	as desired.
\end{proof}

\begin{prp}\label{prop: expansion}
	Suppose $\mu$ is the product measure $\mu=\nu^{\otimes X}$ on $S^X$,
	where $\nu$ is a probability measure
	on $S$ supported on the points of $S$.
	For any $\Lambda\in\mathscr{I}$, let
	\[
		C_{\Lambda}(S^X)\coloneqq\{f\in C(S^\Lambda)\mid\pi^{\Lambda'} f\equiv0\text{ if }\Lambda\not\subset\Lambda'\}.
	\]
	Then for any $(f^\Lambda)\in C_{\operatorname{col}}(S^X)$, there exists a unique family of functions $f_\Lambda\in C_{\Lambda}(S^X)$
	such that
	\begin{equation}\label{eq: satisfy}
		f^\Lambda=\sum_{\Lambda''\subset\Lambda} f_{\Lambda''}
	\end{equation}
	for any $\Lambda\in\mathscr{I}$.
\end{prp}

\begin{proof}
	We prove our result by induction on the order of $\Lambda$.
	We first let $f_{\emptyset}\coloneqq f^\emptyset$, which is the case for $\Lambda=\emptyset$.
	Next, for any $\Lambda\in\mathscr{I}$, suppose $f_{\Lambda''}$ is defined for any $\Lambda''\subsetneq\Lambda$.
	We let
	\begin{equation}\label{eq: construction}
		f_{\Lambda}\coloneqq f^\Lambda-\sum_{\Lambda''\subsetneq\Lambda} f_{\Lambda''}.
	\end{equation}
	Then for any $\Lambda'\in\mathscr{I}$ such that $\Lambda\not\subset\Lambda'$, we have
	\[
		\pi^{\Lambda'} f_\Lambda=\pi^{\Lambda'}f^\Lambda - \sum_{\Lambda''\subsetneq\Lambda} \pi^{\Lambda'} f_{\Lambda''}
		=f^{\Lambda\cap\Lambda'}-\sum_{\Lambda''\subset\Lambda\cap\Lambda'} f_{\Lambda''}\equiv 0,
	\]
	where the last equality is from the induction hypothesis.
	In the calculation, we have used the fact that
	$\pi^{\Lambda'}f^\Lambda=f^{\Lambda\cap\Lambda'}$
	and
	\[
		\pi^{\Lambda'} f_{\Lambda''}
		=\pi^{\Lambda' \cap \Lambda''} f_{\Lambda''}=
		\begin{cases}
			f_{\Lambda''}  &  \Lambda''\subset\Lambda\cap\Lambda' \\
			0 &  \Lambda''\not\subset\Lambda\cap\Lambda',
		\end{cases}
	\]
	which follows from Lemma \ref{lem: needed}.
	This proves that we have $f_{\Lambda}\in C_\Lambda(S^X)$.
	Hence by induction, there exists unique $f_{\Lambda}\in C_\Lambda(S^X)$ for any $\Lambda\in\mathscr{I}$ satisfying
	\eqref{eq: satisfy} as desired.
\end{proof}

\begin{rem}
	By abuse of notation, we will often write the equality \eqref{eq: satisfy}  as
	\begin{equation}\label{eq: expansion2}
		f=\sum_{\Lambda''\in\mathscr{I}} f_{\Lambda''}
	\end{equation}
	for $f=(f^\Lambda)_{\Lambda\in\mathscr{I}}\in C_{\operatorname{col}}(S^X)$. If $f\in C(S^\Lambda)$ for some $\Lambda\in\mathscr{I}$,
	then we have $f=\sum_{\Lambda''\subset\Lambda} f_{\Lambda''}$.
\end{rem}

We define the notion of uniformity for co-local functions as follows.
For any $x,x'\in X$, let $d_X(x,x')$ be the length of
the shortest path from $x$ to $x'$ in $X$, and for any
$\Lambda\subset X$, we define the diameter of $\Lambda$ by
$\diam\Lambda\coloneqq\sup_{x,x'\in\Lambda}d_X(x,x')$.

\begin{dfn}\label{def: uniform}
	We say that a co-local function $f$ is \textit{uniformly co-local},
	if there exists $R>0$ such that $f_\Lambda=0$ for any $\Lambda\in\mathscr{I}$ with $\diam\Lambda>R$
	in the expansion
	\[
		f=\sum_{\Lambda\in\mathscr{I}}f_\Lambda
	\]
	 of Proposition \ref{prop: expansion}.
	We denote by $C_{\operatorname{unif}}(S^X)$ the set of all uniformly co-local functions.
\end{dfn}
We define the subspaces $C^0_{\operatorname{col}}(S^X)$ and $C^0_{\operatorname{unif}}(S^X)$ of $C_{\operatorname{col}}(S^X)$ and $C_{\operatorname{unif}}(S^X)$ by
\begin{align*}
		C^0_{\operatorname{col}}(S^X)&\coloneqq\bigl\{f\in C_{\operatorname{col}}(S^X) \mid f^\emptyset\equiv0\bigr\},&
		C^0_{\operatorname{unif}}(S^X)&\coloneqq\bigl\{f\in C_{\operatorname{unif}}(S^X) \mid f^\emptyset\equiv0\bigr\}.
\end{align*}
Furthermore, for any $\Lambda\in\mathscr{I}$, we let
\[
	C^0(S^\Lambda)\coloneqq\bigl\{f\in C(S^\Lambda) \mid E_\mu[f]\equiv0\bigr\}.
\]
Since $S^\emptyset$ is a set consisting of a single point, for any local function $f\in C(S^\Lambda)$,
the function $\pi^\emptyset f$
is the constant functions with value $E_\mu[f]$.  The condition $E_\mu[f]=0$
is equivalent to the condition $\pi^\emptyset f\equiv0$.

The most important example of a uniformly co-local function is given by the
conserved quantities.

\begin{dfn}\label{def: 10}
	We say that a map $\xi\colon S\rightarrow\mathbb{R}$ is a \textit{$\nu$-regularized conserved quantity} for the
	interaction $\phi$, if $E_\nu[\xi]=0$ and
	\[
		\xi(s_1')+\xi(s_2')=\xi(s_1)+\xi(s_2)
	\]
	for any $(s_1,s_2)\in S\times S$, where $(s_1',s_2')=\phi(s_1,s_2)$.
	We denote by $\C{S}$ the $\mathbb{R}$-linear space of $\nu$-regularized conserved quantities on $S$.
\end{dfn}

The definition of conserved quantities in Definition \ref{def: 10} slightly
differs from that of \cite{a} since we normalize with the condition $E_\nu[\xi]=0$
instead of the condition that $\xi$ is \textit{zero} at the base state.
For any $x\in X$, the natural projection $\operatorname{pr}_{\{x\}}\colon S^X\rightarrow S^{\{x\}}=S$ induces an
inclusion $C(S)\hookrightarrow C(S^X)$.  For any $\xi\in \C{S}$, we denote by $\xi_x$ the image of
$\xi$ with respect to this inclusion, and we let $\xi^\Lambda\coloneqq\sum_{x\in \Lambda}\xi_x$.
The system of local functions $(\xi^\Lambda)$ form a co-local function on $S^X$ which we denote by $\xi_X$.
Then the expansion of $\xi_X$ in Proposition \ref{prop: expansion} is simply
\begin{equation}\label{eq: CQ}
	\xi_X=\sum_{x\in X}\xi_x,
\end{equation}
which shows that $\xi_X$ is uniformly co-local for the constant $R=1$.
Due to our normalization $E_\nu[\xi]=0$, we see that $\xi_X$ is an element in $C^0_{\operatorname{unif}}(S^X)$.
By associating to $\xi\in\C{S}$ the uniformly co-local function $\xi_X$ in $C^0_{\operatorname{unif}}(S^X)$,
we have an $\mathbb{R}$-linear homomorphism
\[
	\C{S}\rightarrow C^0_{\operatorname{unif}}(S^X),
\]
which is injective since $\xi_X$ is \textit{zero} if and only if $\xi_x$ is \textit{zero}
for any $x\in X$, the last condition equivalent to the condition that $\xi$ is constantly \textit{zero}.

\section{Local and Co-local Forms}\label{sec: forms}

In this section, we define the space of local and co-local forms.
We let $\mu$ be a probability measure on $S^X$ which is supported on
$S^\Lambda$ for any finite $\Lambda\subset X$.
For any $\Lambda\subset X$,
we let
\[
	\Phi_\Lambda\coloneqq \{  (\eta,\eta^e)\mid\eta\in S^\Lambda, e\in E_\Lambda, \eta^e\neq\eta\}
\]
for $E_\Lambda\coloneqq E\cap (\Lambda\times\Lambda)$,
and we define the \textit{cotangent bundle} of $S^\Lambda$ by $T^*S^\Lambda\coloneqq{\operatorname{Map}}(\Phi_\Lambda,\mathbb{R})$.
We call any element in the cotangent bundle a \textit{form}.
Suppose we are given a form $\omega\in T^*\!S^\Lambda$.  For any $e\in E_\Lambda$, we
define the function $\omega_e\in C(S^\Lambda)$ by
\[
	\omega_e(\eta)\coloneqq\omega((\eta,\eta^e))
\]
for any $\eta\in S^\Lambda$ such that $\eta^e\neq\eta$, and $\omega_e(\eta)=0$ if $\eta^e=\eta$.
This gives a natural embedding
\begin{equation}\label{eq: 33}
	T^*\!S^\Lambda\hookrightarrow\prod_{e\in E_\Lambda}C(S^\Lambda), \qquad \omega\mapsto (\omega_e).
\end{equation}
The image of $T^*\!S^\Lambda$ in $\prod_{e\in E_\Lambda}C(S^\Lambda)$ corresponds to $(\omega_e)$ satisfying
$\omega_e(\eta)=0$ if $\eta^e=\eta$,
and $\omega_e(\eta)=\omega_{e'}(\eta)$ if $\eta^e=\eta^{e'}$.
Since the system $\{ C(S^\Lambda)\}_{\Lambda\in\mathscr{I}}$ form a projective system of $\mathbb{R}$-linear spaces
for the maps $\pi^\Lambda\colon C(S^{\Lambda'})\rightarrow C(S^\Lambda)$ for $\Lambda\subset \Lambda'$ in $\mathscr{I}$,
the product $\{\prod_{e\in E_\Lambda} C(S^\Lambda)\}_{\Lambda\in\mathscr{I}}$
also form a projective system.

\begin{lmm}\label{lem: 50}
	Consider $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$.
	The projection $\pi^\Lambda$ on the product
	induces an $\mathbb{R}$-linear homomorphism
	$\pi^\Lambda\colonT^*\!S^{\Lambda'}\rightarrowT^*\!S^{\Lambda}$.
\end{lmm}

\begin{proof}
	By definition of the embedding \eqref{eq: 33},
	we first
	prove that for any $e\in E_\Lambda$, if $\omega_e(\eta')=0$ for any $\eta'\in S^{\Lambda'}$ such that $\eta'^e=\eta'$,
	then $\pi^\Lambda\omega_e(\eta)=0$ for any $\eta\in S^\Lambda$ such that $\eta^e=\eta$.
	By calculation of the conditional expectation \eqref{eq: conditional expectation}, we have
	\begin{align*}
		\pi^\Lambda\omega_e(\eta)=\frac{1}{\mu(\eta)}\sum_{\eta'\in A_\eta}\omega_e(\eta').
	\end{align*}
	Since $\eta=\eta^e$, we have $\eta'=\eta'^e$ for any $\eta'\in A_\eta$.
	This proves that $\pi^\Lambda\omega_e(\eta)=0$ as desired.
	Furthermore, if $\eta^e=\eta^{e'}$ for some $\eta\in S^\Lambda$
	and $e,e'\in E_\Lambda\subset E_{\Lambda'}$, then $\eta'^{e}=\eta'^{e'}$
	for any $\eta'\in A_\eta$, hence $\omega_{e}(\eta')=\omega_{e'}(\eta')$.
	This proves that $\pi^\Lambda\omega_e(\eta)=\pi^\Lambda\omega_{e'}(\eta)$ as desired.
\end{proof}

\begin{dfn}\label{def: cotangent}
	We define the space of \textit{co-local cotangent bundle}
	$T^*\!S^X_{\operatorname{col}}$ by
	\[
		T^*\!S^X_{\operatorname{col}}\coloneqq\varprojlim_{\mathscr{I}} T^*\!S^\Lambda,
	\]
	where the limit is the projective limit with respect to $\pi^\Lambda$.
\end{dfn}

We next define the space $C^1$ on $S^\Lambda$.
Let
\[
	C^1(S^\Lambda)\coloneqq {\operatorname{Map}}^{\operatorname{alt}}(\Phi_\Lambda,\mathbb{R}),
\]
where
\[
	{\operatorname{Map}}^{\operatorname{alt}}(\Phi_\Lambda,\mathbb{R})\coloneqq\{\omega\in T^*\!S^\Lambda\mid \omega(\bar\varphi)=-\omega(\varphi)\}.
\]
Here $\bar\varphi\coloneqq(t(\varphi),o(\varphi))$ for any $\varphi=(o(\varphi),t(\varphi))\in\Phi_\Lambda$.
We define the differential homomorphism $\partial_\Lambda\colon C^0(S^\Lambda)\rightarrow C^1(S^\Lambda)$ by
\[
	\partial_\Lambda f(\varphi)\coloneqq f(t(\varphi))-f(o(\varphi))
\]
for any $f\in C(S^\Lambda)$ and $\varphi=(o(\varphi),t(\varphi))\in\Phi_\Lambda$.
For any $\omega\in C^1(S^\Lambda)$,
the image of $\omega$ with respect to the map \eqref{eq: 33} in $\prod_{e\in E}C(S^\Lambda)$
consists of $(\omega_e)$ satisfying $\omega_e(\eta)=0$ if $\eta^e=\eta$,
$\omega_e(\eta)=\omega_{e'}(\eta)$ if $\eta^e=\eta^{e'}$,
and $\omega_e(\eta)=-\omega_{\bar e}(\eta^e)$ if $\eta^e\neq\eta$.
The differential may be expressed as $\partial_\Lambda f=(\nabla_e f)_{e\in E_\Lambda}$,
where
\[
	\nabla_e f(\eta)\coloneqq f(\eta^e)-f(\eta)
\]
for any $e_\Lambda\in E$ and $\eta\in S^\Lambda$.

Throughout the rest of this section, we assume the following.

\begin{dfn}\label{def: ordinary}
	In what follows, we say that a measure $\mu$ is \textit{ordinary}, if
	for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$
	and configurations $\eta'\in S^{\Lambda'}$, if we let $\eta\coloneqq\operatorname{pr}_\Lambda(\eta')\in S^\Lambda$ for the projection
	$\operatorname{pr}_\Lambda\colon S^{\Lambda'}\rightarrow S^\Lambda$, then
	we have
	\begin{equation}\label{eq: ordinary}
		\mu(\eta^e)\mu(\eta')=\mu(\eta)\mu(\eta'^e)
	\end{equation}
	for any $e\in E_{\Lambda}$.
\end{dfn}

\begin{lmm}\label{lem: ordinary}
	If $\mu$ is the product measure $\mu=\prod_{x\in X}\nu_x$ for some
	family of probability measures $\{\nu_x\}_{x\in X}$ on $S$, then $\mu$ is ordinary.
\end{lmm}

\begin{proof}
	Let the notations be as in Definition \ref{def: ordinary}.
	If we let $\eta=(\eta_x)\in S^\Lambda$
	and $\eta'=(\eta'_x)\in\Lambda'$, then we have $\eta_x=\eta'_x$ for $x\in \Lambda$, hence
	\begin{align*}
		\mu(\eta)&=\prod_{x\in\Lambda} \nu_x(\eta_x),&
		\mu(\eta')&=\prod_{x\in\Lambda} \nu_x(\eta_x) \times \prod_{x\in \Lambda'\setminus\Lambda}\nu_x(\eta'_x).
	\end{align*}
	Our assertion follows from the fact that since $e\in E_\Lambda$, we have $\eta'^e_x=\eta'_x$ for any $x\in \Lambda'\setminus\Lambda$.
\end{proof}

If the probability measure $\mu$ is ordinary, then $\pi^\Lambda$ preserves the local forms.

\begin{lmm}\label{lem: 505}
	If the probability measure $\mu$ is ordinary, then
	the projections $\pi^\Lambda$ preserve the space of forms $C^1(S^\Lambda)$ in $T^*\!S^\Lambda$.
	In other words, we have a homomorphism
	\[
		\pi^\Lambda\colon C^1(S^{\Lambda'})\rightarrow C^1(S^\Lambda)
	\]
	for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$.
\end{lmm}

\begin{proof}
	By Lemma \ref{lem: 50} and the definition of $C^1(S^\Lambda)$ in Definition \ref{def: cotangent},
	it is sufficient to prove that if $(\omega_e)$ satisfies $\omega_e(\eta')=-\omega_{\bar e}(\eta'^e)$
	for any $\eta'\in S^{\Lambda'}$ such that $\eta'^e\neq\eta'$,
	then $\pi^\Lambda\omega_e(\eta)=-\pi^\Lambda\omega_{\bar e}(\eta^e)$ for any $e\in E_\Lambda$.
	Let $\eta\in S^\Lambda$ and $A_\eta\coloneqq\{\eta'\in S^{\Lambda'}\mid \operatorname{pr}_\Lambda(\eta')=\eta\}$, where
	$\operatorname{pr}_\Lambda\colon S^{\Lambda'}\rightarrow S^\Lambda$ is the projection.
	By calculation \eqref{eq: conditional expectation} of the conditional expectation, we have
	\begin{align*}
		\pi^\Lambda\omega_e(\eta)&
		=\frac{1}{\mu(\eta)}\sum_{\eta'\in A_\eta}\omega_e(\eta')\mu(\eta'),&
		\pi^\Lambda\omega_{\bar e}(\eta^e)&
		=\frac{1}{\mu(\eta^e)}\sum_{\eta'\in A_{\eta}}\omega_{\bar e}(\eta'^e)\mu(\eta'^e).
	\end{align*}
	Our assertion follows from \eqref{eq: ordinary}.
\end{proof}

By Lemma \ref{lem: 505},
we define the space of co-local forms $C^1_{\operatorname{col}}(S^X)$ as follows.

\begin{dfn}
	If the probability measure $\mu$ is ordinary, then
	we define the space of co-local forms by
	\[
		C^1_{\operatorname{col}}(S^X)\coloneqq\varprojlim_{\mathscr{I}} C^1(S^\Lambda),
	\]
	where the limit is the projective limit with respect to $\pi^\Lambda$.
\end{dfn}

\begin{prp}\label{prop: differential}
	If the probability measure $\mu$ is ordinary, then
	the projection $\pi^\Lambda$ is compatible with the differentials $\partial_\Lambda$ on $C^0(S^\Lambda)$.
	Hence the differential on each $C^0(S^\Lambda)$ induces the differential
	\[
		\partial\colon C^0_{\operatorname{col}}(S^X)\rightarrow C^1_{\operatorname{col}}(S^X)
	\]
	on the space of co-local functions.
\end{prp}

\begin{proof}
	It is sufficient to prove that for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$,
	we have $\pi^\Lambda(\nabla_e f)=\nabla_e(\pi^\Lambda f)(\eta)$
	for any $e\in E_\Lambda$ and $f\in C^0(S^{\Lambda'})$.
	By definition of the differential and calculation of the conditional expectation \eqref{eq: conditional expectation},
	we have
	\begin{align*}
		\pi^\Lambda(\nabla_e f)(\eta)&=\frac{1}{\mu(\eta)} \sum_{\eta'\in A_\eta}\nabla_e f(\eta')\mu(\eta')

		=\frac{1}{\mu(\eta)} \sum_{\eta'\in A_\eta} f(\eta'^e) \mu(\eta') -
		\frac{1}{\mu(\eta)} \sum_{\eta'\in A_\eta} f(\eta') \mu(\eta'),
	\end{align*}
	where $A_\eta=\{\eta'\in S^{\Lambda'}\mid\operatorname{pr}_\Lambda(\eta')=\eta\}$ as before.
	Similarly, we have
	\begin{align*}
		\nabla_e(\pi^\Lambda f)(\eta)&=(\pi^\Lambda f)(\eta^e)- (\pi^\Lambda f)(\eta)

		=\frac{1}{\mu(\eta^e)}\sum_{\eta'\in A_{\eta}} f(\eta'^e)\mu(\eta'^e)
		-\frac{1}{\mu(\eta)}\sum_{\eta'\in A_\eta} f(\eta')\mu(\eta').
	\end{align*}
	Our assertion now follows from the equality \eqref{eq: ordinary} satisfied by ordinary probability measures.

\end{proof}

\begin{dfn}\label{def: colocal}
	If the probability measure $\mu$ is ordinary,
	then we let
	\[
		H^0_{\operatorname{col}}(S^X)\coloneqq \operatorname{Ker}\bigl(\partial\colon C^0_{\operatorname{col}}(S^X)\rightarrow C^1_{\operatorname{col}}(S^X)\bigr)
	\]
	for the differential $\partial\colon C^0_{\operatorname{col}}(S^X)\rightarrow C^1_{\operatorname{col}}(S^X)$
	of Proposition \ref{prop: differential}.
\end{dfn}

Next we define the notion of closed local and co-local forms.
For any $\Lambda\subset X$, we define a path in $S^\Lambda$ to be
a sequence of transitions $\vec\gamma=(\varphi^1,\ldots,\varphi^N)$ in $\Phi_\Lambda$
such that $t(\varphi^i)=o(\varphi^{i+1})$ for $0<i<N$.  We say that the path is
\textit{closed}, if $t(\varphi^N)=o(\varphi^1)$.
For a form $\omega\in C^1(S^\Lambda)$, we define the integration with respect
to a path $\vec\gamma=(\varphi^1,\ldots,\varphi^N)$ by
\[
	\int_{\vec\gamma}\omega\coloneqq\sum_{i=1}^N\omega(\varphi^i).
\]
As in \cite[Definition 2.14]{a} we define the closed forms as follows.

\begin{dfn}
	We say that a form $\omega\in C^1(S^\Lambda)$ is \textit{closed}, if
	\[
		\int_{\vec\gamma}\omega=0
	\]
	for any closed path $\vec\gamma$ in $S^\Lambda$.
\end{dfn}

We denote by $Z^1(S^\Lambda)$ the $\mathbb{R}$-linear space of closed forms in $C^1(S^\Lambda)$.
The path $\vec\gamma=(\varphi^1,\ldots,\varphi^N)$ may be written as $\vec\gamma=(\eta^0,\ldots,\eta^N)$,
where $\varphi^i=(\eta^{i-1},\eta^i)$ for $1\leq i\leq N$.
By definition of a transition, there exists $e_1,\ldots,e_N\in E_\Lambda$
such that $\eta^{i}=(\eta^{i-1})^{e_{i}}$ for $1\leq i\leq N$.
The path is closed if $\eta^0=\eta^N$.   If $\omega=(\omega_e)$ is a closed form in $C^1(S^\Lambda)$, then we have
\[
	\sum_{i=1}^N \omega_{e_i}(\eta^{i-1})=0.
\]

\begin{lmm}
	If the probability measure $\mu$ is ordinary, then
	the projection $\pi^\Lambda$ induces an $\mathbb{R}$-linear homomorphism
	\[
		\pi^\Lambda\colon Z^1(S^{\Lambda'})\rightarrow Z^1(S^\Lambda)
	\]
	for any $\Lambda,\Lambda'\in\mathscr{I}$ such that $\Lambda\subset\Lambda'$.
\end{lmm}

\begin{proof}
	Let $\omega=(\omega_e)$ be a closed form in $Z^1(S^{\Lambda'})$,
	and consider the form $\pi^\Lambda\omega$, which is an element in
	$C^1(S^\Lambda)$ by Lemma \ref{lem: 505}.
	Note that we have $\pi^\Lambda\omega=(\pi^\Lambda\omega_e)$.
	Consider a closed path $\vec\gamma=(\eta^0,\ldots,\eta^N)$ in $S^\Lambda$
	such that $\eta^{i}=(\eta^{i-1})^{e_{i}}=\cdots =(\eta^0)^{e_1\cdots e_i}$ for some $e_1,\ldots,e_N\in E_\Lambda$.
	Note that for any $\tilde\eta^0\in A_{\eta_0}\subset S^{\Lambda'}$, if we let
	$\tilde\eta^{i}=(\tilde\eta^0)^{e_1\cdots e_i}$ for $1\leq i\leq N$,
	then $\vec\gamma'\coloneqq(\tilde\eta^0,\ldots,\tilde\eta^N)$ is a closed path in $S^{\Lambda'}$.
	Then we have
	\begin{align*}
		\int_{\vec\gamma}\pi^\Lambda\omega=\sum_{i=1}^N\pi^\Lambda\omega_{e_i}(\eta^{i-1})
		&=\sum_{i=1}^N\frac{1}{\mu(\eta^{i-1})}\sum_{\tilde\eta^0\in A_{\eta_0}}\omega_{e_i}(\tilde\eta^{i-1})\mu(\tilde\eta^{i-1})\\
		&=\sum_{\tilde\eta^0\in A_{\eta^0}}\frac{\mu(\tilde\eta^0)}{\mu(\eta^0)}\left(\sum_{i=1}^N\omega_{e_i}(\tilde\eta^{i-1})\right)=0,
	\end{align*}
	where the third equality follows from \eqref{eq: ordinary},
	and the last equality follows from the fact that $\omega$ is closed in $S^{\Lambda'}$.
	This gives our assertion.
\end{proof}

We now give the definition of closed co-local forms.

\begin{dfn}
	Assume that the probability measure $\mu$ is ordinary.
	We define the space of closed co-local forms $Z^1_{\operatorname{col}}(S^X)$ by
	\begin{align*}
		Z^1_{\operatorname{col}}(S^X)&\coloneqq\varprojlim_{\Lambda\in\mathscr{I}}Z^1_{\operatorname{col}}(S^\Lambda),
	\end{align*}
	where the limit is the projective limit with respect to $\pi^\Lambda$.
\end{dfn}

We next consider the integration of closed forms.
For any $\Lambda\in\mathscr{I}$, by \cite[Lemma 2.14, Lemma 2.15]{a},  we have
an exact sequence
\begin{equation}\label{eq: SES3}
	\xymatrix{
	0\ar[r]& \operatorname{Ker}\partial_\Lambda\ar[r]&C^0(S^\Lambda)\ar[r]^{\partial_\Lambda}& Z^1(S^\Lambda)\ar[r]&0.
	}
\end{equation}
Assume that the probability measure $\mu$ is ordinary.
By Proposition \ref{prop: differential},
since the differential $\partial_\Lambda$ is compatible with the projection $\pi^\Lambda$,
we see that $\{\operatorname{Ker}\partial_\Lambda\}_{\Lambda\in\mathscr{I}}$ also form a projective system for the projection $\pi^\Lambda$.
The Mittag-Leffler condition for projective systems is given as follows (see for example \cite[(13.1.2)]{EGAIII}).

\begin{dfn}
	A projective system $\{M_\Lambda\}_{\Lambda\in\mathscr{I}}$ satisfies the \textit{Mittag-Leffler condition}, if for any $\Lambda\in \mathscr{I}$, if we let
	$N_\Lambda\coloneqq\bigcap_{\Lambda'\in\mathscr{I}, \Lambda\subset \Lambda'}  \operatorname{Im}(\pi^{\Lambda}\colon M_{\Lambda'}\rightarrow M_{\Lambda})$,
	then there exists $\Lambda''\in\mathscr{I}$ satisfying $\Lambda\subset \Lambda''$
	such that $N_\Lambda= \operatorname{Im}(\pi^{\Lambda}\colon M_{\Lambda''}\rightarrow M_{\Lambda})$.
	In other words, the image of $\pi^{\Lambda}$ stabilizes for $\Lambda''$ sufficiently large.
\end{dfn}

By \cite[Proposition (13.2.2)]{EGAIII},
if the projective system $\{\operatorname{Ker}\partial_\Lambda\}_{\Lambda\in\mathscr{I}}$
satisfies the Mittag-Leffler condition, then the projective limit
\[
	\xymatrix{
	0\ar[r]& \varprojlim_{\mathscr{I}}\operatorname{Ker}\partial_\Lambda\ar[r]&
	\varprojlim_{\mathscr{I}} C^0(S^\Lambda)\ar[r]^{\partial_\Lambda}&\varprojlim_{\mathscr{I}}
	Z^1(S^\Lambda)\ar[r]&0
	}
\]
of \eqref{eq: SES3} is exact.  We will use this fact to prove the following.

\begin{prp}\label{prop: important}
	If the probability measure $\mu$ on $S^X$ is ordinary, then
	the projective system $\{\operatorname{Ker}\partial_\Lambda\}_{\Lambda\in\mathscr{I}}$ satisfies
	the Mittag-Leffler condition.  This implies that the sequence
	\begin{equation}\label{eq: SES}
		\xymatrix{
		0\ar[r]& H^0_{\operatorname{col}}(S^X)\ar[r]&C^0_{\operatorname{col}}(S^X)\ar[r]^{\partial}& Z^1_{\operatorname{col}}(S^X)\ar[r]&0
	}
	\end{equation}
	is exact, where $H^0_{\operatorname{col}}(S^X)=\varprojlim_{\mathscr{I}}\operatorname{Ker}\partial_\Lambda$ as in Definition \ref{def: colocal}.
\end{prp}

\begin{proof}
	We first note that by \cite[Remark 2.28]{a}, any function $f\in C(S^\Lambda)$
	satisfies $\partial_\Lambda f=0$ if and only if $f$ is constant on each of the connected components of
	the graph $(S^\Lambda,\Phi_\Lambda)$.
	Since $\Lambda\in\mathscr{I}$ is finite, the configuration space $S^\Lambda$ has only a finite number of connected
	components.  This shows that $\operatorname{Ker}\partial_\Lambda$ is finite dimensional.
	This ensures that $\{\operatorname{Ker}\partial_\Lambda\}_{\Lambda\in\mathscr{I}}$ satisfies the Mittag-Leffler condition, since
	any descending sequence of linear subspaces of a finite dimensional linear space is stable.
	Our assertion now follows from \cite[Proposition (13.2.2)]{EGAIII}.
\end{proof}

\section{Decomposition of Varadhan Type}\label{sec: Varadhan}

In this section, we consider a group $G$ and an action of $G$ on the locale $X$,
and prove the decomposition theorem of Varadhan type for closed co-local forms.
Before going into the details, we first fix notations concerning action of $G$.
An action of $G$ on $X$ gives a bijection $\sigma\colon X\rightarrow X$ for any $\sigma\in G$.
We define the action of $G$ on $S^X$ given by mapping $\eta=(\eta_x)_{x\in X}\in\prod_{x\in X}S$ to
$\sigma(\eta)\coloneqq(\eta_{\sigma^{-1}(x)})_{x\in X}$ for any $\sigma\in G$.
Then $G$ induces an action on $C(S^X)$ given for any $\sigma\in G$ by
\[
	\sigma(f)(\eta)=f(\sigma^{-1}(\eta))
\]
for any $\eta\in S^X$.

For any subset $\Lambda\subset X$, the element $\sigma\in G$ induces a bijection
$\sigma\colon\Lambda\cong\sigma(\Lambda)$.  Hence on $S^\Lambda$, this induces a bijection
\begin{equation}\label{eq: s}
	\sigma\colon S^{\Lambda}\cong S^{\sigma(\Lambda)}.
\end{equation}
Note that for any $\eta\in S^{\Lambda}$, we have $\sigma(\eta)\in S^{\sigma(\Lambda)}$.
In terms of components, if we let $\eta=(\eta_x)_{x\in\Lambda}\in S^{\Lambda}$,
then we have $\sigma(\eta)=(\eta_{\sigma^{-1}(x)})_{x\in\sigma(\Lambda)}\in S^{\sigma(\Lambda)}$.
Hence \eqref{eq: s} induces a bijection
\begin{equation}\label{eq: function}
	\sigma\colon C\bigl(S^\Lambda\bigr)\cong C\bigl(S^{\sigma(\Lambda)}\bigr),
\end{equation}
which maps any function $f\in C\bigl(S^{\Lambda}\bigr)$ to the function $\sigma(f)\in C\bigl(S^{\sigma(\Lambda)}\bigr)$.
For any $\Lambda\in\mathscr{I}$, we have $\sigma(\Lambda)\in\mathscr{I}$ for any $\sigma\in G$.
Clearly, the action of $G$ is compatible with the natural inclusion $C(S^\Lambda)\hookrightarrow C(S^X)$, hence
we have an action of $G$ on $C_{\operatorname{loc}}(S^X)$.

The action of the group $G$ on $X$ defines a map of graphs
$\sigma\colon (S^\Lambda,\Phi_\Lambda)\rightarrow (S^{\sigma(\Lambda)},\Phi_{\sigma(\Lambda)})$,
which induces a natural actions on $C(\Phi_\Lambda)$ by $\sigma(\omega)(\varphi)=\omega(\sigma^{-1}(\varphi))$.
We have the following.
\begin{lmm}\label{lem: differential}
	For any $\Lambda\in\mathscr{I}$,
	the action of $G$ is compatible with the
	differential
	\[
		\partial_\Lambda\colon C^0(S^\Lambda)\rightarrow C^1(S^\Lambda).
	\]
\end{lmm}

\begin{proof}
	For $f\in C(S^\Lambda)$, we have
	\begin{align*}
		\sigma(\partial f)(\varphi)&=\partial f(\sigma^{-1}(\varphi))=f(\sigma^{-1}(t(\varphi)))-f(\sigma^{-1}(o(\varphi)))\\
		&=\sigma(f)(t(\varphi))-\sigma(f)(o(\varphi))=(\partial \sigma(f))(\varphi).
	\end{align*}
	This shows that $\partial_\Lambda$ is compatible with the action of the group $G$ as desired.
\end{proof}

Note that if we let ${\mathcal{F}}_X$ be the Borel $\sigma$-algebra for $S^X$, then we have
$\sigma(A)\in{\mathcal{F}}_X$ for any $A\in{\mathcal{F}}_X$ and $\sigma\in G$.  We define a $G$-invariant
probability measure on $S^X$ as follows.
\begin{dfn}
	Suppose $\mu$ is a probability measure on $S^X$.
	We say that $\mu$ is \textit{invariant with respect to the action of $G$},
	if we have
	\[
		\mu(\sigma(A))=\mu(A)
	\]
	for any $A\in{\mathcal{F}}_X$.
\end{dfn}

If $\mu=\prod_{x\in X}\nu_x$ for some family of probability measures $\{\nu_x\}$ on $S$,
and if $\nu_{\sigma(x)}=\nu_x$ for any $\sigma\in G$, then the probability measure
$\mu$ is invariant with respect to the action of $G$.
In particular, the product measure $\mu=\nu^{\otimes X}$ for a measure $\nu$ on $S$ is
invariant with respect to the action of $G$.

For the rest of this section, we assume that $\mu=\nu^{\otimes X}$ for some probability measure $\nu$ on $S$
which is supported on $S$.
 Then $\mu$ is invariant with respect to the action of $G$.
For any $f\in C(S^X)$ and $\Lambda\in\mathscr{I}$, if we let $\pi^\Lambda f\in C(S^\Lambda)$ be the conditional expectation,
then we have $\sigma(\pi^\Lambda f)\in C(S^{\sigma(\Lambda)})$ for any $\sigma\in G$.
Moreover, since the action of $\sigma\in G$ is compatible with
 all of the structures appearing in the conditional expectation, we have
 \[
 	\sigma(E_\mu[f|{\mathcal{F}}_\Lambda])=E_{\sigma(\mu)}[\sigma(f)|{\mathcal{F}}_{\sigma(\Lambda)}].
 \]
 Our condition that $\mu$ is invariant with respect to the action of $G$ gives the equality
$\sigma(\pi^\Lambda f)=\pi^{\sigma(\Lambda)}(\sigma(f))$.  This shows that the projections
$\pi^\Lambda$ are compatible with the action of $G$,
hence we have an action of $G$ on the co-local functions
$C_{\operatorname{col}}(S^X)=\varprojlim_{\mathscr{I}}C(S^\Lambda)$.
The action \eqref{eq: function} gives a mapping
\[
	\sigma\colon C_{\Lambda}(S^X)\rightarrow C_{\sigma(\Lambda)}(S^X)
\]
on $C_{\Lambda}(S^X)$.
By Proposition \ref{prop: expansion},
we have a unique expansion
\[
	f = \sum_{\Lambda\in\mathscr{I}} f_{\Lambda}
\]
for any $f\in C_{{\operatorname{col}}}(S^X)$, where $f_{\Lambda}\in C_{\Lambda}(S^X)$ for any $\Lambda\in\mathscr{I}$.
Then we have
\[
	\sigma(f) =  \sum_{\Lambda\in\mathscr{I}}\sigma(f_{\Lambda}).
\]
Since $f_{\Lambda}\in C_{\Lambda}(S^X)$, we have $\sigma(f_{\Lambda})\in C_{\sigma(\Lambda)}(S^X)$,
hence the uniqueness of expansion gives
\[
	\sigma(f_{\Lambda})=\sigma(f)_{\sigma(\Lambda)}
\]
for any $\Lambda\in\mathscr{I}$.   This proves the following assertion.

\begin{lmm}
	The action of the group $G$ on the locale $X$ gives a natural action of $G$
	on the space of uniformly co-local functions $C^0_{\operatorname{unif}}(S^X)$.
\end{lmm}

The probability measure $\mu=\nu^{\otimes X}$ is invariant by the action of $G$.
In addition, by Lemma \ref{lem: ordinary}, the measure $\mu$ is ordinary.
By Proposition \ref{prop: important}, we have an exact sequence
\[
	\xymatrix{
	0\ar[r]& H^0_{\operatorname{col}}(S^X)\ar[r]&C^0_{\operatorname{col}}(S^X)\ar[r]^{\partial}& Z^1_{\operatorname{col}}(S^X)\ar[r]&0}.
\]
Considering the long exact sequence associated to the group cohomology of $G$, we have an
exact sequence
\begin{equation}\label{eq: LES}
	\cdots\rightarrow C^0_{\operatorname{col}}(S^X)^G\rightarrow Z^1_{\operatorname{col}}(S^X)^G\xrightarrow\delta
	H^1_{\operatorname{col}}(G, H^0_{\operatorname{col}}(S^X))\rightarrow H^1_{\operatorname{col}}(G,C^0_{\operatorname{col}}(S^X))\rightarrow\cdots,
\end{equation}
where $C^0_{\operatorname{col}}(S^X)^G$ and $Z^1_{\operatorname{col}}(S^X)^G$ denote the $G$-invariant subgroups of
$C^0_{\operatorname{col}}(S^X)$ and $Z^1_{\operatorname{col}}(S^X)$, and
$H^1(G,H^0_{\operatorname{col}}(S^X))$ and $H^1(G,C^0_{\operatorname{col}}(S^X))$ are group cohomology of $G$ with coefficients in $H^0_{\operatorname{col}}(S^X)$ and $C^0_{\operatorname{col}}(S^X)$.
This gives an injective homomorphism
\begin{equation}\label{eq: boundary}\xymatrix{
	Z^1_{\operatorname{col}}(S^X)^G/\partial\bigl(C^0_{\operatorname{col}}(S^X)^G\bigr)\,\ar@{^(->}[r]& \,H^1(G, H^0_{\operatorname{col}}(S^X)).
}\end{equation}
The boundary morphism $\delta$ is given explicitly by mapping any $\omega\in Z^1_{\operatorname{col}}(S^X)^G$
to the cocycle $\rho$ given by
$\rho(\sigma)=(1-\sigma)\theta$ for any $\sigma\in G$,
where $\theta\in C^0_{\operatorname{col}}(S^X)$ is a function satisfying
$\partial\theta=\omega$.

Next, suppose the group $G$ is torsion free and the action of $G$ on $X$ is free.
Then the action of $G$
on the set $\mathscr{I}\setminus\{\emptyset\}$ is free.  We denote by $\mathscr{I}_0$ a set of representatives of
the equivalence classes of
$\mathscr{I}\setminus\{\emptyset\}$ with respect to the action of $G$.  This implies that for any nonempty
$\Lambda\subset X$, there exists a unique $\tau\in G$ such that $\tau^{-1}(\Lambda)\in\mathscr{I}_0$.
For any $f\in C^0_{\operatorname{col}}(S^X)$, the canonical decomposition
\[
	f=\sum_{\Lambda\in\mathscr{I}} f_\Lambda,\qquad f_\Lambda\in C_\Lambda(S^X)
\]
with $f_\emptyset=0$ may be written as
\[
	f=\sum_{\tau\in G}\sum_{\Lambda_0\in\mathscr{I}_0}f_{\tau(\Lambda_0)}.
\]
For any $\tau\in G$, if we let
\begin{equation}\label{eq: fs}
	f_\tau\coloneqq\sum_{\Lambda_0\in\mathscr{I}_0}f_{\tau(\Lambda_0)},
\end{equation}
then we have
\[
	f=\sum_{\tau\in G} f_\tau.
\]

\begin{thm}\label{thm: main}
	Suppose $\mu=\nu^{\otimes X}$, and that the group
	$G$ is torsion free and the action of $G$ on $X$ is free.
	Then the boundary morphism \eqref{eq: boundary} induces an isomorphism
	\begin{equation}\label{eq: isom}
		Z^1_{\operatorname{col}}(S^X)^G/\partial\bigl(C^0_{\operatorname{col}}(S^X)^G\bigr)\cong H^1(G, H^0_{\operatorname{col}}(S^X)).
	\end{equation}
	In particular, the choice of $\mathscr{I}_0$ gives a splitting of the boundary morphism,
	hence a decomposition
	\begin{equation}\label{eq: decomposition}
		Z^1_{\operatorname{col}}(S^X)^G\cong \partial\bigl(C^0_{\operatorname{col}}(S^X)^G\bigr) \oplus H^1(G, H^0_{\operatorname{col}}(S^X)).
	\end{equation}
\end{thm}

\begin{proof}
	It is sufficient to construct a section of the boundary morphism
	\begin{equation}\label{eq: boundary2}
		\delta\colon Z^1_{\operatorname{col}}(S^X)^G \rightarrow  H^1(G, H^0_{\operatorname{col}}(S^X)).
	\end{equation}
	Let $\rho\in Z^1(G, H^0_{\operatorname{col}}(S^X))$ be a group
	cocycle representing a class in $H^1(G, H^0_{\operatorname{col}}(S^X))$.
	Then $\rho$ is a map from $G$ to $H^0_{\operatorname{col}}(S^X)=\operatorname{Ker}\partial\subset C^0_{\operatorname{col}}(S^X)$
	satisfying $\rho(\sigma\tau)=\sigma\rho(\tau)+\rho(\sigma)$ for any $\sigma,\tau\in G$.
	We let
	\[
		\theta_\rho\coloneqq \sum_{\tau\in G}\rho(\tau)_\tau\in C^0_{\operatorname{col}}(S^X),
	\]
	where $\rho(\tau)_\tau$ is the function $f_\tau$ in \eqref{eq: fs} for $f=\rho(\tau)$.
	Then we have
	\begin{align*}
		\sigma(\theta_\rho)&=\sum_{\tau\in G}\sigma(\rho(\tau)_\tau)
		=\sum_{\tau\in G}\sigma(\rho(\tau))_{\sigma\tau}
		=\sum_{\tau\in G}(\rho(\sigma\tau)_{\sigma\tau}-\rho(\sigma)_{\sigma\tau})\\
		&=\sum_{\tau\in G}(\rho(\tau)_{\tau}-\rho(\sigma)_{\tau})
		=\theta_\rho-\rho(\sigma).
	\end{align*}
	This shows that $(1-\sigma)\theta_\rho=\rho(\sigma)$.
	Since $\rho(\sigma)\in H^0_{\operatorname{col}}(S^X)=\operatorname{Ker}\partial$, the compatibility of $\partial$ with the
	action of $G$ gives
	\[
			(1-\sigma)\partial \theta_\rho=\partial ((1-\sigma)\theta_\rho)=\partial \rho(\sigma)=0
	\]
	for any $\sigma\in G$,
	which shows that $\omega_\rho\coloneqq\partial\theta_\rho\in Z^1_{\operatorname{col}}(S^X)^G$.
	By the definition of the boundary morphism, we see that $\delta(\omega_\rho)=\rho$
	as an element in $H^1(G, H^0_{\operatorname{col}}(S^X))$.  This shows that the map $\rho\mapsto\omega_\rho$
	gives a section of \eqref{eq: boundary2} as desired.
	This proves that \eqref{eq: isom} is in fact an isomorphism and gives the decomposition
	\eqref{eq: decomposition} for our choice of $\mathscr{I}_0$.
\end{proof}

We next consider the property that an interaction is irreducibly quantified,
which was originally proposed in \cite[Definition 2.22]{a}.

\begin{dfn}
	We say that the interaction $(S,\phi)$ is \textit{irreducibly quantified},
	if for any locale $(X,E)$ whose set of vertices is \textit{finite},
	the associated configuration space with transition structure
	$S^X$ satisfies the following property. For any $\eta,\eta'\in S^X$, if $\xi_X(\eta)=\xi_X(\eta')$
	for any conserved quantity $\xi\in\C{S}$, then there exists a path $\vec\gamma$ from
	$\eta$ to $\eta'$ in $S^X$.  Here, $\xi_X(\eta)\coloneqq\sum_{x\in X}\xi(\eta_x)$ for any $\eta=(\eta_x)\in S^X$,
	which is a finite sum since we have assumed that $X$ is finite.
\end{dfn}

Since we have assumed that $S$ is finite, the dimension $c_\phi\coloneqq\dim_\mathbb{R}\C{S}$ is finite.
The following result follows from \cite[Lemma 2.28]{a} and the definition of irreducibly quantified
interactions. We will include the proof for the sake of completeness.

\begin{lmm}\label{lem: review}
	Let $(X,E)$ be a finite locale, and suppose $(S,\phi)$ is an interaction which is irreducibly quantified.
	Suppose that $f\in C(S^X)$ satisfies $\partial_X f=0$.
	Then we have $f(\eta)=f(\eta')$
	for any $\eta,\eta'\in S^X$ satisfying $\xi_X(\eta)=\xi_X(\eta')$ for any conserved quantity $\xi\in\C{S}$.
\end{lmm}

\begin{proof}
	Let $\eta,\eta'\in S^X$, and suppose that $\xi_X(\eta)=\xi_X(\eta')$
	for any conserved quantity $\xi\in\C{S}$.
	Since the pair $(S,\phi)$ is irreducibly quantified,
	there exists a path $\vec\gamma$ from $\eta$ to $\eta'$ in $S^X$.
	Write $\vec\gamma=(\varphi^1,\ldots,\varphi^N)$
	with transitions $\varphi^i=(\eta^{i-1},\eta^i)\in\Phi$ for $i=1,\ldots,N$.
	Since $\partial_X f=0$, we have
	\[
		f(\eta^i)-f(\eta^{i-1})=\partial_X f(\varphi^i)=0
	\]
	for any $i=1,\ldots,N$.  This proves that $f(\eta)=f(\eta^0)=f(\eta^N)=f(\eta')$ as desired.
\end{proof}

Using Lemma \ref{lem: review}, we may prove the following.

\begin{lmm}\label{lem: invariant}
	Suppose the interaction $\phi$ is irreducibly quantified.  Then
	we have
	\[
		H^0_{\operatorname{col}}(S^X)\subset C^0_{\operatorname{col}}(S^X)^G.
	\]
\end{lmm}

\begin{proof}
	Let $f=(f^\Lambda)\in H^0_{\operatorname{col}}(S^X)$.
	Note that for any $\sigma\in G$, we have $\sigma(f)=(\sigma(f^\Lambda))$,
	where $\sigma(f^\Lambda)\in C(S^{\sigma(\Lambda)})$.
	It is sufficient to prove that $\sigma(f^\Lambda)=f^{\sigma(\Lambda)}$.
	By definition of $H^0_{\operatorname{col}}(S^X)$ given in Definition \ref{def: colocal},
	we have $f^\Lambda\in \operatorname{Ker}\partial_\Lambda$.
	Let $\sigma\in G$, and take $\Lambda'\in\mathscr{I}$ sufficiently large so that $\Lambda,\sigma(\Lambda)\subset\Lambda'$.
	We fix an arbitrary bijection $\upsilon\colon\Lambda'\rightarrow\Lambda'$
	satisfying $\upsilon(x)=\sigma^{-1}(x)$ if $x\in\sigma(\Lambda)$.
	 We define a map $T_{\upsilon}\colon S^{\Lambda'}\rightarrow S^{\Lambda'}$ by
	\[
		(T_{\upsilon}(\eta))_x \coloneqq\eta_{\upsilon(x)}.
	\]
	By construction, $\xi_{\Lambda'}(\eta)=\xi_{\Lambda'}(T_{\upsilon}(\eta))$.
	Since $\partial_{\Lambda'}f^{\Lambda'}=0$, by Lemma \ref{lem: review}
	and the fact that the interaction $\phi$ is irreducibly quantified,
	we have
	$
		f^{\Lambda'}(\eta)=f^{\Lambda'}(T_{\upsilon}(\eta))
	$
	for any $\eta\in S^{\Lambda'}$.   This shows that
	\[
		\sigma(f^\Lambda)=\sigma(\pi^\Lambda f^{\Lambda'})=\pi^{\sigma(\Lambda)}(f^{\Lambda'}\circ
		T_{\upsilon})=\pi^{\sigma(\Lambda)}f^{\Lambda'}=f^{\sigma(\Lambda)},
	\]
	which gives the desired result.
\end{proof}

Using this fact, we may deduce the following from Theorem \ref{thm: main}.

\begin{crl}\label{crl: main}
	Assume the conditions of Theorem \ref{thm: main} and suppose in addition that the interaction
	$\phi$ is irreducibly quantified.  Then we have an isomorphism
	\[
		Z^1_{\operatorname{col}}(S^X)^G/\partial\bigl(C^0_{\operatorname{col}}(S^X)^G\bigr)\cong
		{\operatorname{Hom}}_\mathbb{Z}(G,H^0_{\operatorname{col}}(S^X)).
	\]
	In particular, if the maximal abelian quotient of
	$G$ is finitely generated of rank $d$, then we have a decomposition
	\[
		Z^1_{\operatorname{col}}(S^X)^G\cong\partial\bigl(C^0_{\operatorname{col}}(S^X)^G\bigr)\oplus\bigoplus_{j=1}^dH^0_{\operatorname{col}}(S^X).
	\]
\end{crl}

\begin{proof}
	By Lemma \ref{lem: invariant}, the action of $G$ on $H^0_{\operatorname{col}}(S^X)$ is trivial.  Hence we have
	\[
		H^1(G,H^0_{\operatorname{col}}(S^X))\cong {\operatorname{Hom}}_\mathbb{Z}(G,H^0_{\operatorname{col}}(S^X)),
	\]
	which combined with Theorem \ref{thm: main} gives the first isomorphism.
	If we fix a generator $\tau_1,\ldots,\tau_d$ of the maximal abelian quotient of $G$,
	then an element of
	${\operatorname{Hom}}_\mathbb{Z}(G,H^0_{\operatorname{col}}(S^X))$ is determined by the images of $\tau_i$ in $H^0_{\operatorname{col}}(S^X)$.
	This fact and the decomposition \eqref{eq: decomposition}
	of Theorem \ref{thm: main} gives the second isomorphism as desired.
\end{proof}

\section{The $L^2$-Case: A Conjecture}\label{sec: L2}

The decomposition theorem for Varadhan that is necessary for proving the hydrodynamic limit
is a decomposition for $L^2$-forms.
In this section, we give the definition of $L^2$-forms and formulate a conjecture
concerning Varadhan's decomposition in this case.
Let $\mu$ be a probability measure on $S^X$ supported on $S^\Lambda$ for any $\Lambda\in\mathscr{I}$.
We let
\[
	\dabs{f}_\mu\coloneqq\pair{f,f}^{1/2}_\mu=E_\mu[f^2]^{1/2}
\]
for any $f\in C(S^X)$.

\begin{dfn}
	We define the  \textit{space of $L^2$-functions} $L^2(\mu)$ to be the quotient space
	\[
		L^2(\mu)\coloneqq\{f\in C(S^X)\mid \dabs{f}_\mu<\infty\}/
		\{ f\in C(S^X)\mid \dabs{f}_\mu=0\}.
	\]
\end{dfn}

By standard facts concerning $L^2$-spaces, $L^2(\mu)$ is known to be
a Hilbert space for the inner product $\pair{f,g}_\mu=E_\mu[fg]$.
In particular,  $L^2(\mu)$ is complete for the topology given by
the norm $\dabs{\cdot}_\mu$.

\begin{rem}
	It is well-known that  if $f\in L^2(\mu)$, then $f$ is integrable for $\mu$.
	This may be seen from the fact that since $\abs{f}\leq(f^2+1)/2$, we have
	\[
		E_\mu[\abs{f}]\leq E_\mu[(f^2+1)/2] =(E_\mu[f^2]+1)/2\leq\infty.
	\]
\end{rem}

For any $f\in L^2(\mu)$, the system $(\pi^\Lambda f)_{\Lambda\in\mathscr{I}}$ defines a co-local function
in $C_{\operatorname{col}}(S^X)$,
hence we have a natural homomorphism
\begin{equation}\label{eq: nh}
	L^2(\mu)\rightarrow C_{\operatorname{col}}(S^X), \qquad f\mapsto (\pi^\Lambda f)_{\Lambda\in\mathscr{I}}.
\end{equation}
Furthermore, if $f\in C(S^\Lambda)$ for $\Lambda\in \mathscr{I}$, then
the function $f$ viewed as an element in $C(S^X)$ satisfies $\dabs{f}_\mu<\infty$, hence $f$
defines an element in $L^2(\mu)$.  This gives a natural homomorphism
\[
	C_{\operatorname{loc}}(S^X)\rightarrow L^2(\mu),
\]
which is injective since  the composite $C_{\operatorname{loc}}(S^X)\rightarrow L^2(\mu)\rightarrow C_{\operatorname{col}}(S^X)$
gives the natural inclusion.
Note that since $\pi^\Lambda$ is an orthogonal projection (see Lemma \ref{lem: orthogonal}),
we have
\begin{equation}\label{eq: bound}
	\dabs{\pi^\Lambda f}_\mu =\pair{\pi^\Lambda f,\pi^\Lambda f}_\mu\leq\pair{f,f}_\mu=\dabs{f}_\mu
\end{equation}
for any $f\in L^2(\mu)$.
The following is the \textit{Martingale Convergence Theorem} for our case.

\begin{thm}\label{thm: convergence}
	We let
	\[
		C_{L^2}(S^X)\coloneqq\bigl\{ (f^\Lambda)\in C_{\operatorname{col}}(S^X)\mid \sup_{\Lambda\in\mathscr{I}}\dabs{f^\Lambda}_\mu<\infty\bigr\}.
	\]
	Consider a family of sets $\{\Lambda_n\}_{n\in\mathbb{N}}$ in $\mathscr{I}$ such that $\Lambda_n\subset\Lambda_{n+1}$ and
	$X=\bigcup_{n\in\mathbb{N}}\Lambda_n$.
	For any $f\in C_{L^2}(S^X)$, if we let $f_n\coloneqq f^{\Lambda_n}$ for any $n\in\mathbb{N}$, then
	the sequence of functions $(f_n)_{n\in\mathbb{N}}$ converges strongly
	to a function $f_\infty$ in $L^2(\mu)$.
\end{thm}

\begin{proof}
	For $m>n$, since $f_n=\pi^{\Lambda_n} f_m$,

	we see from \eqref{eq: bound} that $\dabs{f_m}^2_\mu\geq \dabs{f_n}^2_\mu$,
	hence $\dabs{f_n}^2_\mu$ is monotonously increasing for $n\geq0$.
	Let
	\[
		M\coloneqq\sup_{n\in\mathbb{N}}\dabs{f_n}_\mu\leq \sup_{\Lambda\in\mathscr{I}}\dabs{f^\Lambda}_\mu<\infty.
	\]
	By Lemma \ref{lem: orthogonal}, the projection $\pi^{\Lambda_n}$ is orthogonal. This
	shows that we have
	\[
		\dabs{f_m}^2_\mu
		=\dabs{f_n}^2_\mu+\dabs{f_m-f_n}^2_\mu
	\]
	for any $m>n$, which gives the equality
	$
		\dabs{f_m-f_n}^2_\mu=\dabs{f_m}^2_\mu-\dabs{f_n}^2_\mu.
	$
	This shows that
	\[
		\lim_{m,n\rightarrow\infty}\dabs{f_m-f_n}_\mu=\lim_{m\rightarrow\infty}\dabs{f_m}_\mu-
		\lim_{n\rightarrow\infty}\dabs{f_n}_\mu=M-M=0,
	\]
	hence $(f_n)_{n\in\mathbb{N}}$ is a Cauchy sequence in $L^2(\mu)$.
	Since $L^2(\mu)$ is complete for the $L^2$-norm,
	the sequence $(f_n)_{n\in\mathbb{N}}$ converges strongly to an element $f_\infty$ in $L^2(\mu)$ as desired.
\end{proof}

\begin{rem}
	Since $\mathscr{I}$ is a directed set, the system of functions
	$(f^\Lambda)\in C_{L^2}(S^X)$ may be interpreted as a \textit{net}
	with set of indices $\mathscr{I}$.
	As a generalization of Theorem \ref{thm: convergence}, we may prove
	that for any $(f^\Lambda)\in C_{L^2}(S^X)$, we have
	\[
		\lim_{\Lambda\in\mathscr{I}} f^\Lambda=f_\infty\in L^2(\mu),
	\]
	where the limit is the convergence in terms of nets.
\end{rem}

Theorem \ref{thm: convergence} gives the following corollary.

\begin{crl}
	The space $C_{L^2}(S^X)$ of Theorem \ref{thm: convergence} coincides
	with the image of $L^2(\mu)$ in $C_{\operatorname{col}}(S^X)$ with respect to the homomorphism \eqref{eq: nh}.
	Moreover, the space of local functions
	$C_{\operatorname{loc}}(S^X)$ is dense in $C_{L^2}(S^X)$ for the topology defined by the
	norm
	\[
		\dabs{(f^\Lambda)}_\mu\coloneqq\sup_{\Lambda\in\mathscr{I}}\dabs{f^\Lambda}_\mu
	\]
	on $C_{L^2}(S^X)$.
\end{crl}

\begin{proof}
	Suppose $f\in L^2(\mu)$.  Then for any $\Lambda\in\mathscr{I}$, by \eqref{eq: bound}, we have
	\[
		\dabs{f^\Lambda}_\mu\leq\dabs{f}_\mu,
	\]
	hence we see that $(\pi^\Lambda f)$ satisfies $\sup_{\Lambda\in\mathscr{I}}\dabs{f^\Lambda}_\mu \leq \dabs{f}_\mu<\infty$.
	This shows that $(\pi^\Lambda f)\in C_{L^2}(S^X)$ as desired.
	On the other hand, suppose $(f^\Lambda)\in  C_{L^2}(S^X)$.
	We fix a family $\{\Lambda_n\}_{n\in\mathbb{N}}$ of sets in $\mathscr{I}$ such that $\Lambda_n\subset\Lambda_{n+1}$ and $X=\bigcup_{n\in\mathbb{N}}\Lambda_n$, and let $f_n\coloneqq f^{\Lambda_n}$ for any $n\in\mathbb{N}$.
	Then Theorem \ref{thm: convergence} shows that $(f_n)$ converges strongly to a function $f_\infty$
	in $L^2(\mu)$.

	Fix an $n\in\mathbb{N}$ and let $g_n\in C(S^{\Lambda_n})$.
	Then for any $m>n$, the orthogonal property of the conditional
	expectation in Lemma \ref{lem: orthogonal} implies that $\pair{f_m-f_n,g_n}_\mu=0$,
	hence we have
	\[
		\pair{f_m,g_n}_\mu=\pair{f_n+(f_m-f_n),g_n}_\mu=\pair{f_n,g_n}_\mu.
	\]
	This shows that
	\[
		\pair{f_\infty,g_n}_\mu=\lim_{m\rightarrow\infty}\pair{f_m,g_n}_\mu=\pair{f_n,g_n}_\mu.
	\]
	Furthermore, the definition of conditional expectation shows that we have
	\[
		\pair{\pi^{\Lambda_n}f_\infty,g_n}_\mu=\pair{f_\infty,g_n}_\mu.
	\]
	This proves that $\pi^{\Lambda_n}f_\infty=f_n$ in $C(S^{\Lambda_n})$.
	For any $\Lambda\in\mathscr{I}$, taking $n$ sufficiently large so that $\Lambda\subset\Lambda_n$,
	we see that $f^\Lambda=\pi^{\Lambda}f_n = \pi^{\Lambda}(\pi^{\Lambda_n} f_\infty)=\pi^{\Lambda}f_\infty$
	by the tower property \eqref{eq: tower},
	which shows that $(f^\Lambda)$ is the image of $f_\infty$ by \eqref{eq: nh} as desired.
	This gives our first assertion.

	Next, consider $f\in L^2(\mu)$ and the associated $(\pi^\Lambda f)\in C_{L^2}(S^X)$.
	Again, Theorem \ref{thm: convergence} shows that
	the functions $f_n=\pi^{\Lambda_n} f\in C(S^{\Lambda_n})\subset C_{\operatorname{loc}}(S^X)$ for $n\in\mathbb{N}$
	strongly converge to $f_\infty\in L^2(\mu)$.
	By the previous argument,
	since $\pi^\Lambda f_\infty=\pi^\Lambda f$ for any $\Lambda\in\mathscr{I}$, we see that the
	image of $f$ and $f_\infty$ coincide in $C_{L^2}(S^X)$.
	Hence we have
	\[
		\displaystyle\lim_{n\rightarrow\infty}f_n=f
	\]
	in $C_{L^2}(S^X)$, which proves that $C_{\operatorname{loc}}(S^X)$ is dense in $C_{L^2}(S^X)$ as desired.
\end{proof}

\begin{rem}
	The space $C_{L^2}(S^X)$ is usually referred to as the \textit{space of Martingales bounded in $L^2$}
	(see for example \cite[Chapter 12]{Wil91}).
	The inclusions
	\[
		C_{\operatorname{loc}}(S^X) \subset C_{L^2}(S^X)\subset C_{\operatorname{col}}(S^X)
	\]
	give what is know as a \textit{Gelfand triple}.
\end{rem}

Next, we define the space of $L^2$-forms.  Assume that $\mu=\nu^{\otimes X}$ for some
probability measure $\nu$ supported on $S$.
For any $\Lambda\in\mathscr{I}$, we equip the space $T^*\!S^\Lambda$ with a norm given by
\[
	\dabs{\omega}^2_\mu\coloneqq\frac{1}{|E_\Lambda|}\sum_{e\in E_\Lambda}\dabs{\omega_e}^2_\mu
\]
for any $\omega=(\omega_e)\in\prod_{e\in E_\Lambda}C(S^\Lambda)$, where $\dabs{\omega_e}^2_\mu\coloneqq
E_\mu[\omega_e^2]$.     Following Theorem \ref{thm: convergence}, we define the space of $L^2$-forms in
\[
	C^1_{\operatorname{col}}(S^X)=\varprojlim_{\mathscr{I}}C^1(S^\Lambda)
\]
 as follows.

\begin{dfn}
	We define the space $C^1_{L^2}(S^X)$ of $L^2$-forms on $S^X$ by
	\[
		C^1_{L^2}(S^X)\coloneqq\bigl\{(\omega^\Lambda)\in C^1_{\operatorname{col}}(S^X)\mid\sup_{\Lambda\in\mathscr{I}}\dabs{\omega^\Lambda}_\mu<\infty\bigr\}\subset C^1_{\operatorname{col}}(S^X).
	\]
\end{dfn}

As in \S \ref{sec: Varadhan},
consider an action of a group $G$ on the locale $X$.
We again assume that $G$ is torsion free
and that the action of $G$ on $X$ is free.  We let
\[
	\mathscr{C}\coloneqq C^1_{L^2}(S^X)\cap Z^1_{\operatorname{col}}(S^X)^G
	\subset  Z^1_{\operatorname{col}}(S^X)^G
\]
be the space of $G$-invariant closed $L^2$-forms, and we let $\mathscr{E}\coloneqq\overline{\partial(C_{\operatorname{unif}}(S^X)^G)}$ be the space of
exact forms, where the bar denotes the closure of $\partial(C_{\operatorname{unif}}(S^X)^G)$ in $\mathscr{C}$
for the topology induced from the norm $\dabs{(\omega^\Lambda)}_\mu\coloneqq
\sup_{\Lambda\in\mathscr{I}}\dabs{\omega^\Lambda}_\mu$ for any $(\omega^\Lambda)\in C^1_{L^2}(S^X)$.

By definition of the differential $\partial$,
for any $\xi\in\C{S}$, the function $\xi_X\in C^0_{\operatorname{unif}}(S^X)\subset C^0_{\operatorname{col}}(S^X)$
satisfies $\partial \xi_X=0$.  This shows that we have a natural inclusion
$\C{S}\hookrightarrow H^0_{\operatorname{col}}(S^X)$ given by mapping $\xi$ to $\xi_X$.
Assume that $(X,E)$ is locale with a free action of a finitely generated abelian group $G$
of rank $d$,
such that the quotient $X/G$ is finite.  Such $(X,E)$ is a \emph{topological crystal}
in the sense of \cite[\S6.3]{Sun13}.
We say that an interaction $\phi$ is \emph{simple}, if $c_\phi=1$ and the monoid
generated by $\xi(S)\subset\mathbb{R}$ is isomorphic to $\mathbb{N}$ or $\mathbb{Z}$.
We conjecture the following.

\begin{con}\label{con}
	Assume that the interaction $\phi$ is irreducibly quantified,
	and simple if $d=1$.  We assume in addition that the model satisfies a certain
	spectral gap condition.
	Then the isomorphism of
	Corollary \ref{crl: main} induces the isomorphism
	\[
		\mathscr{C}/\mathscr{E}\cong{\operatorname{Hom}}_\mathbb{Z}(G,\C{S}).
	\]
	In particular, we have a decomposition
	\[
		\mathscr{C}\cong\mathscr{E}\oplus\bigoplus_{j=1}^d\C{S}.
	\]
\end{con}

The above conjecture is the decomposition which is at the heart of the method proposed
by Varadhan to prove the hydrodynamic limit in the non-gradient case.  For the case that
the locale $(X,E)$ is the Euclidean lattice $(\mathbb{Z}^d,\mathbb{E}^d)$, the group $G=\mathbb{Z}^d$
with action on $(X,E)$ by translation, the set of states $S=\{0,1\}$, the interaction
is given by $\phi(s_1,s_2)=(s_2,s_1)$ for $(s_1,s_2)\in S\times S$, and $\nu$ is the probability
measure on $S$
given by $\nu(\{1\})=p$ for $0<p<1$, Conjecture \ref{con} was proved by Funaki, Uchiyama and Yau \cite{FUY96}.
We give in \cite{b} a proof of Conjecture \ref{con} for the Euclidean lattice $(\mathbb{Z}^d,\mathbb{E}^d)$
and group $G=\mathbb{Z}^d$.

\subsubsection*{Acknowledgment}

The authors would like to sincerely thank the organizers Iwao Kimura, Shinichi Kobayashi and Takashi Hara
for the opportunity to give a talk at the RIMS Workshop Algebraic Number Theory and Related Topics 2020.
Giving a talk concerning probability theory at a workshop for algebraic number theory was a
very enriching experience.   We hope the application of algebraic and cohomological methods to
stochastic models was interesting for number theorists, and look forward to further
interactions and collaborations between various mathematical fields.
The authors are very grateful to Megumi Harada for carefully reading a preliminary version of this manuscript.
The authors would also like to thank the referee for very careful reading of the article and
detailed comments which helped to greatly improve the quality of the article.