General position properties play a crucial role in geometric and infinite-dimensional topologies. Often such properties provide convenient tools for establishing various universality results. One of well-known general position properties is DDⁿ, the property of disjoint n-cells. Each Polish $L{C}^{n-1}$-space X possessing DDⁿ contains a topological copy of each n-dimensional compact metric space. This fact implies, in particular, the classical Lefschetz-Menger-Nöbeling-Pontryagin-Tolstova embedding...

Let $a$ and $b\in \mathbb{N}$. Denote by $R_{a,b}$ the set of all integers $n>1$ whose canonical prime representation $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_r^{{\alpha }_r}$ has all exponents ${\alpha }_i$ $(1\le i\le r)$ being a multiple of $a$ or belonging to the arithmetic progression $at+b$, $t\in {\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$. All integers in $R_{a,b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

A geometric progression of length k and integer ratio is a set of numbers of the form $a,ar,...,a{r}^{k-1}$ for some positive real number a and integer r ≥ 2. For each integer k ≥ 3, a greedy algorithm is used to construct a strictly decreasing sequence ${\left(a_i\right)}_{i=1}^{\infty }$ of positive real numbers with a₁ = 1 such that the set $G^{\left(k\right)}={\bigcup }_{i=1}^{\infty }(a_{2i},a_{2i-1}]$ contains no geometric progression of length k and integer ratio. Moreover, $G^{\left(k\right)}$ is a maximal subset of (0,1] that contains no geometric progression of length k and integer ratio. It is also proved that...

Let ${𝒫}_2$ denote a positive integer with at most $2$ prime factors, counted according to multiplicity. For integers $a$, $q$ such that $(a,q)=1$, let ${𝒫}_2(q,a)$ denote the least ${𝒫}_2$ in the arithmetic progression ${\{nq+a\}}_{n=1}^{\infty }$. It is proved that for sufficiently large $q$, we have $${𝒫}_2(q,a)\ll q^{1.825}.$$ This result constitutes an improvement upon that of J. Li, M. Zhang and Y. Cai (2023), who obtained ${𝒫}_2(q,a)\ll q^{1.8345}.$

The Golomb space ${\mathbb{N}}_{\tau }$ is the set $\mathbb{N}$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space ${\mathbb{N}}_{\tau }$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by T. Banakh at Mathoverflow in 2017.

Let $\left[t\right]$ be the integral part of a real number $t$, and let $f$ be the arithmetic function satisfying some simple condition. We establish a new asymptotical formula for the sum $S_f\left(x\right)={\sum }_{n\le x}f\left([x/n]\right)$, which improves the recent result of J. Stucky (2022).

Let $(X,d,\mu )$ be a metric measure space satisfying the doubling condition and an $L^2$-Poincaré inequality. Consider the nonnegative operator $ℒ$ generalized by a Dirichlet form on $X$. We will show that a solution $u$ to $(-{\partial }_t^2+ℒ)u=0$ on $X\times {ℝ}_{+}$ satisfies an $\alpha$-Carleson condition if and only if $u$ can be represented as the Poisson integral of the operator $ℒ$ with the trace in the generalized Morrey space $L^{2,\alpha }\left(X\right)$, where $\alpha$ is a nonnegative function defined on a class of balls in $X$. This result extends the analogous characterization...

Let $G$ be a finite group $G$, $K$ a field of characteristic $p\ge 17$ and let $U$ be the group of units in $KG$. We show that if the derived length of $U$ does not exceed $4$, then $G$ must be abelian.

We use the estimation of the number of integers $n$ such that $\lfloor n^c\rfloor$ belongs to an arithmetic progression to study the coprimality of integers in ${\mathbb{N}}^c={\left\{\lfloor n^c\rfloor \right\}}_{n\in \mathbb{N}}$, $c>1$, $c\notin \mathbb{N}$.

It is well-known that a probability measure $\mu$ on the circle $𝕋$ satisfies $\parallel {\mu }^n{*f-\int f\mathrm{d}m\parallel }_p\to 0$ for every $f\in L_p$, every (some) $p\in [1,\infty )$, if and only if $|\widehat{\mu }\left(n\right)|lt;1$ for every non-zero $n\in \mathbb{Z}$ ($\mu$ is strictly aperiodic). In this paper we study the a.e. convergence of ${\mu }^n*f$ for every $f\in L_p$ whenever $pgt;1$. We prove a necessary and sufficient condition, in terms of the Fourier–Stieltjes coefficients of $\mu$, for the strong sweeping out property (existence of a Borel set $B$ with $lim\; sup{\mu }^n*1_B=1$ a.e. and $lim\; inf{\mu }^n*1_B=0$ a.e.). The results are extended to general compact Abelian groups...

Let $F$ be a closed subset of ${ℝ}^n$ and let $P\left(x\right)$ denote the metric projection (closest point mapping) of $x\in {ℝ}^n$ onto $F$ in $l^p$-norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in ${ℝ}^n$ in the Euclidean case $p=2$. We consider the case $2<p<\infty$ and prove that the $i$th component $P_i\left(x\right)$ of $P\left(x\right)$ is differentiable a.e. if $P_i\left(x\right)\ne x_i$ and satisfies Hölder condition of order $1/(p-1)$ if $P_i\left(x\right)=x_i$.

Let $(𝒪,\Sigma ,F_{\infty })$ be an arithmetic ring of Krull dimension at most 1, $𝒮=\mathrm{Spec}𝒪$ and $(\pi :𝒳\to 𝒮;{\sigma }_1,...,{\sigma }_n)$ an $n$-pointed stable curve of genus $g$. Write $𝒰=𝒳\setminus {\cup }_j{\sigma }_j\left(𝒮\right)$. The invertible sheaf ${\omega }_{𝒳/𝒮}({\sigma }_1+\cdots +{\sigma }_n)$ inherits a hermitian structure ${\parallel ·\parallel }_{\mathrm{hyp}}$ from the dual of the hyperbolic metric on the Riemann surface ${𝒰}_{\infty }$. In this article we prove an arithmetic Riemann-Roch type theorem that computes the arithmetic self-intersection of ${\omega }_{𝒳/𝒮}{({\sigma }_1+...+{\sigma }_n)}_{\mathrm{hyp}}$. The theorem is applied to modular curves $X\left(\Gamma \right)$, $\Gamma ={\Gamma }_0\left(p\right)$ or ${\Gamma }_1\left(p\right)$, $p\ge 11$ prime, with sections given by the cusps. We show $Z^{\text{'}}(Y\left(\Gamma \right),1)\sim e^a{\pi }^b{\Gamma }_2{(1/2)}^{c}L(0,{ℳ}_{\Gamma })$, with $p\equiv 11mod12$ when $\Gamma ={\Gamma }_0\left(p\right)$. Here $Z\left(Y\right(\Gamma ),s)$ is the Selberg...