Related papers: Implicitization of rational maps
The Thurston compactification of Teichmuller spaces has been generalized to many different representation spaces by J. Morgan, P. Shalen, M. Bestvina, F. Paulin, A. Parreau and others. In the simplest case of representations of fundamental…
We adapt a construction of Gabrielov and Vorobjov for use in the symmetric case. Gabrielov and Vorobjov had developed a means by which one may replace an arbitrary set $S$ definable in some o-minimal expansion of $\mathbb{R}$ with a compact…
In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical…
The convergence rate of various first-order optimization algorithms is a pivotal concern within the numerical optimization community, as it directly reflects the efficiency of these algorithms across different optimization problems. Our…
Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v]…
In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…
We define the notion of {\em rational presentation of a complete metric space} in order to study metric spaces from the algorithmic complexity point of view. In this setting, we study some presentations of the space $\czu$ of uniformly…
Let $R$ be a standard graded algebra over a field $k$. We prove an Auslander-Buchsbaum formula for the absolute Castelnuovo-Mumford regularity, extending important cases of previous works of Chardin and R\"omer. For a bounded complex of…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
The purpose of this paper is to link anisotropy properties of an algebraic group together with compactness issues in the topological group of its rational points. We nd equivalent conditions on a smooth ane algebraic group scheme over a…
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…
Implicit 3D surface reconstruction of an object from its partial and noisy 3D point cloud scan is the classical geometry processing and 3D computer vision problem. In the literature, various 3D shape representations have been developed,…
We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data,…
We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can…
We present a new eigenvalue method for solving a system of Laurent polynomial equations defining a zero-dimensional reduced subscheme of a toric compactification $X$ of $(\mathbb{C} \setminus \{0\})^n$. We homogenize the input equations to…
We describe two geometrically meaningful compactifications of the moduli space of elliptic K3 surfaces via stable slc pairs, for two different choices of a polarizing divisor, and show that their normalizations are two different toroidal…
Composite minimization is a powerful framework in large-scale convex optimization, based on decoupling of the objective function into terms with structurally different properties and allowing for more flexible algorithmic design. We…
The numerical solution of linear discrete ill-posed problems typically requires regularization, i.e., replacement of the available ill-conditioned problem by a nearby better conditioned one. The most popular regularization methods for…
We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we…
Motivated by some questions in the path integral approach to (topological) gauge theories, we are led to address the following question: given a smooth map from a manifold $M$ to a compact group $G$, is it possible to smoothly `diagonalize'…