Showing 1–50 of 119 results for author: Krasnov, K

Octonions, complex structures and Standard Model fermions

Authors: Kirill Krasnov

Abstract: This article is a write-up of the talk given in one of the mini-symposia of the 2024 European Congress of Mathematicians. I will explain some basics of the representation theory underlying Spin(10) and SU(5) Grand Unified Theories. I will also explain the characterisation of the Standard Model gauge group G_SM as a subgroup of Spin(10) that was developed in [1]. Thus, the symmetry breaking require… ▽ More This article is a write-up of the talk given in one of the mini-symposia of the 2024 European Congress of Mathematicians. I will explain some basics of the representation theory underlying Spin(10) and SU(5) Grand Unified Theories. I will also explain the characterisation of the Standard Model gauge group G_SM as a subgroup of Spin(10) that was developed in [1]. Thus, the symmetry breaking required to obtain G_SM can be seen to rely on two suitably aligned commuting complex structures on R10. The required complex structures can in turn be encoded in a pair of pure spinors of Spin(10). The condition that the complex structures are commuting and suitably aligned translates into the requirement that the respective pure spinors are orthogonal and that their sum is again a pure spinor. The most efficient description of spinors, and in particular pure spinors of Spin(10) is via the octonionic model of the latter, and this is how octonions enter the story. △ Less

Submitted 23 April, 2025; originally announced April 2025.

Comments: 12 pages, to appear in the proceedings of the ECM2024 mini-symposium Generalizations of Complex Analysis and Applications

Plebanski complex

Authors: Kirill Krasnov, Adam Shaw

Abstract: As is very well-known, linearisation of the instanton equations on a 4-manifold gives rise to an elliptic complex of differential operators, the truncated (twisted) Hodge complex $Λ^0(\mathfrak{g}) \to Λ^1(\mathfrak{g})\to Λ^2_+(\mathfrak{g})$. Moreover, the linearisation of the full YM equations also fits into this framework, as it is given by the second map followed by its adjoint. We define and… ▽ More As is very well-known, linearisation of the instanton equations on a 4-manifold gives rise to an elliptic complex of differential operators, the truncated (twisted) Hodge complex $Λ^0(\mathfrak{g}) \to Λ^1(\mathfrak{g})\to Λ^2_+(\mathfrak{g})$. Moreover, the linearisation of the full YM equations also fits into this framework, as it is given by the second map followed by its adjoint. We define and study properties of what we call the Plebański complex. This is a differential complex that arises by linearisation of the equations implying that a Riemannian 4-manifold is hyper-Kähler. We recall that these are most naturally stated as the condition that there exists a perfect $Σ^i\wedge Σ^j\simδ^{ij}$ triple $Σ^i, i=1,2,3$ of 2-forms that are closed $dΣ^i=0$. The Riemannian metric is encoded by the 2-forms $Σ^i$. We show that what results is an elliptic differential complex $TM \to S\to E\times Λ^1 \to E$, where $S$ is the tangent space to the space of perfect triples, and $E=\mathbb{R}^3$. We also show that, as in the case with instanton equations, the full Einstein equations $Ric=0$ also fit into this framework, their linearisation being given by the second map followed by its adjoint. Our second result concerns the elliptic operator that the Plebański complex defines. In the case of the instanton complex, operators appearing in the complex supplemented with their adjoints assemble to give the Dirac operator. We show how the same holds true for the Plebański complex. Supplemented by suitable adjoints, operators assemble into an elliptic operator that squares to the Laplacian and is given by the direct sum of two Dirac operators. △ Less

Submitted 26 February, 2025; originally announced February 2025.

Comments: 30 pages, no figures

Pure connection formalism and Plebanski's second heavenly equation

Authors: Kirill Krasnov, Arthur Lipstein

