Related papers: The Class of Countable Projective Planes is Borel …

Complementing results of Hacking and Prokhorov, we determine in an explicit manner all log terminal, rational, degenerations of the projective plane that allow a non-trivial torus action.

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by…

We prove that in some cases definable chains of Borel partial orderings are necessarily countably cofinal. This includes the following cases: analytic chains, ROD chains in the Solovay model, and $\Sigma^1_2$ chains in the assumption that…

The concept of an omnigenous locally finite group was introduced in [2] as a generalization of Hall's universal countable locally finite group. In this paper we show that the class of all countable omnigenous locally finite groups is Borel…

We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective…

We show that for any infinite countable group $G$ and for any free Borel action $G \curvearrowright X$ there exists an equivariant class-bijective Borel map from $X$ to the free part $\mathrm{Free}(2^G)$ of the $2$-shift $G \curvearrowright…

We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be…

We discover new P-time computable six-vertex models on planar graphs beyond Kasteleyn's algorithm for counting planar perfect matchings. We further prove that there are no more: Together, they exhaust all P-time computable six-vertex models…

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to…

It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite…

Let $1\leq p\leq n$ be two positive integers. For a linearly nondegenerate holomorphic mapping $f\colon\mathbb{C}^p\rightarrow\mathbb{P}^n(\mathbb{C})$ of maximal rank intersecting a family of hyperplanes in general position, we obtain a…

For every complete toric variety, there exists a projective toric variety which is isomorphic to it in codimension one. In this paper, we show that every smooth non-projective complete toric threefold of Picard number at most five becomes…

We obtain a quantitative version of the classical Chevalley-Weil theorem for curves. Let $\phi : \tilde{C} \to C$ be an unramified morphism of non-singular plane projective curves defined over a number field $K$. We calculate an effective…

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Let $H$ and $K$ be the bosonizations of the Jordan and super Jordan plane by the group algebra of a cyclic group; the algebra $K$ projects onto an algebra $L$ that can be thought of as the quantum Borel of $\mathfrak{sl}(2)$ at $-1$. The…

Let $P_m(J)$ denote a simplicial complex obtainable from consecutive wedge operations from an $m$-gon. In this paper, we completely classify toric manifolds over $P_m(J)$ and prove that all of them are projective. As a consequence, we…

We show the set of Hopfian countable groups is a complete co-analytic subset of the standard Borel space of countable groups, resolving a question posed by Simon Thomas (https://doi.org/10.1007/s00153-017-0597-9).