We improve several recent results in the asymptotic integration theory of nonlinear ordinary differential equations via a variant of the method devised by J. K. Hale and N. Onuchic The results are used for investigating the existence of positive solutions to certain reaction-diffusion equations.

We give the sufficient and necessary conditions of Browder's convergence theorem for one-parameter nonexpansive semigroups which was proved by Suzuki. We also discuss the perfect kernels of topological spaces.

We present another example of a $3$-variable polynomial defining a $K3$-hypersurface and having a logarithmic Mahler measure expressed in terms of a Dirichlet $L$-series.

Zarhin proves that if $C$ is the curve $y^2=f(x)$ where $\textrm{Gal}_{\mathbb{Q}}(f(x))=S_n$ or $A_n$, then ${\textrm{End}}_{\overline{\mathbb{Q}}}(J)=\mathbb{Z}$. In seeking to examine his result in the genus $g=2$ case supposing other Galois groups, we calculate $\textrm{End}_{\overline{\mathbb{Q}}}(J)\otimes_{\mathbb{Z}} \mathbb{F}_2$ for a genus $2$ curve where $f(x)$ is irreducible. In particular, we show that unless the Galois group is $S_5$ or $A_5$, the Galois group does not determine ${\textrm{End}}_{\overline{\mathbb{Q}}}(J)$.

Let $G$ be a finite group, and let $k$ be a field whose characteristic $p$ divides the order of $G$. Freyd's generating hypothesis for the stable module category of $G$ is the statement that a map between finite-dimensional $kG$-modules in the thick subcategory generated by $k$ factors through a projective if the induced map on Tate cohomology is trivial. We show that if $G$ has periodic cohomology, then the generating hypothesis holds if and only if the Sylow $p$-subgroup of $G$ is $C_2$ or $C_3$. We also give some other conditions that are equivalent to the GH for groups with periodic cohomology.

In this paper, we prove that a non--zero power series $F(z)\in\mathbb{C} [\mkern-3mu[ z]\mkern-3mu] $ satisfying $$F(z^d)=F(z)+\frac{A(z)}{B(z)},$$ where $d\geq 2$, $A(z),B(z)\in\mathbb{C}[z]$ with $A(z)\neq 0$ and $\deg A(z),\deg B(z)<d$ is transcendental over $\mathbb{C}(z)$. Using this result and a theorem of Mahler's, we extend results of Golomb and Schwarz on transcendental values of certain power series. In particular, we prove that for all $k\geq 2$ the series $G_k(z):= \sum_{n=0}^\infty z^{k^n}(1-z^{k^n})^{-1}$ is transcendental for all algebraic numbers $z$ with $|z|<1$. We give a similar result for $F_k(z):= \sum_{n=0}^\infty z^{k^n} (1+z^{k^n})^{-1}$. These results were known to Mahler, though our proofs of the function transcendence are new and elementary; no linear algebra or differential calculus is used.

We describe an $E_8$ correspondence for the multiplicative eta-products of weight at least $4$.

In this paper we present a classification, up to equivariant isomorphism, of $C^*$-dynamical systems $(A,{\mathbb R},\alpha )$ arising as inductive limits of directed systems $\{ (A_n,{\mathbb R},\alpha_n),\varphi_{nm}\}$, where each $A_n$ is a finite direct sum of matrix algebras over the continuous functions on the unit circle, and the $\alpha_n$s are outer actions generated by rotation of the spectrum.

Let $\mathfrak a$ be an ideal of a commutative Noetherian ring $R$ and $M$ and $N$ two finitely generated $R$-modules. Our main result asserts that if $\dim R/\mathfrak a\leq 1$, then all generalized local cohomology modules $H^i_{\mathfrak a}(M,N)$ are $\mathfrak a$-cofinite.

Let $D$ be a connected bounded domain in $\mathbb{R}^n$. Let $0<\mu_1\leq\mu_2\leq\dots\leq\mu_k\leq\cdots$ be the eigenvalues of the following Dirichlet problem: $$ \begin{cases}\Delta^2u(x)+V(x)u(x)=\mu\rho(x)u(x),\quad x\in D u|_{\partial D}=\frac{\partial u}{\partial n}|_{\partial D}=0, \end{cases} $$ where $V(x)$ is a nonnegative potential, and $\rho(x)\in C(\bar{D})$ is positive. We prove the following inequalities: $$\mu_{k+1}\leq\frac{1}{k}\sum_{i=1}^k\mu_i+\Bigl[\frac{8(n+2)}{n^2}\Bigl(\frac{\rho_{\max}} {\rho_{\min}}\Bigr)^2\Bigr]^{1/2}\times \frac{1}{k}\sum_{i=1}^k[\mu_i(\mu_{k+1}-\mu_i)]^{1/2}, $$ $$\frac{n^2k^2}{8(n+2)}\leq \Bigl(\frac{\rho_{\max}}{\rho_{\min}}\Bigr)^2\Bigl[\sum_{i=1}^k\frac{\mu_i^{1/2}}{\mu_{k+1}-\mu_i}\Bigr] \times\sum_{i=1}^k\mu_i^{1/2}. $$

The groups of (linear) similarity and coincidence isometries of certain modules $\varGamma$ in $d$-dimensional Euclidean space, which naturally occur in quasicrystallography, are considered. It is shown that the structure of the factor group of similarity modulo coincidence isometries is the direct sum of cyclic groups of prime power orders that divide $d$. In particular, if the dimension $d$ is a prime number $p$, the factor group is an elementary abelian $p$-group. This generalizes previous results obtained for lattices to situations relevant in quasicrystallography.

The goal of this note is to prove that the signed Segre forms of Griffiths' positive vector bundles are positive.

In this paper we study real hypersurfaces in a non-flat complex space form with $\eta$-parallel shape operator. Several partial characterizations of these real hypersurfaces are obtained.

The zero-divisor graph $\Gamma(R)$ of a commutative ring $R$ is the graph whose vertices consist of the nonzero zero-divisors of $R$ such that distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, a characterization is provided for zero-divisor graphs of Boolean rings. Also, commutative rings $R$ such that $\Gamma(R)$ is isomorphic to the zero-divisor graph of a direct product of integral domains are classified, as well as those whose zero-divisor graphs are central vertex complete.

In this paper, we study locally projectively flat fourth root Finsler metrics and their generalized metrics. We prove that if they are irreducible, then they must be locally Minkowskian.

It has been shown that a holomorphic function $f$ in the unit ball $\mathbb{B}_n$ of ${\mathbb C}_n$ belongs to the weighted Bergman space $A^p_\alpha$, $p>n+1+\alpha$, if and only if the function $|f(z)-f(w)|/|1-\langle z,w\rangle|$ is in $L^p(\mathbb{B}_n\times\mathbb{B}_n,dv_\beta \times dv_\beta)$, where $\beta=(p+\alpha-n-1)/2$ and $dv_\beta(z)= (1-|z|^2)^\beta\,dv(z)$. In this paper we consider the range $0<p<n+1+\alpha$ and show that in this case, $f\in A^p_\alpha$ (i)~if and only if the function $|f(z)-f(w)|/|1-\langle z, w\rangle|$ is in $L^p(\mathbb{B}_n\times\mathbb{B}_n,dv_\alpha\times dv_\alpha)$, (ii)~if and only if the function $|f(z)-f(w)|/|z-w|$ is in $L^p(\mathbb{B}_n\times\mathbb{B}_n,dv_\alpha\times dv_\alpha)$. We think the revealed difference in the weights for the double integrals between the cases $0<p<n+1+\alpha$ and $p>n+1+\alpha$ is particularly interesting.

We show that if $R=\bigoplus_{n\in\mathbb{N}_0}R_n$ is a Noetherian homogeneous ring with local base ring $(R_0,\mathfrak{m}_0)$, irrelevant ideal $R_+$, and $M$ a finitely generated graded $R$-module, then $H_{\mathfrak{m}_0R}^j(H_{R_+}^t(M))$ is Artinian for $j=0,1$ where $t=\inf\{i\in{\mathbb{N}_0}: H_{R_+}^i(M)$ is not finitely generated $\}$. Also, we prove that if $\operatorname{cd}(R_+,M)=2$, then for each $i\in\mathbb{N}_0$, $H_{\mathfrak{m}_0R}^i(H_{R_+}^2(M))$ is Artinian if and only if $H_{\mathfrak{m}_0R}^{i+2}(H_{R_+}^1(M))$ is Artinian, where $\operatorname{cd}(R_+,M)$ is the cohomological dimension of $M$ with respect to $R_+$. This improves some results of R. Sazeedeh.

Let $|K|$ be the metric polyhedron of a simplicial complex $K$. In this paper, we characterize a simplicial subdivision $K'$ of $K$ preserving the metric topology for $|K|$ as the one such that the set $K'{}^{(0)}$ of vertices of $K'$ is discrete in $|K|$. We also prove that two such subdivisions of $K$ have such a common subdivision.