Abstract: Plebanski's second heavenly equation reduces the problem of finding a self-dual Einstein metric to solving a non-linear second-order PDE for a single function. Plebanski's original equation is for self-dual metrics obtained as perturbations of the flat metric. Recently, a version of this equation was discovered for self-dual metrics arising as perturbations around a constant curvature background.… ▽ More Plebanski's second heavenly equation reduces the problem of finding a self-dual Einstein metric to solving a non-linear second-order PDE for a single function. Plebanski's original equation is for self-dual metrics obtained as perturbations of the flat metric. Recently, a version of this equation was discovered for self-dual metrics arising as perturbations around a constant curvature background. We provide a new simple derivation of both versions of the Plebanski second heavenly equation. Our derivation relies on the `pure connection' description of self-dual gravity. Our results also suggest a new interpretation to the kinematic algebra of self-dual Yang-Mills theory, as the Lie algebra of (0,1) vector fields on a R4 endowed with a complex structure. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Comments: 12 pages, no figures

Kerr metric from two commuting complex structures

Authors: Kirill Krasnov, Adam Shaw

Abstract: The main aim of this paper is to simplify and popularise the construction from the 2013 paper by Apostolov, Calderbank, and Gauduchon, which (among other things) derives the Plebanski-Demianski family of solutions of GR using ideas of complex geometry. The starting point of this construction is the observation that the Euclidean versions of these metrics should have two different commuting complex… ▽ More The main aim of this paper is to simplify and popularise the construction from the 2013 paper by Apostolov, Calderbank, and Gauduchon, which (among other things) derives the Plebanski-Demianski family of solutions of GR using ideas of complex geometry. The starting point of this construction is the observation that the Euclidean versions of these metrics should have two different commuting complex structures, as well as two commuting Killing vector fields. After some linear algebra, this leads to an ansatz for the metrics, which is half-way to their complete determination. Kerr metric is a special 2-parameter subfamily in this class, which makes these considerations directly relevant to Kerr as well. This results in a derivation of the Kerr metric that is self-contained and elementary, in the sense of being mostly an exercise in linear algebra. △ Less

Submitted 28 April, 2025; v1 submitted 8 August, 2024; originally announced August 2024.

Comments: published version, note title changed from the original arxiv version, 26 pages, no figures

Journal ref: Class.Quant.Grav. 42 (2025) 6, 065013

SU(2) structures in four dimensions and Plebanski formalism for GR

Authors: Niren Bhoja, Kirill Krasnov

Abstract: An SU(2) structure in four dimensions can be described as a triple of 2-forms Sigma^i in Lambda^2(M), i=1,2,3 satisfying Sigma^i wedge Sigma^j ~ delta^{ij}. Such a triple defines a Riemannian signature metric on M. An SU(2) structure is said to be integrable if the holonomy of this Riemannian metric is contained in SU(2). It is well-known that this is the case if and only if the 2-forms are closed… ▽ More An SU(2) structure in four dimensions can be described as a triple of 2-forms Sigma^i in Lambda^2(M), i=1,2,3 satisfying Sigma^i wedge Sigma^j ~ delta^{ij}. Such a triple defines a Riemannian signature metric on M. An SU(2) structure is said to be integrable if the holonomy of this Riemannian metric is contained in SU(2). It is well-known that this is the case if and only if the 2-forms are closed dSigma^i=0. The main purpose of the paper is to analyse the second order in derivatives diffeomorphism invariant action functionals that can be constructed for an SU(2) structure. The main result is that there is a unique such action functional if one imposes an additional requirement that the action is also SU(2) invariant, with SU(2) acting on the triple Sigma^i as in its vector representation. This action functional has a very simple expression in terms of the intrinsic torsion of the SU(2) structure. We show that its critical points are SU(2) structures whose associated metric is Einstein. The action we describe has also a first order in derivatives version, and we show how this is related to what in the physics literature is known as Plebanski formalism for GR. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 18 pages, no figures

Dynamics of Cayley Forms

Authors: Kirill Krasnov

Abstract: The most natural first-order PDE's to be imposed on a Cayley 4-form in eight dimensions is the condition that it is closed. As is known, this implies integrability of the Spin(7) structure defined by the Cayley form, as well as Ricci-flatness of the associated metric. We address the question as to what the most natural second-order in derivatives set of conditions is. We start by constructing the… ▽ More The most natural first-order PDE's to be imposed on a Cayley 4-form in eight dimensions is the condition that it is closed. As is known, this implies integrability of the Spin(7) structure defined by the Cayley form, as well as Ricci-flatness of the associated metric. We address the question as to what the most natural second-order in derivatives set of conditions is. We start by constructing the most general diffeomorphism invariant second order in derivatives Lagrangian that is quadratic in the perturbations of the Cayley form. We find that there is a one-parameter family of such Lagrangians. We then describe a non-linear completion of the linear story. To this end, we parametrise the intrinsic torsion of a Spin(7) structure by a 3-form, and show that this 3-form is completely determined by the exterior derivative of the Cayley form. We construct an action functional, which depends on the Cayley 4-form and and auxiliary 3-form as independent variables. There is a unique functional whose Euler-Lagrange equation for the auxiliary 3-form states that it is equal to the torsion 3-form. There is, however, a more general one-parameter family of functionals that can be constructed, and we show how the linearisation of these functionals reproduces the linear story. For any member of our family of theories, the Euler-Lagrange equations are written only using the operator of exterior differentiation of forms, and do not require the knowledge of the metric-compatible Levi-Civita connection. Geometrically, there is a preferred member in the family of Lagrangians, and we propose that its Euler-Lagrange equations are the most natural second-order equations to be satisfied by Cayley forms. Our construction also leads to a natural geometric flow in the space of Cayley forms, defined as the gradient flow of our action functional. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: 25 pages, no figures

Area-metric gravity revisited

Authors: Johanna N. Borissova, Bianca Dittrich, Kirill Krasnov

Abstract: Area metrics are an intriguing generalization of length metrics which appears in several quantum-gravity approaches. We describe the space of diffeomorphism-invariant area-metric actions quadratic in fluctuations and derivatives. A general theory is found to be specified by four parameters, two of which are mass parameters for the non-length degrees of freedom. We find that a two-parameter subclas… ▽ More Area metrics are an intriguing generalization of length metrics which appears in several quantum-gravity approaches. We describe the space of diffeomorphism-invariant area-metric actions quadratic in fluctuations and derivatives. A general theory is found to be specified by four parameters, two of which are mass parameters for the non-length degrees of freedom. We find that a two-parameter subclass of theories exhibits an additional shift symmetry of the kinetic term, and leads to a ghost-free graviton propagator for the effective theory obtained after integrating out the non-length degrees of freedom. One of the two parameters determines the strength of parity violations, the other defines a mass parameter for the non-length degrees of freedom. The same type of action has been found to appear from modified Plebanski theory and in the continuum limit of (effective) spin foams. We moreover find that area-metric actions in Lorentzian (but not in Euclidean) signature feature wrong-sign kinetic and mass terms for the non-length degrees of freedom. Nevertheless, despite a coupling of these degrees of freedom to the length metric, the linearized dynamics turns out to be stable for the above subclass of actions. △ Less

Submitted 14 June, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: v1: 22 pages; v2: minor modifications, content matches version published in PRD

Spinors from pure spinors

Authors: Niren Bhoja, Kirill Krasnov

Abstract: We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of… ▽ More We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of solutions in dimensions up to and including fourteen. We call each distinct solution a combinatorial type of an impure spinor. We represent each combinatorial type graphically by a simplex, with vertices corresponding to the pure constituents of a spinor, and edges being labelled by the dimension of the totally null space that is the intersection of the annihilator subspaces of the pure spinors living at the vertices. We call the number of vertices in a simplex the impurity of an impure spinor. In dimensions eight and ten the maximal impurity is two. Dimension twelve is the first dimension where one gets an impurity three spinor, represented by a triangle. In dimension fourteen the generic orbit has impurity four, while the maximal impurity is five. We show that each of our combinatorial types uniquely corresponds to one of the known spinor orbits, thus reproducing the classification of spinors in dimensions up to and including fourteen from simple combinatorics. Our methods continue to work in dimensions sixteen and higher, but the number of the possible distinct combinatorial types grows rather rapidly with the dimension. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 20 pages, some diagrams embedded in the text

Eguchi-Hanson harmonic spinors revisited

Authors: Guido Franchetti, Kirill Krasnov

Abstract: We revisit the problem of determining the zero modes of the Dirac operator on the Eguchi-Hanson space. It is well known that there are no normalisable zero modes, but such zero modes do appear when the Dirac operator is twisted by a $U(1)$ connection with $L^2$ normalisable curvature. The novelty of our treatment is that we use the formalism of spin-$c$ spinors (or spinors as differential forms),… ▽ More We revisit the problem of determining the zero modes of the Dirac operator on the Eguchi-Hanson space. It is well known that there are no normalisable zero modes, but such zero modes do appear when the Dirac operator is twisted by a $U(1)$ connection with $L^2$ normalisable curvature. The novelty of our treatment is that we use the formalism of spin-$c$ spinors (or spinors as differential forms), which makes the required calculations simpler. In particular, to compute the Dirac operator we never need to compute the spin connection. As a result, we are able to reproduce the known normalisable zero modes of the twisted Eguchi-Hanson Dirac operator by relatively simple computations. We also collect various different descriptions of the Eguchi-Hanson space, including its construction as a hyperkähler quotient of $\mathbb{C}^4$ with the flat metric. The latter illustrates the geometric origin of the connection with $L^2$ curvature used to twist the Dirac operator. To illustrate the power of the formalism developed, we generalise the results to the case of Dirac zero modes on the Ricci-flat Kähler manifolds obtained by applying Calabi's construction to the canonical bundle of $\mathbb{C} P^n $. △ Less

Submitted 15 September, 2023; originally announced September 2023.

Lorentzian Cayley Form

Authors: Kirill Krasnov

Abstract: Cayley 4-form Phi on an 8-dimensional manifold M is a real differential form of a special algebraic type, which determines a Riemannian metric on M as well as a unit real Weyl spinor. It defines a Spin(7) structure on M, and this Spin(7) structure is integrable if and only if Phi is closed. We introduce the notion of a complex Cayley form. This is a one-parameter family of complex 4-forms Phi_tau… ▽ More Cayley 4-form Phi on an 8-dimensional manifold M is a real differential form of a special algebraic type, which determines a Riemannian metric on M as well as a unit real Weyl spinor. It defines a Spin(7) structure on M, and this Spin(7) structure is integrable if and only if Phi is closed. We introduce the notion of a complex Cayley form. This is a one-parameter family of complex 4-forms Phi_tau on M of a special algebraic type. Each Phi_tau determines a real Riemannian metric on M, as well as a complex unit Weyl spinor psi_tau. The subgroup of GL(8,R) that stabilises Phi_tau, tau not=0 is SU(4), and Phi_tau defines on $M$ an SU(4) structure. We show that this SU(4) structure is integrable if and only if Phi_tau is closed. We carry out a similar construction for the split signature case. There are now two one-parameter families of complex Cayley forms. A complex Cayley form of one type defines an SU(2,2) structure, a form of the other type defines an SL(4,R) structure on M. As in the Riemannian case, these structures are integrable if and only of the corresponding complex Cayley forms are closed. Our central observation is that there exists a special member of the second one-parameter family of complex Cayley forms, which we call the Lorentzian Cayley form. This 4-form has the property that it is calibrated by Lorentzian 4-dimensional subspaces H,H^perp. In particular, in a basis adapted to such a calibration, the Lorentzian Cayley form is built from the complex self-dual 2-forms for H,H^perp. We explain how these observations solve a certain puzzle that existed in the context of 4-dimensional Lorentzian geometry. △ Less

Submitted 3 April, 2023; originally announced April 2023.

Comments: 32 pages, no figures

Weyl Curvature Evolution System for GR

Authors: Kirill Krasnov, Adam Shaw

Abstract: Starting from the chiral first-order pure connection formulation of General Relativity, we put the field equations of GR in a strikingly simple evolution system form. The two dynamical fields are a complex symmetric tracefree 3x3 matrix Psi, which encodes the self-dual part of the Weyl curvature tensor, as well as a spatial SO(3,C) connection A. The right-hand sides of the evolution equations also… ▽ More Starting from the chiral first-order pure connection formulation of General Relativity, we put the field equations of GR in a strikingly simple evolution system form. The two dynamical fields are a complex symmetric tracefree 3x3 matrix Psi, which encodes the self-dual part of the Weyl curvature tensor, as well as a spatial SO(3,C) connection A. The right-hand sides of the evolution equations also contain the triad for the spatial metric, and this is constructed non-linearly from the field Psi and the curvature of the spatial connection A. The evolution equations for this pair are first order in both time and spatial derivatives, and so simple that they could have been guessed without a computation. They are also the most natural generalisations of the equations one obtains in the case of the chiral description of Maxwell's theory. We also determine the modifications of the evolution system needed to enforce the "constraint sweeping", so that any possible numerical violation of the constraints present becomes propagating and gets removed from the computational grid. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 15 pages, no figures

Higher-Spin Self-Dual Yang-Mills and Gravity from the twistor space

Authors: Yannick Herfray, Kirill Krasnov, Evgeny Skvortsov

Abstract: We lift the recently proposed theories of higher-spin self-dual Yang-Mills (SDYM) and gravity (SDGR) to the twistor space. We find that the most natural room for the twistor formulation of these theories is not in the projective, but in the full twistor space, which is the total space of the spinor bundle over the 4-dimensional manifold. In the case of higher-spin extension of the SDYM we prove an… ▽ More We lift the recently proposed theories of higher-spin self-dual Yang-Mills (SDYM) and gravity (SDGR) to the twistor space. We find that the most natural room for the twistor formulation of these theories is not in the projective, but in the full twistor space, which is the total space of the spinor bundle over the 4-dimensional manifold. In the case of higher-spin extension of the SDYM we prove an analogue of the Ward theorem, and show that there is a one-to-one correspondence between the solutions of the field equations and holomorphic vector bundles over the twistor space. In the case of the higher-spin extension of SDGR we show show that there is a one-to-one correspondence between solutions of the field equations and Ehresmann connections on the twistor space whose horizontal distributions are Poisson, and whose curvature is decomposable. These data then define an almost complex structure on the twistor space that is integrable. △ Less

Submitted 26 September, 2024; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: v2: 18 pages, no figures, correction in the statement of Theorem A

Geometry of Spin(10) Symmetry Breaking

Authors: Kirill Krasnov

Abstract: We provide a new characterisation of the Standard Model gauge group GSM as a subgroup of Spin(10). The new description of GSM relies on the geometry of pure spinors. We show that GSM is the subgroup that stabilises a pure spinor Psi_1 and projectively stabilises another pure spinor Psi_2, with Psi_1, Psi_2 orthogonal and such that their arbitrary linear combination is still a pure spinor. Our char… ▽ More We provide a new characterisation of the Standard Model gauge group GSM as a subgroup of Spin(10). The new description of GSM relies on the geometry of pure spinors. We show that GSM is the subgroup that stabilises a pure spinor Psi_1 and projectively stabilises another pure spinor Psi_2, with Psi_1, Psi_2 orthogonal and such that their arbitrary linear combination is still a pure spinor. Our characterisation of GSM relies on the facts that projective pure spinors describe complex structures on R^{10}, and the product of two commuting complex structures is a what is known as a product structure. For the pure spinors Psi_1, Psi_2 satisfying the stated conditions the complex structures determined by Psi_1, Psi_2 commute and the arising product structure is R^{10} = R^6 + R^4, giving rise to a copy of Pati-Salam gauge group inside Spin(10). Our main statement then follows from the fact that GSM is the intersection of the Georgi-Glashow SU(5) that stabilises Psi_1, and the Pati-Salam Spin(6) x Spin(4) arising from the product structure determined by Psi_1, Psi_2. We have tried to make the paper self-contained and provided a detailed description of the creation/annihilation operator construction of the Clifford algebras Cl(2n) and the geometry of pure spinors in dimensions up to and including ten. △ Less

Submitted 23 January, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: v2: new characterisation of 10D pure spinors added, main statement sharpened; 36 pages, no figures

Notes on Spinors and Polyforms II: Quaternions and Octonions

Authors: Niren Bhoja, Kirill Krasnov

Abstract: Pauli matrices are 2x2 tracefree matrices with a real diagonal and complex (complex-conjugate) off-diagonal entries. They generate the Clifford algebra Cl(3). They can be generalised by replacing the off-diagonal complex number by one taking values in either quaternions or octonions (or their split versions). These quaternionic and octonionic generalisations generate well-known models of Cl(5) and… ▽ More Pauli matrices are 2x2 tracefree matrices with a real diagonal and complex (complex-conjugate) off-diagonal entries. They generate the Clifford algebra Cl(3). They can be generalised by replacing the off-diagonal complex number by one taking values in either quaternions or octonions (or their split versions). These quaternionic and octonionic generalisations generate well-known models of Cl(5) and Cl(9) respectively. The main aim of the paper is to explicitly relate these models to the models arising via the creation/annihilation operator construction. We describe in details the models related to quaternions and octonions, as well as to the split quaternions and octonions. In particular, we record the description of the possible types of Weyl spinors of Spin(4,4), which does not seem to have appeared in the literature. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 25 pages, no figures

Notes on Spinors and Polyforms I: General Case

Authors: Niren Bhoja, Kirill Krasnov

Abstract: It is well-known that the Clifford algebra Cl(2n) can be given a description in terms of creation/annihilation operators acting in the space of inhomogeneous differential forms on C^n. We refer to such inhomogeneous differential forms as polyforms. The construction proceeds by choosing a complex structure J on R^(2n). Spinors are then polyforms on one of the two totally-isotropic subspaces C^n tha… ▽ More It is well-known that the Clifford algebra Cl(2n) can be given a description in terms of creation/annihilation operators acting in the space of inhomogeneous differential forms on C^n. We refer to such inhomogeneous differential forms as polyforms. The construction proceeds by choosing a complex structure J on R^(2n). Spinors are then polyforms on one of the two totally-isotropic subspaces C^n that arise as eigenspaces of J. There is a similar description in the split signature case Cl(n,n), with differential forms now being those on R^n. In this case the model is constructed by choosing a paracomplex structure I on R^(n,n), and spinors are polyforms on one of the totally null eigenspaces R^n of I. The main purpose of the paper is to describe the geometry of an analogous construction in the case of a general Clifford algebra Cl(r,s), r+s=2m. We show that in general a creation/annihilation operator model is in correspondence with a new type of geometric structure on R^(r,s), which provides a splitting R^(r,s)=R^(2k,2l) plus R^(n,n) and endows the first factor with a complex structure and the second factor with a paracomplex structure. We refer to such geometric structure as a mixed structure. It can be described as a complex linear combination K=I+i J of a paracomplex and a complex structure such that K^2=Id and K K^* is a product structure. In turn, the mixed structure is in correspondence with a pair of pure spinors whose null subspaces are the eigenspaces of K. The conclusion is then that there is in general not one, but several possible creation/annihilation operator models for a given Clifford algebra. The number of models is the number of different types of pure spinors (distinguished by the real index, see the main text) that exists in a given signature. To illustrate this geometry, we explicitly describe all the arising models for Cl(r,s) with r >= s, r+s = 2m <= 6. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 29 pages, no figures

One-loop same helicity YM amplitudes from BG currents

Authors: Pratik Chattopadhyay, Kirill Krasnov

Abstract: We propose and prove a new formula for the one-loop all same helicity Yang-Mills amplitudes. These amplitudes are seen to arise as a sum of products of two tree-level Berends-Giele currents connected by an effective propagator. To make sense of the propagators one needs to introduce the so-called region, or dual momenta. The formula is proven by observing that it readily implies the correct collin… ▽ More We propose and prove a new formula for the one-loop all same helicity Yang-Mills amplitudes. These amplitudes are seen to arise as a sum of products of two tree-level Berends-Giele currents connected by an effective propagator. To make sense of the propagators one needs to introduce the so-called region, or dual momenta. The formula is proven by observing that it readily implies the correct collinear limit properties. The only non-trivial part of the proof is establishing that our formula for the amplitude is invariant under shifts of the region momenta. △ Less

Submitted 1 October, 2021; originally announced October 2021.

Comments: 26 pages

Pure Lorentz spin connection theories and uniqueness of General Relativity

Authors: Kirill Krasnov, Ermis Mitsou

Abstract: General Relativity can be reformulated as a diffeomorphism invariant gauge theory of the Lorentz group, with Lagrangian of the type $f(F\wedge F)$, where $F$ is the curvature 2-form of the spin connection. A theory from this class with a generic $f$ is known to propagate eight degrees of freedom: a massless graviton, a massive graviton and a scalar. General Relativity in this formalism avoids extr… ▽ More General Relativity can be reformulated as a diffeomorphism invariant gauge theory of the Lorentz group, with Lagrangian of the type $f(F\wedge F)$, where $F$ is the curvature 2-form of the spin connection. A theory from this class with a generic $f$ is known to propagate eight degrees of freedom: a massless graviton, a massive graviton and a scalar. General Relativity in this formalism avoids extra degrees of freedom because the function $f$ is special and leads to the appearance of six extra primary constraints on the phase space variables. Our main new result is that there are other theories of the type $f(F\wedge F)$ that lead to six extra primary constraints. However, only in the case of GR the dynamics is such that these six primary constraints get supplemented by six secondary constraints, which gives the end result of two propagating degrees of freedom. This is how uniqueness of GR manifests itself in this ``pure spin connection" formalism. The other theories we discover are shown to give examples of irregular dynamical systems. At the linear level around (anti-)de Sitter space they have two degrees of freedom, as General Relativity, with the extra ones manifesting themselves only non-linearly. △ Less

Submitted 1 October, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 22 pages

Journal ref: Class. Quant. Grav. 38 (2021) no. 20, 205009

Flat Self-dual Gravity

Authors: Kirill Krasnov, Evgeny Skvortsov

Abstract: We construct a new covariant action for "flat" self-dual gravity in four spacetime dimensions. The action has just one term, but when expanded around an appropriate background gives rise to a kinetic term and a cubic interaction. Upon imposing the light-cone gauge, the action reproduces the expected chiral interaction of Siegel. The new action is in many ways analogous to the known covariant actio… ▽ More We construct a new covariant action for "flat" self-dual gravity in four spacetime dimensions. The action has just one term, but when expanded around an appropriate background gives rise to a kinetic term and a cubic interaction. Upon imposing the light-cone gauge, the action reproduces the expected chiral interaction of Siegel. The new action is in many ways analogous to the known covariant action for self-dual Yang-Mills theory. There is also a sense in which the new self-dual gravity action exhibits the double copy of self-dual Yang-Mills structure. △ Less

Submitted 15 January, 2022; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: 18 pages

Actions for Self-dual Higher Spin Gravities

Authors: Kirill Krasnov, Evgeny Skvortsov, Tung Tran

Abstract: Higher Spin Gravities are scarce, but covariant actions for them are even scarcer. We construct covariant actions for contractions of Chiral Higher Spin Gravity that represent higher spin extensions of self-dual Yang-Mills and self-dual Gravity theories. The actions give examples of complete higher spin theories both in flat and (anti)-de Sitter spaces that feature gauge and gravitational interact… ▽ More Higher Spin Gravities are scarce, but covariant actions for them are even scarcer. We construct covariant actions for contractions of Chiral Higher Spin Gravity that represent higher spin extensions of self-dual Yang-Mills and self-dual Gravity theories. The actions give examples of complete higher spin theories both in flat and (anti)-de Sitter spaces that feature gauge and gravitational interactions. The actions are based on a new description of higher spin fields, whose origin can be traced to early works on twistor theory. The new description simplifies the structure of interactions. In particular, we find a covariant form of the minimal gravitational interaction for higher spin fields both in flat and anti-de Sitter space, which resolves some of the puzzles in the literature. △ Less

Submitted 11 April, 2025; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 28 pages+refs; small cosmetic changes

Spin(11,3), particles and octonions

Authors: Kirill Krasnov

Abstract: The fermionic fields of one generation of the Standard Model, including the Lorentz spinor degrees of freedom, can be identified with components of a single real 64-dimensional semi-spinor representation S of the group Spin(11,3). We describe an octonionic model for Spin(11,3) in which the semi-spinor representation gets identified with S=OxO', where O,O' are the usual and split octonions respecti… ▽ More The fermionic fields of one generation of the Standard Model, including the Lorentz spinor degrees of freedom, can be identified with components of a single real 64-dimensional semi-spinor representation S of the group Spin(11,3). We describe an octonionic model for Spin(11,3) in which the semi-spinor representation gets identified with S=OxO', where O,O' are the usual and split octonions respectively. It is then well-known that choosing a unit imaginary octonion u in Im(O) equips O with a complex structure J. Similarly, choosing a unit imaginary split octonion u' in Im(O') equips O' with a complex structure J', except that there are now two inequivalent complex structures, one parametrised by a choice of a timelike and the other of a spacelike unit u'. In either case, the identification S=OxO' implies that there are two natural commuting complex structures J, J' on S. Our main new observation is that the subgroup of Spin(11,3) that commutes with both J, J' on S is the direct product Spin(6) x Spin(4) x Spin(1,3) of the Pati-Salam and Lorentz groups, when u' is chosen to be timelike. The splitting of S into eigenspaces of J corresponds to splitting into particles and anti-particles. The splitting of S into eigenspaces of J' corresponds to splitting of Lorentz Dirac spinors into two different chiralities. We also study the simplest possible symmetry breaking scenario with the "Higgs" field taking values in the representation that corresponds to 3-forms in R^{11,3}. We show that this Higgs can be designed to transform as the bi-doublet of the left/right symmetric extension of the SM, and thus breaks Spin(11,3) down to the product of the SM, Lorentz and U(1)_{B-L} groups, with the last one remaining unbroken. This 3-form Higgs field also produces the Dirac mass terms for all the particles. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 27 pages, 2 tables

Deformations of GR, Geometrodynamics and Reality Conditions

Authors: Kirill Krasnov, Ermis Mitsou

Abstract: In four dimensions complexified General Relativity (GR) can be non-trivially deformed: There exists an (infinite-parameter) set of modifications all having the same count of degrees of freedom. It is trivial to impose reality conditions that give versions of the deformed theories corresponding to Riemannian and split metric signatures. We revisit the Lorentzian signature case. To make the problem… ▽ More In four dimensions complexified General Relativity (GR) can be non-trivially deformed: There exists an (infinite-parameter) set of modifications all having the same count of degrees of freedom. It is trivial to impose reality conditions that give versions of the deformed theories corresponding to Riemannian and split metric signatures. We revisit the Lorentzian signature case. To make the problem tractable, we restrict our attention to a four-parameter set of deformations that are natural extensions of Ashtekar's Hamiltonian formalism for GR. The Hamiltonian of the later is a linear combination of $EEE$ and $EEB$. We consider theories for which the Hamiltonian constraint is a general linear combination of $EEE, EEB, EBB$ and $BBB$. Our main result is the computation of the evolution equations for the modified theories as geometrodynamics evolution equations for the 3-metric. We show that only for GR (and the related theory of Self-Dual Gravity) these equations close in the sense that they can be written in terms of only the metric and its first time derivative. Modified theories are therefore seen to be essentially non-metric in the sense that their dynamics cannot be reduced to geometrodynamics. We then show this to be related to the problem with Lorentzian reality conditions: the conditions of reality of the 3-metric and its time derivative are not acceptable because they are not preserved by the dynamics. Put differently, their conservation implies extra reality conditions on higher-order time derivatives, which then leaves no room for degrees of freedom. △ Less

Submitted 19 March, 2021; v1 submitted 10 December, 2020; originally announced December 2020.

Comments: 31 pages

Journal ref: Class.Quant.Grav. 38 (2021) no. 8, 085009

Chiral perturbation theory for GR

Authors: Kirill Krasnov, Yuri Shtanov

Abstract: We describe a new perturbation theory for General Relativity, with the chiral first-order Einstein-Cartan action as the starting point. Our main result is a new gauge-fixing procedure that eliminates the connection-to-connection propagator. All other known first-order formalisms have this propagator non-zero, which significantly increases the combinatorial complexity of any perturbative calculatio… ▽ More We describe a new perturbation theory for General Relativity, with the chiral first-order Einstein-Cartan action as the starting point. Our main result is a new gauge-fixing procedure that eliminates the connection-to-connection propagator. All other known first-order formalisms have this propagator non-zero, which significantly increases the combinatorial complexity of any perturbative calculation. In contrast, in the absence of the connection-to-connection propagator, our formalism leads to an effective description in which only the metric (or tetrad) propagates, there are only cubic and quartic vertices, but some vertex legs are special in that they cannot be connected by the propagator. The new formalism is the gravity analog of the well-known and powerful chiral description of Yang-Mills theory. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Comments: 28 pages, multiple feynmp diagrams

Journal ref: JHEP 09 (2020) 017

One-loop same helicity four-point amplitude from shifts

Authors: Pratik Chattopadhyay, Kirill Krasnov

Abstract: It has been suggested a long time ago by W. Bardeen that non-vanishing of the one-loop same helicity YM amplitudes, in particular such an amplitude at four points, should be interpreted as an anomaly. However, the available derivations of these amplitudes are rather far from supporting this interpretation in that they share no similarity whatsoever with the standard triangle diagram chiral anomaly… ▽ More It has been suggested a long time ago by W. Bardeen that non-vanishing of the one-loop same helicity YM amplitudes, in particular such an amplitude at four points, should be interpreted as an anomaly. However, the available derivations of these amplitudes are rather far from supporting this interpretation in that they share no similarity whatsoever with the standard triangle diagram chiral anomaly calculation. We provide a new computation of the same helicity four-point amplitude by a method designed to mimic the chiral anomaly derivation. This is done by using the momentum conservation to rewrite the logarithmically divergent four-point amplitude as a sum of linearly and then quadratically divergent integrals. These integrals are then seen to vanish after appropriate shifts of the loop momentum integration variable. The amplitude thus gets related to shifts, and these are computed in the standard textbook way. We thus reproduce the usual result but by a method which greatly strengthens the case for an anomaly interpretation of these amplitudes. △ Less

Submitted 26 February, 2020; originally announced February 2020.

Comments: 20 pages, 2 figures

Isometries from gauge transformations

Authors: Ernesto Frodden, Kirill Krasnov

Abstract: In four dimensions one can use the chiral part of the spin connection as the main object that encodes geometry. The metric is then recovered algebraically from the curvature of this connection. We address the question of how isometries can be identified in this "pure connection" formalism. We show that isometries are recovered from gauge transformation parameters satisfying the requirement that th… ▽ More In four dimensions one can use the chiral part of the spin connection as the main object that encodes geometry. The metric is then recovered algebraically from the curvature of this connection. We address the question of how isometries can be identified in this "pure connection" formalism. We show that isometries are recovered from gauge transformation parameters satisfying the requirement that the Lie derivative of the connection along a vector field generating an isometry is a gauge transformation. This requirement can be rewritten as a first order differential equation involving the gauge transformation parameter only. Once a gauge transformation satisfying this equation is found, the isometry generating vector field is recovered algebraically. We work out examples of the new formalism being used to determine isometries, and also prove a general statement: a negative definite connection on a compact manifold does not have symmetries. This is the precise "pure connection" analog of the well-known Riemannian geometry statement that there are no Killing vector fields on compact manifolds with negative Ricci curvature. △ Less

Submitted 12 February, 2020; originally announced February 2020.

Comments: 16 pages, no figures

SO(9) characterisation of the Standard Model gauge group

Authors: Kirill Krasnov

Abstract: A recent series of works by M. Dubois-Violette, I. Todorov and S. Drenska characterised the SM gauge group GSM as the subgroup of SO(9) that, in the octonionic model of the later, preserves the split O=C+C3 of the space of octonions into a copy of the complex plane plus the rest. This description, however, proceeded via the exceptional Jordan algebras J3(O), J2(O) and and this sense remained indir… ▽ More A recent series of works by M. Dubois-Violette, I. Todorov and S. Drenska characterised the SM gauge group GSM as the subgroup of SO(9) that, in the octonionic model of the later, preserves the split O=C+C3 of the space of octonions into a copy of the complex plane plus the rest. This description, however, proceeded via the exceptional Jordan algebras J3(O), J2(O) and and this sense remained indirect. One of the goals of this paper is to provide as explicit description as possible and also clarify the underlying geometry. The other goal is to emphasise the role played by different complex structures in the spaces O and O2. We provide a new characterisation of GSM: The group GSM is the subgroup of Spin(9) that commutes with of a certain complex structure J in the space O2 of Spin(9) spinors. The complex structure J is parametrised by a choice of a unit imaginary octonion. This characterisation of GSM is essentially octonionic in the sense that J is restrictive because octonions are non-associative. The quaternionic analog of J is the complex structure in the space H2 of Spin(5) spinors that commutes with all Spin(5) transformations. △ Less

Submitted 30 November, 2020; v1 submitted 24 December, 2019; originally announced December 2019.

Comments: v3: The paper completely rewritten. We provide a simple new characterisation of GSM as the subgroup of Spin(9) that commutes with a certain complex structure in the space of its spinors. 19 pages

Local rigidity of Einstein 4-manifolds satisfying a chiral curvature condition

Authors: Joel Fine, Kirill Krasnov, Michael Singer

Abstract: Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem, which proves local rigidity of Einstein metrics with negative sectional curvatu… ▽ More Let (M,g) be a compact oriented Einstein 4-manifold. Write R-plus for the part of the curvature operator of g which acts on self-dual 2-forms. We prove that if R-plus is negative definite then g is locally rigid: any other Einstein metric near to g is isometric to it. This is a chiral generalisation of Koiso's Theorem, which proves local rigidity of Einstein metrics with negative sectional curvatures. Our hypotheses are roughly one half of Koiso's. Our proof uses a new variational description of Einstein 4-manifolds, as critical points of the so-called poure connection action S. The key step in the proof is that when R-plus is negative definite, the Hessian of S is strictly positive modulo gauge. △ Less

Submitted 15 October, 2020; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 16 pages. v2 small cosmetic adjustments, text agrees with published version, to appear in Mathematische Annalen

MSC Class: 53C25; 58E30

Fermions, differential forms and doubled geometry

Authors: Kirill Krasnov

Abstract: We show that all fermions of one generation of the Standard Model (SM) can be elegantly described by a single fixed parity (say even) inhomogeneous real-valued differential form in seven dimensions. In this formalism the full kinetic term of the SM fermionic Lagrangian is reproduced as the appropriate dimensional reduction of (Psi, D Psi) where Psi is a general even degree differential form in R^7… ▽ More We show that all fermions of one generation of the Standard Model (SM) can be elegantly described by a single fixed parity (say even) inhomogeneous real-valued differential form in seven dimensions. In this formalism the full kinetic term of the SM fermionic Lagrangian is reproduced as the appropriate dimensional reduction of (Psi, D Psi) where Psi is a general even degree differential form in R^7, the inner product is as described in the main text, and D is essentially an appropriately interpreted exterior derivative operator. The new formalism is based on geometric constructions originating in the subjects of generalised geometry and double field theory. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 40 pages, no figures

Pure-connection gravity and anisotropic singularities

Authors: Kirill Krasnov, Yuri Shtanov

Abstract: In four space-time dimensions, there exists a special infinite-parameter family of chiral modified gravity theories. They are most properly described by a connection field, with space-time metric being a secondary and derived concept. All these theories have the same number of degrees of freedom as general relativity, which is the only parity-invariant member of this family. Modifications of gener… ▽ More In four space-time dimensions, there exists a special infinite-parameter family of chiral modified gravity theories. They are most properly described by a connection field, with space-time metric being a secondary and derived concept. All these theories have the same number of degrees of freedom as general relativity, which is the only parity-invariant member of this family. Modifications of general relativity can be arranged so as to become important in regions with large curvature. In this paper we review how a certain simple modification of this sort can resolve the Schwarzschild black-hole and Kasner anisotropic singularities of general relativity. In the corresponding solutions, the fundamental connection field is regular in space-time. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 10 pages, 3 figures, Proceedings of the 10th Bolyai-Gauss-Lobachevsky Conference on Non-Euclidean Geometry and its Applications, August 21-26, 2017, Gyöngyös, Hungary, to be published in Universe (MDPI)

Journal ref: Universe 2018, 4(1), 12

Gravity and Unification: A review

Authors: Kirill Krasnov, Roberto Percacci

Abstract: We review various classical unified theories of gravity and other interactions that have appeared in the literature, paying special attention to scenarios in which spacetime remains four-dimensional, while an "internal" space is enlarged. The starting point for each such unification scenario is a particular formalism for General Relativity. We thus start by reviewing, besides the usual Einstein-Hi… ▽ More We review various classical unified theories of gravity and other interactions that have appeared in the literature, paying special attention to scenarios in which spacetime remains four-dimensional, while an "internal" space is enlarged. The starting point for each such unification scenario is a particular formalism for General Relativity. We thus start by reviewing, besides the usual Einstein-Hilbert and Palatini formulations, the Einstein-Cartan, MacDowell-Mansouri and BF (both non-chiral and chiral) formulations. Each of these introduces some version of "internal" bundle and a dynamical variable that ties the internal and tangent bundles. In each of these formulations there is also an independent connection in the "internal" bundle. One can then study the effects of "enlarging the internal space", which typically leads to a theory of gravity and Yang-Mills fields. We review what has been done in the literature on each of these unification schemes, and compare and contrast their achievements to those of the better developed Kaluza-Klein scenario. △ Less

Submitted 8 December, 2017; originally announced December 2017.

Comments: 84 pages, no figures, comments are welcome

Field redefinitions and Plebanski formalism for GR

Authors: Kirill Krasnov

Abstract: We point out that there exists a family of transformations acting on BF-type Lagrangians of gravity, with Lagrangians related by such a transformation corresponding to classically equivalent theories. A transformation of this type corresponds to a particular field redefinition. We discuss both the chiral and non-chiral cases. In the chiral case there is a one-parameter, and in the non-chiral case… ▽ More We point out that there exists a family of transformations acting on BF-type Lagrangians of gravity, with Lagrangians related by such a transformation corresponding to classically equivalent theories. A transformation of this type corresponds to a particular field redefinition. We discuss both the chiral and non-chiral cases. In the chiral case there is a one-parameter, and in the non-chiral case a two-parameter family of such transformations. In the chiral setup, we use these transformations to give an alternative derivation of the chiral BF plus potential formulation of General Relativity that was proposed recently. In the non-chiral case, we show that there is a new BF plus potential type formulation of GR. We also make some remarks on the non-chiral pure connection formulation. △ Less

Submitted 25 August, 2017; originally announced August 2017.

Comments: 15 pages, no figures

Topological field theories of 2- and 3-forms in six dimensions

Authors: Yannick Herfray, Kirill Krasnov

Abstract: We consider several diffeomorphism invariant field theories of 2- and 3-forms in six dimensions. They all share the same kinetic term $BdC$, but differ in the potential term that is added. The theory $BdC$ with no potential term is topological - it describes no propagating degrees of freedom. We show that the theory continues to remain topological when either the $BBB$ or $C\hat{C}$ potential term… ▽ More We consider several diffeomorphism invariant field theories of 2- and 3-forms in six dimensions. They all share the same kinetic term $BdC$, but differ in the potential term that is added. The theory $BdC$ with no potential term is topological - it describes no propagating degrees of freedom. We show that the theory continues to remain topological when either the $BBB$ or $C\hat{C}$ potential term is added. The latter theory can be viewed as a background independent version of the 6-dimensional Hitchin theory, for its critical points are complex or para-complex 6-manifolds, but unlike in Hitchin's construction, one does not need to choose of a background cohomology class to define the theory. We also show that the dimensional reduction of the $C\hat{C}$ theory to three dimensions, when reducing on S3, gives 3D gravity. △ Less

Submitted 12 May, 2017; originally announced May 2017.

Comments: 24 pages, no figures

Dynamics of 3-Forms in Seven Dimensions

Authors: Kirill Krasnov

Abstract: We continue to study a certain dynamical theory of 3-forms in seven dimensions, which can be viewed as a non-linear 7D analog of the 3D Abelian Chern-Simons theory. We perform the 6+1 split and show that the theory propagates 3 degrees of freedom. We also study the dimensional reduction on S3. We find the resulting theory to be a variant of 4D scalar-tensor theory of gravity. We continue to study a certain dynamical theory of 3-forms in seven dimensions, which can be viewed as a non-linear 7D analog of the 3D Abelian Chern-Simons theory. We perform the 6+1 split and show that the theory propagates 3 degrees of freedom. We also study the dimensional reduction on S3. We find the resulting theory to be a variant of 4D scalar-tensor theory of gravity. △ Less

Submitted 4 May, 2017; originally announced May 2017.

Comments: 25 pages, no figures

General Relativity from Three-Forms in Seven Dimensions

Authors: Kirill Krasnov

Abstract: We consider a certain theory of 3-forms in 7 dimensions, and study its dimensional reduction to 4D, compactifying the 7-dimensional manifold on the 3-sphere of a fixed radius. We show that the resulting 4D theory is General Relativity (GR) in Plebanski formulation, modulo corrections that are negligible for curvatures smaller than Planckian. Possibly the most interesting point of this construction… ▽ More We consider a certain theory of 3-forms in 7 dimensions, and study its dimensional reduction to 4D, compactifying the 7-dimensional manifold on the 3-sphere of a fixed radius. We show that the resulting 4D theory is General Relativity (GR) in Plebanski formulation, modulo corrections that are negligible for curvatures smaller than Planckian. Possibly the most interesting point of this construction is that the dimensionally reduced theory is GR with a non-zero cosmological constant, and the value of the cosmological constant is directly related to the size of S^3. Realistic values of Lambda correspond to S^3 of Planck size. △ Less

Submitted 23 November, 2016; originally announced November 2016.

Comments: 5 pages, no figures

Self-Dual Gravity

Authors: Kirill Krasnov

Abstract: Self-dual gravity is a diffeomorphism invariant theory in four dimensions that describes two propagating polarisations of the graviton and has a negative mass dimension coupling constant. Nevertheless, this theory is not only renormalisable but quantum finite, as we explain. We also collect various facts about self-dual gravity that are scattered across the literature. Self-dual gravity is a diffeomorphism invariant theory in four dimensions that describes two propagating polarisations of the graviton and has a negative mass dimension coupling constant. Nevertheless, this theory is not only renormalisable but quantum finite, as we explain. We also collect various facts about self-dual gravity that are scattered across the literature. △ Less

Submitted 5 May, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: v2: published version, minor changes, 28 pages, no figures

Journal ref: Class. Quantum Grav. 34 095001, 2017

6D Interpretation of 3D Gravity

Authors: Yannick Herfray, Kirill Krasnov, Carlos Scarinci

Abstract: We show that 3D gravity, in its pure connection formulation, admits a natural 6D interpretation. The 3D field equations for the connection are equivalent to 6D Hitchin equations for the Chern-Simons 3-form in the total space of the principal bundle over the 3-dimensional base. Turning this construction around one gets an explanation of why the pure connection formulation of 3D gravity exists. More… ▽ More We show that 3D gravity, in its pure connection formulation, admits a natural 6D interpretation. The 3D field equations for the connection are equivalent to 6D Hitchin equations for the Chern-Simons 3-form in the total space of the principal bundle over the 3-dimensional base. Turning this construction around one gets an explanation of why the pure connection formulation of 3D gravity exists. More generally, we interpret 3D gravity as the dimensional reduction of the 6D Hitchin theory. To this end, we show that any SU(2) invariant closed 3-form in the total space of the principal SU(2) bundle can be parametrised by a connection together with a 2-form field on the base. The dimensional reduction of the 6D Hitchin theory then gives rise to 3D gravity coupled to a topological 2-form field. △ Less

Submitted 5 May, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: v2: published version, minor changes, 37 pages, no figures

Journal ref: Class. Quantum Grav. 34 045007, 2017

Colour-Kinematics duality and the Drinfeld double of the Lie algebra of diffeomorphisms

Authors: Chih-Hao Fu, Kirill Krasnov

Abstract: Colour-kinematics duality suggests that Yang-Mills (YM) theory possesses some hidden Lie algebraic structure. So far this structure has resisted understanding, apart from some progress in the self-dual sector. We show that there is indeed a Lie algebra behind the YM Feynman rules. The Lie algebra we uncover is the Drinfeld double of the Lie algebra of vector fields. More specifically, we show that… ▽ More Colour-kinematics duality suggests that Yang-Mills (YM) theory possesses some hidden Lie algebraic structure. So far this structure has resisted understanding, apart from some progress in the self-dual sector. We show that there is indeed a Lie algebra behind the YM Feynman rules. The Lie algebra we uncover is the Drinfeld double of the Lie algebra of vector fields. More specifically, we show that the kinematic numerators following from the YM Feynman rules satisfy a version of the Jacobi identity, in that the Jacobiator of the bracket defined by the YM cubic vertex is cancelled by the contribution of the YM quartic vertex. We then show that this Jacobi-like identity is in fact the Jacobi identity of the Drinfeld double. All our considerations are off-shell. Our construction explains why numerators computed using the Feynman rules satisfy the colour-kinematics at four but not at higher numbers of points. It also suggests a way of modifying the Feynman rules so that the duality can continue to hold for an arbitrary number of gluons. Our construction stops short of producing explicit higher point numerators because of an absence of a certain property at four points. We comment on possible ways of correcting this, but leave the next word in the story to future work. △ Less

Submitted 5 May, 2017; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: v2: published version, appendix on numerator identities at 5 points added, 34 pages, many feynmf diagrams

Journal ref: JHEP 1701 (2017) 075

A 4D gravity theory and G2-holonomy manifolds

Authors: Yannick Herfray, Kirill Krasnov, Carlos Scarinci, Yuri Shtanov

Abstract: Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3) bundle (with fibers R^3) over a 4-dimensional base, with a connection on this bundle. We make essentially the same ansatz for the calibrating 3-form, but use th… ▽ More Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3) bundle (with fibers R^3) over a 4-dimensional base, with a connection on this bundle. We make essentially the same ansatz for the calibrating 3-form, but use the curvature 2-forms instead of the ASD ones. We show that the resulting 3-form defines a metric of G2 holonomy if the connection satisfies a certain second-order PDE. This is exactly the same PDE that arises as the field equation of a certain 4-dimensional gravity theory formulated as a diffeomorphism-invariant theory of SO(3) connections. Thus, every solution of this 4-dimensional gravity theory can be lifted to a G2-holonomy metric. Unlike all previously known constructions, the theory that we lift to 7 dimensions is not topological. Thus, our construction should give rise to many new metrics of G2 holonomy. We describe several examples that are of cohomogeneity one on the base. △ Less

Submitted 10 February, 2016; originally announced February 2016.

Comments: 25 pages

Journal ref: Adv.Theor.Math.Phys. 22 (2018) 2001-2034

Deformations of GR and BH thermodynamics

Authors: Kirill Krasnov

Abstract: In four space-time dimensions General Relativity can be non-trivially deformed. Deformed theories continue to describe two propagating degrees of freedom, as GR. We study Euclidean black hole thermodynamics in these deformations. We use the recently developed formulation that works with SO(3) connections as well as certain matrices M of auxiliary fields. We show that the black hole entropy is give… ▽ More In four space-time dimensions General Relativity can be non-trivially deformed. Deformed theories continue to describe two propagating degrees of freedom, as GR. We study Euclidean black hole thermodynamics in these deformations. We use the recently developed formulation that works with SO(3) connections as well as certain matrices M of auxiliary fields. We show that the black hole entropy is given by one quarter of the horizon area as measured by the Lie algebra valued two-form MF, where F is the connection curvature. This coincides with the horizon area as measured by the metric only for the case of General Relativity. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Comments: 18 pages, no figures

Asymptotically hyperbolic connections

Authors: Joel Fine, Yannick Herfray, Kirill Krasnov, Carlos Scarinci

Abstract: General Relativity in 4 dimensions can be equivalently described as a dynamical theory of SO(3)-connections rather than metrics. We introduce the notion of asymptotically hyperbolic connections, and work out an analog of the Fefferman-Graham expansion in the language of connections. As in the metric setup, one can solve the arising "evolution" equations order by order in the expansion in powers of… ▽ More General Relativity in 4 dimensions can be equivalently described as a dynamical theory of SO(3)-connections rather than metrics. We introduce the notion of asymptotically hyperbolic connections, and work out an analog of the Fefferman-Graham expansion in the language of connections. As in the metric setup, one can solve the arising "evolution" equations order by order in the expansion in powers of the radial coordinate. The solution in the connection setting is arguably simpler, and very straightforward algebraic manipulations allow one to see how the obstruction appears at third order in the expansion. Another interesting feature of the connection formulation is that the "counter terms" required in the computation of the renormalised volume all combine into the Chern-Simons functional of the restriction of the connection to the boundary. As the Chern-Simons invariant is only defined modulo large gauge transformations, the requirement that the path integral over asymptotically hyperbolic connections is well-defined requires the cosmological constant to be quantised. Finally, in the connection setting one can deform the 4D Einstein condition in an interesting way, and we show that asymptotically hyperbolic connection expansion is universal and valid for any of the deformed theories. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Comments: 25 pages, no figures

Journal ref: Classical and Quantum Gravity 33 (2016), no 18, 25pp

Anisotropic singularities in chiral modified gravity

Authors: Yannick Herfray, Kirill Krasnov, Yuri Shtanov

Abstract: In four space-time dimensions, there exists a special infinite-parameter family of chiral modified gravity theories. All these theories describe just two propagating polarizations of the graviton. General Relativity with an arbitrary cosmological constant is the only parity-invariant member of this family. We review how these modified gravity theories arise within the framework of pure-connection… ▽ More In four space-time dimensions, there exists a special infinite-parameter family of chiral modified gravity theories. All these theories describe just two propagating polarizations of the graviton. General Relativity with an arbitrary cosmological constant is the only parity-invariant member of this family. We review how these modified gravity theories arise within the framework of pure-connection formulation. We introduce a new convenient parametrisation of this family of theories by using certain set of auxiliary fields. Modifications of General Relativity can be arranged so as to become important in regions with large Weyl curvature, while the behaviour is indistinguishable from GR where Weyl curvature is small. We show how the Kasner singularity of General Relativity is resolved in a particular class of modified gravity theories of this type, leading to solutions in which the fundamental connection field is regular all through the space-time. There arises a new asymptotically De Sitter region `behind' the would-be singularity, the complete solution thus being of a bounce type. △ Less

