Spinorial geometry and Killing spinor equations of 6-D supergravity

We solve the Killing spinor equations of 6-dimensional (1,0)-supergravity coupled to any number of tensor, vector and scalar multiplets in all cases. The isotropy groups of Killing spinors are Sp(1)\cdot Sp(1)\ltimes \bH (1), U(1)\cdot Sp(1)\ltimes \bH (2), Sp(1)\ltimes \bH (3,4), $Sp(1) (2)$, $U(1) (4)$ and $\{1\} (8)$, where in parenthesis is the number of supersymmetries preserved in each case. If the isotropy group is non-compact, the spacetime admits a parallel null 1-form with respect to a connection with torsion the 3-form field strength of the gravitational multiplet. The associated vector field is Killing and the 3-form is determined in terms of the geometry of spacetime. The Sp(1)\ltimes \bH case admits a descendant solution preserving 3 out of 4 supersymmetries due to the hyperini Killing spinor equation. If the isotropy group is compact, the spacetime admits a natural frame constructed from 1-form spinor bi-linears. In the $Sp(1)$ and U(1) cases, the spacetime admits 3 and 4 parallel 1-forms with respect to the connection with torsion, respectively. The associated vector fields are Killing and under some additional restrictions the spacetime is a principal bundle with fibre a Lorentzian Lie group. The conditions imposed by the Killing spinor equations on all other fields are also determined.Comment: 34 pages, Minor change

PeRISCVcope: a tiny teaching-oriented RISC-V interpreter

The fast advances of computer systems translate into a growing demand of methodologies and tools to introduce those novelties into classes. Among the plethora of those advances, virtualization has become an essential technology in almost every relevant system stack, from connected cars to hyperscaled cloud servers. However, introducing those technologies into the classroom remains a challenging task because of the huge complexity of their software components that may hinder the learning process of students. peRISCVcope aims to help in this area by proposing a tiny yet powerful interpreter to dig into virtualization technologies, such as the implementation of trap&emulate hypervisors. With less than 2,000 lines of code, and thanks to the conciseness of the RV32I base instruction set of RISC-V, peRISCVcope enables students to make virtualization knowledge their own. This paper presents our experiences developing and testing a virtualization laboratory where students implement parts of an interpreter. After the practical experience, peRISCVcope has been proved as a useful pedagogical tool, and, most importantly, students have positively rated the experience

On the Bogomol'nyi bound in Einstein-Maxwell-dilaton gravity

It has been shown that the 4-dimensional Einstein-Maxwell-dilaton theory allows a Bogomol'nyi-type inequality for an arbitrary dilaton coupling constant $\alpha$, and that the bound is saturated if and only if the (asymptotically flat) spacetime admits a nontrivial spinor satisfying the gravitino and the dilatino Killing spinor equations. The present paper revisits this issue and argues that the dilatino equation fails to ensure the dilaton field equation unless the solution is purely electric/magnetic, or the dilaton coupling constant is given by $\alpha=0, \sqrt 3$, corresponding to the Brans-Dicke-Maxwell theory and the Kaluza-Klein reduction of 5-dimensional vacuum gravity, respectively. A systematic classification of the supersymmetric solutions reveals that the solution can be rotating if and only if the solution is dyonic or the coupling constant is given by $\alpha=0, \sqrt 3$. This implies that the theory with $\alpha \ne 0, \sqrt 3$ cannot be embedded into supergravity except for the static truncation. Physical properties of supersymmetric solutions are explored from various points of view.Comment: v2: 23 pages, typos corrected, minor modifications, to appear in CQ

Generalized instantons in N = 4 super Yang-Mills theory and spinorial geometry

Using spinorial geometry techniques, we classify the supersymmetric solutions of euclidean ${\cal N}=4$ super Yang-Mills theory. These backgrounds represent generalizations of instantons with nontrivial scalar fields turned on, and satisfy some constraints that bear a similarity with the Hitchin equations, and contain the Donaldson equations as a special subcase. It turns out that these constraints can be obtained by dimensional reduction of the octonionic instanton equations, and may be rephrased in terms of a selfduality-like condition for a complex connection. We also show that the supersymmetry conditions imply the equations of motion only partially.Comment: 29 pages, 3 tables. v2: references added. v3: conclusion extended, version published in JHE

