Related papers: The $p$-adic integers as final coalgebra

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

We present a concise method for deriving an explicit formula for $p$-adic multiple zeta values. The formula features a variant of multiple harmonic sums, termed binomial multiple harmonic sums.

We extend the previously established zesting techniques from fusion categories to general tensor categories. In particular we consider the category of comodules over a Hopf algebra, providing a detailed translation of the categorical…

We survey some recent advances in the homotopy theory of classifying spaces, and homotopical group theory. We focus on the classification of p-compact groups in terms of root data over the p-adic integers, and discuss some of its…

We introduce an enriched notion of a coalgebra over an operad P in a symmetric monoidal V-category C. When C is semicartesian and P is unital, we construct a V-endofunctor on C associated to P and give conditions under which it is a…

Let G be a commutative algebraic group over Q. Let Gamma be a subgroup of G(Q) contained in the union of the compact subgroups of G(Q_p). We formulate a guess for the dimension of the closure of Gamma in G(Q_p), and show that its…

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…

Let $k$ be any number field and $k_{\infty}/k$ any $\mathbb{Z}_p$-extension. We construct a natural $\Lambda= \mathbb{Z}_p[[ T-1 ]]$-morphism from $\varprojlim k_n^{\times} \otimes_{\mathbb{Z}} \mathbb{Z}_p$ into a special subset of…

This is an extended and corrected version of the author's Diplomarbeit. A class of algebras called generic pro-$p$ Hecke algebras is introduced, enlarging the class of generic Hecke algebras by considering certain extensions of (extended)…

Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…

In this article, we investigate the functors from modules to modules that occur as the summands of tensor powers and the functors from modules to Hopf algebras that occur as natural coalgebra summands of tensor algebras. The main results…

We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for…

We use homotopy theoretic methods to prove congruence relations of number theoretic interest. Specifically, we use the theory of $\mathbb E_\infty$ complex orientations to establish $p$-adic K\"ummer congruences among iterated derivatives…

This article is related to construction of zeta strings from $p$-adic ones. In addition to investigation of $p$-adic string for a particular prime number $p$, it is also interesting to study collective effects taking into account all primes…

In number theory, we know Legendre's formula $ v_p(n!) = \sum_{k \ge 1} \lfloor \frac{n}{p^k} \rfloor $, which calculates the $p$-adic valuation of the factorial, i.e. the exponent of the greatest power of a prime $p$ that divides $n!$.…

We show that for any separably closed field $k$ of characteristic $p>0$, the canonical functor from nilpotent $p$-adic spaces to $\mathbb{E}_{\infty}$-coalgebras over $k$ (given by singular chains with coefficients in $k$) is fully…

For $p\geq 2$, the $p$-adic ring $C^*$-algebra $\mathcal{Q}_p$ is the universal $C^*$-algebra generated by a unitary $U$ and an isometry $S_p$ such that $S_pU=U^pS_p$ and $\sum_{l=0}^{p-1}U^lS_pS_p^*U^{-l}=1$. For any $k$ coprime with $p$…

Let $p$ be a prime. We discuss methods of solution of congruences modulo $p^n$ using $p$-adic numbers; these methods are similar to computations with real numbers (local methods). Examples of relations between local and global methods are…

We classify finite-dimensional Hopf algebras whose coradical is isomorphic to the algebra of functions on S_3. We describe a new infinite family of Hopf algebras of dimension 72.

We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a…