Related papers: The Kato-Nakayama space as a transcendental root s…
In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach…
We define a notion of global analytic space with overconvergent structure sheaf. This gives an analog on a general base Banach ring of Grosse-Kloenne's overconvergent p-adic spaces and of Bambozzi's generalized affinoid varieties over R.…
We show that every quasi-compact and quasi-separated algebraic stack can be approximated by a noetherian algebraic stack. We give several applications such as eliminating noetherian hypotheses in the theory of good moduli spaces.
We consider rationally connected complex projective manifolds M and show that their loop spaces--infinite dimensional complex manifolds--have properties similar to those of M. Furthermore, we give a finite dimensional application concerning…
By attaching a Lie algebra of germs of analytic vector fields to every point of a (real or complex) analytic variety V we construct the Nagano foliation of the variety. We prove that the Nagano foliation of V is a stratification. The…
We prove several results of the following type: given finite dimensional normed space V there exists another space X with log (dim X) = O(log (dim V)) and such that every subspace (or quotient) of X, whose dimension is not "too small,"…
We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…
This is the first of a series of papers on stack representation of finitely presented Heyting pretoposes. In this paper, we provide the first step by constructing a (2, 1)-site, which can be thought of as the site of finite Kripke frames,…
We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
Two simple predicates are adopted and certain real-valued piecewise continuous functions are constructed from them. This type of maps will be called quasi-step maps and aim to separate the fixed points of an iteration map in an interval.…
We establish a bijection between the set of finite topological $T_0$-spaces (or partially ordered sets) and equivalence classes of square matrices. The absolute value of the determinant or the rank of these matrices serve as simple homotopy…
We introduce the notion of (abelian) similarity scheme, as a constructive model for topological self-similar fractals, in the same way in which the notion of iterated function system furnishes a constructive notion of self-similar fractals…
We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…
Some moduli spaces of irregular connections on the trivial bundle over the Riemann sphere will be identified with Nakajima quiver varieties. In particular this enables us to associate a Kac-Moody root system to such connections (yielding…
We introduce a notion of fine Tannakian infinity-categories and prove Tannakian characterization results for symmetric monoidal stable infinity-categories over a field of characteristic zero. It connects derived quotient stacks with…
These notes are an exposition and synthesis of various "jet space" constructions in complex analytic geometry. They are written primarily for model-theorists interested in the results of Campana and Fujiki (whose model-theoretic…
We give a complete classification of all $d$-representation-finite symmetric Nakayama algebras and of all $d$-representation-finite trivial extensions of path algebras of quivers, over an arbitrary field. As a consequence we get a…
In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted by bounded…
This is an informal summary of the main concepts in arXiv:0905.4044, based on notes of various seminars. It gives constructions of higher and derived stacks without recourse to the extensive theory developed by Toen, Vezzosi and Lurie.…