Related papers: Higher-dimensional study of extensions via torsors
Motivated by ideas from string theory and quantum field theory new invariants of knots and 3-dimensional manifolds have been constructed from complex algebraic structures such as Hopf algebras (Reshetikhin and Turaev), monoidal categories…
Let S be a scheme. We compute explicitly the group of homomorphisms, the S-sheaf of homomorphisms, the group of extensions, and the S-sheaf of extensions involving locally constant S-group schemes, abelian S-schemes, and S-tori. Using the…
We define and study a certain category of vector bundles on a p-adic curve to which we can associate in a functorial way finite dimensional p-adic representations of the geometric fundamental group. Among other things we investigate two…
We describe the Picard group of a tame stacky curve as an extension of two groups, which depend on the gerbe class of the curve over its rigidification, a stacky curve with trivial generic stabilizer, and the residual gerbes of the…
We study torsors for groups defined by algebraic difference equations. Our main result provides necessary and sufficient conditions on the base difference field for all such torsors to be trivial. We also present an application to the…
Dans cette note on decrit le champ des courbes hyperelliptiques lisses defines sur un corps algebriquement clos de caracteristique deux comme un champ quotient. On en deduit le groupe de Picard. ----- In this note we describe the stack…
We give a geometric interpretation of sheaf cohomology for higher degrees n in terms of torsors on the member of degree d=n-1 in hypercoverings of type r=n-2, endowed with an additional data, the so-called rigidification. This generalizes…
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…
The rank $\rho$ of the N\'eron-Severi group of a complex torus $X$ of dimension $g$ satisfies $0\leq\rho\leq g^2=h^{1,1}.$ The degree $\mathfrak{d}$ of the extension field generated over $\mathbb{Q}$ by the entries of a period matrix of $X$…
Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…
Let $B$ be a twisted Poisson manifold with a fixed tropical affine structure given by a period bundle $P$. In this paper, we study the classification of almost symplectically complete isotropic realizations (ASCIRs) over $B$ in the spirit…
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 produce first examples of p-local height three TAF homology theories. The corresponding one-dimensional formal groups arise as split summands of the formal groups of certain abelian three-folds, the Shimura variety of which can be…
Let A be an abelian variety over a local field K of mixed characteristic and with algebraically closed residue field. We provide a geometric construction (via the relative Picard functor) of the Shafarevich duality between the group of…
The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in…
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We…
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…
We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…
The classification problem for simple $\mathfrak{sl}(2)$-modules leads in a natural way to the study of the category of finite rank torsion free $\mathfrak{sl}(2)$-modules and its subcategory of rational $\mathfrak{sl}(2)$-modules. We prove…