arXiv research

We construct a family of split signature Einstein metrics in four dimensions, corresponding to particular classes of third order ODEs considered modulo fiber preserving transformations of variables.

We establish sharp Sobolev inequalities of order four on Euclidean d-balls for d greater than or equal to four. When d=4, our inequality generalizes the classical second order Lebedev-Milin inequality on Euclidean 2-balls. Our method relies on the use of scattering theory on hyperbolic d-balls. As an application, we ch…

Reduces energy for 4D submanifolds in R^n.

Study on four-dimensional Dehn twists and Milnor fibrations, revealing new phenomena.

We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or CH_3 for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, CH_2 manifolds that are not homogeneous. The resulting metrics belong to the class of null electromagnetic radia…

The paper studies Riemannian four-manifolds and their twistor spaces using a moving frame approach.

New examples show clasp numbers can be zero yet four-genus can be arbitrarily large.

New minimal surfaces in 4D space derived from parametric equations.

We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not S^3 is the cyclic branched cover of odd prime order of at most four knots in S^3…

Rigidity for 4D Willmore submanifolds with boundary.

We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or $\CH_3$ for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, $\CH_2$ manifolds that are not homogeneous.

In order to obtain a closed orientable convex projective four-manifold with small positive Euler characteristic, we build an explicit example of convex projective Dehn filling of a cusped hyperbolic four-manifold through a continuous path of projective cone-manifolds.

Sharp inequality found on three-balls for fourth order Sobolev traces.

