Related papers: A 1-dimensional formal group over the prismatizati…

We explicitly describe the Cartier dual of the $l$-th Frobenius kernel $N_l$ of the deformation group scheme, which deforms the additive group scheme to the multiplicative group scheme. Then the Cartier dual of $N_l$ is given by a certain…

We identify Drinfeld's formal group on the prismatization of $\mathrm{Spf}\,\mathbb{Z}_p$ with a formal group arising from homotopy theory, given locally by the Quillen formal group of a decompleted variant of topological periodic cyclic…

Let $\mathcal{G}^{(\lambda)}$ be a group scheme which deforms $\mathbb{G}_a$ to $\mathbb{G}_m$. We explicitly describe the Cartier dual of the $l$-th Frobenius type kernel $N_l$ of the group scheme $\mathcal{E}^{(\lambda,\mu;D)}$ which is…

Let $p$ be a prime number and let $k$ be an algebraically closed field of characteristic $p$. A $BT_1$ group scheme over $k$ is a finite commutative group scheme which arises as the kernel of $p$ on a $p$-divisible (Barsotti--Tate) group.…

We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $\gamma$-filtration, and $Pic(f)$ is the top quotient…

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

We solve the topological Poisson Sigma model for a Poisson-Lie group $G$ and its dual $G^*$. We show that the gauge symmetry for each model is given by its dual group that acts by dressing transformations on the target. The resolution of…

We show that the 2d Poisson Sigma Model on a Poisson groupoid arises as an effective theory of the 3d Courant Sigma Model associated to the double of the underlying Lie bialgebroid. This field-theoretic result follows from a Lie-theoretic…

We develop a notion of formal groups in the filtered setting and describe a duality relating these to a specified class of filtered Hopf algebras. We then study a deformation to the normal cone construction in the setting of derived…

We introduce the notion of a $p$-Cartier smooth algebra. It generalises that of a smooth algebra and includes valuation rings over a perfectoid base. We give several characterisations of $p$-Cartier smoothness in terms of prismatic…

In this paper we define a relative rigid fundamental group, which associates to a section $p$ of a smooth and proper morphism $f:X\rightarrow S$ in characteristic $p$, a Hopf algebra in the ind-category of overconvergent $F$-isocrystals on…

We use chain level genus zero Gromov-Witten theory to associate to any closed monotone symplectic manifold a formal group (loosely interpreted), whose Lie algebra is the odd degree cohomology of the manifold (with vanishing bracket). When…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

We give a proof, using so-called fusion rings and q-deformations of Brauer algebras that the representation ring of an orthogonal or symplectic group can be obtained as a quotient of a ring Gr(O(\infinity)). This is obtained here as a…

We study permutation polynomials through the device of the \emph{polypermutation group} of an associative ring $R$, denoted by ${\rm Pgr}(R)$. We derive some basic properties and compute the cardinality of ${\rm Pgr}(\mathbb{Z}/p^k)$ when…

Let $ \mathfrak{g} $ be a quasitriangular Lie bialgebra over a field $ K $ of characteristic zero, and let $ \mathfrak{g}^* $ be its dual Lie bialgebra. We prove that the formal Poisson group $ K\big[\big[\mathfrak{g}^*\big]\big] $ is a…

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object…

The paper is devoted to study the space of multiplicative maps from the Eilenberg-MacLane spectrum $H\Z$ to an arbitrary ring spectrum $R$. We try to generalize the approach of Schwede from "Formal groups and stable homotopy of commutative…

A new derivation of the quantum deformation of the 2 dimensional Euclidean Poincare group (cf S. Zakrzewski) is proposed. It is based on a contraction of the Hopf algebra Fun(SO_q(3)). The deformation parameter q is sent to one, as in the…