Related papers: Formal groups arising from formal punctured ribbon…
We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some geometric data…
We show that a large class of formal groups can be realised functorially by even periodic ring spectra. The main advance is in the construction of morphisms, not of objects.
In the present work we are going to give a formal exposition of the ribbon graphs topic based on notes of Labourie \cite{Lab}, since is difficult to find as such in the literature.
In this work we explore the boundary of the jacobian of a singular curve in the compactified picard group. We formulate a functor that helps to determine this boundary and show that this functor is representable. We try to dertermine the…
Arc permutations, which were originally introduced in the study of triangulations and characters, have recently been shown to have interesting combinatorial properties. The first part of this paper continues their study by providing signed…
We survey several notions of Mackey functors and biset functors found in the literature and prove some old and new theorems comparing them. While little here will surprise the experts, we draw a conceptual and unified picture by making…
In this article we study the Picard functor and the Picard stack of an algebraic stack. We give a new and direct proof of the representability of the Picard stack. We prove that it is quasi-separated, and that the connected component of the…
We obtain an explicit upper bound on the torsion of the Picard group of the forms of the affine line and their regular completions. We also obtain a sufficient condition for the Picard group of the forms of the affine line to be non trivial…
We introduce the relative units-Picard complex of an arbitrary morphism of schemes and apply it to the problem of describing the (cohomological) Brauer group of a (fiber) product of schemes in terms of the Brauer groups of the factors.…
Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…
We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
For a connected smooth proper rigid space $X$ over a perfectoid field extension of $\mathbb Q_p$, we show that the \'etale Picard functor of $X$ defined on perfectoid test objects is the diamondification of the rigid analytic Picard…
The classification of affine line bundles on a compact complex space $X$ is a difficult problem. We study the affine analogue of the Picard functor and the representability problem for this functor. For a fixed Chern class $c$, we introduce…
We study Picard groups and Picard functors of perfectoid spaces which are limits of rigid spaces. For sufficiently large covers that are limits of rigid spaces of good reduction, we show that the Picard functor can be represented by the…
We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud's relative representability theorem, we give sufficient conditions…
We extend the theory of Mackey 2-functors introduced in arXiv:1808.04902 by defining the appropriate notion of rings, namely Green 2-functors. After providing the first results of our theory and abundant examples, we show how all classical…