Related papers: Some (non-)elimination results for curves in geome…

We are interested in the study of caustics by reflection of irreducible algebraic planar curves (in the complex projective plane). We prove the birationality of the caustic map (for a generic light position). We also give simple formulas…

Previous work of the author [39] showed that the Homomorphism Preservation Theorem of classical model theory remains valid when its statement is restricted to finite structures. In this paper, we give a new proof of this result via a…

In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the…

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

An example is given of a simple, unital C*-algebra which contains an infinite and a non-zero finite projection. This C*-algebra is also an example of an infinite simple C*-algebra which is not purely infinite. A corner of this C*-algebra is…

We prove that for a finite first order structure $\mathbf{A}$ and a set of first order formulas $\Phi$ in its language with certain closure properties, the finitary relations on $A$ that are definable via formulas in $\Phi$ are uniquely…

In the current paper we show that the dimension of a family $V$ of irreducible reduced curves in a given ample linear system on a toric surface $S$ over an algebraically closed field is bounded from above by $-K_S.C+p_g(C)-1$, where $C$…

Let $M$ be the moduli space of rank $2$ stable bundles with fixed determinant of degree $1$ on a smooth projective curve $C$ of genus $g\ge 2$. When $C$ is generic, we show that any elliptic curve on $M$ has degree (respect to…

An alternative, geometrical proof of a known theorem concerning the decomposition of positive maps of the matrix algebra $M_{2}(\mathbb{C})$ has been presented. The premise of the proof is the identification of positive maps with operators…

There are various statements in the physics literature about the stratification of quantum states, for example into orbits of a unitary group, and about generalized differentiable structures on it. Our aim is to clarify and make precise…

We give an explicit positive answer, in the case of reduced curve singularities, to a question of B. Teissier about the existence of a toric embedded resolution after reembedding. In the case of a curve singularity $(C,O)$ contained in a…

We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first…

This paper proves Buss's hierarchy of bounded arithmetics $S^1_2 \subseteq S^2_2 \subseteq \cdots \subseteq S^i_2 \subseteq \cdots$ does not entirely collapse. More precisely, we prove that, for a certain $D$, $S^1_2 \subsetneq S^{2D+5}_2$…

Farin proposed a method for designing Bezier curves with monotonic curvature and torsion. Such curves are relevant in design due to their aesthetic shape. The method relies on applying a matrix M to the first edge of the control polygon of…

The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional…

The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints that are information-theoretic in nature: (1)…

We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality…