1: \begin{abstract}

2: Given a symmetric Dirichlet form

3: $(\mathcal{E},\mathcal{F})$ on a (non-trivial) $\sigma$-finite measure space

4: $(E,\mathcal{B},\meas)$ with associated Markovian semigroup

5: $\{T_{t}\}_{t\in(0,\infty)}$, we prove that $(\mathcal{E},\mathcal{F})$ is

6: both irreducible and recurrent if and only if there is no non-constant

7: $\mathcal{B}$-measurable function

8: $u:E\to[0,\infty]$ that is \emph{$\mathcal{E}$-excessive},

9: i.e., such that $T_{t}u\leq u$ $\meas$-a.e.\ for any $t\in(0,\infty)$.

10: We also prove that these conditions are equivalent to the

11: equality $\{u\in\mathcal{F}_{e}\mid \mathcal{E}(u,u)=0\}=\mathbb{R}\ind{}$,

12: where $\mathcal{F}_{e}$ denotes the extended Dirichlet space associated with

13: $(\mathcal{E},\mathcal{F})$. The proof is based on simple analytic arguments

14: and requires no additional assumption on the state space or on the form.

15: In the course of the proof we also present a characterization of the

16: $\mathcal{E}$-excessiveness in terms of $\mathcal{F}_{e}$ and $\mathcal{E}$,

17: which is valid for any symmetric positivity preserving form.

18: \end{abstract}

19: