1: \begin{abstract}
2: Finite Element Exterior Calculus (FEEC) was developed by
3: Arnold, Falk, Winther and others over the last decade to exploit
4: the observation that mixed variational problems can be posed on a
5: Hilbert Complex, and Galerkin-type mixed methods can then be obtained
6: by solving finite-dimensional subcomplex problems.
7: Stability and consistency of the resulting methods then follow directly
8: from the framework by establishing the existence of operators connecting
9: the Hilbert complex with its subcomplex, essentially giving a ``recipe'' for well-behaved methods.
10: In 2012, Demlow and Hirani developed a posteriori error indicators
11: for driving adaptive methods in the FEEC framework.
12: While adaptive techniques have been used successfully with mixed methods for
13: years, convergence theory for such techniques has not been fully developed.
14: The main difficulty is lack of error orthogonality.
15: In 2009, Chen, Holst, and Xu established convergence and optimality of an
16: adaptive mixed finite element method for the Poisson equation
17: %(the Hodge-Laplace problem for ${k=n=2}$)
18: on simply connected polygonal domains in two dimensions.
19: Their argument used a type of quasi-orthogonality result,
20: exploiting the fact that the error was orthogonal to the
21: divergence free subspace, while the part of the error not
22: divergence free was bounded by data oscillation through
23: a discrete stability result.
24: In this paper, we use the FEEC framework to extend these convergence
25: and complexity results for mixed methods on simply connected domains
26: in two dimensions to more general domains.
27: While our main results are for the Hodge-Laplace problem (${k=n}$) on
28: domains of arbitrarily topology and spatial dimension, a number of
29: our supporting results also hold for the more general
30: $\mathfrak{B}$-Hodge-Laplace problem ($k \ne n$).
31: \end{abstract}
32: