Related papers: The log homotopy exact sequence
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…
Working in homotopy type theory, we introduce the notion of $n$-exactness for a short sequence $F\to E\to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E \twoheadrightarrow B$ of arbitrary types induces a short…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…
The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…
We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.
This is the third part of the work on the exact triangles. We construct chain homomorphisms and show exactness of the resulting sequence.
We establish quantitative homogenization results for the popular log-normal coefficients. Since the coefficients are neither bounded nor uniformly elliptic, standard proofs do not apply directly. Instead, we take inspiration from the…
We consider L-infinity quasi-isomorphisms for Hochschild cochains whose structure maps admit "graphical expansion". We introduce the notion of stable formality quasi-isomorphism which formalizes such an L-infinity quasi-isomorphism. We…
We show that the higher direct images of smooth commutative group schemes from the Kummer log flat site to the classical flat site are torsion. For (1) smooth affine commutative schemes with geometrically connected fibers, (2) finite flat…
Let X be a smooth projective curve over a perfect field k of positive characteristic. This work investigates the relationship between stratified cohomology and group cohomology of the stratified fundamental group of X.
For a regular immersion of schemes $Z\to X$ and a cohomology theory of fs log schemes, we formulate the logarithmic Gysin sequence using the "logarithmic compactification" $(\mathrm{Bl}_Z X,E)$ instead of the open complement $X-Z$, where…
As a first step to understand the theory of the structure $\mathbb{T}_{\log}$ of logarithmic transseries as an ordered valued logarithmic field, we focus on the map $\chi$ induced by the logarithm of $\mathbb{T}_{\log}$ in its value group…
In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and…
Logarithmic conformal field theories have a vast range of applications, from critical percolation to systems with quenched disorder. In this paper we thoroughly examine the structure of these theories based on their symmetry properties. Our…
The problem of homological stability helps us to catch the structure of group homology. We calculate homological stability of special orthogonal groups, and we also calculate the stability of orthogonal groups with determinant-twisted…
The aim of this book is to show that the use of f-analytic families of finite type cycles (cycles having finitely many irreducible components, but not compact in general) in a given complex space may be useful in complex geometry, despite…
We describe and prove uniqueness of a natural homomorphism between some groups associated to finite sets.
We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…
The homotopy analysis method known from its successful applications to obtain quasi-analytical approximations of solutions of ordinary and partial differential equations is applied to stochastic differential equations with Gaussian…