相关论文: Canonization of smooth equivalence relations on in…

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation…

Let $E\subseteq F$ and $E'\subseteq F'$ be Borel equivalence relations on the standard Borel spaces $X$ and $Y$, respectively. The pair $(E,F)$ is simultaneously Borel reducible to the pair $(E',F')$ if there is a Borel function $f:X\to Y$…

A notion known as smooth envelope, or superposition closure, appears naturally in several approaches to generalized smooth manifolds which were proposed in the last decades. Such an operation is indispensable in order to perform…

Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of…

We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…

In this paper we complete the attempt of H. Lefmann to show that Borel equivalence relations on the $n$-element subsets of $2^{\omega}$, that respect an order type, have a finite Ramsey basis.

The following will be shown: Let $I$ be a $\sigma$-ideal on a Polish space $X$ with the property that the associated forcing of $I^+$ Borel subsets ordered by $\subseteq$ is a proper forcing. Let E be an analytic or coanalytic equivalence…

Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…

Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…

In this paper we show that any Noetherian $F$-finite scheme has a dualizing complex $\omega^{\bullet}_{X}$ with the property that for all finite type maps $f \colon X \to Y$ between $F$-finite Noetherian schemes there is a canonical…

Let $(G,H,\sigma)$ be a symmetric pair and $\mathfrak{g}=\mathfrak{m}\oplus\mathfrak{h}$ the canonical decomposition of the Lie algebra $\mathfrak{g}$ of $G$. We denote by ${\nabla}^0$ the canonical affine connection on the symmetric space…

A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom(…

We show that if E is a Frechet G\rtimes S(M)-module, for which the canonical map from the projective completion G\rtimes S(M) {\widehat \otimes} E to E is surjective, then every element of E can be written as a finite sum of elements of the…

This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $\mu$ then…

For most positive integer pairs $(a,b)$, the topological space $#a{\mathbb C \mathbb P}^2#b{\bar{\mathbb C \mathbb P^2}}$ is shown to admit infinitely many inequivalent smooth structures which dissolve upon performing a single connected sum…

In this paper, we show that the canonical divisor of a smooth toroidal compactification of a complex hyperbolic manifold must be nef if the dimension is greater or equal to three. Moreover, if $n\geq 3$ we show that the numerical dimension…

The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5…

We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an $\omega$-Erdos cardinal, we determine which of these theories are Borel complete. We develop machinery,…

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal…