Related papers: On the Borel mapping in the quasianalytic setting

We show that mapping class groups of surfaces of genus at least two contain elements of infinite order that are not conjugate to their inverses, but whose powers have bounded torsion lengths. In particular every homogeneous…

We show that the bounded Borel class of any dense representation $\rho: G\to \PSL_n\bC$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the…

We prove that given a closed connected symplectic manifold equipped with a Borel probability measure, an arbitrarily large portion of the measure can be covered by a symplectically embedded polydisk, generalizing a result of Schlenk. We…

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions.…

We assess the descriptive complexity of *bisimilarity* or "equality of behavior" on a family of Markov decision processes over uncountable standard Borel spaces, namely *nondeterministic labelled Markov processes* (NLMP). We show that…

We study the bi-embeddability and elementary bi-embeddability relation on graphs under Borel reducibility and investigate the degree spectra realized by this relations. We first give a Borel reduction from embeddability on graphs to…

We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove…

Asymptotic separation index is a parameter that measures how easily a Borel graph can be approximated by its subgraphs with finite components. In contrast to the more classical notion of hyperfiniteness, asymptotic separation index is…

We study the local symplectic algebra of parameterized curves introduced by V. I. Arnold. We use the method of algebraic restrictions to classify symplectic singularities of quasi-homogeneous curves. We prove that the space of algebraic…

We consider a quartic O(N)-vector model. Using the Loop Vertex Expansion, we prove the Borel summability in 1/N along the real axis of the partition function and of the connected correlations of the model. The Borel summability holds…

Systems of germs of sets in infinite-dimensional spaces are introduced and studied. Such a system corresponds to a local zero-set of an ideal of the ring of analytic functions of infinite number of variables. Conversely, this system of…

We consider smooth actions of lattices in higher-rank semisimple Lie groups on manifolds. We define two numbers $r(G)$ and $m(G)$ associated with the roots system of the Lie algebra of a Lie group $G$. If the dimension of the manifold is…

We give normal forms of determinantal representations of a smooth projective plane cubic in terms of Moore matrices. Building on this, we exhibit matrix factorizations for all indecomposable vector bundles of rank 2 and degree 0 without…

Nowhere dense classes of graphs are very general classes of uniformly sparse graphs with several seemingly unrelated characterisations. From an algorithmic perspective, a characterisation of these classes in terms of uniform quasi-wideness,…

We show that semi-simple lie algebras can be characterized by their maximal nilpotent subalgebra, which is the same as the nilpotent radical of a Borel subalgebra.

Given a set E in a complex space and a point p in E, there is a unique smallest complex-analytic germ containing the germ of E at p, called the holomorphic closure of E at p. We study the holomorphic closure of semialgebraic arc-symmetric…

The direct limit of finite-dimensional semisimple associative algebras arises as a purely algebraic counterpart to important $C^\ast$-algebras. In this paper, we classify direct limits of matrix algebras endowed with a grading by a finite…

In [O. Le Gal, J.-P. Rolin. An o-minimal structure which does not admit $C^\infty$ cellular decomposition. In: Ann. Inst. Fourier 59 (2009), pp 543-562], the authors construct an o-minimal structure which does not admit smooth…

A polar hypersurface P of a complex analytic hypersurface germ, f=0, can be investigated by analyzing the invariance of certain Newton polyhedra associated to the image of P, with respect to suitable coordinates, by certain morphisms…

We characterize the completely determined Borel subsets of HYP as exactly the omega_1^{ck} subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, that the Borel Dual Ramsey Theorem fails, and that every Borel…