<Emphasis Type="Italic">C</Emphasis><Superscript>0</Superscript>IPG adaptive algorithms for the biharmonic eigenvalue problem

This paper focuses on C ⁰IPG adaptive algorithms for the biharmonic eigenvalue problem with the clamped boundary condition. We prove the reliability and efficiency of the a posteriori error indicator of the approximating eigenfunctions and analyze the reliability of the a posteriori error indicator of the approximating eigenvalues. We present two adaptive algorithms, and numerical experiments indicate that both algorithms are efficient.     

Approximating <Emphasis Type="Italic">C</Emphasis><Superscript>0</Superscript>-foliations by contact structures

We show that any co-orientable foliation of dimension two on a closed orientable 3-manifold with continuous tangent plane field can be C ⁰-approximated by both positive and negative contact structures unless all leaves of the foliation are simply connected. As applications we deduce that the existence of a taut C ⁰-foliation implies the existence of universally tight contact structures in the same homotopy class of plane fields and that a closed 3-manifold that admits a taut C ⁰-foliation of codimension-1 is not an L-space in the sense of Heegaard-Floer homology.     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.     

Expansive homoclinic classes of generic <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-vector fields

Let γ be a hyperbolic closed orbit of a C ¹ vector field X on a compact C ^∞ manifold M of dimension n ≥ 3, and let H _X(γ) be the homoclinic class of X containing γ. In this paper, we prove that C ¹-generically, if H _X(γ) is expansive and isolated, then it is hyperbolic.     

Some <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Rigidity Results for Complete Manifolds with Harmonic Curvature

Let (M ⁿ , g)(n ≥ 3) be an n-dimensional complete Riemannian manifold with harmonic curvature and positive Yamabe constant. Denote by R and R m? the scalar curvature and the trace-free Riemannian curvature tensor of M, respectively. The main result of this paper states that R m? goes to zero uniformly at infinity if for \(p\geq \frac n2\), the L ^p -norm of R m? is finite. Moreover, If R is positive, then (M ⁿ , g) is compact. As applications, we prove that (M ⁿ , g) is isometric to a spherical space form if for \(p\geq \frac n2\), R is positive and the L ^p -norm of R m? is pinched in [0, C ₁), where C ₁ is an explicit positive constant depending only on n, p, R and the Yamabe constant. We give an isolation theorem of the trace-free Ricci curvature tensor of compact locally conformally flat Riemannian n-manifolds with constant positive scalar curvature, which extends Theorem 1 of Hebey and M. Vaugon (J. Geom. Anal. 6, 531–553, 1996). This result is sharp, and we can precisely characterize the case of equality. In particular, when n = 4, we recover results by Gursky (Indiana Univ. Math. J. 43, 747–774, 1994; Ann. Math. 148, 315–337, 1998).     

The strong <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-<Emphasis Type="Italic">greedy</Emphasis> property of the Walsh system

For any 0 < ? < 1 one can find a measurable set E ? [0, 1] with the measure |E| > 1 ? ? such that for each function f(x) ε L ¹ (0, 1) a function g(x) ε L ¹ (0, 1) exists such that it coincides with f (x) on E, its Fourier—Walsh series converges to it in the metric of L ¹ (0, 1), and all nonzero terms of the sequence of Fourier coefficients of the new function obtained by the Walsh system have the modulo decreasing order; consequently, the greedy algorithm for this function converges to it in the L ¹ (0, 1)-norm.     

<Emphasis Type="Italic">E</Emphasis><Superscript>*</Superscript>-dense <Emphasis Type="Italic">E</Emphasis>-semigroups

We investigate E^*-dense semi\-groups as analogues of E-densesemigroupsfor semigroups with zero. We give a characterisation theorem forE^*-dense semigroups whose idempotents form a *-rectangularband. The construction methods of generalised Rees matrix semigroupsare employed to provide examples and illustrations. Our results areanalogous to those of Weipoltshammer for E-dense semigroups.     

