Related papers: Separable morphisms of simplicial sets

We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective…

We prove that if a simplicial complex is shellable, then the intersection lattice for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on…

The image of the branch set of a PL branched cover between PL $n$-manifolds is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication also holds: an open and discrete map $f \colon \mathbb{S}^n \to \mathbb{S}^n$ with the…

We show that separability and second-countability are first-order properties among topological spaces definable in o-minimal expansions of $(\mathbb{R},<)$. We do so by introducing first-order characterizations -- definable separability and…

A p-typical cover of a connected scheme on which p=0 is a finite etale cover whose monodromy group (i.e., the Galois group of its normal closure) is a p-group. The geometry of such covers exhibits some unexpectedly pleasant behaviors;…

We define the covering gonality and separable covering gonality of varieties over arbitrary fields, generalizing the definition given by Bastianelli-de Poi-Ein-Lazarsfeld-Ullery for complex varieties. We show that over an arbitrary field a…

In this paper we further develop the theory of canonical approximations of Polishable subgroups of Polish groups, building on previous work of Solecki and Farah--Solecki. In particular, we obtain a characterization of such canonical…

We show in this paper that the set of irreducible components of the family of Galois coverings of P^1_C with Galois group isomorphic to D_n is in bijection with the set of possible numerical types. In this special case the numerical type is…

We prove new automorphy lifting theorems for residually reducible Galois representations of unitary type in which the residual representation is permitted to have an arbitrary number of irreducible constituents.

We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

We study the complexity of the isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Polish spaces. For…

Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…

We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…

By a recent result of Viehweg, projective manifolds with ample canonical class have a coarse moduli space, which is a union of quasiprojective varieties. In this paper, we prove that there are manifolds with ample canonical class that lie…

Separable elements in Weyl groups are generalizations of the well-known class of separable permutations in symmetric groups. Gaetz and Gao showed that for any pair $(X,Y)$ of subsets of the symmetric group $\mathfrak{S}_n$, the…

Juhasz has proved that the automorphism group of a group G of maximal class of order p^n, with p\ge 5 and n>p+1, has order divisible by $p^{\lceil(3n-2p+5)/2\rceil}$. We show that by translating the problem in terms of derivations, the…

This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…

We introduce the notion of Galois holomorphic foliation on the complex projective space as that of foliations whose Gauss map is a Galois covering when restricted to an appropriate Zariski open subset. First, we establish general criteria…

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…