Related papers: Anti-classification for flows on two-tori
The Torelli group of a manifold is the group of all diffeomorphisms which act as the identity on the homology of the manifold. In this paper, we calculate the invariant part (invariant under the action of the automorphisms of the homology)…
We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…
We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for…
We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general…
We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
The bienergy of smooth maps between Riemannian manifolds, when restricted to unit vector fields, yields two different variational problems depending on whether one takes the full functional or just the vertical contribution. Their critical…
We derive a rigorous classification of topologically stable Fermi surfaces of non-interacting, discrete translation-invariant systems from electronic band theory, adiabatic evolution and their topological interpretations. For systems on an…
We construct smooth rational real algebraic varieties of every dimension $\ge$ 4 which admit infinitely many pairwise non-isomorphic real forms.
We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…
Using the higher analytic torsion form of Bismut and Lott we construct a characteristic class for smooth sphere bundles. We calculate this class in the case where the sphere bundle comes from a complex vector bundle. Related to these…
A vertex algebra is an algebraic counterpart of a two-dimensional conformal field theory. We give a new definition of a vertex algebra which includes chiral algebras as a special case, but allows for fields which are neither meromorphic nor…
A mathematically correct description is presented on the interrelations between the dynamics of divergence free vector fields on an oriented 3-dimensional manifold $M$ and the dynamics of Hamiltonian systems. It is shown that for a given…
Using Baire category techniques we prove that Araki-Woods factors are not classifiable by countable structures. As a result, we obtain a far reaching strengthening as well as a new proof of the well-known theorem of Woods that the…
We propose a new condition $\aleph$ which enables to get new results on integrable geodesic flows on closed surfaces. This paper has two parts. In the first, we strengthen Kozlov's theorem on non-integrability on surfaces of higher genus.…
Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…
The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…
The irrational torus, $\mathrm{T}_\alpha$, originally introduced as a geometric model for quasicrystals, is a foundational object in the theory of diffeology. This paper, after recalling its main algebraic properties, provides a…
Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…
In the present article, we investigate the topology of real toric varieties, especially those whose torus is not split over the field of real numbers. We describe some canonical fibrations associated to their real loci. Then, we establish…