Related papers: Building Data for Stacky Covers

Consider all moduli points corresponding with polarized abelian varieties in characteristic p such that the associated quasi-polarized p-divisible group is geometrically isomorphic with a given one. This defines a subset C of the moduli…

We introduce and develop the notion of *displayed categories*. A displayed category over a category C is equivalent to "a category D and functor F : D --> C", but instead of having a single collection of "objects of D" with a map to the…

We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…

Let Spec(A) be an affine derived stack. We give two proofs of the existence of a canonical map from the moduli space of shifted Poisson structures (in the sense of Pantev-To\"en-Vaqui\'e-Vezzosi, see http://arxiv.org/abs/1111.3209 ) on…

We identify branched coverings (continuous open surjections p:Y->X of Hausdorff spaces with uniformly bounded number of pre-images) with Hilbert C*-modules C(Y) over C(X) and with faithful unital positive conditional expectations…

The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, Gonz\'alez, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it…

We define a Deligne-Mumford stack X_{D,r} which depends on a scheme X, an effective Cartier divisor D\subset X, and a positive integer r. Then we show that the Abramovich-Vistoli moduli stack of stable maps into X_{D,r} provides…

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…

We define a moduli space of translation structures on the open topological disk with a basepoint and endow it with a locally-compact metrizable topology. We call this the immersive topology, because it is defined using the concept of…

We prove structure theorems for algebraic stacks with a reductive group action and a dense open substack isomorphic to a horospherical homogeneous space, and thereby obtain new examples of algebraic stacks which are global quotient stacks.…

We give an explicit description of the Barr- and Diaconescu covers of the arithmetic site, which are relevant to cohomology. Further, we construct the arithmetic site as the commutative shadow of a non-commutative topological space.

We study affine Jacobi structures on an affine bundle $\pi:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures…

The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural…

We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible…

We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected…

In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in such a way as to form a stack over the…

Base on a conjecture, we prove that for any smooth separated stack of finite type over a number field, its descent obstruction equals its iterated descent obstruction. As a consequence, we show that for any algebraic stack over a number…

Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of…

In this paper some results on the topology of the space of $k$-flats in $\mathbb R^n$ are proved, similar to the Borsuk-Ulam theorem on coverings of sphere. Some corollaries on common transversals for families of compact sets in $\mathbb…

We provide an axiomatic definition of an Igusa stack associated to an arbitrary Shimura datum. We then prove that Igusa stacks are unique and automatically functorial with respect to morphisms of Shimura data, assuming their existence.…