Related papers: Bijective and general arithmetic codings for Pisot…

Let $X$ be an analytic space over a non-Archimedean, complete field $k$ and let $(f_1,..., f_n)$ be a family of invertible functions on $X$. Let $\phi$ the morphism $X\to G_m^n$ induced by the $f_i$'s, and let $t$ be the map $X\to…

By considering a one-parameter family of elliptic curves defined over $\mathbb{Q}$, we might ask ourselves if there is any bias in the distribution (or parity) of the root numbers at each specialization. From the work of Helfgott, we know…

Let $R$ be a root datum with affine Weyl group $W^e$, and let $H = H (R,q)$ be an affine Hecke algebra with positive, possibly unequal, parameters $q$. Then $H$ is a deformation of the group algebra $\mathbb C [W^e]$, so it is natural to…

We prove a rigidity theorem for the Poisson automorphisms of the function fields of tori with quadratic Poisson structures over fields of characteristic 0. It gives an effective method for classifying the full Poisson automorphism groups of…

Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which…

We provide a "shared axiomatization" of natural numbers and hereditarily finite sets built around a polymorphic abstraction of bijective base-2 arithmetics. The "axiomatization" is described as a progressive refinement of Haskell type…

Let ${\mathbf U}_q^-$ be the negative part of the quantum enveloping algebra, and $\sigma$ the algebra automorphism on ${\mathbf U}_q^-$ induced from a diagram automorphism. Let $\underline{\mathbf U}_q^-$ be the quantum algebra obtained…

This paper presents two algorithms on certain computations about Pisot numbers. Firstly, we develop an algorithm that finds a Pisot number $\alpha$ such that $\Q[\alpha] = \F$ given a real Galois extension $\F$ of $\Q$ by its integral…

We study the regularity of the roots of complex monic polynomials $P(t)$ of fixed degree depending smoothly on a real parameter $t$. We prove that each continuous parameterization of the roots of a generic $C^\infty$ curve $P(t)$ (which…

The first part of the paper develops the theory of $m$-shifted $\pi$-typical Witt vectors which can be viewed as subobjects of the usual $\pi$-typical Witt vectors. We show that the shifted Witt vectors admit a delta structure that satisfy…

Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is…

For a continuous map $T: X\rightarrow X$ on a compact metric space $(X,d)$, we say that a function $f: X \rightarrow \mathbb{R}$ has the property $\mathscr{P}_T$ if its time averages along forward orbits of $T$ are maximized at a periodic…

A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with…

We give two new constructions of the harmonic algebra of a lattice polytope $P$, a bigraded algebra whose character is the $q$-Ehrhart series of $P$ defined by Reiner and Rhoades. First, we show that the harmonic algebra is the associated…

Consider a tree $\mathbb T$, all whose vertices have countable valence; its boundary is the Baire space $\mathbb{B} \simeq\mathbb{N}^{\mathbb N}$; continued fractions expansions identify the set of irrational numbers $\mathbb{R}\setminus…

A geometric characterization is given for invertible quantum measurement maps. Denote by ${\mathcal S}(H)$ the convex set of all states (i.e., trace-1 positive operators) on Hilbert space $H$ with dim$H\leq \infty$, and $[\rho_1, \rho_2]$…

We develop a general theory of "bisets": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a…

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers in which this locally bijective homomorphism is prescribed by an action of a subgroup of ${\rm Aut}(G)$. Regular…

In this note, (rational) Betti numbers of homotopy colimits for toric diagrams and their classifying spaces are described in terms of sheaf cohomology over CW posets. We prove for any $T$-diagram $D$ over any CW poset that…

Given an algebraic torus $T$ over a field $F$, its lattice of characters $\Lambda$ gives rise to a topological torus $\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda$ with a continuous action of the absolute Galois group $G$. We construct a…