We investigate the complex geometry of total spaces of reductive principal bundles over compact base spaces and establish a close relation between the Kähler property of the base, momentum maps for the action of a maximal compact subgroup on the total space, and the Kähler property of special equivariant compactifications. We provide many examples illustrating that the main result is optimal.

We show that all large enough positive integral surgeries on algebraic knots bound a 4-manifold with a negative definite plumbing tree, which we describe explicitly. Then we apply the lattice embedding obstruction coming from Donaldson’s Theorem to classify the ones of the form $S^3_n(T(p_1,k_1p_1+1; p_2, k_2p_2\pm 1))$ that also bound rational homology 4-balls.

In this note, we prove that every Salem number is expressible as a difference of two Pisot numbers. More precisely, we show that for each Salem number α of degree d, there are infinitely many positive integers n for which $\alpha^{2n-1}-\alpha^n+\alpha$ and $\alpha^{2n-1}-\alpha^n$ are both Pisot numbers of degree d and that the smallest such n is at most $6^{d/2-1}+1$. We also prove that every real positive algebraic number can be expressed as a quotient of two Pisot numbers. Earlier, Salem himself had proved that every Salem number can be written in this way.

In this paper, we study weak solutions, possibly unbounded and sign-changing, to the double phase problem

\begin{equation*}-\text{div} (|\nabla u|^{p-2} \nabla u + w(x)|\nabla u|^{q-2} \nabla u) = \left(\frac{1}{|x|^{N-\mu}}*f|u|^r\right) f(x)|u|^{r-2}u \quad\text{in}\ \mathbb{R}^N,\end{equation*}

$q\ge p\ge2$

$0 \lt \mu \lt N$

$w,f \in L^1_{\rm loc}(\mathbb{R}^N)$

$w(x) \le C_1|x|^a$

$f(x) \ge C_2|x|^b$

$|x| \gt R_0$

$R_0,C_1,C_2 \gt 0$

$a,b\in\mathbb{R}$

$\mathbb{R}^N$

We consider the non-linear Schrödinger equation(Pμ)

\begin{equation*}\begin{array}{lc}-\Delta u + V(x) u = \mu f(u) + |u|^{2^*-2}u, &\end{array}\end{equation*}

$\mathbb{R}^N$

$N\geq3$

$f(s)/s$

In recent years, mock theta functions in the modern sense have received great attention to seek examples of q-hypergeometric series and find their alternative representations. In this paper, we discover some new mock theta functions and express them in terms of Hecke-type double sums based on some basic hypergeometric series identities given by Z.G. Liu.

In this paper, we obtain one sharp estimate for the length $L(\partial\Sigma)$ of the boundary $\partial\Sigma$ of a capillary minimal surface Σ2 in M3, where M is a compact three-manifolds with strictly convex boundary, assuming Σ has index one. The estimate is in term of the genus of Σ, the number of connected components of $\partial\Sigma$ and the constant contact angle θ. Making an extra assumption on the geometry of M along $\partial M$, we characterize the global geometry of M, which is saturated only by the Euclidean three-balls. For capillary stable CMC surfaces, we also obtain similar results.

Let $\mathfrak{p}$ be a prime ideal in a commutative noetherian ring R and denote by $k(\mathfrak{p})$ the residue field of the local ring $R_\mathfrak{p}$. We prove that if an R-module M satisfies $\operatorname{Ext}_R^{n}(k(\mathfrak{p}),M)=0$ for some $n\geqslant\dim R$, then $\operatorname{Ext}_R^i(k(\mathfrak{p}),M)=0$ holds for all $i \geqslant n$. This improves a result of Christensen, Iyengar and Marley by lowering the bound on n. We also improve existing results on Tor-rigidity. This progress is driven by the existence of minimal semi-flat-cotorsion replacements in the derived category as recently proved by Nakamura and Thompson.

Given a Borel probability measure µ on $\mathbb{R}^n$ and a real matrix $R\in M_n(\mathbb{R})$. We call R a spectral eigenmatrix of the measure µ if there exists a countable set $\Lambda\subset \mathbb{R}^n$ such that the sets $E_\Lambda=\big\{{\rm e}^{2\pi i \langle\lambda,x\rangle}:\lambda\in \Lambda\big\}$ and $E_{R\Lambda}=\big\{{\rm e}^{2\pi i \langle R\lambda,x\rangle}:\lambda\in \Lambda\big\}$ are both orthonormal bases for the Hilbert space $L^2(\mu)$. In this paper, we study the structure of spectral eigenmatrix of the planar self-affine measure $\mu_{M,D}$ generated by an expanding integer matrix $M\in M_2(2\mathbb{Z})$ and the four-elements digit set $D = \{(0,0)^t,(1,0)^t,(0,1)^t,(-1,-1)^t\}$. Some sufficient and/or necessary conditions for R to be a spectral eigenmatrix of $\mu_{M,D}$ are given.

