Related papers: The Complexity of Arc-Connectedness Relation in th…
We investigate Borel reducibility between equivalence relations $E(X,p)=X^{\Bbb N}/\ell_p(X)$'s where $X$ is a separable Banach space. We show that this reducibility is related to the so called H\"older$(\alpha)$ embeddability between…
We investigate plane curves intersecting in at most two unibranched points to study the algebraic exceptional set appearing in standard conjectures of diophantine and hyperbolic geometry. Our first result compares the local geometry of two…
We compute here the Borel complexity of the relation of isometry between separable Banach spaces, using results of Gao, Kechris and Weaver.
We consider the problem of answering connectivity queries on a real algebraic curve. The curve is given as the real trace of an algebraic curve, assumed to be in generic position, and being defined by some rational parametrizations. The…
We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…
Assuming PFA, every uncountable subset E of the plane meets some C^1 arc in an uncountable set. This is not provable from MA(aleph_1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C^2 arcs,…
An arc is a set of vectors of the $k$-dimensional vector space over the finite field with $q$ elements ${\mathbb F}_q$, in which every subset of size $k$ is a basis of the space, i.e. every $k$-subset is a set of linearly independent…
Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal…
We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on…
A standard question in real algebraic geometry is to compute the number of connected components of a real algebraic variety in affine space. By adapting an approach for determining connectivity in complements of real hypersurfaces by Hong,…
We study the homology groups of the complement of a complexified real line arrangement with coefficients in complex rank-one local systems. Using Borel--Moore homology, we establish an algorithm computing their dimensions via the real…
A selection of basic results on Borel reducibility of ideals and equivalence relations, especially those with comparably short proofs. This is an unfinished text as yet. Some proofs have missing parts and loose ends. [email protected] and…
We prove that any divisible dynamical simplex is the set of invariant measures of some Toeplitz subshift. We apply our construction to prove that orbit equivalence of Toeplitz subshifts is Borel bireducible to the universal equivalence…
Closely packed conformations of helices formed on the ideal rope are considered. The pitch versus radius relations which define a closely packed helix are determined. The relations stem from the turn-to-turn distance and curvature limiting…
The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…
In this paper we give necessary and sufficient conditions for a connection in a plane bundle above a surface to be locally metric. These conditions are easy to be verified in any local chart. Also as a global result we give a necessary…
Using elementary number theory, we prove several results about the complexity of CR mappings between spheres. It is known that CR mappings between spheres, invariant under finite groups, lead to sharp bounds for degree estimates on real…
We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive…
In 2020, Calderoni, Marker, Motto Ros and Shani asked what the Borel complexity of the isomorphism relation of Archimedean orders on $\mathbb{Q}^n$ is. We answer this question by proving that the isomorphism relation of Archimedean orders…
Let $\xi\geq 1$ be a countable ordinal. We study the Borel subsets of the plane that can be made ${\bf\Pi}^0_\xi$ by refining the Polish topology on the real line. These sets are called potentially ${\bf\Pi}^0_\xi$. We give a Hurewicz-like…