Let $M^m$ be an $m$-dimensional, closed and smooth manifold, equipped with a smooth involution $T\colon M^m \to M^m$ whose fixed point set has the form $F^n \cup F^j$, where $F^n$ and $F^j$ are submanifolds with dimensions $n$ and $j$, $F^j$ is indecomposable and $ n >j$. Write $n-j=2^pq$, where $q \ge 1$ is odd and $p \geq 0$, and set $m(n-j) = 2n+p-q+1$ if $p \leq q + 1$ and $m(n-j)= 2n + 2^{p-q}$ if $p \geq q$. In this paper we show that $m \le m(n-j) + 2j+1$. Further, we show that this bound is almost best possible, by exhibiting examples $(M^{m(n-j) +2j},T)$ where the fixed point set of $T$ has the form $F^n \cup F^j$ described above, for every $2 \le j <n$ and $j$ not of the form $2^t-1$ (for $j=0$ and $2$, it has been previously shown that $m(n-j) +2j$ is the best possible bound). The existence of these bounds is guaranteed by the famous $5/2$-theorem of J. Boardman, which establishes that under the above hypotheses $m \le \frac{5} {2}n$.

In this paper we give the form of every multiplicative Hausdorff prime matrix, thus answering a long-standing open question.

We consider the linearization of the three-dimensional water waves equation with surface tension about a flat interface. Using oscillatory integral methods, we prove that solutions of this equation demonstrate dispersive decay at the somewhat surprising rate of $t^{-5/6}$. This rate is due to competition between surface tension and gravitation at $O(1)$ wave numbers and is connected to the fact that, in the presence of surface tension, there is a so-called "slowest wave". Additionally, we combine our dispersive estimates with $L^2$ type energy bounds to prove a family of Strichartz estimates.

We use the kernel category to give a finiteness condition for semigroups. As a consequence we provide yet another proof that finitely generated periodic semigroups of matrices are finite.

Let $C$ be a hyperelliptic curve given by the equation $y^2=f(x)$ for $f\in\mathbb{Z}[x]$ without multiple roots. We say that points $P_{i}=(x_{i}, y_{i})\in C(\mathbb{Q})$ for $i=1,2,\dots, m$ are in arithmetic progression if the numbers $x_{i}$ for $i=1,2,\dots, m$ are in arithmetic progression. In this paper we show that there exists a polynomial $k\in\mathbb{Z}[t]$ with the property that on the elliptic curve $\mathcal{E}': y^2=x^3+k(t)$ (defined over the field $\mathbb{Q}(t)$) we can find four points in arithmetic progression that are independent in the group of all $\mathbb{Q}(t)$-rational points on the curve $\mathcal{E}'$. In particular this result generalizes earlier results of Lee and V\'{e}lez. We also show that if $n\in\mathbb{N}$ is odd, then there are infinitely many $k$'s with the property that on curves $y^2=x^n+k$ there are four rational points in arithmetic progressions. In the case when $n$ is even we can find infinitely many $k$'s such that on curves $y^2=x^n+k$ there are six rational points in arithmetic progression.

Let $G$ be an arbitrary finite abelian group. We describe all possible $G$-gradings on upper block triangular matrix algebras over an algebraically closed field of characteristic zero.

In this paper, some criteria for the existence of positive solutions of a class of systems of impulsive dynamic equations on time scales are obtained by using a fixed point theorem in cones.

Given an integer $n \geq 3$, a metrizable compact topological $n$-manifold $X$ with boundary, and a finite positive Borel measure $\mu$ on $X$, we prove that for the typical homeomorphism $f \colon X \to X$, it is true that for $\mu$-almost every point $x$ in $X$ the limit set $\omega(f,x)$ is a Cantor set of Hausdorff dimension zero, each point of $\omega(f,x)$ has a dense orbit in $\omega(f,x)$, $f$ is non-sensitive at each point of $\omega(f,x)$, and the function $a \to \omega(f,a)$ is continuous at $x$.

Let $v$ be a Henselian Krull valuation of a field $K$. In this paper, the authors give some necessary and sufficient conditions for a finite simple extension of $(K,v)$ to be defectless. Various characterizations of algebraically maximal valued fields are also given which lead to a new proof of a result proved by Yu. L. Ershov.

In this note we study the convergence of sequences of Monge-Ampère measures $\{(dd^cu_s)^n\}$, where $\{u_s\}$ is a given sequence of plurisubharmonic functions, converging in capacity.

