arXiv subjects

Jan Gutt

Publications and source records attributed to Jan Gutt.

10 recordsLinked to original sources

arXiv2021

The moment map on the space of symplectic 3D Monge-Amp\`ere equations

For any second-order scalar PDE $\mathcal{E}$ in one unknown function, that we interpret as a hypersurface of a second-order jet space $J^2$, we construct, by means of the characteristics of $\mathcal{E}$, a sub-bundle of the contact distribution of the underlying contact manifold $J^1$, consisting of conic varieties. We call it the contact cone structure associated with $\mathcal{E}$. We then focus on symplectic Monge-Amp\`ere equations in 3 independent variables, that are naturally parametrized by a 13-dimensional real projective space. If we pass to the field of complex numbers $\mathbb{C}$, this projective space turns out to be the projectivization of the 14-dimensional irreducible representation of the simple Lie group $\mathsf{Sp}(6,\mathbb{C})$: the associated moment map allows to define a rational map $\varpi$ from the space of symplectic 3D Monge-Amp\`ere equations to the projectivization of the space of quadratic forms on a $6$-dimensional symplectic vector space. We study in details the relationship between the zero locus of the image of $\varpi$, herewith called the cocharacteristic variety, and the contact cone structure of a 3D Monge-Amp\`ere equation $\mathcal{E}$: under the hypothesis of non-degenerate symbol, we prove that these two constructions coincide. A key tool in achieving such a result will be a complete list of mutually non-equivalent quadratic forms on a $6$-dimensional symplectic space, which has an interest on its own.

math.DG↗

arXiv2020

A general method to construct invariant PDEs on homogeneous manifolds

Let $M = G/H$ be an $(n+1)$-dimensional homogeneous manifold and $J^k(n,M)=:J^k$ be the manifold of $k$-jets of hypersurfaces of $M$. The Lie group $G$ acts naturally on each $J^k$. A $G$-invariant PDE of order $k$ for hypersurfaces of $M$ (i.e., with $n$ independent variables and $1$ dependent one) is defined as a $G$-invariant hypersurface $\mathcal{E} \subset J^k$. We describe a general method for constructing such invariant PDEs for $k\geq 2$. The problem reduces to the description of hypersurfaces, in a certain vector space, which are invariant with respect to the linear action of the stability subgroup $H^{(k-1)}$ of the $(k-1)$-prolonged action of $G$. We apply this approach to describe invariant PDEs for hypersurfaces in the Euclidean space $\mathbb{E}^{n+1 }$ and in the conformal space $\mathbb{S}^{n+1}$. Our method works under some mild assumptions on the action of $G$, namely: A1) the group $G$ must have an open orbit in $J^{k-1}$, and A2) the stabilizer $H^{(k-1)}\subset G$ of the fibre $J^k\to J^{k-1}$ must factorize via the group of translations of the fibre itself.

math.DG↗

arXiv2018

Geometry of Lagrangian Grassmannians and nonlinear PDEs

This paper contains a thorough introduction to the basic geometric properties of the manifold of Lagrangian subspaces of a linear symplectic space, known as the Lagrangian Grassmannian. It also reviews the important relationship between hypersurfaces in the Lagrangian Grassmannian and second-order PDEs.

math.DG↗

arXiv2016

Homogeneous models of C3 Monge geometries

Distributions of Monge type are a class of strongly regular bracket-generating distributions introduced by I. Anderson, Zh. Nie and P. Nurowski. Their symbol algebras prolong to simple graded Lie algebras, thus allowing one to associate a parabolic geometry to any given Monge distribution. This article is devoted to the classification problem for homogeneous models of Monge distributions of type C3 in dimension eight, and is complementary to a paper by I. Anderson and P. Nurowski. The general classification algorithm, as well as most of its application to the particular problem, are joint work with Ian Anderson.

math.DG↗

arXiv2016

Lowest degree invariant 2nd order PDEs over rational homogeneous contact manifolds

For each simple Lie algebra $\mathfrak{g}$ (excluding, for trivial reasons, type ${\sf C}$) we find the lowest possible degree of an invariant second-order PDE over the adjoint variety in $\mathbb{P}\mathfrak{g}$, a homogeneous contact manifold. Here a PDE $F(x^i,u,u_i,u_{ij})=0$ has degree $\le d$ if $F$ is a polynomial of degree $\le d$ in the minors of $(u_{ij})$, with coefficients functions of the contact coordinates $x^i$, $u$, $u_i$ (e.g., Monge-Amp\`ere equations have degree 1). For $\mathfrak{g}$ of type ${\sf A}$ or ${\sf G}$ we show that this gives all invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf B}$ and ${\sf D}$ we provide an explicit formula for the lowest-degree invariant second-order PDEs. For $\mathfrak{g}$ of type ${\sf E}$ and ${\sf F}$ we prove uniqueness of the lowest-degree invariant second-order PDE; we also conjecture that uniqueness holds in type ${\sf D}$.

math.DG↗

arXiv2016

Completely exceptional $2^\textrm{nd}$ order PDEs via conformal geometry and BGG resolution

By studying the development of shock waves out of discontinuity waves, in 1954 P. Lax discovered a class of PDEs, which he called 'completely exceptional', where such a transition does not occur after a finite time. A straightforward integration of the completely exceptionality conditions allowed Boillat to show that such PDEs are actually of Monge-Ampere type. In this paper, we first recast these conditions in terms of characteristics, and then we show that the completely exceptional PDEs, with 2 or 3 independent variables, can be described in terms of the conformal geometry of the Lagrangian Grassmannian, where they are naturally embedded. Moreover, for an arbitrary number of independent variables, we show that the space of r-th degree sections of the Lagrangian Grassmannian can be resolved via a BGG operator. In the particular case of 1st degree sections, i.e., hyperplane sections or, equivalently, Monge-Ampere equations, such operator is a close analog of the trace-free second fundamental form.

math.DG↗

arXiv2016

Non-signalling boxes and Bohrification

The premise of this note is the following observation: the formalism of Bohrification is a natural place for the interpretation of general non-signalling theories. We demonstrate it through an analysis of so-called box-worlds, a popular framework for the discussion of systems exhibiting super-quantum correlations. In particular, we show that non-signalling box-world states are precisely the internal probability valuations on an internal frame in a Kripke topos naturally associated with a given box world.

math-ph↗

arXiv2014

Classical simulation of fermionic linear optics augmented with noisy ancillas

Fermionic linear optics is a model of quantum computation which is efficiently simulable on a classical probabilistic computer. We study the problem of a classical simulation of fermionic linear optics augmented with noisy auxiliary states. If the auxiliary state can be expressed as a convex combination of pure Fermionic Gaussian states, the corresponding computation scheme is classically simulable. We present an analytic characterisation of the set of convex-Gaussian states in the first non-trivial case, in which the Hilbert space of the ancilla is a four-mode Fock space. We use our result to solve an open problem recently posed by De Melo et al. and to study in detail the geometrical properties of the set of convex-Gaussian states.

quant-ph↗

arXiv2013

Hwang-Mok rigidity of cominuscule homogeneous varieties in positive characteristic

Jun-Muk Hwang and Ngaiming Mok have proved the rigidity of irreducible Hermitian symmetric spaces of compact type under Kaehler degeneration. I adapt their argument to the algebraic setting in positive characteristic, where cominuscule homogeneous varieties serve as an analogue of Hermitian symmetric spaces. The main result gives an explicit (computable in terms of Schubert calculus) lower bound on the characteristic of the base field, guaranteeing that a smooth projective family with cominuscule homogeneous generic fibre is isotrivial. The bound depends only on the type of the generic fibre, and on the degree of an invertible sheaf whose extension to the special fibre is very ample. An important part of the proof is a characteristic-free analogue of Hwang and Mok's extension theorem for maps of Fano varieties of Picard number 1, a result I believe to be interesting in its own right.

math.AG↗

arXiv2008

Special Riemannian geometries and the Magic Square of Lie algebras

We investigate nonintegrable Riemannian geometries modelled after certain symmetric spaces related to the Freudenthal-Tits Magic Square. The collection of four such structures found by Nurowski is extended by further eight. A focus is given to those admitting a compatible connection with completely skew torsion.

math.DG↗