Let ${𝒟}_{\lambda ,\mu }$ be the space of linear differential operators on weighted densities from ${ℱ}_{\lambda }$ to ${ℱ}_{\mu }$ as module over the orthosymplectic Lie superalgebra $\mathrm{𝔬𝔰𝔭}\left(3\right|2)$, where ${ℱ}_{\lambda }$, $ł\in ℂ$ is the space of tensor densities of degree $\lambda$ on the supercircle $S^{1|3}$. We prove the existence and uniqueness of projectively equivariant quantization map from the space of symbols to the space of differential operators. An explicite expression of this map is also given.

Let $G$ be a unitary group defined over a non-Archimedean local field of odd residue characteristic and let $H$ be the centralizer of a semisimple rational Lie algebra element of $G.$ We prove that the Bruhat-Tits building ${𝔅}^1\left(H\right)$ of $H$ can be affinely and $G$-equivariantly embedded in the Bruhat-Tits building ${𝔅}^1\left(G\right)$ of $G$ so that the Moy-Prasad filtrations are preserved. The latter property forces uniqueness in the following way. Let $j$ and $j^{\prime }$ be maps from ${𝔅}^1\left(H\right)$ to ${𝔅}^1\left(G\right)$ which preserve the Moy–Prasad filtrations....

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group ${}_f\subseteq G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_f{=p|}_f{:}_f\to G$. A right inverse (section) $G{\to }_f$ of $p_f$ is called a coaction on G. In this paper we study ${}_f$ and the sections of $p_f$. We consider the following topics: the structure of ${}_f$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

Let Fⁿ be a connected, smooth and closed n-dimensional manifold. We call Fⁿ a manifold with property when it has the following property: if $N^m$ is any smooth closed m-dimensional manifold with m > n and $T:N^m\to N^m$ is a smooth involution whose fixed point set is Fⁿ, then m = 2n. Examples of manifolds with this property are: the real, complex and quaternionic even-dimensional projective spaces $R{P}^{2n}$, $C{P}^{2n}$ and $H{P}^{2n}$, and the connected sum of $R{P}^{2n}$ and any number of copies of Sⁿ × Sⁿ, where Sⁿ is the n-sphere...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

We show that for any given integer $k$ there exist infinitely many consecutive square-free numbers of the type $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$. We also establish an asymptotic formula for $1\le x,y,z\le H$ such that $x^2+y^2+z^2+k$, $x^2+y^2+z^2+k+1$ are square-free. The method we used in this paper is due to Tolev.

A natural number $n$ is said to be a $(k,r)$-integer if $n=a^{k}b$, where $k>r>1$ and $b$ is not divisible by the $r$th power of any prime. We study the distribution of such $(k,r)$-integers in the Piatetski-Shapiro sequence $\left\{\lfloor n^c\rfloor \right\}$ with $c>1$. As a corollary, we also obtain similar results for semi-$r$-free integers.

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

We study equivalences for category ${𝒪}_p$ of the rational Cherednik algebras ${𝐇}_p$ of type $G_{\ell }\left(n\right)={\left({\mu }_{\ell }\right)}^n⋊{𝔖}_n$: a highest weight equivalence between ${𝒪}_p$ and ${𝒪}_{\sigma \left(p\right)}$ for $\sigma \in {𝔖}_{\ell }$ and an action of ${𝔖}_{\ell }$ on an explicit non-empty Zariski open set of parameters $p$; a derived equivalence between ${𝒪}_p$ and ${𝒪}_{p^{\text{'}}}$ whenever $p$ and $p^{\text{'}}$ have integral difference; a highest weight equivalence between ${𝒪}_p$ and a parabolic category $𝒪$ for the general linear group, under a non-rationality assumption on the parameter $p$. As a consequence, we confirm special cases...

Let $k$ be a fixed integer. We study the asymptotic formula of $R(H,r,k)$, which is the number of positive integer solutions $1\le x,y,z\le H$ such that the polynomial $x^2+y^2+z^2+k$ is $r$-free. We obtained the asymptotic formula of $R(H,r,k)$ for all $r\ge 2$. Our result is new even in the case $r=2$. We proved that $R(H,2,k)=c_k{H}^3+O\left(H^{9/4+\epsilon }\right)$, where $c_k>0$ is a constant depending on $k$. This improves upon the error term $O\left(H^{7/3+\epsilon }\right)$ obtained by G.-L. Zhou, Y. Ding (2022).

Given a locale $L$ and a join semilattice $J$ with bottom element $0_J$, a new concept $(\sigma ,J)$ called $L$-slice is defined,where $\sigma$ is as an action of the locale $L$ on the join semilattice $J$. The $L$-slice $(\sigma ,J)$ adopts topological properties of the locale $L$ through the action $\sigma$. It is shown that for each $a\in L$, ${\sigma }_a$ is an interior operator on $(\sigma ,J)$.The collection $M=\{{\sigma }_a;a\in L\}$ is a Priestly space and a subslice of $L$-$Hom(J,J)$. If the locale $L$ is spatial we establish an isomorphism between the $L$-slices $(\sigma ,L)$ and $(\delta ,M)$. We have shown that the fixed...

Let $G$ be a group and $\omega \left(G\right)$ be the set of element orders of $G$. Let $k\in \omega \left(G\right)$ and $m_k\left(G\right)$ be the number of elements of order $k$ in $G$. Let nse$\left(G\right)=\{m_k\left(G\right):k\in \omega \left(G\right)\}$. Assume $r$ is a prime number and let $G$ be a group such that nse$\left(G\right)=$ nse$\left(S_r\right)$, where $S_r$ is the symmetric group of degree $r$. In this paper we prove that $G\cong S_r$, if $r$ divides the order of $G$ and $r^2$ does not divide it. To get the conclusion we make use of some well-known results on the prime graphs of finite simple groups and their components.

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

We consider $k$-free numbers over Beatty sequences. New results are given. In particular, for a fixed irrational number $\alpha >1$ of finite type $\tau <\infty$ and any constant $\epsilon >0$, we can show that $$\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{[\alpha n+\beta ]\in {𝒬}_k}}1-\frac{x}{\zeta \left(k\right)}\ll x^{k/(2k-1)+\epsilon }+x^{1-1/(\tau +1)+\epsilon },$$ where ${𝒬}_k$ is the set of positive $k$-free integers and the implied constant depends only on $\alpha ,$ $\epsilon ,$ $k$ and $\beta .$ This improves previous results. The main new ingredient of our idea is employing double exponential sums of the type $$\sum _{1\le h\le H}\sum _{\genfrac{}{}{0pt}{}{1\le n\le x}{n\in {𝒬}_k}}e\left(\vartheta hn\right).$$

We consider the equation $$-y^{\text{'}}\left(x\right)+q\left(x\right)y(x-\varphi \left(x\right))=f\left(x\right),x\in ℝ,$$ where $\varphi$ and $q$ ($q\ge 1$) are positive continuous functions for all $x\in ℝ$ and $f\in C\left(ℝ\right)$. By a solution of the equation we mean any function $y$, continuously differentiable everywhere in $ℝ$, which satisfies the equation for all $x\in ℝ$. We show that under certain additional conditions on the functions $\varphi$ and $q$, the above equation has a unique solution $y$, satisfying the inequality $$\parallel y^{\text{'}}{\parallel }_{C\left(ℝ\right)}+{\parallel qy\parallel }_{C\left(ℝ\right)}\le c{\parallel f\parallel }_{C\left(ℝ\right)},$$ where the constant $c\in (0,\infty )$ does not depend on the choice of $f$.

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

Given a graph $G$, let $f\left(G\right)$ denote the maximum number of edges in a bipartite subgraph of $G$. Given a fixed graph $H$ and a positive integer $m$, let $f(m,H)$ denote the minimum possible cardinality of $f\left(G\right)$, as $G$ ranges over all graphs on $m$ edges that contain no copy of $H$. In this paper we prove that $f(m,{\theta }_{k,s})\ge \frac{1}{2}m+\Omega \left(m^{(2k+1)/(2k+2)}\right)$, which extends the results of N. Alon, M. Krivelevich, B. Sudakov. Write $K_k^{\text{'}}$ and $K_{t,s}^{\text{'}}$ for the subdivisions of $K_k$ and $K_{t,s}$. We show that $f(m,K_k^{\text{'}})\ge \frac{1}{2}m+\Omega \left(m^{(5k-8)/(6k-10)}\right)$ and $f(m,K_{t,s}^{\text{'}})\ge \frac{1}{2}m+\Omega \left(m^{(5t-1)/(6t-2)}\right)$, improving a result of Q. Zeng, J. Hou. We also give lower bounds on...

In this paper, we examine a natural question concerning the divisors of the polynomial $x^n-1$: “How often does $x^n-1$ have a divisor of every degree between $1$ and $n$?” In a previous paper, we considered the situation when $x^n-1$ is factored in $\mathbb{Z}\left[x\right]$. In this paper, we replace $\mathbb{Z}\left[x\right]$ with ${𝔽}_p\left[x\right]$, where $p$ is an arbitrary-but-fixed prime. We also consider those $n$ where this condition holds for all $p$.