arXiv research

Surveying probabilistic real algebraic geometry.

We exploit the spinor description of four-dimensional Walker geometry, and conformal rescalings of such, to describe the local geometry of four-dimensional neutral geometries with algebraically degenerate self-dual Weyl curvature and an integrable distribution of alpha-planes (algebraically special real alpha-geometry)…

Researchers reconstruct algebraic maps onto curves based on prescribed Reeb graphs.

Variant of previous work on smooth algebraic functions with compact and non-compact preimages.

This thesis details the results of four interrelated projects. The first of these presents a new proof of the theorem of Cooper, Danciger and Wienhard classifying the limits under conjugacy of the orthogonal groups in GL(n; R). The second provides a detailed investigation into Heisenberg geometry, which is the maximall…

This thesis explores algebraic cycles and moduli spaces over real numbers.

Study of real and quaternionic Lie algebroid connections on manifolds.

Research explores real algebraic realization of round fold maps of codimension -1.

Constructs a topological cover of real line's multiplicative group.

Unified framework for complex, split-complex, and dual numbers.

Builds geometric structures for algebraic groups over real closed fields.

Study tests if a probability measure is near a real algebraic variety.

Jordan algebras in information geometry linked to metrics on probability distributions.

New techniques solve Riccati equations on 3D manifolds, finding 4th order metric obstructions.

Every finite dimensional real representation of a compact real semisimple Lie algebra determines a metric 2-step nilpotent Lie algebra and a corresponding simply connected metric 2-step nilpotent Lie group N. We study the differential geometry of N using representation theory of the complexified complex semisimple Lie …

Geometric analysis on real analytic manifolds using seminorms.

Every real simple non-compact Lie algebra not isomorphic to $\mathfrak{so}(1,n)$ contains a unique standard parabolic subalgebra whose nilradical is a generalized Heisenberg algebra. Here we discuss the associated parabolic geometries and the riemannian geometry of the harmonic spaces having the former as conformal inf…

We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in parti…

The study of the topology of real algebraic varieties dates back to the work of Harnack, Klein and Hilbert in the 19th century; in particular, the isotopy type classification of real algebraic curves in real toric surfaces is a classical subject that has undergone considerable evolution. On the other hand, not much is …

We investigate some geometric properties of the real algebraic variety $Δ$ of symmetric matrices with repeated eigenvalues. We explicitly compute the volume of its intersection with the sphere and prove a Eckart-Young-Mirsky-type theorem for the distance function from a generic matrix to points in $Δ$. We exhibit conne…

Research on refined algebraic domains respecting differential geometry.

A Teichmüller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichmüller curves of positive genus. Our methods are based on the study of certain Hilbert modular forms and the use of Ahlfors's variational formu…

This paper provides a stratification of semi-algebraic sets in the plane with finitely many geodesic segments.

We develop a unifed theory to study geometry of manifolds with different holonomy groups. They are classified by (1) real, complex, quaternion or octonion number they are defined over and (2) being special or not. Specialty is an orientation with respect to the corresponding normed algebra A. For example, special Riema…

We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the nature of optimal upper bounds in real fewnomial theory. We use a powerful recen…

Estimates classifier errors without ground truth using algebraic geometry.

Study of algebraic curves and surfaces in flag manifold using twistor geometry.

Let Y be a complex algebraic curve and let [Y]={X_1,...,X_n} be the set of all real algebraic curves X_i with complexification X_i(C)=Y, such that the real points X_i(R) divide X_i(C). We find all such families [Y]. According to Harnak theorem a number |X_i| of connected components of X_i(R) satifies by the inequality …

New findings on complex structures in nilpotent Lie algebras and pseudo-Kähler geometry.

Constructs real algebraic maps with specific geometric constraints.

This paper constructs real algebraic maps that are topologically special generic maps.

This is a slightly expanded version of the talk given by Ch.O. at the conference "Instantons in complex geometry", at the Steklov Institute in Moscow. The purpose of this talk was to explain the algebraic results of our paper "Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces". In this paper w…

The amoebas associated to algebraic varieties are certain concave regions in the Euclidean space whose shape reminds biological amoebas. This term was formally introduced to Mathematics in 1994 by Gelfand, Kapranov and Zelevinski. Some traces of amoebas were appearing from time to time, even before the formal introduct…

In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is non-positively curved. In particular, given such a complex we show how to define a boolean combination of polynomial equations and inequalities in real variables, i.e. a …

A polynomial knot is a smooth embedding $κ: \real \to \real^n$ whose components are polynomials. The case $n = 3$ is of particular interest. It is both an object of real algebraic geometry as well as being an open ended topological knot. This paper contains basic results for these knots as well as many examples.

Any oriented 4-dimensional real vector bundle is naturally a line bundle over a bundle of quaternion algebras. In this paper we give an account of modules over bundles of quaternion algebras, discussing Morita equivalence, characteristic classes and K-theory. The results have been used to describe obstructions for the …

Study robustness of polynomial neural networks using algebraic geometry.

We describe and study the loci equidistant from finitely many points in the so-called complex hyperbolic geometry, i.e., in the geometry of a holomorphic $2$-ball $\Bbb B$. In particular, we show that the bisectors (= the loci equidistant from $2$ points) containing the (smooth real algebraic) curve equidistant from gi…

The paper generalizes the number of complex structures on metric Lie algebras.

The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises. For general (regular, normal) parabolic geometries of type (G,P), we use Tanaka theory to derive a un…

This paper develops a theory of graded manifolds in differential geometry.

Spectral features of the empirical moment matrix constitute a resourceful tool for unveiling properties of a cloud of points, among which, density, support and latent structures. It is already well known that the empirical moment matrix encodes a great deal of subtle attributes of the underlying measure. Starting from …

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras for which infinitely differentiable functions can be evaluated on elements. Such…

New classification of complex hypersurfaces in 3D.

Machine learning applied to algebraic geometry for physics problems.

New method realizes planar graphs as Reeb graphs of algebraic functions.

A field of endomorphisms $R$ is called a Nijenhuis operator if its Nijenhuis torsion vanishes. In this work we study a specific kind of singular points of $R$ called points of scalar type. We show that the tangent space at such points possesses a natural structure of a left-symmetric algebra (also known as pre-Lie or V…

High-order Klein geometries constructed using Lie algebras.