The paper describes entire solutions to the eiconal type non-linear partial differential equations, which include the eiconal equations $(X_1(u))^2+(X_2(u))^2=1$ as special cases, where $X_1=p_1{\partial}/{\partial z_1}+p_2{\partial}/{\partial z_2}$, $X_2=p_3{\partial}/{\partial z_1}+p_4{\partial}/{\partial z_2}$ are linearly independent operators with $p_j$ being arbitrary polynomials in $\mathbf{C}^2$.

Recently, Beattie, Bulacu ,and Torrecillas proved Radford's formula for the fourth power of the antipode for a co-Frobenius Hopf algebra. In this note, we show that this formula can be proved for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This, of course, not only includes the case of a finite-dimensional Hopf algebra, but also that of any Hopf algebra with integrals (co-Frobenius Hopf algebras). Moreover, it turns out that the proof in this more general situation, in fact, follows in a few lines from well-known formulas obtained earlier in the theory of regular multiplier Hopf algebras with integrals. We discuss these formulas and their importance in this theory. We also mention their generalizations, in particular to the (in a certain sense) more general theory of locally compact quantum groups. Doing so, and also because the proof of the main result itself is very short, the present note becomes largely of an expository nature.

Let $F$ be an algebraically closed field of characteristic zero, and let $A$ be an associative unitary $F$-algebra graded by a group of prime order. We prove that if $A$ is finite dimensional then the graded exponent of $A$ exists and is an integer.