Submitted 14 December, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: v2: published version, 42 pages, 4 figures

Journal ref: Class. Quantum Grav. 33 (2016) 235001

New first order Lagrangian for General Relativity

Authors: Yannick Herfray, Kirill Krasnov

Abstract: We describe a new BF-type first-order in derivatives Lagrangian for General Relativity. The Lagrangian depends on a connection field as well as a Lie-algebra valued two-form field, with no other fields present. There are two free parameters, which translate into the cosmological constant and the coefficient in front of a topological term. When one of the parameters is set to zero, the theory becom… ▽ More We describe a new BF-type first-order in derivatives Lagrangian for General Relativity. The Lagrangian depends on a connection field as well as a Lie-algebra valued two-form field, with no other fields present. There are two free parameters, which translate into the cosmological constant and the coefficient in front of a topological term. When one of the parameters is set to zero, the theory becomes topological. When the other parameter is zero, the theory reduces to the (anti-) self-dual gravity. Thus, our new Lagrangian interpolates between the topological and anti-self-dual gravities. It also interprets GR as the (anti-) self-dual gravity with an extra quadratic in the auxiliary two-form field term added to the Lagrangian, precisely paralleling the situation in Yang-Mills theory. △ Less

Submitted 30 March, 2015; originally announced March 2015.