We consider four-dimensional Riemannian manifolds with commuting higher order Jacobi operators defined on two-dimensional orthogonal subspaces (polygons) and on their orthogonal subspaces. More precisely, we discuss higher order Jacobi operator $\mathcal{J}(X)$ and its commuting associated operator $\mathcal{J}(X^{\per…

Following an approach of the second author for conformally invariant variational problems in two dimensions, we show in four dimensions the existence of a conservation law for fourth order systems, which includes both intrinsic and extrinsic biharmonic maps. With the help of this conservation law we prove the continuit…

Using the method of Nehari manifold, we prove the existence of at least two distinct weak solutions to elliptic equation of four order with singulatities and with critical Sobolev growth.

A study is made of real Lie algebras admitting a hypersymplectic structure, and we provide a method to construct such hypersymplectic Lie algebras. We use this method in order to obtain the classification of all hypersymplectic structures on four-dimensional Lie algebras, and we describe the associated metrics on the c…

Completed realizations of automorphisms and subgroups in exceptional Lie group $E_8$.

Authors show that genus defects of Hopf arborescent links are decidable.

We study the four dimensional Ricci flow with the help of local invariants. If $(M^4, g(t))$ is a solution to the Ricci flow and $x \in M^4$, we can associate to the point $x$ a one-parameter family of curves, which lie in the product of two projective lines. This allows us to reformulate the Cheeger-Gromov-Hamilton Co…

We prove that there is no nontrivial homogeneous order 2 solutions of fully nonlinear uniformly elliptic equations in dimension 4.

The very definition of an Einstein metric implies that all its geometry is encoded in the Weyl tensor. With this in mind, in this paper we derive higher-order Bochner type formulas for the Weyl tensor on a four dimensional Einstein manifold. In particular, we prove a second Bochner type formula which, formally, extends…

We present a family of four-dimensional Lorentzian manifolds whose invariant classification requires the seventh covariant derivative of the curvature tensor. The spacetimes in questions are null radiation, type N solutions on an anti-de Sitter background. The large order of the bound is due to the fact that these spac…

We define a holographic dual to the Donaldson-Witten topological twist of $\mathcal{N}=2$ gauge theories on a Riemannian four-manifold. This is described by a class of asymptotically locally hyperbolic solutions to $\mathcal{N}=4$ gauged supergravity in five dimensions, with the four-manifold as conformal boundary. Und…

Classifies almost-toric systems in four dimensions.

We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We additionally prove similar results for some permutation groups, linear groups, and a…

The book can be divided in three parts: the Lagrange geometry of order $k$, presented in the first three chapters, the geometrical theory of the dual manifolds $T^{*k}M$ - chapters 4-7 and the geometry of Hamilton spaces of order $k$ and their subspaces, contained in the last four chapters. They are studied directly an…

New operators and curvatures derived from embedded manifolds.

Let $M_K$ be the 2-fold branched cover of a knot $K in$S^3$. If$H_1(M_K) = {\bf Z}_3 \oplus {\bf Z}_{3^{2i}} \oplus G$where 3 does not divide the order of$G$then$K$ is not of order 4 in the concordance group. This obstruction detects infinite new families of knots that represent elements of order 4 in the algebra…

Study quantizes energy for a specific fourth-order system in 4D.

It is known that for every knotted curve in space, there is a line intersecting it in four places, a quadrisecant. Comparing the order of the four points along the line and knot we can distinguish three types of quadrisecants; the alternating ones have the most relevance for the geometry of a knot. In this paper we pro…

We exploit four-dimensional tensor identities to give a very simple proof of the existence of a Lanczos potential for a Weyl tensor in four dimensions with any signature, and to show that the potential satisfies a simple linear second order differential equation, e.g., a wave equation in Lorentz signature. Furthermore,…

Study on metrics maximizing eigenvalues of Paneitz operator on 4-manifolds.

We study the second order invariants of a Lorentzian surface in $\mathbb{R}^{2,2},$ and the curvature hyperbolas associated to its second fundamental form. Besides the four natural invariants, new invariants appear in some degenerate situations. We then introduce the Gauss map of a Lorentzian surface and give an extrin…

It is shown that, in four dimensions, it is possible to introduce coordinates so that an analytic metric locally takes block diagonal form. i.e. one can find coordinates such that $g_{αβ} = 0$ for $(α, β) \in S$ where $S = {(1, 3), (1, 4), (2, 3), (2, 4)}$. We call a coordinate system in which the metric takes this for…

Factorization machines (FMs) are a supervised learning approach that can use second-order feature combinations even when the data is very high-dimensional. Unfortunately, despite increasing interest in FMs, there exists to date no efficient training algorithm for higher-order FMs (HOFMs). In this paper, we present the …

The paper bounds eigenvalues of specific operators on certain manifolds.

Unified theory for optimal execution through signal-adaptive quotes in limit order books.

New curvature measures for 4D manifolds with corners defined and related to Gauss-Bonnet.

We consider the Laplacian associated with a general metric in the canonical conformal structure of the noncommutative two torus, and calculate a local expression for the term a_4 that appears in its corresponding small-time heat kernel expansion. The final formula involves one variable functions and lengthy two, three …

We consider the problem of allocating samples to a finite set of discrete distributions in order to learn them uniformly well in terms of four common distance measures: $\ell_2^2$, $\ell_1$, $f$-divergence, and separation distance. To present a unified treatment of these distances, we first propose a general optimistic…

Four algorithms improve sparse tensor BR1Approx with theoretical guarantees.

In this paper we study quasi-linear system of partial differential equations which describes the existence of the polynomial in momenta first integral of the integrable geodesic flow on 2-torus. We proved in [3] that this is a semi-Hamiltonian system and we show here that the metric associated with the system is a metr…

If $M$ is an isoparametric hypersurface in a sphere $S^n$ with four distrinct principal curvatures, then the principal curvatures $κ_1,...,κ_4$ can be ordered so that their multiplicities satisfy $m_1=m_2$ and $m_3=m_4$, and the cross-ratio $r$ of the principal curvatures (the Lie curvature) equals -1. In this paper, w…

In this paper we continue our study of the fourth order transgression on hyperähler manifolds introduced in the previous paper. We give a local construction for the fourth-order transgression of the Chern character form of an arbitrary vector bundle supplied with a self-dual connection on a four dimensional hyperkähler…

Study determines left-orderable properties of knot covers.

Sharp inequalities in unit ball with constraints on moments.

We show that the fundamental group of the space of ordered affine-equivalent configurations of at least five points in the real plane is isomorphic to the pure braid group modulo its centre. In the case of four points this fundamental group is free with eleven generators.