$M$-strings and AdS$_3$ solutions to M-theory with small $\mathcal{N}=(0,4)$ supersymmetry

We construct a general class of (small) $\mathcal{N}=(0,4)$ superconformal solutions in M-theory of the form AdS$_3\times S^3/\mathbb{Z}_k\times \text{CY}_2$, foliated over an interval. These solutions describe M-strings in M5-brane intersections. The $M$-strings support $(0,4)$ quiver CFTs that are in correspondence with our backgrounds. We compute the central charge and show that it scales linearly with the total number of $M$-strings. We introduce momentum charge, thus allowing for a description in terms of M(atrix) theory. Upon reduction to Type IIA, we find a new class of solutions with four Poincar\'e supercharges of the form AdS$_2\times S^3\times \text{CY}_2\times \mathcal{I}$, that we extend to the massive IIA case. We generalise our constructions to provide a complete class of AdS$_3$ solutions to M-theory with (0,4) supersymmetry and SU(2) structure. We also construct new $AdS_2\times S^3\times \text{M}_4\times \mathcal{I}$ solutions to massive IIA, with M$_4$ a 4d K\"ahler manifold and four Poincar\'e supercharges.