Related papers: Eighth problem of the Arnold trivium

This paper studies convex Generalized Nash Equilibrium Problems (GNEPs) that are given by polynomials. We use rational and parametric expressions for Lagrange multipliers to formulate efficient polynomial optimization for computing…

We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense…

We describe some theoretical results on triangulations of surfaces and we develop a theory on roots, decompositions and genus-surfaces. We apply this theory to describe an algorithm to list all triangulations of closed surfaces with at most…

For a genus $2$ curve $C$ over $\mathbb{Q}$ whose Jacobian $A$ admits only trivial geometric endomorphisms, Serre's open image theorem for abelian surfaces asserts that there are only finitely many primes $\ell$ for which the Galois action…

We prove a complexity dichotomy theorem for the eight-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or \#P-hard. The dichotomy criterion…

We consider Cannon cone types for a surface group of genus $g$, and we give algebraic criteria for establishing the cone type of a given cone and of all its sub-cones. We also re-prove that the number of cone types is exactly $8g(2g -…

We address the problem of the maximal finite number of real points of a real algebraic curve (of a given degree and, sometimes, genus) in the projective plane. We improve the known upper and lower bounds and construct close to optimal…

We present a generic solution to the fundamental problem of how to connect two points in a plane by a smooth curve that goes through these points with a given slope. The smoothness of any curve depends both on its curvature and its length.…

We investigate the logarithmic bundles associated to arrangements of hypersurfaces with a fixed degree in a smooth projective variety. We then specialize to the case when the variety is a quadric hypersurface and a multiprojective space to…

Given a smooth positive function $K$ on the standard sphere $(\mathbb{S}^n,g_0)$, we use Morse theoretical methods and counting index formulae to prove that, under generic conditions on the function $K$, there are arbitrarily many metrics…

Let $d\geq 1$ be an integer and let $p$ be a rational prime. Recall that $p$ is a torsion prime of degree $d$ if there exists an elliptic curve $E$ over a degree $d$ number field $K$ such that $E$ has a $K$-rational point of order $p$.…

The Prym-Green conjecture predicts that the resolution of a general level p paracanonical curve of genus g is natural. Using decomposable ruled surfaces over an elliptic curve, we provide a complete solution (that is, for all levels) to…

In this paper the number of ways to glue together several polygons into a surface of genus $g$ has been investigated. We've given an elementary proof on the formula for the generating function $\mathbf{C}_g^{[2]}(z)$ of the number of…

We present a computational scheme that derives a global polynomial level set parametrisation for smooth closed surfaces from a regular surface-point set and prove its uniqueness. This enables us to approximate a broad class of smooth…

There are two problems Analytical Geometry with facing anyone who studies this discipline: define the nature of the locus represented by the general equation 2do degree in two or three variables: That curve represents the plane? What…

We give examples of smooth plane quartics over $\mathbb{Q}$ with complex multiplication over $\overline{\mathbb{Q}}$ by a maximal order with primitive CM type. We describe the required algorithms as we go, these involve the reduction of…

This paper develops a unified theory of natural superconvergence points for polynomial spline approximations to second-order elliptic problems. Beginning with the one-dimensional case, we establish that when a point $x_0$ is a local…

We consider a finite analytic morphism $\varphi =(f,g)$ defined from a complex analytic normal surface $(Z,z)$ to ${\mathbb C}^2$. We describe the topology of the image by $\varphi$ of a reduced curve on $(Z,z)$ by means of iterated pencils…

In this paper we explore the generalized Nash problem for arcs on a germ of smooth surface: given two prime divisors above its special point, to determine whether the arc space of one of them is included in the arc space of the other one.…

Let k be a field of any characteristic and R = k[x,y,z]/(f) be a graded normal hypersurface. We call (a,b,c; h) = deg(x,y,z;f) the type of R with gcd(a,b,c)=1. Then the a-invariant a(R) is given by h - (a+b+c). The classification of such R…