Related papers: Realising formal groups

Matrices over the ring of formal power series are considered. Normal forms with respect to various sub-groups of the two-sided transformations are constructed. The construction is based on the special property of the action: it induces a…

We discuss the formal aspects of the factorial polynomials and of the associated series. We develop the theory using the formalism of quasi-monomials and prove the usefulness of the method for the solutions of nontrivial difference…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

We prove the effectivity of the dynatomic cycles for morphisms of projective varieties. We then analyze the degrees of the dynatomic cycles and multiplicities of formal periodic points and apply these results to the existence of periodic…

In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of…

We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.

We study automorphism groups of formal matrix algebras. We also consider automorphisms of ordinary matrix algebras (in particular, triangular matrix algebras).

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 investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of…

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.…

In this paper we use formal group rings to construct an algebraic model of the $T$-equivariant oriented cohomology of smooth toric varieties. Then we compare our model with known results of equivariant cohomology of toric varieties to…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.

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.

We develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…

Let G be a finite group. An element x in G is a real element if x is conjugate to its inverse in G. For x in G, the conjugacy class x^G is said to be a real conjugacy class if every element of x^G is real. We show that if 4 divides no real…

We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking…

It was recently proven by Esnault, Shusterman and the second named author, that the \'etale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend…

In this paper we study some generalization of the notion of a formal group over ring, which may be called a formal group over Hopf algebra (FGoHA). The first example of FGoHA was found under the study of cobordism's ring of some $H$-space…

We prove Langlands functoriality for the generic spectrum of general spin groups (both odd and even). Contrary to other recent instances of functoriality, our resulting automorphic representations on the general linear group will not be…