We give a Hopf boundary point lemma for weak solutions of linear divergence form uniformly elliptic equations, with Hölder continuous top-order coefficients and lower-order coefficients in a Morrey space.

Let $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}\in \mathbb{R}$ and $s\in \mathbb{N}$ be given. Let $\unicode[STIX]{x1D6FF}_{x}$ denote the Dirac measure at $x\in \mathbb{R}$, and let $\ast$ denote convolution. If $\unicode[STIX]{x1D707}$ is a measure, $\unicode[STIX]{x1D707}^{\star }$ is the measure that assigns to each Borel set $A$ the value $\overline{\unicode[STIX]{x1D707}(-A)}$. If $u\in \mathbb{R}$, we put $\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},u}=e^{iu(\unicode[STIX]{x1D6FC}-\unicode[STIX]{x1D6FD})/2}\unicode[STIX]{x1D6FF}_{0}-e^{iu(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FD})/2}\unicode[STIX]{x1D6FF}_{u}$. Then we call a function $g\in L^{2}(\mathbb{R})$ a generalized$(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$-difference of order$2s$ if for some $u\in \mathbb{R}$ and $h\in L^{2}(\mathbb{R})$ we have $g=[\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},u}+\unicode[STIX]{x1D707}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},u}^{\star }]^{s}\ast h$. We denote by ${\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$ the vector space of all functions $f$ in $L^{2}(\mathbb{R})$ such that $f$ is a finite sum of generalized $(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$-differences of order $2s$. It is shown that every function in ${\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$ is a sum of $4s+1$ generalized $(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$-differences of order $2s$. Letting $\widehat{f}$ denote the Fourier transform of a function $f\in L^{2}(\mathbb{R})$, it is shown that $f\in {\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$ if and only if $\widehat{f}$  “vanishes” near $\unicode[STIX]{x1D6FC}$ and $\unicode[STIX]{x1D6FD}$ at a rate comparable with $(x-\unicode[STIX]{x1D6FC})^{2s}(x-\unicode[STIX]{x1D6FD})^{2s}$. In fact, ${\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$ is a Hilbert space where the inner product of functions $f$ and $g$ is $\int _{-\infty }^{\infty }(1+(x-\unicode[STIX]{x1D6FC})^{-2s}(x-\unicode[STIX]{x1D6FD})^{-2s})\widehat{f}(x)\overline{\widehat{g}(x)}\,dx$. Letting $D$ denote differentiation, and letting $I$ denote the identity operator, the operator $(D^{2}-i(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FD})D-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FD}I)^{s}$ is bounded with multiplier $(-1)^{s}(x-\unicode[STIX]{x1D6FC})^{s}(x-\unicode[STIX]{x1D6FD})^{s}$, and the Sobolev subspace of $L^{2}(\mathbb{R})$ of order $2s$ can be given a norm equivalent to the usual one so that $(D^{2}-i(\unicode[STIX]{x1D6FC}+\unicode[STIX]{x1D6FD})D-\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FD}I)^{s}$ becomes an isometry onto the Hilbert space ${\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$. So a space ${\mathcal{D}}_{\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD},s}(\mathbb{R})$ may be regarded as a type of Sobolev space having a negative index.

We study the structure of the stable category $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ of graded maximal Cohen–Macaulay module over $S/(f)$ where $S$ is a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree 1, and $f=x_{1}^{2}+\cdots +x_{n}^{2}$. If $S$ is commutative, then the structure of $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ is well known by Knörrer’s periodicity theorem. In this paper, we prove that if $n\leqslant 5$, then the structure of $\text{}\underline{\mathsf{CM}}^{\mathbb{Z}}(S/(f))$ is determined by the number of irreducible components of the point scheme of $S$ which are isomorphic to $\mathbb{P}^{1}$.

The classical Alexandrov–Bakelman–Pucci estimate for the Laplacian states

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c_{s,n}\text{diam}(\unicode[STIX]{x03A9})^{2-\frac{n}{s}}\Vert \unicode[STIX]{x0394}u\Vert _{L^{s}(\unicode[STIX]{x03A9})},\end{eqnarray}$$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{n}$

$u\in C^{2}(\unicode[STIX]{x03A9})\cap C(\overline{\unicode[STIX]{x03A9}})$

$s>n/2$

$s=n/2$

$n\geqslant 3$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{n}$

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c_{n}\Vert \unicode[STIX]{x0394}u\Vert _{L^{\frac{n}{2},1}(\unicode[STIX]{x03A9})},\end{eqnarray}$$

$L^{p,q}$

$L^{p}$

$n=2$

$c>0$

$\unicode[STIX]{x03A9}\subset \mathbb{R}^{2}$

$$\begin{eqnarray}\max _{x\in \unicode[STIX]{x03A9}}|u(x)|\leqslant \max _{x\in \unicode[STIX]{x2202}\unicode[STIX]{x03A9}}|u(x)|+c\max _{x\in \unicode[STIX]{x03A9}}\int _{y\in \unicode[STIX]{x03A9}}\max \left\{1,\log \left(\frac{|\unicode[STIX]{x03A9}|}{\Vert x-y\Vert ^{2}}\right)\right\}|\unicode[STIX]{x0394}u(y)|dy.\end{eqnarray}$$

This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposition theorem and Henckell’s aperiodic pointlike theorem. We use a new algebraic technique that we call the merge decomposition. A prototypical application of this technique decomposes a semigroup $T$ into a two-sided semidirect product whose components are built from two subsemigroups $T_{1}$, $T_{2}$, which together generate $T$, and the subsemigroup generated by their setwise product $T_{1}T_{2}$. In this sense we decompose $T$ by merging the subsemigroups $T_{1}$ and $T_{2}$. More generally, our technique merges semigroup homomorphisms from free semigroups.

We use a variant of a technique used by M. T. Lacey to give sparse $L^{p}(\log (L))^{4}$ bounds for a class of model singular and maximal Radon transforms.

In this paper, we prove that if an almost co-Kähler manifold of dimension greater than three satisfying $\unicode[STIX]{x1D702}$-Einstein condition with constant coefficients is a Ricci soliton with potential vector field being of constant length, then either the manifold is Einstein or the Reeb vector field is parallel. Let $M$ be a non-co-Kähler almost co-Kähler 3-manifold such that the Reeb vector field $\unicode[STIX]{x1D709}$ is an eigenvector field of the Ricci operator. If $M$ is a Ricci soliton with transversal potential vector field, then it is locally isometric to Lie group $E(1,1)$ of rigid motions of the Minkowski 2-space.

The object of this paper is to study Yamabe solitons on almost co-Kähler manifolds as well as on $(k,\unicode[STIX]{x1D707})$-almost co-Kähler manifolds. We also study Ricci solitons on $(k,\unicode[STIX]{x1D707})$-almost co-Kähler manifolds.

The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^{n}$ with all coordinates in the upper and lower half planes respectively, through a set in real space, $\mathbb{R}^{n}$. The geometry of the set in the real space can force the function to analytically continue within the boundary itself, which is qualified in our wedge-of-the-edge theorem. For example, if a function extends to the union of two cubes in $\mathbb{R}^{n}$ that are positively oriented with some small overlap, the functions must analytically continue to a neighborhood of that overlap of a fixed size not depending of the size of the overlap.

In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. This paper proves the following results. Except for parallelograms and centrally symmetric hexagons, there are no other convex domains that can form two-, three- or four-fold lattice tilings in the Euclidean plane. However, there are both octagons and decagons that can form five-fold lattice tilings. Whenever $n\geqslant 3$, there are non-parallelohedral polytopes that can form five-fold lattice tilings in the $n$-dimensional Euclidean space.

We prove that Krivine’s Function Calculus is compatible with integration. Let $(\unicode[STIX]{x1D6FA},\unicode[STIX]{x1D6F4},\unicode[STIX]{x1D707})$ be a finite measure space, $X$ a Banach lattice, $\mathbf{x}\in X^{n}$, and $f:\mathbb{R}^{n}\times \unicode[STIX]{x1D6FA}\rightarrow \mathbb{R}$ a function such that $f(\cdot ,\unicode[STIX]{x1D714})$ is continuous and positively homogeneous for every $\unicode[STIX]{x1D714}\in \unicode[STIX]{x1D6FA}$, and $f(\mathbf{s},\cdot )$ is integrable for every $\mathbf{s}\in \mathbb{R}^{n}$. Put $F(\mathbf{s})=\int f(\mathbf{s},\unicode[STIX]{x1D714})\,d\unicode[STIX]{x1D707}(\unicode[STIX]{x1D714})$ and define $F(\mathbf{x})$ and $f(\mathbf{x},\unicode[STIX]{x1D714})$ via Krivine’s Function Calculus. We prove that under certain natural assumptions $F(\mathbf{x})=\int f(\mathbf{x},\unicode[STIX]{x1D714})\,d\unicode[STIX]{x1D707}(\unicode[STIX]{x1D714})$, where the right hand side is a Bochner integral.

Let ${\mathcal{D}}$ be the irreducible Hermitian symmetric domain of type $D_{2n}^{\mathbb{H}}$. There exists a canonical Hermitian variation of real Hodge structure ${\mathcal{V}}_{\mathbb{R}}$ of Calabi–Yau type over ${\mathcal{D}}$. This short note concerns the problem of giving motivic realizations for ${\mathcal{V}}_{\mathbb{R}}$. Namely, we specify a descent of ${\mathcal{V}}_{\mathbb{R}}$ from $\mathbb{R}$ to $\mathbb{Q}$ and ask whether the $\mathbb{Q}$-descent of ${\mathcal{V}}_{\mathbb{R}}$ can be realized as sub-variation of rational Hodge structure of those coming from families of algebraic varieties. When $n=2$, we give a motivic realization for ${\mathcal{V}}_{\mathbb{R}}$. When $n\geqslant 3$, we show that the unique irreducible factor of Calabi–Yau type in $\text{Sym}^{2}{\mathcal{V}}_{\mathbb{R}}$ can be realized motivically.

Suppose that $D\subset \mathbb{C}$ is a simply connected subdomain containing the origin and $f(z_{1})$ is a normalized convex (resp., starlike) function on $D$. Let

$$\begin{eqnarray}\unicode[STIX]{x1D6FA}_{N}(D)=\bigg\{(z_{1},w_{1},\ldots ,w_{k})\in \mathbb{C}\times \mathbb{C}^{n_{1}}\times \cdots \times \mathbb{C}^{n_{k}}:\Vert w_{1}\Vert _{p_{1}}^{p_{1}}+\cdots +\Vert w_{k}\Vert _{p_{k}}^{p_{k}}<\frac{1}{\unicode[STIX]{x1D706}_{D}(z_{1})}\bigg\},\end{eqnarray}$$

$p_{j}\geqslant 1$

$N=1+n_{1}+\cdots +n_{k}$

$w_{1}\in \mathbb{C}^{n_{1}},\ldots ,w_{k}\in \mathbb{C}^{n_{k}}$

$\unicode[STIX]{x1D706}_{D}$

$D$

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}_{N,1/p_{1},\ldots ,1/p_{k}}(f)(z_{1},w_{1},\ldots ,w_{k})=(f(z_{1}),(f^{\prime }(z_{1}))^{1/p_{1}}w_{1},\ldots ,(f^{\prime }(z_{1}))^{1/p_{k}}w_{k})\end{eqnarray}$$

$\unicode[STIX]{x1D6FA}_{N}(D)$

$D$

$\mathbb{C}^{2}$

$\unicode[STIX]{x1D6F7}_{N,1/p_{1},\ldots ,1/p_{k}}(f)$

$\unicode[STIX]{x1D6FC}$

$f$

$\unicode[STIX]{x1D6FC}$

We prove a function field analogue of Maynard’s celebrated result about primes with restricted digits. That is, for certain ranges of parameters $n$ and $q$, we prove an asymptotic formula for the number of irreducible polynomials of degree $n$ over a finite field $\mathbb{F}_{q}$ whose coefficients are restricted to lie in a given subset of $\mathbb{F}_{q}$.

Let $\ell \in \mathbb{N}$ and $p\in (1,\infty ]$. In this article, the authors establish several equivalent characterizations of Sobolev spaces $W^{2\ell +2,p}(\mathbb{R}^{n})$ in terms of derivatives of ball averages. The novelty in the results of this article is that these equivalent characterizations reveal some new connections between the smoothness indices of Sobolev spaces and the derivatives on the radius of ball averages and also that, to obtain the corresponding results for higher order Sobolev spaces, the authors first establish the combinatorial equality: for any $\ell \in \mathbb{N}$ and $k\in \{0,\ldots ,\ell -1\}$, $\sum _{j=0}^{2\ell }(-1)^{j}\binom{2\ell }{j}|\ell -j|^{2k}=0$.

We investigate continuous transitive actions of semitopological groups on spaces, as well as separately continuous transitive actions of topological groups.