Related papers: Lovelock's theorem revisited

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

The Einstein equations (EE) are certain conditions on the Riemann tensor on the real Minkowski space M. In the twistor picture, after complexification and compactification M becomes the Grassmannian $Gr_{2}^{4}$ of 2-dimensional subspaces…

Simple approaches to the proofs of the L^2 Castelnuovo-de Franchis theorem and the cup product lemma which give new versions are developed. For example, suppose u and v are two linearly independent closed holomorphic 1-forms on a bounded…

There are several formulations of the second law, and they may, in principle, have different domains of validity. Here a simple mathematical theorem is proven which serves as the most general basis for the second law, namely the Thomson…

We investigate Riemannian manifolds $(M^n,g)$ whose curvature operator of the second kind $\mathring{R}$ satisfies the condition \begin{equation*} \alpha^{-1} (\lambda_1 +\cdots +\lambda_{\alpha}) > - \theta \bar{\lambda}, \end{equation*}…

We prove that, up to multiplication by a scalar, the Minkowski metric tensor is the only second-order tensor that is Lorentz-invariant. To prove this, we show that a specific set of three $4\times 4$ matrices, made of two rotation matrices…

This work builds on our previous developments regarding a notion of freeness for tensors. We aim to establish a tensorial free convolution for compactly supported measures. First, we define higher-order analogues of the semicircular (or…

In this paper we construct a family of examples of self-dual Einstain metrics of neutral signature, which are not Ricci flat, nor locally homogenous. Curvature of these manifolds is studied in details. These are obtained by the…

We give constructions of n^k x n^k x n tensors of rank at least 2n^k - O(n^(k-1)). As a corollary we obtain an [n]^r shaped tensor with rank at least 2n^(r/2) - O(n^(r/2)-1) when r is odd. The tensors are constructed from a simple recursive…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

The Helmholtz equation for symmetric, traceless, second-rank tensor fields in three-dimensional flat space is solved in spherical and cylindrical coordinates by separation of variables making use of the corresponding spin-weighted…

We generalize the celebrated results of Bernhard Riemann and Gaston Darboux: we give necessary and sufficient conditions for a bilinear form to be flat. More precisely, we give explicit necessary and sufficient conditions for a tensor field…

We give a new formula for the Lichnerowicz Laplacian on normal homogeneous spaces in terms of Casimir operators. We derive some practical estimates and apply them to the known list of non-symmetric, compact, simply connected homogeneous…

We demonstrate the fact that linearity is a meaningful symmetry in the sense of Lie and Noether. The role played by that `linearity symmetry' in the quadrature of linear ordinary second-order differential equations is reviewed, by the use…

We show that the Hamiltonian Lagrangian monodromy group, in its homological version, is trivial for any weakly exact Lagrangian submanifold of a symplectic manifold. The proof relies on a sheaf approach to Floer homology given by a relative…

We study $2$-step nilpotent Lorentzian Lie groups $N$, which are naturally reductive with respect to a certain class of transitive subgroups of isometries. We describe the isotropy representation and prove that its fixed points give raise…

In this paper, first we introduce the notion of an embedding tensor on a 3-Lie algebra, which naturally induces a 3-Leibniz algebra. Using the derived bracket, we construct a Lie 3-algebra, whose Maurer-Cartan elements are embedding…

We present counterexamples to the lore that symmetries that cannot be gauged or made on-site are necessarily anomalous. Specifically, we construct unitary, internal symmetries of two-dimensional lattice models that cannot be consistently…

By using invariant theory we show that a (higher-dimensional) Lorentzian metric that is not characterised by its invariants must be of aligned type II; i.e., there exists a frame such that all the curvature tensors are simultaneously of…

We prove a converse theorem for a family of L functions of degree 2 with gamma factor coming from a holomorphic cuspform. We show these L functions coincide with either those coming from a newform or a product of L functions arising from…