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

Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes…

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

Nonlinear programming is explicitly analyzed via a novel perspective/method and from a bottom-up manner. The philosophy is based on the recent findings on convex quadratic equation (CQE), which help clarify a geometric interpretation that…

We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.

We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra…

We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…

Let C be a 2-connected Gorenstein curve either reduced or contained in a smooth algebraic surface and let S be a subcanonical cluster (i.e. a 0-dim scheme such that the space H^0(C, I_S K_C) contains a generically invertible section). Under…

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite…

We prove that for any algebraic plane curve $C$ of degree at most $5$, the fundamental group $\pi_1(\mathbb CP^2\setminus C)$ is linear and virtually polyfree. As a consequence, we answer positively the open question on the residual…

Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

In this paper, we prove that the world of near-vector spaces allows us to work with non-linear problems and yet, gives access to most of the tools linear algebra has to offer. We establish some fundamental results for near-vector spaces…

The complement of an arrangement of hyperplanes in $\mathbb C^n$ has a natural bordification to a manifold with corners formed by removing (or "blowing up") tubular neighborhoods of the hyperplanes and certain of their intersections. When…

Let $S$ be a smooth algebraic surface in $\mathbb{P}^3(\mathbb{C})$. A curve $C$ in $S$ has a cohomology class $\eta_C \in H^1 \hspace{-3pt}\left( \Omega^1_S \right)$. Define $\alpha(C)$ to be the equivalence class of $\eta_C$ in the…

Two sets of conditions are presented for the compactness of a real plane algebraic curve, one sufficient and one necessary, in terms of the Newton polygon of the defining polynomial.

We show the existence of toric resolution tower for an irreducible curve singularity which is explicitly described by Tschirnhausen polynomials. We deduce for a smooth affine plane curve from its topology restrictions for its singularity at…

Let $C$ be a smooth projective absolutely irreducible curve of genus at least 2, defined over the rationals. For a number field $L$, we define the set of $L$-new points on $C$ to be $C(L)_{new} = \{P \in C(L) : \mathbb{Q}(P)=L\}$; this is…

We announce two breakthrough results concerning important questions in the Theory of Computational Complexity. In this expository paper, a systematic and comprehensive geometric characterization of the Subset Sum Problem is presented. We…

We introduce a notion of a uniform structure on the set of all representations of a given separable, not necessarilly commutative $C^*$-algebra $\mathfrak{A}$ by introducing a suitable family of metrics on the set of representations of…