Comments: 4 pages

One-loop beta-function for an infinite-parameter family of gauge theories

Authors: Kirill Krasnov

Abstract: We continue to study an infinite-parametric family of gauge theories with an arbitrary function of the self-dual part of the field strength as the Lagrangian. The arising one-loop divergences are computed using the background field method. We show that they can all be absorbed by a local redefinition of the gauge field, as well as multiplicative renormalisations of the couplings. Thus, this family… ▽ More We continue to study an infinite-parametric family of gauge theories with an arbitrary function of the self-dual part of the field strength as the Lagrangian. The arising one-loop divergences are computed using the background field method. We show that they can all be absorbed by a local redefinition of the gauge field, as well as multiplicative renormalisations of the couplings. Thus, this family of theories is one-loop renormalisable. The infinite set of beta-functions for the couplings is compactly stored in a renormalisation group flow for a single function of the curvature. The flow is obtained explicitly. △ Less

Submitted 5 January, 2015; originally announced January 2015.

Comments: 17 pages, no figures

Deformations of Yang-Mills theory

Authors: Marco Cofano, Chih-Hao Fu, Kirill Krasnov

Abstract: We introduce and study a new class of power-counting non-renormalisable gauge theories in four space-time dimensions. The Lagrangian is an arbitrary function of the self-dual part of the field strength. The resulting perturbation theory has the property that whenever two derivatives act on an internal line propagator, the result is a delta-function and the line collapses to a point. This means tha… ▽ More We introduce and study a new class of power-counting non-renormalisable gauge theories in four space-time dimensions. The Lagrangian is an arbitrary function of the self-dual part of the field strength. The resulting perturbation theory has the property that whenever two derivatives act on an internal line propagator, the result is a delta-function and the line collapses to a point. This means that there remains at most one derivative on each internal line, which gives improved ulta-violet behaviour. For many purposes, this class of theories behaves just like ordinary Yang-Mills theory. In particular, they all share the Yang-Mills theory MHV amplitudes. Moreover, these theories remain constructible in the sense that higher-point tree level scattering amplitudes can be obtained from the lower-point amplitudes using the BCFW recursion relations. Also, the square of these gauge-theory amplitudes gives the scattering amplitudes of "deformations" of General Relativity, at least for the low particle numbers that we checked. We compute the one-loop beta-function of the first new coupling constant, and find it to be positive, which signals the associated non-renormalisable interaction becoming important in the ulta-violet. △ Less

