Related papers: Smooth connectivity in real algebraic varieties

The main question we target is the following: If one fixes a topological type of a complex normal surface singularity then what are the possible analytic types supported by it, and/or, what are the possible values of the geometric genus? We…

A roadmap for a semi-algebraic set $S$ is a curve which has a non-empty and connected intersection with all connected components of $S$. Hence, this kind of object, introduced by Canny, can be used to answer connectivity queries (with…

This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…

We produce algorithms to detect whether a complex affine variety computed and presented numerically by the machinery of numerical algebraic geometry corresponds to an associated component of a polynomial ideal.

We show that any smooth and proper dg-algebra (over some base ring k) is determined, up to quasi-isomorphism, by its underlying A_n-algebra, for a certain integer n. Similarly, any morphism between two smooth and proper dg-algebras is…

We study natural additional structures on real algebraic surfaces with trivial first homology mod 2 of the complexification. If the set of real points realizes the zero of the second homology mod 2 of the complexification, then the set of…

We stratify families of projective and very affine hypersurfaces according to their topological Euler characteristic. Our new algorithms compute all strata using algebro-geometric techniques. For very affine hypersurfaces, we investigate…

We provide a complete geometric solution to the problem of differentiating simplicial manifolds, extending classical Lie theory and complementing existing homotopical and formal approaches within a unifying framework. First, we establish a…

We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in…

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…

This paper introduces a material-aware strength-of-connection measure for smoothed aggregation algebraic multigrid methods, aimed at improving robustness for scalar partial differential equations with heterogeneous and anisotropic material…

We present a simple, accurate method for computing singular or nearly singular integrals on a smooth, closed surface, such as layer potentials for harmonic functions evaluated at points on or near the surface. The integral is computed with…

We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal…

We study character varieties arising as moduli of representations of an orientable surface group into a reductive group $G$. We first show that if $G/Z$ acts freely on the representation variety, then both the representation variety and the…

We consider arrangements of n connected codimensional one submanifolds in closed d-dimensional manifold M. Let f be the number of connected components of the complement in M to the union of submanifolds. We prove the sharp lower bound for f…

The moduli space of smooth real plane quartic curves consists of six connected components. We prove that each of these components admits a real hyperbolic structure. These connected components correspond to the six real forms of a certain…

We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by P. Deligne in the context of the mixed…

We give an alternative argument for the classification of real bundle pairs over smooth symmetric surfaces and extend this classification to nodal symmetric surfaces. We also classify the homotopy classes of automorphisms of real bundle…

Algebraic connectivity is one way to quantify graph connectivity, which in turn gauges robustness as a network. In this paper, we consider the problem of maximising algebraic connectivity both local and globally over all simple, undirected,…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…