For the $n$-th order nonlinear differential equation, $y^{(n)} = f(x, y, y', \dots, y^{(n-1)})$, we consider uniqueness implies uniqueness and existence results for solutions satisfying certain $(k+j)$-point boundary conditions for $1\le j \le n-1$ and $1\leq k \leq n-j$. We define $(k;j)$-point unique solvability in analogy to $k$-point disconjugacy and we show that $(n-j_{0};j_{0})$-point unique solvability implies $(k;j)$-point unique solvability for $1\le j \le j_{0}$, and $1\leq k \leq n-j$. This result is analogous to $n$-point disconjugacy implies $k$-point disconjugacy for $2\le k\le n-1$.

Following a similar result of Uspenskij on the unitary group of a separable Hilbert space, we show that, with respect to the lower (or Roelcke) uniform structure, the Polish group $G= \operatorname{Aut}(\mu)$ of automorphisms of an atomless standard Borel probability space $(X,\mu)$ is precompact. We identify the corresponding compactification as the space of Markov operators on $L_2(\mu)$ and deduce that the algebra of right and left uniformly continuous functions, the algebra of weakly almost periodic functions, and the algebra of Hilbert functions on $G$, i.e., functions on $G$ arising from unitary representations, all coincide. Again following Uspenskij, we also conclude that $G$ is totally minimal.

In this article, we establish a new atomic decomposition for $f\in L^2_w\cap H^p_w$, where the decomposition converges in $L^2_w$-norm rather than in the distribution sense. As applications of this decomposition, assuming that $T$ is a linear operator bounded on $L^2_w$ and $0<p\le 1$, we obtain (i) if $T$ is uniformly bounded in $L^p_w$-norm for all $w$-$p$-atoms, then $T$ can be extended to be bounded from $H^p_w$ to $L^p_w$; (ii) if $T$ is uniformly bounded in $H^p_w$-norm for all $w$-$p$-atoms, then $T$ can be extended to be bounded on $H^p_w$; (iii) if $T$ is bounded on $H^p_w$, then $T$ can be extended to be bounded from $H^p_w$ to $L^p_w$.

For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\textrm{cd}(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new ring-theoretic vanishing criterion for local cohomology modules.

This note gives a simple cocycle-theoretic proof of the Verdier hypercovering theorem. This theorem approximates morphisms $[X,Y]$ in the homotopy category of simplicial sheaves or presheaves by simplicial homotopy classes of maps, in the case where $Y$ is locally fibrant. The statement proved in this paper is a generalization of the standard Verdier hypercovering result in that it is pointed (in a very broad sense) and there is no requirement for the source object $X$ to be locally fibrant.

A complex hyperbolic triangle group is a group generated by three involutions fixing complex lines in complex hyperbolic space. Our purpose in this paper is to improve a previous result and to discuss discreteness of complex hyperbolic triangle groups of type $(n,n,\infty;k)$.

We generalize Löwner's method for proving that matrix monotone functions are operator monotone. The relation $x\leq y$ on bounded operators is our model for a definition of $C^{*}$-relations being residually finite dimensional. Our main result is a meta-theorem about theorems involving relations on bounded operators. If we can show there are residually finite dimensional relations involved and verify a technical condition, then such a theorem will follow from its restriction to matrices. Applications are shown regarding norms of exponentials, the norms of commutators, and "positive" noncommutative $*$-polynomials.

An algebra $A$ is <em>homogeneous</em> if the automorphism group of $A$ acts transitively on the one-dimensional subspaces of $A$. The existence of homogeneous algebras depends critically on the choice of the scalar field. We examine the case where the scalar field is the rationals. We prove that if $A$ is a rational homogeneous algebra with $\operatorname{dim} A>1$, then $A^{2}=0$.

Various weighted $l_p$-norm inequalities in convolutions are derived by a simple and general principle whose $l_2$ version was obtained by using the theory of reproducing kernels. Applications to the Riemann zeta function and a difference equation are also considered.

We define and study the secondary Chern-Euler class for a general submanifold of a Riemannian manifold. Using this class, we define and study the index for a vector field with non-isolated singularities on a submanifold. As an application, we give conceptual proofs of a result of Chern.

Let $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$. We call $M$ H-smaller (HS for short) if and only if $M$ is infinite and $|M/N|<|M|$ for every nonzero submodule $N$ of $M$. After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: suppose $M$ is faithful over $R$, $R$ is a domain (we will show that we can restrict to this case without loss of generality), and $K$ is the quotient field of $R$. If $M$ is HS over $R$, then $R$ is HS as a module over itself, $R\subseteq M\subseteq K$, and there exists a generating set $S$ for $M$ over $R$ with $|S|<|R|$. We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on Jónsson modules.

We determine the order of the automorphism group $\operatorname{Aut}(W)$ for each member $W$ of an important family of finite $p$-groups that may be constructed as iterated regular wreath products of cyclic groups. We use a method based on representation theory.

The purpose of this paper is to solve various differential equations having Eisenstein series as coefficients using various tools and techniques. The solutions are given in terms of modular forms, modular functions, and equivariant forms.

The notion of a maximally conditional sequence is introduced for sequences in a Banach space. It is then proved using Ramsey theory that every basic sequence in a Banach space has a subsequence which is either an unconditional basic sequence or a maximally conditional sequence. An apparently novel, purely combinatorial lemma in the spirit of Galvin's theorem is used in the proof. An alternative proof of the dichotomy result for sequences in Banach spaces is also sketched, using the Galvin-Prikry theorem.

Given a positive integer $n$, a finite field $\mathbb{F}_q$ of $q$ elements ($q$ odd), and a non-degenerate symmetric bilinear form $B$ on $\mathbb{F}_q^n$, we determine the largest possible cardinality of pairwise $B$-orthogonal subsets $\mathcal{E} \subseteq \mathbb{F}_q^n$, that is, for any two vectors $\mathbf{x}, \mathbf{y} \in \mathcal{E}$, one has $B (\mathbf{x}, \mathbf{y}) = 0$.

We investigate the solutions of refinement equations of the form $$ \phi(x)=\sum_{\alpha\in\mathbb Z^s}a(\alpha)\:\phi(Mx-\alpha), $$ where the function $\phi$ is in $L_p(\mathbb R^s)$$(1\le p\le\infty)$, $a$ is an infinitely supported sequence on $\mathbb Z^s$ called a refinement mask, and $M$ is an $s\times s$ integer matrix such that $\lim_{n\to\infty}M^{-n}=0$. Associated with the mask $a$ and $M$ is a linear operator $Q_{a,M}$ defined on $L_p(\mathbb R^s)$ by $Q_{a,M} \phi_0:=\sum_{\alpha\in\mathbb Z^s}a(\alpha)\phi_0(M\cdot-\alpha)$. Main results of this paper are related to the convergence rates of $(Q_{a,M}^n \phi_0)_{n=1,2,\dots}$ in $L_p(\mathbb R^s)$ with mask $a$ being infinitely supported. It is proved that under some appropriate conditions on the initial function $\phi_0$, $Q_{a,M}^n \phi_0$ converges in $L_p(\mathbb R^s)$ with an exponential rate.

We consider the diophantine equation $x^2 + y^6 = z^e$, $e \geq 4$. We show that, when $e$ is a multiple of $4$ or $6$, this equation has no solutions in positive integers with $x$ and $y$ relatively prime. As a corollary, we show that there exists no primitive Pythagorean triangle one of whose leglengths is a perfect cube, while the hypotenuse length is an integer square.

While there is a large variety of univalently induced closed range composition operators on the Bloch space, we show that the only univalently induced, closed range, composition operators on the Bloch-type spaces $B^{\alpha}$ with $\alpha \ne 1$ are the ones induced by a disc automorphism.