Submitted 21 September, 2015; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: v2: 38 pages, many figures, references added; v3: Typos corrected, version accepted for publication in PRD

Journal ref: Phys. Rev. D 92, 065012 (2015)

GR uniqueness and deformations

Authors: Kirill Krasnov

Abstract: In the metric formulation gravitons are described with the parity symmetric $S_+^2\otimes S_-^2$ representation of Lorentz group. General Relativity is then the unique theory of interacting gravitons with second order field equations. We show that if a chiral $S_+^3\otimes S_-$ representation is used instead, the uniqueness is lost, and there is an infinite-parametric family of theories of interac… ▽ More In the metric formulation gravitons are described with the parity symmetric $S_+^2\otimes S_-^2$ representation of Lorentz group. General Relativity is then the unique theory of interacting gravitons with second order field equations. We show that if a chiral $S_+^3\otimes S_-$ representation is used instead, the uniqueness is lost, and there is an infinite-parametric family of theories of interacting gravitons with second order field equations. We use the language of graviton scattering amplitudes, and show how the uniqueness of GR is avoided using simple dimensional analysis. The resulting distinct from GR gravity theories are all parity asymmetric, but share the GR MHV amplitudes. They have new all same helicity graviton scattering amplitudes at every graviton order. The amplitudes with at least one graviton of opposite helicity continue to be determinable by the BCFW recursion. △ Less

