Related papers: On C-class equations
Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advances: truth-table invariance, making the CAD invariant with…
In this paper, a geometric resolution of singularities algorithm is developed. This method is elementary in its statement and proof, using explicit coordinate systems as much as possible. Each coordinate change used in the resolution…
Let M be a smooth manifold and $\Phi$ a differential 1-form on M with values in the tangent bundle TM. We construct canonical solutions $e_\Phi$ of Maurer-Cartan equation in the DGLA of graded derivations D*(M) of differential forms on M by…
We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our…
Classical geometric mechanics, including the study of symmetries, Lagrangian and Hamiltonian mechanics, and the Hamilton-Jacobi theory, are founded on geometric structures such as jets, symplectic and contact ones. In this paper, we shall…
We study a class of newly-introduced CFTs associated with even quadratic forms of general signature, which we call generalized Narain theories. We first summarize the properties of these theories. We then consider orbifolds of these…
We discuss the twistor correspondence between path geometries in three dimensions with vanishing Wilczynski invariants and anti-self-dual conformal structures of signature $(2, 2)$. We show how to reconstruct a system of ODEs with vanishing…
The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski…
We develop symmetric Cartan calculus, an analogue of classical Cartan calculus for symmetric differential forms. We first show that the analogue of the exterior derivative, the symmetric derivative, is not unique and its different choices…
Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…
In the present paper, we find a system of non-linear ODEs that gives rotationally invariant solutions to the Kapustin-Witten equations in 4-dimensional Euclidean space. We explicitly solve these ODEs in some special cases and find decaying…
We develop a new integration technique allowing one to construct a rich manifold of particular solutions to multidimensional generalizations of classical $C$- and $S$-integrable Partial Differential Equations (PDEs). Generalizations of…
Let $(x_1,y_1),\ldots,(x_n,y_n)$ be distinct non-constant and non-degenerate solutions of the classical Lotka-Volterra system \begin{equation}\notag \begin{split} x'&= axy + bx\\ y'&= cxy + dy, \end{split} \end{equation} where…
We show that the extended principal bundle of a Cartan geometry of type $(A(m,\mathbb{R}),GL(m,\mathbb{R}))$, endowed with its extended connection $\hat\omega$, is isomorphic to the principal $A(m,\mathbb{R})$-bundle of affine frames…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
The canonical tensor model (CTM) is a rank-three tensor model formulated as a totally constrained system in the canonical formalism. The constraint algebra of CTM has a similar structure as that of the ADM formalism of general relativity,…
The basic mathematical assumptions for autonomous linear kinetic equations for a classical system are formulated, leading to the conclusion that if they are differential equations on its phase space $M$, they are at most of the 2nd order.…
We introduce a class of surfaces in euclidean space motivated by a problem posed by \'{E}lie Cartan. This class furnishes what seems to be the first examples of pairs of non-congruent surfaces in euclidean space such that, under a…
Some of the well known Fefferman like constructions of parabolic geometries end up with a new structure on the same manifold. In this paper, we classify all such cases with the help of the classical Onishchik's lists \cite{onish1} and we…
According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and…