Related papers: Tate kernels, etale K-theory and the Gross kernel
Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the…
We study representations of positive definite kernels $K$ in a general setting, but with view to applications to harmonic analysis, to metric geometry, and to realizations of certain stochastic processes. Our initial results are stated for…
For a family of graphs $\cal F$, the $\mathcal{F}$-Contraction problem takes as an input a graph $G$ and an integer $k$, and the goal is to decide if there exists $S \subseteq E(G)$ of size at most $k$ such that $G/S$ belongs to $\cal F$.…
We consider, for real abelian fields K, the Birch--Tate formula linking the tame kernel \#K\_2(Z\_K) to $\zeta$\_K(-1); we compare, for quadratic and cyclic cubic fields with p=2,3, \#K\_2(\BZ\_K)[p^$\infty$] to the order of the torsion…
Let A denote either the automorphism group of the free group of rank n>=4 or the mapping class group of an orientable surface of genus n>=12 with at most 1 boundary component, and let G be either the subgroup of IA-automorphisms or the…
We continue our investigation of a variation of the group ring isomorphism problem for twisted group algebras. Contrary to previous work, we include cohomology classes which do not contain any cocycle of finite order. This allows us to…
Let K be a global function field of positive characteristic p and let M be a (commutative) finite and flat K-group scheme. We show that the kernel of the canonical localization map H^{1}(K,M)\to\prod_{all v}H^{1}(K_{v},M) in flat (fppf)…
Let $K$ be the fraction field of a strictly Henselian DVR of characteristic $p \geq 0$ with algebraic closure $\bar{K}$, and let $\alpha_{1}, ..., \alpha_{d} \in \mathbb{P}_{K}^{1}(K)$. In this paper, we give explicit generators and…
In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…
Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let o\_P(eta) and o\_p(eta) be the orders of…
We prove new cases of the Tate conjecture for abelian varieties over finite fields, extending previous results of Dupuy--Kedlaya--Zureick-Brown, Lenstra--Zarhin, Tankeev, and Zarhin. Notably, our methods allow us to prove the Tate…
Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…
If $G$ is a finitely generated group with generators $\{g_1,..., g_s\}$, we say an infinite-order element $f \in G$ is a distortion element of $G$ provided that $\displaystyle \liminf_{n \to \infty} \frac{|f^n|}{n} = 0$, where $|f^n|$ is…
We consider the roots of uniformly chosen complex and real reciprocal polynomials of degree $N$ whose Mahler measure is bounded by a constant. After a change of variables this reduces to a generalization of Ginibre's complex and real…
Extending Gross's result, we prove that a certain factorizaton of measures holds for all $p$ and any finite even Dirichlet character $\chi$ of any conductor, rather than only for split $p$ and $\chi$ with conductor a power of $p$. Using…
For any finite sequence of elements $s_1, \ldots , s_d$ in a commutative noetherian ring $R$, we show that for $n \gg 0$, the natural map from the Koszul complex $K(s_1^n, \ldots , s_d^n)$ to the Koszul complex $K(s_1, \ldots , s_d)$…
Starting from a subinvariant positive definite kernel under a branching pullback, we attach to the resulting kernel tower a canonical electrical network on the word tree whose edge weights are the diagonal increments. This converts diagonal…
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order…
On $\mathbb R^N$ equipped with a normalized root system $R$ and a multiplicity function $k\geq 0$ let us consider a (non-radial) kernel $K(\mathbf x)$ which has properties similar to those from the classical theory. We prove that a singular…
We study positive definite kernels pulled back along a finite family of self-maps under a subinvariance inequality for the associated branching operator. Iteration produces an increasing kernel tower with defect kernels. Under diagonal…