Submitted 26 October, 2015; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: v2: published version, 19 pages, description of the complexified setting expanded

Journal ref: JHEP 1510 (2015) 037

Pure connection formalism for gravity: Recursion relations

Authors: Gianluca Delfino, Kirill Krasnov, Carlos Scarinci

Abstract: In the gauge-theoretic formulation of gravity the cubic vertex becomes simple enough for some graviton scattering amplitudes to be computed using Berends-Giele-type recursion relations. We present such a computation for the current with all same helicity on-shell gravitons. Once the recursion relation is set up and low graviton number cases are worked out, a natural guess for the solution in terms… ▽ More In the gauge-theoretic formulation of gravity the cubic vertex becomes simple enough for some graviton scattering amplitudes to be computed using Berends-Giele-type recursion relations. We present such a computation for the current with all same helicity on-shell gravitons. Once the recursion relation is set up and low graviton number cases are worked out, a natural guess for the solution in terms of a sum over trees presents itself readily. The solution can also be described either in terms of the half-soft function familiar from the 1998 paper by Bern, Dixon, Perelstein and Rozowsky or as a matrix determinant similar to one used by Hodges for MHV graviton amplitudes. This solution also immediate suggests the correct guess for the MHV graviton amplitude formula, as is contained in the already mentioned 1998 paper. We also obtain the recursion relation for the off-shell current with all but one same helicity gravitons. △ Less

