Related papers: Some (non-)elimination results for curves in geome…
Quantifier-elimination or model-completeness of the affine part of some classical first order theories are proved.
This is a survey of some results on the structure and classification of normal analytic compactifications of C^2. Mirroring the existing literature, we especially emphasize the compactifications for which the curve at infinity is…
We demonstrate that pure C*-algebras form a robust class by proving that pureness follows from very weak comparison and divisibility properties. Using this, we show that every simple, non-elementary C*-algebra with a unique quasitrace and…
In this paper we characterize the irreducible curves lying in $C^{(2)}$. We prove that a curve $B$ has a degree one morphism to $C^{(2)}$ with image a curve of degree $d$ with irreducible preimage in $C\times C$ if and only if there exists…
We classify 'primitive normal compactifications' of C^2 (i.e. normal analytic surfaces containing C^2 for which the curve at infinity is irreducible), compute the moduli space of these surfaces and their groups of auomorphisms. In…
We prove that a Jordan $\calc^1$-curve in the plane contains any non-flat triangle up to translation and homothety with positive ratio. This is false if the curve is not $C^1$. The proof uses a bit configuration spaces, differential and…
Using the Kodaira dimension and the fundamental group of X, we succeed in classifying algebraic surfaces which are dominable by C^2 except for certain cases in which X is an algebraic surface of Kodaira dimension zero and the case when X is…
We prove two theorems on the removal of singularities on the boundary of a pseudo-holomorphic curve. In one theorem, we need no apriori assumption on the area of the curve. The proof uses a doubling argument with the goal of converting…
We show that for any two convex curves $C_1$ and $C_2$ in $\mathbb R^d$ parametrized by $[0,1]$ with opposite orientations, there exists a hyperplane $H$ with the following property: For any $t\in [0,1]$ the points $C_1(t)$ and $C_2(t)$ are…
In this paper, we show that Severi varieties parameterizing irreducible reduced planar curves of a given degree and geometric genus are either empty or irreducible in any characteristic. Following Severi's original idea, this gives a new…
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…
We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character $\aleph_1$ embed into the Calkin algebra, $Q(H)$. Together with other results, this shows that each of the following…
We study atom canonicity for several varieties of cylindric like algebras that contain properly the variety of representable algebras. The algebras in such varieties have relativized representations, and we thereby obtain many omitting…
The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also…
In the open problem of classification of rational cuspidal plane curves it is essential to find good necessary conditions on the type of singularities of a curve C in order C to exit. Motivated by the study of the Seiberg-Witten invariant…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
A longstanding open question in sub-Riemannian geometry is the smoothness of (the arc-length parameterization of) length-minimizing curves. In [6], this question is negative answered, with an example of a $C^2$ but not $C^3$…
We provide the full classification of algebraic embeddings of $\mathbb{C}^*$ into $\mathbb{C}^2$ satisfying certain regularity condition, which conjecturally holds for all algebraic maps from $\mathbb{C}^*$ into $\mathbb{C}^2$. The…
This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of…
Based on a more careful canonical analysis, we motivate a reduced quantization - in the sense of superspace quantization - of slightly inhomogeneous cosmology in place of the Dirac quantization in the existing literature, and provide it in…