4d N=1 from 6d D-type N=(1,0)

Compactifications of 6d N=(1,0) SCFTs give rise to new 4d N=1 SCFTs and shed light on interesting dualities between such theories. In this paper we continue exploring this line of research by extending the class of compactified 6d theories to the D-type case. The simplest such 6d theory arises from D5 branes probing D-type singularities. Equivalently, this theory can be obtained from an F-theory compactification using "-2"-curves intersecting according to a D-type quiver. Our approach is two-fold. We start by compactifying the 6d SCFT on a Riemann surface and compute the central charges of the resulting 4d theory by integrating the 6d anomaly polynomial over the Riemann surface. As a second step, in order to find candidate 4d UV Lagrangians, there is an intermediate 5d theory that serves to construct 4d domain walls. These can be used as building blocks to obtain torus compactifications. In contrast to the A-type case, the vanishing of anomalies in the 4d theory turns out to be very restrictive and constraints the choices of gauge nodes and matter content severely. As a consequence, in this paper one has to resort to non-maximal boundary conditions for the 4d domain walls. However, the comparison to the 6d theory compactified on the Riemann surface becomes less tractable.
v2: 33 pages, 4 figures, 3 tables, added discussion of unitarity violating gauge invariant operators, typos corrected, matches JHEP version