Submitted 21 October, 2014; originally announced October 2014.

Comments: 13 pages, no figures

Journal ref: J. High Energ. Phys. (2015) 2015: 120

Gravitons and a complex of differential operators

Authors: Kirill Krasnov

Abstract: Gravity is now understood to become simple on-shell. We sketch how it becomes simple also off-shell, when reformulated appropriately. Thus, we describe a simple Lagrangian for gravitons that makes use of a certain complex of differential operators. The Lagrangian is constructed analogously to that of Maxwell's theory, just using a different complex. The complex, and therefore also our description… ▽ More Gravity is now understood to become simple on-shell. We sketch how it becomes simple also off-shell, when reformulated appropriately. Thus, we describe a simple Lagrangian for gravitons that makes use of a certain complex of differential operators. The Lagrangian is constructed analogously to that of Maxwell's theory, just using a different complex. The complex, and therefore also our description of gravitons, makes sense on any half-conformally flat four-dimensional manifold. △ Less

Submitted 27 June, 2014; originally announced June 2014.

Comments: 8 pages, 2 diagrams

Journal ref: Mod. Phys. Lett. A, Vol. 30, Nos. 3 & 4 (2015) 1540001

A gauge theoretic approach to Einstein 4-manifolds

Authors: Joel Fine, Kirill Krasnov, Dmitri Panov