An extension of Weyl Schouten Theorem for Lipschitz and <Emphasis Type="Italic">H</Emphasis><Superscript>2</Superscript> manifolds

In this article, we extend the Weyl Schouten Theorem for a C ^0,1 ∩ W ^2,2 manifold only under the assumptions on scalar curvature. Also we obtain a regularity of a C ^0,1 ∩ W ^2,2 manifold by conformal transformation under some assumptions on Weyl curvature and scalar curvature.     

Divergent solutions to the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-supercritical NLS equations

We investigate the nonlinear Schrödinger equation iu _t +Δu+|u| ^p?1 u = 0with 1+ 4/N < p < 1+ 4/N?2 (when N = 1, 2, 1 + 4/N < p < ∞) in energy space H ¹ and study the divergent property of infinite-variance and nonradial solutions. If \(M{\left( u \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( u \right) \prec M{\left( Q \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( Q \right)\) and \(\left\| {{u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}\left\| {\nabla {u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}{\left\| {\nabla Q} \right\|_2}\), then either u(t) blows up in finite forward time or u(t) exists globally for positive time and there exists a time sequence t _n → +∞ such that \({\left\| {\nabla u\left( {{t_n}} \right)} \right\|_2} \to + \infty \). Here Q is the ground state solution of ?(1?s _c )Q+ΔQ+Q ^p?1 Q = 0. A similar result holds for negative time. This extend the result of the 3D cubic Schrödinger equation obtained by Holmer to the general mass-supercritical and energy-subcritical case.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

On <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-estimates of derivatives of univalent rational functions

We study the growth of the quantity ∫_T|R′(z)|dm(z) for rational functions R of degree n which are bounded and univalent in the unit disk and prove that this quantity can grow like n ^γ , γ > 0, as n → ∞. Some applications of this result to problems of regularity of boundaries of Nevanlinna domains are considered. We also discuss a related result of Dolzhenko, which applies to general (non-univalent) rational functions.     

2-Recognizability by prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript>)

Let G be a finite group and let Γ(G) be the prime graph of G. Assume p prime. We determine the finite groups G such that Γ(G) = Γ(PSL(2, p ²)) and prove that if p ≠ 2, 3, 7 is a prime then k(Γ(PSL(2, p ²))) = 2. We infer that if G is a finite group satisfying |G| = |PSL(2, p ²)| and Γ(G) = Γ(PSL(2, p ²)) then G ? PSL(2, p ²). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications are also considered of this result to the problem of recognition of finite groups by element orders.     

Necessary and sufficient conditions for a curve to be the gradient range of a <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth function

We find some necessary and sufficient conditions for a plane curve to be the gradient range of a C ¹-smooth function of two variables. As one of the consequences we give the necessary and sufficient conditions on a continuous function ? under which the differential equation \(\frac{{\partial v}}{{\partial t}} = \varphi \left( {\frac{{\partial v}}{{\partial x}}} \right)\) has nontrivial C ¹-smooth solutions.     

On <Emphasis Type="Italic">c</Emphasis><Superscript>#</Superscript>-normal subgroups infinite groups

A subgroup H of a finite group G is called a c^#-normal subgroup of G if there exists a normal subgroup K of G such that G = HK and H ∩ K is a CAP-subgroup of G: In this paper, we investigate the influence of fewer c^#-normal subgroups of Sylow p-subgroups on the p-supersolvability, p-nilpotency, and supersolvability of finite groups. We obtain some new sufficient and necessary conditions for a group to be p-supersolvable, p-nilpotent, and supersolvable. Our results improve and extend many known results.     

The Cauchy problem for operators with injective symbol in the Lebesgue space <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript> in a domain

Let D be a bounded domain in ? ⁿ (n ≥ 2) with infinitely smooth boundary ?D. We give some necessary and sufficient conditions for the Cauchy problem to be solvable in the Lebesgue space L ²(D) in D for an arbitrary differential operator A having an injective principal symbol. Furthermore, using bases with double orthogonality, we construct Carleman’s formula that restores a (vector-)function in L ²(D) from the Cauchy data given on a relatively open connected set Γ ? ?D and the values Au in D whenever the data belong to L ²(Γ) and L ²(D) respectively.     

The modular group and words in its two generators<Superscript>*</Superscript>

Consider the full modular group PSL₂(?) with presentation 〈U,?S|U ³,?S ²〉. Motivated by our investigations on quasi-modular forms and the Minkowski question mark function (so that this paper may be considered as a necessary appendix), we are led to the following natural question. Some words in the alphabet {U, S} are equal to the unity; for example, USU ³ SU ² is such a word of length 8, and USU ³ SUSU ³ S ³ U is such a word of length 15. We consider the following integer sequence. For each n ∈ ?₀, let t(n) be the number of words in the alphabet {U, S} that equal the identity in the group. This is the new entry A265434 into the Online Encyclopedia of Integer Sequences. We investigate the generating function of this sequence and prove that it is an algebraic function over ?(x) of degree 3. As an interesting generalization, we formulate the problem of describing all algebraic functions with a Fermat property.     

Integral Modular Categories of Frobenius-Perron Dimension <Emphasis Type="Italic">pq</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Integral modular categories of Frobenius-Perron dimension pq ⁿ , where p and q are primes, are considered. It is already known that such categories are group-theoretical in the cases of 0 ≤ n ≤ 4. In the general case we determine that these categories are either group-theoretical or contain a Tannakian subcategory of dimension q ⁱ for i > 1. We then show that all integral modular categories \(\mathcal {C}\) with \(\text {FPdim}(\mathcal {C})=pq^{5}\) are group-theoretical, and, if in addition p < q, all with \(\text {FPdim}(\mathcal {C})=pq^{6}\) or pq ⁷ are group-theoretical. In the process we generalize an existing criterion for an integral modular category to be group-theoretical.     

A REALIZATION OF CERTAIN MODULES FOR THE <Emphasis Type="Italic">N</Emphasis> = 4 SUPERCONFORMAL ALGEBRA AND THE AFFINE LIE ALGEBRA <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>2</Subscript><Superscript>(1)</Superscript></Stack>

We shall first present an explicit realization of the simple N = 4 superconformal vertex algebra L _c ^N?=?4 with central charge c = ?9. This vertex superalgebra is realized inside of the bcβγ system and contains a subalgebra isomorphic to the simple affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). Then we construct a functor from the category of L _c ^N?=?4 -modules with c = ?9 to the category of modules for the admissible affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). By using this construction we construct a family of weight and logarithmic modules for L _c ^N?=?4 and L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). We also show that a coset subalgebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \) is a logarithmic extension of the W(2; 3)-algebra with c = ?10. We discuss some generalizations of our construction based on the extension of affine vertex algebra L _A1 (kΛ ₀) such that k + 2 = 1/p and p is a positive integer.     

<Emphasis Type="Italic">tt</Emphasis><Superscript>*</Superscript>-Geometry and Pluriharmonic Maps

In this paper we use the real differential geometric definition of a metric (a unimodular oriented metric) tt^*-bundle of Cortés and the author (Topological-anti-topological fusion equations, pluriharmonic maps and special Kähler manifolds) to define a map Φ from the space of metric (unimodular oriented metric) tt^*-bundles of rank r over a complex manifold M to the space of pluriharmonic maps from M to {GL}(r)/O(p,q) (respectively {SL}(r)/SO(p,q)), where (p,q) is the signature of the metric. In the sequel the image of the map Φ is characterized. It follows, that in signature (r,0) the image of Φ is the whole space of pluriharmonic maps. This generalizes a result of Dubrovin (Comm. Math. Phys. 152 (1992; S539–S564).