Artinianness and Finiteness of Formal Local Cohomology Modules with Respect to a Pair of Ideals

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of ${\mathfrak{F}}_{\mathfrak{a},I,J}^i(M)$ and ${\check{\mathfrak{F}}}_{\mathfrak{a},I,J}^i(M)$ with respect to a pair of ideals, for all $i\ge 0$. The main subject of the paper is to study the finiteness properties and Artinianness of ${\mathfrak{F}}_{\mathfrak{a},I,J}^i(M)$ and ${\check{\mathfrak{F}}}_{\mathfrak{a},\mathfrak{m},J}^i(M)$. We study the maximum and minimum integer $i\in \mathbb{N}$ such that ${\mathfrak{F}}_{\mathfrak{a},\mathfrak{m},J}^i(M)$ and ${\check{\mathfrak{F}}}_{\mathfrak{a},\mathfrak{m},J}^i(M)$ are not Artinian. We obtain some results involving cossuport, coassociated and attached primes for formal local cohomology modules with respect to a pair of ideals. Also, we give an criterion involving the concepts of finiteness and vanishing of formal local cohomology modules and \v{C}ech-formal local cohomology modules with respect to a pair of ideals.