Abstract: This article investigates a new gauge theoretic approach to Einstein's equations in dimension 4. Whilst aspects of the formalism are already explained in various places in the mathematics and physics literature, our first goal is to give a single coherent account of the theory in purely mathematical language. We then explain why the new approach may have important mathematical applications: the po… ▽ More This article investigates a new gauge theoretic approach to Einstein's equations in dimension 4. Whilst aspects of the formalism are already explained in various places in the mathematics and physics literature, our first goal is to give a single coherent account of the theory in purely mathematical language. We then explain why the new approach may have important mathematical applications: the possibility of using the calculus of variations to find Einstein 4-manifolds, as well as links to symplectic topology. We also carry out some of the technical groundwork to attack these problems. △ Less

Submitted 7 August, 2016; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: v1: 23 pages, plus references. v2: reference added to article of Richard-Seshadri, typos corrected. v3 putting published version on arxiv

MSC Class: 53C25; 53C07; 53D35; 58E30

Journal ref: New York J. Math. 20 (2014) 293-323

Weighted Laplacians, cocycles and recursion relations

Authors: Kirill Krasnov, Carlos Scarinci

Abstract: Hodge's formula represents the gravitational MHV amplitude as the determinant of a minor of a certain matrix. When expanded, this determinant becomes a sum over weighted trees, which is the form of the MHV formula first obtained by Bern, Dixon, Perelstein, Rozowsky and rediscovered by Nguyen, Spradlin, Volovich and Wen. The gravity MHV amplitude satisfies the Britto, Cachazo, Feng and Witten recur… ▽ More Hodge's formula represents the gravitational MHV amplitude as the determinant of a minor of a certain matrix. When expanded, this determinant becomes a sum over weighted trees, which is the form of the MHV formula first obtained by Bern, Dixon, Perelstein, Rozowsky and rediscovered by Nguyen, Spradlin, Volovich and Wen. The gravity MHV amplitude satisfies the Britto, Cachazo, Feng and Witten recursion relation. The main building block of the MHV amplitude, the so-called half-soft function, satisfies a different, Berends-Giele-type recursion relation. We show that all these facts are illustrations to a more general story. We consider a weighted Laplacian for a complete graph of n vertices. The matrix tree theorem states that its diagonal minor determinants are all equal and given by a sum over spanning trees. We show that, for any choice of a cocycle on the graph, the minor determinants satisfy a Berends-Giele as well as Britto-Cachazo-Feng-Witten type recursion relation. Our proofs are purely combinatorial. △ Less

Submitted 2 October, 2013; originally announced October 2013.

Comments: 12 pages, some figures embedded in the text

Journal ref: JHEP 1311 (2013) 040

Second Order Standard Model

Authors: Johnny Espin, Kirill Krasnov

Abstract: We rewrite the Lagrangian of the fermionic sector of the Standard Model in a novel compact form. The new Lagrangian is second order in derivatives, and is obtained from the usual first order Lagrangian by integrating out all primed (or dotted) 2-component spinors. The Higgs field enters the new Lagrangian non-polynomially, very much like the metric enters the Einstein-Hilbert Lagrangian of General… ▽ More We rewrite the Lagrangian of the fermionic sector of the Standard Model in a novel compact form. The new Lagrangian is second order in derivatives, and is obtained from the usual first order Lagrangian by integrating out all primed (or dotted) 2-component spinors. The Higgs field enters the new Lagrangian non-polynomially, very much like the metric enters the Einstein-Hilbert Lagrangian of General Relativity. We also discuss unification in the second order formalism, and describe a natural in this framework SU(2)xSU(4) unified theory. △ Less

Submitted 6 August, 2013; originally announced August 2013.

Comments: 21 pages, no figures

Pure connection gravity at one loop: Instanton background

Authors: Kai Groh, Kirill Krasnov, Christian F. Steinwachs

Abstract: In the "pure connection" formulation General Relativity becomes a particular diffeomorphism invariant SL(2) gauge theory. Using this formalism, we compute the divergent contributions to the gravitational one-loop effective action. Calculations of the on-shell effective action simplify greatly if one specialises to an instanton background where only the anti-self-dual part of the Weyl curvature is… ▽ More In the "pure connection" formulation General Relativity becomes a particular diffeomorphism invariant SL(2) gauge theory. Using this formalism, we compute the divergent contributions to the gravitational one-loop effective action. Calculations of the on-shell effective action simplify greatly if one specialises to an instanton background where only the anti-self-dual part of the Weyl curvature is non-vanishing. One of the most striking features of the connection formulation is that the (linearised) Euclidean action has a definite sign, unlike in the metric case. As in the metric GR, we find the logarithmically divergent contribution to consist of the volume and Euler character terms, but the arising numerical constants are different. However, the difference between the two results turns out to be always an integer. We explain this by noting that at one loop the connection and metric based quantum theories are closely related, the only difference being in a finite number of scalar modes. △ Less

Submitted 21 June, 2013; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: v2: 25 pages, added appendix explaining the one loop relation between the metric and connection quantum theories