Related papers: Eighth problem of the Arnold trivium
We classify minimal complex surfaces of general type with $p_g=q=3$. More precisely, we show that such a surface is either the symmetric product of a curve of genus 3 or a free $\Z_2-$quotient of the product of a curve of genus 2 and a…
We exhibit central simple algebras over the function field of a diagonal quartic surface over the complex numbers that represent the 2-torsion part of its Brauer group. We investigate whether the 2-primary part of the Brauer group of a…
We present a simple proof of the surface classification theorem using normal curves. This proof is analogous to Kneser's and Milnor's proof of the existence and uniqueness of the prime decomposition of 3-manifolds. In particular, we do not…
We construct a new family of simply connected minimal complex surfaces with $p_g=1$, $q=0$, and $K^2=8$ using a $\mathbb{Q}$-Gorenstein smoothing theory.
For each closed orientable surface we introduce a simplical complex with some additional structure which is a version of the complex of curves of this surface adjusted to investigation of its Torelli group. We call this complex the Torelli…
The Gaussian curvature of a two-dimensional Riemannian manifold is uniquely determined by the choice of the metric. The formulas for computing the curvature in terms of components of the metric, in isothermal coordinates, involve the…
Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the…
We give a new and constructive proof of the existence of a special class of univariate polynomials whose graphs have preassigned shapes. By definition, all the critical points of a Morse polynomial function are real and distinct and all its…
Let $f:T^2\to \mathbb{R}$ be Morse function on $2$-torus $T^2,$ and $\mathcal{O}(f)$ be the orbit of $f$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(T^2)$ on $C^{\infty}(T^2)$. Let also $\mathcal{O}_f(f,X)$…
The linear orbit of a degree d hypersurface in $\mathbb{P}^n$ is its orbit under the natural action of PGL(n+1), in the projective space of dimension $N =\binom{n+d}{d} - 1$ parameterizing such hypersurfaces. This action restricted to a…
We obtain sharp upper and lower bounds on a certain four-dimensional Frobenius number determined by a prime pair $(p,q)$, $2<p<q$, including exact formulae for two infinite subclasses of such pairs. Our work is motivated by the study of…
Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the…
Let V $\subset$ C n be an equidimensional algebraic set and g be an n-variate polynomial with rational coefficients. Computing the critical points of the map that evaluates g at the points of V is a cornerstone of several algorithms in real…
We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere…
We use the square peg problem for smooth curves to prove a generalized table Theorem for real valued functions on Riemannian surfaces with odd Euler characteristic. We then use this result to prove the table conjecture for even functions on…
One of the general problems in algebraic geometry is to determine algorithmically whether or not a given geometric object, defined by explicit polynomial equations (e.g. a curve or a surface), satisfies a given property (e.g. has…
We study analytic surfaces in 3-dimensional Euclidean space containing two circular arcs through each point. The problem of finding such surfaces traces back to the works of Darboux from XIXth century. We reduce finding all such surfaces to…
We explicitly find an equation and a projective embedding of the Kummer surface associated to the Jacobian of a curve of genus 2 given by an equation of the form y^2 + h(x)y = f(x) over an arbitrary ground field as well as several maps that…
We study a new type of normal form at a critical point of an analytic Hamiltonian. Under a Bruno condition on the frequency, we prove a convergence statement to the normal form. Using this result, we prove the Herman invariant tori…
Using the variational method, Chenciner and Montgomery (2000 Ann. Math. 152 881--901) proved the existence of an eight-shaped periodic solution of the planar three-body problem with equal masses. Just after the discovery, Gerver have…