  Given a normal projective irreducible stack $\mathscr X$ over an
algebraically closed field of characteristic zero we consider framed sheaves on
$\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$
is a coherent sheaf on $\mathscr X$ and $\phi_{\mathcal E}$ is a morphism from
$\mathcal E$ to a fixed coherent sheaf $\mathcal F$. After introducing a
suitable notion of (semi)stability, we construct a projective scheme, which is
a moduli space for semistable framed sheaves with fixed Hilbert polynomial, and
an open subset of it, which is a fine moduli space for stable framed sheaves.
If $\mathscr X$ is a projective irreducible orbifold of dimension two and
$\mathcal F$ a locally free sheaf on a smooth divisor $\mathscr D\subset
\mathscr X$ satisfying certain conditions, we consider $(\mathscr{D},
\mathcal{F})$-framed sheaves, i.e., framed sheaves $(\mathcal E,\phi_{\mathcal
E})$ with $\mathcal E$ a torsion-free sheaf which is locally free in a
neighborhood of $\mathscr D$, and ${\phi_{\mathcal{E}}}_{| \mathscr{D}}$ an
isomorphism. These pairs are $\mu$-stable for a suitable choice of a parameter
entering the (semi)stability condition, and of the polarization of $\mathscr
X$. This implies the existence of a fine moduli space parameterizing
isomorphism classes of $(\mathscr{D}, \mathcal{F})$-framed sheaves on
$\mathscr{X}$ with fixed Hilbert polynomial, which is a quasi-projective
scheme. In an appendix we develop the example of stacky Hirzebruch surfaces.
This is the first paper of a project aimed to provide an algebro-geometric
approach to the study of gauge theories on a wide class of 4-dimensional
Riemannian manifolds by means of framed sheaves on "stacky" compactifications
of them. In particular, in a subsequent paper we will use these results to
study gauge theories on ALE spaces of type $A_k$.
