We construct a family of chiral anomaly-free supergravity theories in D=6 starting from D=7 supergravity with a gauged noncompact R-symmetry, employing a Horava-Witten bulk-plus-boundary construction. The gauged noncompact R-symmetry yields a positiv
e (de Sitter sign) D=6 scalar field potential. Classical anomaly inflow which is needed to cancel boundary-field loop anomalies requires careful consideration of the gravitational, gauge, mixed and local supersymmetry anomalies. Coupling of boundary hypermultiplets requires care with the Sp(1) gauge connection required to obtain quaternionic Kahler target manifolds in D=6. This class of gauged R-symmetry models may be of use as starting points for further compactifications to D=4 that take advantage of the positive scalar potential, such as those proposed in the scenario of supersymmetry in large extra dimensions.
The question of whether BPS invariants are protected in maximally supersymmetric Yang-Mills theories is investigated from the point of view of algebraic renormalisation theory. The protected invariants are those whose cohomology type differs from tha
t of the action. It is confirmed that one-half BPS invariants ($F^4$) are indeed protected while the double-trace one-quarter BPS invariant ($d^2F^4$) is not protected at two loops in D=7, but is protected at three loops in D=6 in agreement with recent calculations. Non-BPS invariants, i.e. full superspace integrals, are also shown to be unprotected.
