Related papers: The Chevalley-Bass Theorem

In the Proceedings of the AMS Boulder conference in 1965 Langlands states a combinatorial lemma involving families of characteristic functions attached to ordered partitions of an obtuse basis in a finite dimensional euclidean vector space.…

Zaremba's conjecture (1971) states that every positive integer number $d$ can be represented as a denominator (continuant) of a finite continued fraction $\frac{b}{d}=[d_1,d_2,...,d_{k}],$ with all partial quotients $d_1,d_2,...,d_{k}$…

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…

We prove that for any two quasi-Banach spaces $X$ and $Y$ and any $\alpha>0$ there exists a constant $\gamma_\alpha>0$ such that $$ \sup_{1\le k\le n}k^{\alpha}e_k(T)\le \gamma_\alpha \sup_{1\le k\le n} k^\alpha c_k(T) $$ holds for all…

We show that for each abelian number field $K$ of sufficiently large degree $d$ there exists an element $\alpha\in K$ with $K=\IQ(\alpha)$ and absolute Weil height $H(\alpha)\ll_d |\Delta_K|^{1/2d}$ , where $\Delta_K$ denotes the…

For fixed positive reals $t$ and $\alpha$, consider the sequence $S_t(\alpha) = (s_1, s_2, \ldots, )$ with $s_n = \left \lfloor t\alpha^n \right \rfloor$. In 1964, Graham managed to characterize those pairs $(t, \alpha)$ with $0 < t < 1$…

We give an elementary combinatorial proof of Bass's determinant formula for the zeta function of a finite regular graph. This is done by expressing the number of non-backtracking cycles of a given length in terms of Chebychev polynomials in…

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

Given a number field $K$ one associates to it the set $\Lambda_K$ of Dedekind zeta-functions of finite abelian extensions of $K$. In this short note we present a proof of the following Theorem: for any number field $K$ the set $\Lambda_K$…

This is an exposition of the following `weak' Erd\H{o}s-Szemer\'edi conjecture for integer sets proved by Bourgain and Chang in 2004. For any $\gamma > 0$ there exists $\Lambda(\gamma) > 0$ such that for an arbitrary $A \subset \mathbb{N}$,…

Let $\mathcal{X}$ be a complex Banach space and $A\in\mathcal{L}(\mathcal{X})$ with $\sigma(A)=\{1\}$. We prove that for a vector $x\in \mathcal{X}$, if $\|(A^{k}+A^{-k})x\|=O(k^N)$ as $k \rightarrow +\infty$ for some positive integer $N$,…

For $K$ a cubic field with only one real embedding and $\alpha,\beta\in K$, we show how to construct an increasing sequence $\{m_n\}$ of positive integers and a subsequence $\{\psi_n\}$ such that (for some constructible constants…

Let $\alpha(n)$ denote the number of perfect square permutations in the symmetric group $S_n$. The conjecture $\alpha(2n+1) = (2n+1) \alpha(2n)$, provided by Stanley[4], was proved by Blum[1] using a generating function. This paper presents…

Let $k$ be a field and let $A=\bigoplus_{n\ge 1}A_n$ be a positively graded $k$-algebra. We recall that $A$ is graded nilpotent if for every $d\ge 1$, the subalgebra of $A$ generated by elements of degree $d$ is nilpotent. We give a method…

We conjecture average counting functions for prime $k$-tuples based on a gamma distribution hypothesis for prime powers. The conjecture is closely related to the Hardy-Littlewood conjecture for $k$-tuples but yields better estimates.…

For the old question whether there is always a prime in the interval [kn, (k+1)n] or not, the famous Bertrand's postulate gave an affirmative answer for k=1. It was first proved by P.L. Chebyshev in 1850, and an elegant elementary proof was…

Let $n\geq 3$. We show that for every number field $K$ with $\zeta_p \notin K$, the absolute and tame Galois groups of $K$ satisfy the strong $n$-fold Massey property relative to $p$. Our work is based on an adapted version of the proof of…

We prove an explicit inverse Chevalley formula in the equivariant $K$-theory of semi-infinite flag manifolds of simply-laced type. By an inverse Chevalley formula, we mean a formula for the product of an equivariant scalar with a Schubert…

Let $K$ be an algebraically closed field of characteristic zero, $\delta$ a nonzero $\mathcal{E}$-derivation of $K[x]$. We first prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x]$ in some cases. Then we prove that LFED…

The Main Theorem for abelian fields (often called Main Conjecture despite proofs in most cases) has a long history which has found a solution by means of "elementary arithmetic", as detailed in Washington's book from Thaine's method having…