Let G be a semiabelian variety defined over a finite subfield of an algebraically closed field K of prime characteristic. We describe the intersection of a subvariety X of G with a finitely generated subgroup of $G(K)$.

We obtain a system of identities relating boundary coefficients and spectral data for the one-dimensional Schrödinger equation with boundary conditions containing rational Herglotz–Nevanlinna functions of the eigenvalue parameter. These identities can be thought of as a kind of mini version of the Gelfand–Levitan integral equation for boundary coefficients only.

In this article, we establish a function field analog of Jacobi’s theorem on sums of squares and analyze its moments. Our approach involves employing two distinct techniques to derive the main results concerning asymptotic formulas for the moments. The first technique utilizes Dirichlet series framework to derive asymptotic formulas in the limit of large finite fields, specifically when the characteristic of $\mathbb {F}_q[T]$ becomes large. The second technique involves effectively partitioning the set of polynomials of a fixed degree, providing asymptotic formulas in the limit of large polynomial degree.

In this article, we obtain a necessary and sufficient condition for the pseudo-nullity of the p-ramified Iwasawa module for p-adic Lie extensions of totally real fields. It is applied to answer the corresponding question for the minus component of the unramified Iwasawa module for CM-fields. The results show that the pseudo-nullity is very rare.

In this article, we generalize results of Clozel and Ray (for $SL_2$ and $SL_n$, respectively) to give explicit ring-theoretic presentation in terms of a complete set of generators and relations of the Iwasawa algebra of the pro-p Iwahori subgroup of a simple, simply connected, split group $\mathbf {G}$ over ${{\mathbb Q}_p}$.

In this paper, we first introduce the concept of symmetric biderivation radicals and characteristic subalgebras of Lie algebras and study their properties. Based on these results, we precisely determine biderivations of some Lie algebras including finite-dimensional simple Lie algebras over arbitrary fields of characteristic not $2$ or $3$, and the Witt algebras $\mathcal {W}^+_n$ over fields of characteristic $0$. As an application, commutative post-Lie algebra structure on the aforementioned Lie algebras is shown to be trivial.

Sets on the boundary of a complementary component of a continuum in the plane have been of interest since the early 1920s. Curry and Mayer defined the buried points of a plane continuum to be the points in the continuum which were not on the boundary of any complementary component. Motivated by their investigations of Julia sets, they asked what happens if the set of buried points of a plane continuum is totally disconnected and nonempty. Curry, Mayer, and Tymchatyn showed that in that case the continuum is Suslinian, i.e., it does not contain an uncountable collection of nondegenerate pairwise disjoint subcontinua. In an answer to a question of Curry et al., van Mill and Tuncali constructed a plane continuum whose buried point set was totally disconnected, nonempty, and one-dimensional at each point of a countably infinite set. In this paper, we show that the van Mill–Tuncali example was the best possible in the sense that whenever the buried set is totally disconnected, it is one-dimensional at each of at most countably many points. As a corollary, we find that the buried set cannot be almost zero-dimensional unless it is zero-dimensional. We also construct locally connected van Mill–Tuncali type examples.

Let H be a real Hilbert space and $\Phi :H\to H$ be a $C^1$ operator with Lipschitzian derivative and closed range. We prove that $\Phi ^{-1}(0)\neq \emptyset $ if and only if, for each $\epsilon>0$, there exist a convex set $X\subset H$ and a convex function $\psi :X\to \mathbf {R}$ such that $\sup _{x\in X}(\|x\|^2+\psi (x))-\inf _{x\in X}(\|x\|^2+\psi (x))<\epsilon $ and $0\in \overline {{\mathrm {conv}}}(\Phi (X))$.

A nontrivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for generalized torsion orders by using the Alexander polynomial.

In his proof of the irrationality of $\zeta (3)$ and $\zeta (2)$, Apéry defined two integer sequences through $3$-term recurrences, which are known as the famous Apéry numbers. Zagier, Almkvist–Zudilin, and Cooper successively introduced the other $13$ sporadic sequences through variants of Apéry’s $3$-term recurrences. All of the $15$ sporadic sequences are called Apéry-like sequences. Motivated by Gessel’s congruences mod $24$ for the Apéry numbers, we investigate congruences of the form $u_n\equiv \alpha ^n \ \pmod {N_{\alpha }}~(\alpha \in \mathbb {Z},N_{\alpha }\in \mathbb {N}^{+})$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. Let $N_{\alpha }$ be the largest positive integer such that $u_n\equiv \alpha ^n\ \pmod {N_{\alpha }}$ for all non-negative integers n. We determine the values of $\max \{N_{\alpha }|\alpha \in \mathbb {Z}\}$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. The binomial transforms of Apéry-like sequences provide us a unified approach to this type of congruences for Apéry-like sequences.

