Related papers: Some remarks on profinite completion of spaces

Motivated by the work of Birman about the relationship between mapping class groups and braid groups, we discuss the relationship between the orbit braid group and the equivariant mapping class group on the closed surface $M$ with a free…

We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…

We prove a Gauss-Bonnet theorem for (finite coverings of) moduli spaces of Riemann surfaces endowed with the McMullen metric. The proof uses properties of an exhaustion of moduli spaces by compact submanifolds with corners and the…

Some results on fixed points related to the contractive compositions of bounded operators in complete metric spaces are discussed through the manuscript. The class of composite operators under study can include, in particular, sequences of…

In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\textbf{Set}$. Then, we developed sequent calculi for extensions of the language…

This work is motivated by two central questions in the birational geometry of moduli spaces of curves -- Fulton's conjecture and the effective cone of $\bar M_g$. We study the algebro-geometric aspect of Teichmuller curves parameterizing…

We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective…

We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The G-homotopy theory is "pieced together" from the G/U-homotopy theories…

The spaces of point configurations on the projective line up to the action of $\mathrm{SL}(2,\mathbb K)$ and its maximal torus are canonically compactified by the Grothdieck-Knudsen and Losev-Manin moduli spaces $\overline M_{0,n}$ and…

We corrected a few errors in the previous submission. These do not affect any of the topological conclusions of the earlier version. We have also included a few observations about the Casson invariant of the Brieskorn homology spheres.

We review three examples of functors from Lorentzian categories and their applications in finiteness results, singularity theorems and boundary constructions. The third example is a novel functor from the category of ordered measure spaces…

The theory of representations of quivers and of their preprojective algebras are reviewed. In particular, moduli spaces of representations of these algebras, quiver varieties and reflection functor are described. The proof that the…

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

We begin the study of completeness of affine connections, especially those on statistical manifolds as well as on affine hypersurfaces. We collect basic facts, prove new theorems and provide examples with remarkable properties.

This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors…

We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…

We introduce a class $\A$ of finitely generated residually finite accessible groups with some natural restriction on one-ended vertex groups in their JSJ-decompositions. We prove that the profinite completion of groups in $\A$ almost…

A finite-dimensional Hilbert space is usually described in terms of an orthonormal basis, but in certain approaches or applications a description in terms of a finite overcomplete system of vectors, called a finite tight frame, may offer…

In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…

In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…