In this paper, we are concerned with the non-existence of positive solutions of a Hartree–Poisson system:

\begin{equation*}\left\{\begin{aligned}&-\Delta u=\left(\frac{1}{|x|^{n-2}}\ast v^p\right)v^{p-1},\quad u \gt 0\ \text{in} \ \mathbb{R}^{n},\\&-\Delta v=\left(\frac{1}{|x|^{n-2}}\ast u^q\right)u^{q-1},\quad v \gt 0\ \text{in} \ \mathbb{R}^{n},\end{aligned}\right.\end{equation*}

$n \geq3$

$\min\{p,q\} \gt 1$

As a weak version of embedding flow, the problem of iterative roots is studied extensively in one dimension, especially in monotone case. There are few results in high dimensions because the constructive method dealing with monotone mappings is unavailable. In this paper, by introducing a kind of partial order, we define the monotonicity for two-dimensional mappings and then present some results on the existence of iterative roots for linear mappings, triangle-type mappings, and co-triangle-type mappings, respectively. Our theorems show that even the property of monotonicity for iterative roots of monotone mappings, which is a trivial result in one dimension, does not hold anymore in high dimensions. At the end of this paper, the problem of iterative roots for two well-known planar mappings, that is, Hénon mappings and coupled logistic mappings, are also discussed.

We call a semigroup right perfect if every object in the category of unitary right acts over that semigroup has a projective cover. In this paper, we generalize results about right perfect monoids to the case of semigroups. In our main theorem, we will give nine conditions equivalent to right perfectness of a factorizable semigroup. We also prove that right perfectness is a Morita invariant for factorizable semigroups.

Recently, Hong and Li launched a systematic study of length-four pattern avoidance in inversion sequences, and in particular, they conjectured that the number of 0021-avoiding inversion sequences can be enumerated by the OEIS entry A218225. Meanwhile, Burstein suggested that the same sequence might also count three sets of pattern-restricted permutations. The objective of this paper is not only a confirmation of Hong and Li’s conjecture and Burstein’s first conjecture but also two more delicate generating function identities with the $\mathsf{ides}$ statistic concerned in the restricted permutation case and the $\mathsf{asc}$ statistic concerned in the restricted inversion sequence case, which yield a new equidistribution result.

The Hopf–Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group G correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a method for partitioning the set of corresponding Hopf–Galois structures, which we term ρ-conjugation. We study properties of this construction, with particular emphasis on the Hopf–Galois analogue of the Galois correspondence, the connection with skew left braces, and applications to questions of integral module structure in extensions of local or global fields. In particular, we show that the number of distinct ρ-conjugates of a given Hopf–Galois structure is determined by the corresponding skew left brace, and that if $ H, H^{\prime} $ are Hopf algebras giving ρ-conjugate Hopf–Galois structures on a Galois extension of local or global fields $ L/K $ then an ambiguous ideal $ \mathfrak{B} $ of L is free over its associated order in H if and only if it is free over its associated order in Hʹ. We exhibit a variety of examples arising from interactions with existing constructions in the literature.

This work characterizes the vanishing of the Fourier coefficients of all CM (Complex Multiplication) eta quotients. As consequences, we recover Serre’s characterization about that of $\eta(12z)^{2}$ and recent results of Chang on the pth coefficients of $\eta(4z)^{6}$ and $\eta(6z)^{4}$. Moreover, we generalize the results on the cases of weight 1 to the setting of binary quadratic forms.

An element g in a group G is called reversible if g is conjugate to g−1 in G. An element g in G is strongly reversible if g is conjugate to g−1 by an involution in G. The group of affine transformations of $\mathbb D^n$ may be identified with the semi-direct product $\mathrm{GL}(n, \mathbb D) \ltimes \mathbb D^n $, where $\mathbb D:=\mathbb R, \mathbb C$ or $ \mathbb H $. This paper classifies reversible and strongly reversible elements in the affine group $\mathrm{GL}(n, \mathbb D) \ltimes \mathbb D^n $.