An element of a group is called reversible if it is conjugate to its own inverse. Reversible elements are closely related to strongly reversible elements, which can be expressed as a product of two involutions. In this paper, we classify the reversible and strongly reversible elements in the quaternionic special linear group $ \mathrm {SL}(n,\mathbb {H})$ and quaternionic projective linear group $ \mathrm {PSL}(n,\mathbb {H})$. We prove that an element of $ \mathrm {SL}(n,\mathbb {H})$ (resp. $ \mathrm {PSL}(n,\mathbb {H})$) is reversible if and only if it is a product of two skew-involutions (resp. involutions).

In this article, by the use of nth derivative characterization, we obtain several some sufficient conditions for all solutions of the complex linear differential equation

$$ \begin{align*}f^{(n)}+A_{n-1}(z)f^{(n-1)}+\ldots+A_1(z)f'+A_0(z)f=A_n(z) \end{align*} $$

$A_i(z) (i=0,1,\ldots ,n)$

A finite-dimensional normed space is an inner product space if and only if the set of norming vectors of any endomorphism is a linear subspace. This theorem was proved by Sain and Paul for real scalars. In this paper, we give a different proof which also extends to the case of complex scalars.

The group of order-preserving automorphisms of a finitely generated Archimedean ordered group of rank $2$ is either infinite cyclic or trivial according as the ratio in $\mathbb {R}$ of the generators of the subgroup is or is not quadratic over $\mathbb {Q}.$ In the case of an Archimedean ordered group of rank $2$ that is not finitely generated, the group of order-preserving automorphisms is free abelian. Criteria determining the rank of this free abelian group are established.

In this paper, we introduce new classes of gluing of complex analytic space germs, called weakly large, large, and strongly large. We describe their Poincaré series and, as applications, we give numerical criteria to determine when these classes of gluing of germs of complex analytic spaces are smooth, singular, complete intersections and Gorenstein, in terms of their Betti numbers. In particular, we show that the gluing of the same germ of complex analytic space along any subspace is always a singular germ.

In this note, it is shown that the differential polynomial of the form $Q(f)^{(k)}-p$ has infinitely many zeros and particularly $Q(f)^{(k)}$ has infinitely many fixed points for any positive integer k, where f is a transcendental meromorphic function, p is a nonzero polynomial and Q is a polynomial with coefficients in the field of small functions of f. The results are traced back to Problems 1.19 and 1.20 in the book of research problems by Hayman and Lingham [Research Problems in Function Theory, Springer, 2019]. As a consequence, we give an affirmative answer to an extended problem on the zero distribution of $(f^n)'-p$, proposed by Chiang and considered by Bergweiler [Bull. Hong Kong Math. Soc. 1(1997), p. 97–101].

In this article, we study the action of the the Hilbert matrix operator $H$ from the space of bounded analytic functions into conformally invariant Banach spaces. In particular, we describe the norm of $H$ from $H^\infty $ into $\text {BMOA}$ and we characterize the positive Borel measures $\mu $ such that $H$ is bounded from $H^\infty $ into the conformally invariant Dirichlet space $M(D_\mu )$. For particular measures $\mu $, we also provide the norm of $H$ from $H^\infty $ into $M(D_\mu )$.

The blow-up of the anticanonical base point on a del Pezzo surface S of degree 1 gives rise to a rational elliptic surface $\mathscr {E}$ with only irreducible fibers. The sections of minimal height of $\mathscr {E}$ are in correspondence with the $240$ exceptional curves on S. A natural question arises when studying the configuration of these curves: if a point on S is contained in “many” exceptional curves, is it torsion on its fiber on $\mathscr {E}$? In 2005, Kuwata proved for the analogous question on del Pezzo surfaces of degree $2$, where there are 56 exceptional curves, that if “many” equals $4$ or more, the answer is yes. In this paper, we prove that for del Pezzo surfaces of degree 1, the answer is yes if ‘many’ equals $9$ or more. Moreover, we give counterexamples where a non-torsion point lies in the intersection of $7$ exceptional curves. We give partial results for the still open case of 8 intersecting exceptional curves.

Let $g\geqslant 2$. A real number is said to be $g$-normal if its base $g$ expansion contains every finite sequence of digits with the expected limiting frequency. Let $\unicode[STIX]{x1D711}$ denote Euler’s totient function, let $\unicode[STIX]{x1D70E}$ be the sum-of-divisors function, and let $\unicode[STIX]{x1D706}$ be Carmichael’s lambda-function. We show that if $f$ is any function formed by composing $\unicode[STIX]{x1D711}$, $\unicode[STIX]{x1D70E}$, or $\unicode[STIX]{x1D706}$, then the number

$$\begin{eqnarray}0.f(1)f(2)f(3)\cdots\end{eqnarray}$$

$g$

$f$

$g$

$1,2,3,\ldots$

$2,3,5,\ldots$

$0.235711131719\cdots \,$