相关论文: Elementary topology of champs

This is the first of two papers on the global topology of the space $\textrm{Sub}(G)$ of all closed subgroups of $G=\textrm{PSL}_2(\mathbb{R})$, equipped with the Chabauty topology. In this paper, we study the spaces of lattices and…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

Semi-topological Galois theory associates a canonical finite splitting covering to a monic Weierstrass polynomial. The inverse limit of the corresponding deck groups defines the absolute semi-topological Galois group, $\PiST(X,x)$. This…

For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced…

We investigate the Galois coverings of piecewise algebras and more particularly their behaviour under derived equivalences. Under a technical assumption which is satisfied if the algebra is derived equivalent to a hereditary algebra, we…

We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constructions herein are proof-relevant and stated with a subset of…

Given a finitely generated and projective Lie-Rinehart algebra, we show that there is a continuous homomorphism of complete commutative Hopf algebroids between the completion of the finite dual of its universal enveloping Hopf algebroid and…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the…

Building upon work of Clozel, Harris, Shepherd-Barron, and Taylor, this paper shows that certain Galois representations become automorphic after one makes a suitably large totally-real extension to the base field. The main innovation here…

This paper continues our investigation into the question of when a homotopy $\omega = \{\omega_t\}_{t \in [0,1]}$ of 2-cocycles on a locally compact Hausdorff groupoid $\mathcal{G}$ gives rise to an isomorphism of the $K$-theory groups of…

Homotopy type theory is a logical setting based on Martin-L\"of type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpreted as spaces up to homotopy, and proofs as…

We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category…

We translate some fundamental properties satisfied by topological principal bundles into the setting of Hopf-Galois extensions. The properties are: functoriality, homotopy, and triviality. The main new concept of the paper is the homotopy…

A map $p:E\to X$ has the \emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\mathbb R$-tree $T$ such that the quotient map…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…

In this work we solve the problem of providing a Morita invariant definition of Lie and Courant algebroids over Lie groupoids. By relying on supergeometry, we view these structures as instances of vector fields on graded groupoids which are…

Generalized \'etale homotopy pro-groups $\pi_1^{\ets}(\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete…