Related papers: Formal groups arising from formal punctured ribbon…

We define the stack of $G$-local systems with restricted variation on the formal puntured disc and study its properties. We embed sheaves of categories over this stack into the category of factorization module categories over…

Let $X$ be a partial flag variety, equipped with the Borel action by multiplication. We give a criterion for the equivariant derived category with modular coefficients to be formal.

In an earlier paper we introduced the notion of 'bifurcating continued fractions' in a heuristic manner. In this paper a formal theory is developed for the 'bifurcating continued fractions'.

We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call,…

We attempt to answer a question of D. C. Ravenel's: "Infinite loopspace theorists, where are you?", or more prosaically: Can one start from the notion of Ring Spectrum Representing [Formal Group Laws] (the functor) and arrive at Complex…

Let p be a prime number. This paper introduces the Roquette category R_p of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In R_p, every finite p-group P admits a canonical direct…

A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a…

Groups $\Pi_k(X;\sigma)$ of "flagged homotopies" are introduced of which the usual (abelian for $k>1$) homotopy groups $\pi_k(X;p)$ is the limit case for flags $\sigma$ contracted to a point $p$. Calculus of exterior forms with values in…

Formal (mixed) Hodge structures FHS are introduced in such a way that the Hodge realization of Deligne's 1-motives extends to a realization from Laumon's 1-motives to formal Hodge structures of level 1, providing an equivalence of…

This article is an introduction to formal languages from the point of view of combinatorial group theory. Group theoretic applications are included and language classes are defined algebraically.

In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…

Part of these notes was written as the author's 2013 master thesis. For proper flat schemes over a complete discrete valuation ring of mixed characteristic, we construct an isomorphism of certain subgroups of the Picard group and the first…

In earlier work, the author classified rigid representations of a quiver by finitely generated free modules over a principal ideal ring. Here we extend the results to representations of a quiver by finitely generated projective modules over…

We study groups of formal diffeomorphisms in several complex variables. For abelian, metabelian or nilpotent groups we investigate the existence of suitable formal vector fields and closed differential forms which exhibit an invariance…

We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis,…

Let $k$ be any field. Let $R=k[[X_1,\ldots,X_d]]$ and $\frak p$ a $1$-dimensional prime ideal. In this note we present $d-1$ elements such as $f_1,\ldots,f_{d-1}$ in $\frak p$ such that $\mathfrak{p}=\text{rad}(f_1,\ldots,f_{d-1})$.

In this letter we give an overview on recent developments in representation theory of star product algebras. In particular, we relate the *-representation theory of *-algebras over rings C = R(i) with an ordered ring R and i^2 = -1 to the…

Let $G$ be a complex connected reductive algebraic group and let $G_{\mathbb{R}}$ be a real form of $G$. We construct a sequence of functors $L_i\mathcal{R}$ from admissible (resp. finite-length) representations of $G$ to admissible (resp.…

Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…

Let X be a complex affine curve (not isomorphic to the affine line), and let Pic(D) be the group of autoequivalences of the category of D(X)-modules. Cannings and Holland have shown that Pic(D) fits into an exact sequence in which the other…