Related papers: Manifold classification from the descriptive viewp…

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…

We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than…

We show that the classification up to homeomorphism of closed topological nonorientable 4-manifolds with fundamental group of order 2 due to Hambleton-Kreck-Teichner can be used to classify a large set of such 4-manifolds with cyclic…

We consider principal fibre bundles with a given connection and construct almost complex structures on the total space if the adjoint bundle is isomorphic to the tangent bundle of the base. We derive the integrability condition. If the…

In this paper, we investigate the computational complexity of isomorphism testing for finite groups and quasigroups, given by their multiplication tables. We crucially take advantage of their various decompositions to show the following: -…

All results concern characteristic 2. Two procedures that to every simple Lie algebra assign simple Lie superalgebras, most of the latter new, are offered. We prove that every simple finite-dimensional Lie superalgebra is obtained as the…

The long standing classification problem in the theory of Heegaard splittings of 3-manifolds is to exhibit for each closed 3-manifold a complete list, without duplication, of all its irreducible Heegaard surfaces, up to isotopy. We solve…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…

The relation between manifold topology, observables and gauge group is clarified on the basis of the classification of the representations of the algebra of observables associated to positions and displacements on the manifold. The guiding,…

A manifold $M^n$ inherits a labeled $n$-dimensional graph $\widetilde{M}[G^L]$ structure consisting of its charts. This structure enables one to characterize fundamental groups of manifolds, classify those of locally compact manifolds with…

In the focus of our paper is a system of axioms that serves as a basis for introducing structural data for $(2n,k)$-manifolds $M^{2n}$, where $M^{2n}$ is a smooth, compact $2n$-dimensional manifold with a smooth effective action of the…

For a compact oriented smooth $n$-manifold $M$ and a codimension-$1$ homology class $\phi \in \operatorname{H}_{n-1}(M, \partial M)$, we investigate a simplicial complex $\mathcal{S}^\dagger(M, \phi)$ relating the properly embedded…

We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets…

We study geometry, topology and deformation spaces of noncompact complex hyperbolic manifolds (geometrically finite, with variable negative curvature), whose properties make them surprisingly different from real hyperbolic manifolds with…

In this article we show how to calculate the group of automorphisms of flat K\"ahler manifolds. Moreover we are interested in the problem of classification of such manifolds up to biholomorphism. We consider these problems from two points…

We study locally compact group topologies on semisimple Lie groups. We show that the Lie group topology on such a group $S$ is very rigid: every 'abstract' isomorphism between $S$ and a locally compact and $\sigma$-compact group $\Gamma$ is…

In this note, we analyze the classification problem for compact metrizable $G$-ambits for a countable discrete group $G$ from the point of view of descriptive set theory. More precisely, we prove that the topological conjugacy relation on…

L. Paoluzzi constructed a family of compact orientable three-dimensional hyperbolic manifolds with totally geodesic boundary, which were, by construction, closely related to the three-dimensional torus. This paper gives their complete…

We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic…