Related papers: Univalence in locally cartesian closed infinity-ca…

We have studied the mappings that satisfy the Poletsky-type inverse inequality in the domain of the Euclidean space. It is proved that the uniform boundary of the family of such mappings is a discrete mapping. We separately considered…

We prove that the arboreal Galois representations attached to certain unicritical polynomials have finite index in an infinite wreath product of cyclic groups, and we prove surjectivity for some small degree examples, including a new family…

There are investigated problems connected with local and boundary properties of Orlicz--Sobolev classes of finite distortion which are actively studied last time. It is showed that, a locally uniform limit of local homeomorphisms of…

This is the first of a three parts paper providing full details for our previous announcement in Pr\'epublications Orsay 2007-16, arXiv:0711.3579. Here we prove the results stated in the title.

We define Cartan subgroups in connected locally compact groups, which extends the classical notion of Cartan subgroups in Lie groups. We prove their existence and justify our choice of the definition which differs from the one given by…

We study the equivalence of quantum states under local unitary transformations by using the singular value decomposition. A complete set of invariants under local unitary transformations is presented for several classes of tripartite mixed…

Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to…

We revisit the work of To\"en--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of…

We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…

The degree of the generators of invariant polynomial rings of is a long standing open problem since the very initial study of the invariant theory in the 19th century. Motivated by its significant role in characterizing multipartite…

Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

Lindenhovius has studied Grothendieck topologies on posets and has given a complete classification in the case that the poset is Artinian. We extend his approach to more general posets, by translating known results in locale and domain…

Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…

We investigate families of Legendrian submanifolds of 1-jet spaces by developing and applying a theory of families of generating family homologies. This theory allows us to detect an infinite family of loops of Legendrian n-spheres embedded…

We show how the categorical logic of untyped, simply typed and dependently typed lambda calculus can be structured around the notion of category with family (cwf). To this end we introduce subcategories of simply typed cwfs (scwfs), where…

Inspired by Ol'shanskii's work, we provide an axiomatic framework to describe certain irreducible unitary representations of non-discrete unimodular totally disconnected locally compact groups. We then look at the applications to certain…

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

We study equivariant linear maps between finite-dimensional matrix algebras, as introduced by Bhat. These maps satisfy an algebraic property which makes it easy to study their positivity or k-positivity. They are therefore particularly…

This paper is devoted to the study of mappings with finite distortion, in particular, mappings satisfying the inverse Poletskii inequality. We study the problem of equicontinuity of families of such mappings in a given domain. We establish…