Optimal Eigenvalue Estimate for the Dirac-Witten Operator on Bounded Domains with Smooth Boundary

Eigenvalue estimate for the Dirac-Witten operator is given on bounded domains (with smooth boundary) of spacelike spin hypersurfaces satisfying the dominant energy condition, under four natural boundary conditions (MIT, APS, modified APS and chiral conditions). Roughly speaking, any eigenvalue is the infimum of (the opposite of) the Lorentzian norm of the constraints vector. Equality cases are also investigated and lead to interesting geometric situations.