Related papers: A local-global principle for parametrized $\infty$…

Category-measure duality concerns applications of Baire-category methods that have measure-theoretic analogues. The set-theoretic axiom needed in connection with the Baire category theorem is the Axiom of Dependent Choice DC rather than the…

In this paper we study the classifying theory of principal bundles in the parametrized setting, motivated by recent interest in higher gauge theory. Using simplicial techniques, we construct a product-preserving classifying space functor…

For some Maltsev conditions $\Sigma$ it is enough to check if a finite algebra $\mathbf A$ satisfies $\Sigma$ locally on subsets of bounded size, in order to decide, whether $\mathbf A$ satisfies $\Sigma$ (globally). This local-global…

Let $X$ be a proper smooth variety having an affine open subset defined by the normic equation $N_{k(\sqrt{a},\sqrt{b})/k}({x})=Q(t_{1},...,t_{m})^{2}$ over a number field $k$. We prove that : (1) the failure of the local-global principle…

We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…

We study the Brauer-Manin obstruction to the Hasse principle and to weak approximation for 0-cycles on algebraic varieties that possess a fibration structure. The exactness of the local-to-global sequence $(E)$ of Chow groups of 0-cycles…

We prove a local-global principle for torsors under the prosolvable geometric fundamental group of an affine curve over a number field.

We study the local-global principle for zero-cycles of degree 1 on certain varieties fibered over the projective space. Among other applications, we prove that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and…

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$…

We establish a localized Bochner-type rigidity theorem for harmonic maps between Riemannian manifolds. Let $f : (M,g) \to (\overline{M},\overline{g})$ be a harmonic map from a compact manifold. Instead of assuming a global nonpositivity…

As we proved earlier, for a triangulated category $\underline{C}$ endowed with a weight structure $w$ and a triangulated subcategory $\underline{D}$ of $\underline{C}$ (strongly) generated by cones of a set of morphisms $S$ in the heart…

We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In…

We study measurable spaces equipped with a $\sigma$-ideal of negligible sets. We find conditions under which they admit a localizable locally determined version -- a kind of fiber space that describes locally their directions -- defined by…

The Giry monad on the category of measurable spaces restricts to the full subcategory of standard Borel spaces, $\mathbf{Std}$, which we show is amenable to analysis. $\mathbf{Std}$ contains the space $\mathbb{R}_{\infty}$ which is the…

Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$,…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

For a variety $\mathcal{V}$, it has been recently shown that binary products commute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points $\pi: \mathrm{Pt} (\mathbb{C}) \rightarrow \mathbb{C}$, if and only if…

In a previous paper [22] the author studied the directed weak covering homotopy property (dWCHP)and directed weak fibrations in the category dTop of directed spaces in the sense of M. Grandis [12], [13], [14]. This type of maps extend to…

Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory…

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…