On Pure Spinor Superfield Formalism

We show that a certain superfield formalism can be used to find an off-shell supersymmetric description for some supersymmetric field theories where conventional superfield formalism does not work. This "new" formalism contains even auxiliary variables in addition to conventional odd super-coordinates. The idea of this construction is similar to the pure spinor formalism developed by N.Berkovits. It is demonstrated that using this formalism it is possible to prove that the certain Chern-Simons-like (Witten's OSFT-like) theory can be considered as an off-shell version for some on-shell supersymmetric field theories. We use the simplest non-trivial model found in [2] to illustrate the power of this pure spinor superfield formalism. Then we redo all the calculations for the case of 10-dimensional Super-Yang-Mills theory. The construction of off-shell description for this theory is more subtle in comparison with the model of [2] and requires additional Z_2 projection. We discover experimentally (through a direct explicit calculation) a non-trivial Z_2 duality at the level of Feynman diagrams. The nature of this duality requires a better investigation

Aspects of higher curvature terms and U-duality

We discuss various aspects of dimensional reduction of gravity with the Einstein-Hilbert action supplemented by a lowest order deformation formed as the Riemann tensor raised to powers two, three or four. In the case of R^2 we give an explicit expression, and discuss the possibility of extended coset symmetries, especially SL(n+1,Z) for reduction on an n-torus to three dimensions. Then we start an investigation of the dimensional reduction of R^3 and R^4 by calculating some terms relevant for the coset formulation, aiming in particular towards E_8(8)/(Spin(16)/Z_2) in three dimensions and an investigation of the derivative structure. We emphasise some issues concerning the need for the introduction of non-scalar automorphic forms in order to realise certain expected enhanced symmetries.Comment: 26 pp., 15 figs., plain te

Deformation independent open brane metrics and generalized theta parameters

We investigate the consequences of generalizing certain well established properties of the open string metric to the conjectured open membrane and open Dp-brane metrics. By imposing deformation independence on these metrics their functional dependence on the background fields can be determined including the notorious conformal factor. In analogy with the non-commutativity parameter $\Theta^{\mu\nu}$ in the string case, we also obtain `generalized' theta parameters which are rank q+1 antisymmetric tensors (polyvectors) for open Dq-branes and rank 3 for the open membrane case. The expressions we obtain for the open membrane quantities are expected to be valid for general background field configurations, while the open D-brane quantities are only valid for one parameter deformations. By reducing the open membrane data to five dimensions, we show that they, modulo a subtlety with implications for the relation between OM-theory and NCYM, correctly generate the open string and open D2-data.Comment: 24 pages, LaTe

G-structures and Domain Walls in Heterotic Theories

We consider heterotic string solutions based on a warped product of a four-dimensional domain wall and a six-dimensional internal manifold, preserving two supercharges. The constraints on the internal manifolds with SU(3) structure are derived. They are found to be generalized half-flat manifolds with a particular pattern of torsion classes and they include half-flat manifolds and Strominger's complex non-Kahler manifolds as special cases. We also verify that previous heterotic compactifications on half-flat mirror manifolds are based on this class of solutions.Comment: 29 pages, reference added, typos correcte

Experiment Simulation Configurations Used in DUNE CDR

The LBNF/DUNE CDR describes the proposed physics program and experimental design at the conceptual design phase. Volume 2, entitled The Physics Program for DUNE at LBNF, outlines the scientific objectives and describes the physics studies that the DUNE collaboration will perform to address these objectives. The long-baseline physics sensitivity calculations presented in the DUNE CDR rely upon simulation of the neutrino beam line, simulation of neutrino interactions in the far detector, and a parameterized analysis of detector performance and systematic uncertainty. The purpose of this posting is to provide the results of these simulations to the community to facilitate phenomenological studies of long-baseline oscillation at LBNF/DUNE. Additionally, this posting includes GDML of the DUNE single-phase far detector for use in simulations. DUNE welcomes those interested in performing this work as members of the collaboration, but also recognizes the benefit of making these configurations readily available to the wider community.Comment: 9 pages, 4 figures, configurations in ancillary file