Related papers: Complexities and Representations of F-Borel Spaces

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving…

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…

We give, for each level of complexity L, a Hurewicz-like characterization of the Borel subsets with countable sections of a product of two Polish spaces that cannot become in L by changing the two Polish topologies.

We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…

This expository article is an expanded version of talks given at the "Current Developments in Mathematics, 2002" conference. It gives an introduction to the (generalized) conjecture of Rapoport and Goresky-MacPherson which identifies the…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

In part I we reduced the arithmetic (characteristic zero) version of the P \not \subseteq NP conjecture to the problem of showing that a variety associated with the complexity class NP cannot be embedded in the variety associated the…

We consider classification problems for manifolds and discrete subgroups of Lie groups from a descriptive set-theoretic point of view. This work is largely foundational in conception and character, recording both a framework for general…

The generalization of the Satake--Baily--Borel compactification to arbitrary period maps has been reduced to a certain extension problem on certain "neighborhoods at infinity". Extension problems of this type require that the neighborhood…

A new notion of cohomology is introduced for MT-spaces, which are measurable and topological spaces whose measurable structure may not agree with the Borel $\sigma$-algebra of their topology. The main examples of MTspaces are measurable…

We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped…

We consider smooth, complex quasi-projective varieties $U$ which admit a compactification with a boundary which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative…

This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von…

We establish some upper and lower bounds of the rational topological complexity for certain classes of elliptic spaces. Our techniques permit us in particular to show that the rational topological complexity coincides with the dimension of…

In this paper an extended CPR decomposition theorem for Finsler symmetric spaces of semi-negative curvature in the context of reductive structures is proven. This decomposition theorem is applied to give a geometric description of the…

Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a…

We study the process of compactification as a topology change. It is shown how the mediating spacetime topology, or cobordism, may be simplified through surgery. Within the causal Lorentzian approach to quantum gravity, it is shown that any…

Topological complexity is a numerical homotopy invariant that measures the instability of motion planning in a space. To study the topological complexity of non-simply connected spaces, Costa and Farber introduced a cohomology class whose…

Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…