arXiv research

Solves infinite family of cubic polynomial problems.

We describe the action of the automorphism group of the complex cubic x^2+y^2+z^2-xyz-2 on the homology of its fibers. This action includes the action of the mapping class group of a punctured torus on the subvarieties of its SL(2,C) character variety given by fixing the trace of the peripheral element (so-called "rela…

This paper refines homotopy theory for cubical sets and uniform spaces.

We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally $\mathrm{CAT}(0)$ cubical complex $T_{X}$ and an acyclic map $t_{X} : T_{X} \to X$ such tha…

Consider the family of smooth cubic surfaces which can be realized as threefold-branched covers of $\mathbb{P}^{2}$, with branch locus equal to a smooth cubic curve. This family is parametrized by the space $\mathcal{U}_{3}$ of smooth cubic curves in $\mathbb{P}^{2}$ and each surface is equipped with a $\mathbb{Z}/3\ma…

We prove a geometric model for HHS hierarchies as CAT(0) cube complexes.

New bicombings found for mapping class groups and Teichmüller spaces.

We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This map arises from the construction of a complete hyperbolic affine sphere with pres…

We classify all complete projective special real manifolds with reducible cubic potential, obtaining four series. For two of the series the manifolds are homogeneous, for the two others the respective automorphism group acts with co-homogeneity one. Complete projective special real manifolds give rise to complete quate…

Survey discusses new ideas in geometric group theory and their applications.

In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a numb…

Study of dynamics on cubic surfaces and their connection to Painlevé 6 Equation.

The Cayley--Salmon theorem implies the existence of a 27-sheeted covering space specifying lines contained in smooth cubic surfaces over $\mathbb{C}$. In this paper we compute the rational cohomology of the total space of this cover, using the spectral sequence in the method of simplicial resolution developed by Vassil…

Study of psc metrics via block diffeomorphisms and cubical sets.

In this article we prove that, for an oriented PL $n$-manifold $M$ with $m$ boundary components and $d_0\in \mathbb N$, there exist mutually disjoint closed Euclidean balls and a $\mathsf K$-quasiregular mapping $M \to \mathbb S^n \setminus \mathrm{int}(B_1\cup \cdots \cup B_m)$ of degree at least $d_0$. The result is …

Let $S$ be an elliptic surface over a smooth curve $C$ with a section $O$. We denote its generic fiber by $E_S$. For a divisor $D$ on $S$, we canonically associate a $C(C)$-rational point $P_D$. In this note, we give a description of $P_D$ of $E_S$, when the rank of the group of $C(C)$-rational points is one. We apply …

We establish explicit formulae for canonical factorizations of extended solutions corresponding to harmonic maps of finite uniton number into the exceptional Lie group $G_2$ in terms of the Grassmannian model for the group of based algebraic loops in $G_2$. A description of the ``Frenet frame data" for such harmonic ma…

Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the real-projective structure as the conformal structure is fixed and the cubic diffe…

{\em Riemannian cubics} are curves in a manifold $M$ that satisfy a variational condition appropriate for interpolation problems. When $M$ is the rotation group SO(3), Riemannian cubics are track-summands of {\em Riemannian cubic splines}, used for motion planning of rigid bodies. Partial integrability results are know…

Method computes harmonic and conformal maps from point clouds.

Sub-Riemannian cubics are a generalisation of Riemannian cubics to a sub-Riemannian manifold. Cubics are curves which minimise the integral of the norm squared of the covariant acceleration. Sub-Riemannian cubics are cubics which are restricted to move in a horizontal subspace of the tangent space. When the sub-Riemann…

In this paper by using Teichmuller theory of a sphere with four holes/orbifold points, we obtain a system of flat coordinates on the general affine cubic surface having a D_4 singularity at the origin. We show that the Goldman bracket on the geodesic functions on the four-holed/orbifold sphere coincides with the Etingo…

The study describes special real manifolds and invariant admissible cubics in Vinberg cones.

Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the mapping class group has a finite generating set whose size grows cubically with respect to the genus of the surface. Our main tool is a new space called the handle graph on which the Torelli group acts cocompactly.

The cubic lattice stick index of a knot type is the least number of sticks necessary to construct the knot type in the 3-dimensional cubic lattice. We present the cubic lattice stick index of various knots and links, including all (p,p+1)-torus knots, and show how composing and taking satellites can be used to obtain t…

This paper discusses reformulations of the problem of coloring plane maps with four colors. We give a number of alternate ways to formulate the coloring problem including a tautological expansion similar to the Penrose Bracket, and an extension of the Penrose Bracket that counts colorings of arbitrary cubic graphs pres…

According to our previous results, the conjugacy class of the involution induced by the complex conjugation in the homology of a real non-singular cubic fourfold determines the fourfold up to projective equivalence and deformation. Here, we show how to eliminate the projective equivalence and to obtain a pure deformati…

The paper studies conformally flat cubic metrics with isotropic curvature, finding they must be Minkowski.

Cubic fourfolds have K-stability and admit Kähler-Einstein metrics.

The study shows that certain cubical presentations lead to aspherical spaces.

We give an intrinsic definition of (affine very) special real manifolds and realise any such manifold $M$ as a domain in affine space equipped with a metric which is the Hessian of a cubic polynomial. We prove that the tangent bundle $N=TM$ carries a canonical structure of (affine) special Kähler manifold. This gives a…

New cubic forms linked to η-invariants and mod 2 indices.

It is shown that there exist non-singular cubic surfaces in CP^3 containing 5 twistor lines. This is the maximum number of twistor fibres that a non-singular cubic can contain. Cubic surfaces in CP^3 with 5 twistor lines are classified up to transformations preserving the conformal structure of S^4.

We study global log canonical thresholds of cubic surfaces with canonical singularities, and we prove the existence of a Kahler-Einstein metric on two singular cubic surfaces.

It is known that the fundamental group homomorphism $π_1(T^2) \to π_1(S^3\setminus K)$ induced by the inclusion of the boundary torus into the complement of a knot $K$ in $S^3$ is a complete knot invariant. Many classical invariants of knots arise from the natural (restriction) map induced by the above homomorphism on …

Let $ρ:(D^2)^m\to I^m$ be the orbit map for the diagonal action of the torus $T^m$ on the unit poly-disk $(D^2)^m$, $I^m=[0,1]^m$ is the unit cube. Let $C$ be a cubical subcomplex in $I^m$. The moment-angle complex $\ma(C)$ is a $T^m$-invariant bigraded cellular decomposition of the subset $ρ^{-1}(C)\subset(D^2)^m$ wit…

Motivated by applications in computational anatomy, we consider a second-order problem in the calculus of variations on object manifolds that are acted upon by Lie groups of smooth invertible transformations. This problem leads to solution curves known as Riemannian cubics on object manifolds that are endowed with norm…

A natural family of affine cubic surfaces arises from SL(2)-characters of the 4-holed sphere and the 1-holed torus. The ideal locus is a tritangent plane which is generic in the sense that the cubic curve at infinity consists of three lines pairwise intersecting in three double points. We show that every affine cubic s…

Classifies hexagonal circular 3-webs with cubic polar curves.

We show that, for Finsler spaces with cubic metric, Landsberg spaces are Berwaldian. Also, for decomposable metrics, we determine specific conditions for a space with cubic metric to be of Berwald type, thus refining the result in [6].

Approximating complex curves with simple parametric curves is widely used in CAGD, CG, and CNC. This paper presents an algorithm to compute a certified approximation to a given parametric space curve with cubic B-spline curves. By certified, we mean that the approximation can approximate the given curve to any given pr…

We give a generalization of the well-known result of E. Cartan on isoparametric cubics by showing that a homogeneous cubic polynomial solution of the eiconal equation $|\nabla f|^2=9|x|^4$ must be rotationally equivalent to either $x_n^3-3x_n(x_1^2+...+x_{n-1}^2)$, or to one of four exceptional Cartan cubic polynomials…

We study minimal harmonic maps $g: {\mathbb{C}} \to SO(3) \backslash SL(3,{\mathbb{R}})$, parameterized by polynomial cubic differentials $P$ in the plane. The asymptotic structure of such a $g$ is determined by a convex polygon $Y(P)$ in ${\mathbb{RP}^2}$. We give a conjectural method for determining $Y(P)$ by solving…

Study on choosing points on cubic curves, answering some questions about their flexibility.

Researchers classify and visualize 5-cube cubical surfaces.

No nontrivial automorphisms for cubic surfaces moduli space.

ParamBoost uses gradient boosting to create interpretable non-linear models with constraints.

Gradient descent dynamics in quadratic regression models are analyzed, revealing five phases: monotonic, catapult, periodic, chaotic, and divergent.