Related papers: The pro-Nisnevich topology

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…

We define a notion of {\it positive part} of a lattice $\Lambda$ and we endow the set of such positive parts with a topology. We then study some properties of this topology, by comparing it with the one of $V^*/\RM_{> 0}$, where $V^*$ is…

This note constructs completely integrable convex Hamiltonians on the cotangent bundle of certain k-dimensional torus bundles over an l-dimensional torus. A central role is played by the Lax representation of a Bogoyavlenskij-Toda lattice.…

In this paper, we introduce the n-th discrete topological complexity and study its properties such as its relation with simplicial Lusternik-Schnirelmann category and how the higher dimensions of discrete topological complexity relate with…

A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…

We consider the category of all locally Lipschitz contractible metric spaces and all locally Lipschitz maps, which is a wide class of metric spaces, including all finite dimensional Alexandrov spaces and all CAT spaces. We also consider the…

A polynomial knot in $\mathbb{R}^n$ is a smooth embedding of $\mathbb{R}$ in $\mathbb{R}^n$ such that the component functions are real polynomials. In the earlier paper with Mishra, we have studied the space $\mathcal{P}$ of polynomial…

We prove that for any Osgood non-Lipschitz modulus of continuity $\omega$, flow maps associated with time-periodic $\omega$-continuous velocity fields generically (in the sense of Baire) have infinite topological entropy.

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many…

In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of \'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result…

Given a metrizable topological vector space, we can also use its von Neumann bornology or its bornology of precompact subsets to do analysis. We show that the bornological and topological approaches are equivalent for many problems. For…

We investigate an analogue of the L^2-Betti numbers for amenable linear subshifts. The role of the von Neumann dimension shall be played by the topological entropy.

Directional notions in topology and analysis naturally lead to nonsymmetric structures such as quasi-metrics, quasi-uniformities, and modular spaces. In these settings, classical notions of connectedness and completion based on symmetric…

We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial.…

We introduce a local homology theory for linearly compact modules which is in some sense dual to the local cohomology theory of A. Grothendieck. Some basic properties such as the noetherianness, the vanishing and non-vanishing of local…

There are two classes of topologies most often placed on the space of Lorentz metrics on a fixed manifold. As I interpret a complaint of R. Geroch [Relativity, 259 (1970); Gen. Rel. Grav., 2, 61 (1971)], however, neither of these standard…

We give examples of endomorphisms in dimension one with infinite topological entropy which are $\alpha$-H\"older and $(1,p)$-Sobolev for all $0\leq\alpha<1$ and $1\leq p<\infty$. This is constructed within a family of endomorphisms with…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…