For a prime $p$ and positive integers $\ell \<k\<h\<p$ with $d=(h,k,\ell ,p-1)$, we show that $M$, the number of simultaneous solutions $x,y,z,w$ in ${\mathbb{Z}}_p^{*}$ to $x^h+y^h=z^h+w^h$, $x^k+y^k=z^k+w^k$, $x^{\ell }+y^{\ell }=z^{\ell }+w^{\ell }$, satisfies $${\displaystyle M\le 3d^2{(p-1)}^2+25hk\ell (p-1).}$$ When $hk\ell =o\left(p{d}^2\right)$ we obtain a precise asymptotic count on $M$. This leads to the new twisted exponential sum bound $${\displaystyle \left|\sum _{x=1}^{p-1}\chi \left(x\right)e^{2\pi if\left(x\right)/p}\right|\le 3^{\frac{1}{4}}{d}^{\frac{1}{2}}{p}^{\frac{7}{8}}+\sqrt{5}{\left(hk\ell \right)}^{\frac{1}{4}}{p}^{\frac{5}{8}},}$$ for trinomials $f=a{x}^h+b{x}^k+c{x}^{\ell }$, and to results on the average size of such sums.

1. Introduction. The recent article [1] gives explicit evaluations for exponential sums of the form $S(a,p^{\alpha }+1):={\sum }_{x{\in }_q}\chi \left(a{x}^{p^{\alpha }+1}\right)$ where χ is a non-trivial additive character of the finite field ${}_q$, $q=p^e$ odd, and $a\in {*}_q$. In my dissertation [5], in particular in [4], I considered more generally the sums S(a,N) for all factors N of $p^{\alpha }+1$. The aim of the present note is to evaluate S(a,N) in a short way, following [4]. We note that our result is also valid for even q, and the technique used in our proof can also be used to evaluate...

1. Introduction. Let p be a prime number and ${\mathbb{Z}}_p$ the ring of p-adic integers. Let k be a finite extension of the rational number field ℚ, $k_{\infty }$ a ${\mathbb{Z}}_p$-extension of k, $k_n$ the nth layer of $k_{\infty }/k$, and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$. Iwasawa proved the following well-known theorem about the order $A_n$ of $A_n$: Theorem A (Iwasawa). Let $k_{\infty }/k$ be a ${\mathbb{Z}}_p$-extension and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$, where $k_n$ is the $n$th layer of $k_{\infty }/k$. Then there exist integers $\lambda =\lambda (k_{\infty }/k)\ge 0$, $\mu =\mu (k_{\infty }/k)\ge 0$, $\nu =\nu (k_{\infty }/k)$, and n₀ ≥ 0...

Let $L\left(X\right)$ be the space of all lower semi-continuous extended real-valued functions on a Hausdorff space $X$, where, by identifying each $f$ with the epi-graph $epi\left(f\right)$, $L\left(X\right)$ is regarded the subspace of the space ${Cld}_F^{*}(X\times ℝ)$ of all closed sets in $X\times ℝ$ with the Fell topology. Let $$LSC\left(X\right)=\{f\in L\left(X\right)\mid f\left(X\right)\cap ℝ\ne \varnothing ,f\left(X\right)\subset (-\infty ,\infty ]\}\text{and}{LSC}_B\left(X\right)=\{f\in L\left(X\right)\mid f\left(X\right)\text{is}\text{a}\text{bounded}\text{subset}\text{of}ℝ\}.$$ We show that $L\left(X\right)$ is homeomorphic to the Hilbert cube $Q={[-1,1]}^{\mathbb{N}}$ if and only if $X$ is second countable, locally compact and infinite. In this case, it is proved that $(L\left(X\right),LSC\left(X\right),{LSC}_B\left(X\right))$ is homeomorphic to $(ConeQ,Q\times (0,1),\Sigma \times (0,1\left)\right)$ (resp. $(Q,s,\Sigma )$) if $X$ is compact (resp. $X$ is non-compact), where $ConeQ=(Q\times 𝐈)/(Q\times \{1\left\}\right)$ is...

Let $\varphi (x_1,...,x_h,y)=u_1{x}_1+\cdots +u_h{x}_h+vy$ be a linear form with nonzero integer coefficients $u_1,...,u_h,v.$ Let $𝒜=(A_1,...,A_h)$ be an $h$-tuple of finite sets of integers and let $B$ be an infinite set of integers. Define the representation function associated to the form $\varphi$ and the sets $𝒜$ and $B$ as follows : $$R_{𝒜,B}^{\left(\varphi \right)}\left(n\right)=\text{card}\left(\begin{array}{cc}\hfill \{(a_1,...,a_h,b)\in A_1& \times \cdots \times A_h\times B:\hfill \\ & \varphi (a_1,...,a_h,b)=n\}\hfill \end{array}\right).$$ If this representation function is constant, then the set $B$ is periodic and the period of $B$ will be bounded in terms of the diameter of the finite set $\{\varphi (a_1,...,a_h,0):(a_1,...,a_h)\in A_1\times \cdots \times A_h\}.$ Other results for complementing sets with respect to linear forms are...