有限群在特征为零的任意域上的表示的一些注记

Let G be a finite group and K a field of characteristic zero.It is well-known that if K is a splitting field for G,then G is abelian if and only if any irreducible representation of G has degree 1.In this paper,we generalize this result to the case that K is an arbitrary field of characteristic zero（that is,K need not be a splitting field for G）,and we also obtain the orthogonality relations of irreducible K-characters of G in this case.Our results generalize some well-known theorems.     

Local automorphisms of semisimple algebras and group algebras

Let F be a field of characteristic not 2, and let A be a finite-dimensional semisimple F -algebra. All local automorphisms of A are characterized when all the degrees of A are larger than 1. If F is further assumed to be an algebraically closed field of characteristic zero, K a finite group, F K the group algebra of K over F , then all local automorphisms of F K are also characterized.     

A Note on Restricted Representations of the Witt Superalgebras

Let F be an algebraically closed field of prime characteristic p 〉 3, and W（n） the Witt superalgebra over F, which is the Lie superalgebra of superderivations of the Grassmann algebra in n indeterminates. The dimensions of simple atypical modules in the restricted supermodule category for W（n） are precisely calculated in this paper, and thereby the dimensions of all simple modules can be precisely given. Moreover, the restricted supermodule category for W（n） is proved to have one block.     

Product of Uniform Distribution and Stirling Numbers of the First Kind

Let Vk=u1u2……uk, ui＇s be i.i.d - U（0, 1）, the p.d.f of 1 - Vk＋l be the GF of the unsigned Stirling numbers of the first kind s（n, k）. This paper discusses the applications of uniform distribution to combinatorial analysis and Riemann zeta function; several identities of Stifling series are established, and the Euler＇s result for ∑ Hn/n^k-l, k ≥ 3 is given a new probabilistic proof.     

一类线性变换半群的格林关系

Let V be a linear space over a field F with finite dimension, L（V） the semigroup, under composition, of all linear transformations from V into itself. Suppose that V = V1 V2 ... Vm is a direct sum decomposition of V, where V1,V2,..., Vm are subspaces of V with the same dimension. A linear transformation f ∈ L（V） is said to be sum-preserving, if for each i （1 ≤ i ≤ m）, there exists some j （1 ≤ j ≤ m） such that f（Vi） Vj. It is easy to verify that all sum-preserving linear transformations form a subsemigroup of L（V） which is denoted by L （V）. In this paper, we first describe Green＇s relations on the semigroup L （V）. Then we consider the regularity of elements and give a condition for an element in L （V） to be regular. Finally, Green＇s equivalences for regular elements are also characterized.     

A pull back theorem in the Adams spectral sequence

This paper proves that, for any generator x∈ExtA^s,tq（Zp,Zp）, if （1L ∧i）＊Ф＊（x）∈ExtA^s＋1,tq＋2q（H＊L∧M, Zp） is a permanent cycle in the Adams spectral sequence （ASS）, then b0x ∈ExtA^s＋1,tq＋q（Zp, Zp） also is a permenent cycle in the ASS. As an application, the paper obtains that h0hnhm∈ExtA^3,pnq＋p^mq＋q（Zp, Zp） is a permanent cycle in the ASS and it converges to elements of order p in the stable homotopy groups of spheres πp^nq＋p^mq＋q-3S, where p ≥5 is a prime, s ≤ 4, n ≥m＋2≥4 and M is the Moore spectrum.     

On structure of small contractions of odd dimensional projective varieties

Let X be a smooth projective variety of dimension 2k-1 (k≥3) over the complex number field. Assume that fR: X→Y is a small contraction such that every irreducible component Ei of the exceptional locus of fR is a smooth subvariety of dimension k. It is shown that each Ei is isomorphic to the k-dimensional projective space Pk, the k-dimensional hyperquadric surface Qk in Pk 1, or a linear Pk-1-bundle over a smooth curve.     

非负对称符号模式的惯量集(英文)

For a symmetric sign pattern S1 the inertia set of S is defined to be the set of all ordered triples si（S） = {i（A） ： A = A^T ∈ Q（S）} Consider the n × n sign pattern Sn, where Sn is the pattern with zero entry （i,j） for 1 ≤ i = j ≤ n or｜i -j｜=n- 1 and positive entry otherwise. In this paper, it is proved that si（Sn） = {（n1, n2, n - n1 - n2）｜n1≥ 1 and n2 ≥ 2} for n ≥ 4.     

Congruence formulae modulo powers of 2 for class numbers of cyclic quartic fields

Let K = $ k(\sqrt \theta ) $ k(\sqrt \theta ) be a real cyclic quartic field, k be its quadratic subfield and $ \tilde K = k(\sqrt { - \theta } ) $ \tilde K = k(\sqrt { - \theta } ) be the corresponding imaginary quartic field. Denote the class numbers of K, k and $ \tilde K $ \tilde K by h _K , h _k and {417-3} respectively. Here congruences modulo powers of 2 for h ⁻ = h _K /h _K and $ \tilde h^ - = h_{\tilde K} /h_k $ \tilde h^ - = h_{\tilde K} /h_k are obtained via studying the p-adic L-functions of the fields.     

A description of Banach space-valued Orlicz hearts

Let Y be a Banach space, (Ω, Σ; μ) a probability space and φ a finite Young function. It is shown that the Y-valued Orlicz heart H _φ(μ, Y) is isometrically isomorphic to the l-completed tensor product $ H_\varphi \left( \mu \right)\tilde \otimes _l Y $ H_\varphi \left( \mu \right)\tilde \otimes _l Y of the scalar-valued Orlicz heart Hφ(μ) and Y, in the sense of Chaney and Schaefer. As an application, a characterization is given of the equality of $ \left( {H_\varphi \left( \mu \right)\tilde \otimes _l Y} \right)* $ \left( {H_\varphi \left( \mu \right)\tilde \otimes _l Y} \right)* and $ H_\varphi \left( \mu \right)*\tilde \otimes _l Y* $ H_\varphi \left( \mu \right)*\tilde \otimes _l Y* in terms of the Radon-Nikodym property on Y. Convergence of norm-bounded martingales in H _φ(μ, Y) is characterized in terms of the Radon-Nikodym property on Y. Using the associativity of the l-norm, an alternative proof is given of the known fact that for any separable Banach lattice E and any Banach space Y, E and Y have the Radon-Nikodym property if and only if $ E\tilde \otimes _l Y $ E\tilde \otimes _l Y has the Radon-Nikodym property. As a corollary, the Radon-Nikodym property in H _φ(μ, Y) is described in terms of the Radon-Nikodym property on H _φ(μ) and Y.     

Sumsets in difference sets

We study some properties of sets of differences of dense sets in ℤ² and ℤ³ and their interplay with Bohr neighbourhoods in ℤ. We obtain, inter alia, the following results.

Two operators related to Marcinkiewicz integrals

In this paper, the authors consider the boundedness of generalized higher commutator of Marcinkiewicz integral μΩ^b, multilinear Marcinkiewicz integral μΩ^A and its variation μΩ^A on Herz-type Hardy spaces, here Ω is homogeneous of degree zero and satisfies a class of L^s-Dini condition. And as a special case, they also get the boundedness of commutators of Marcinkiewicz integrals on Herz-type Hardy spaces.     

Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

On the homology groups of arrangements of complex planes of codimension two

In the study of two-dimensional compact toric varieties, there naturally appears a set of coordinate planes of codimension two $ Z = {*{20}c} \cup \\ {1 < \left| {i - j} \right| < d - 1} \\ \{ z_i = z_j = 0\} $ Z = \begin{array}{*{20}c} \cup \\ {1 < \left| {i - j} \right| < d - 1} \\ \end{array} \{ z_i = z_j = 0\} in ℂ ^d . Based on the Alexander-Pontryagin duality theory, we construct a cycle that is dual to the generator of the highest dimensional nontrivial homology group of the complement in ℂ ^d of the set of planes Z. We explicitly describe cycles that generate groups H _d+2(ℂ ^d \ Z) and H _d−3($ \bar Z $ \bar Z ), where $ \bar Z $ \bar Z = Z ∪ {∞}.     

Representation of measurable functions by series in Walsh subsystems

For any sequence {ω(n)} _n∈ℕ tending to infinity we construct a “quasiquadratic” representation spectrum Λ = {n ² + o(ω(n))} _n∈ℕ: for any almost everywhere (a. e.) finite measurable function f(x) there exists a series in the form $ \mathop \sum \limits_{k \in \Lambda } $ \mathop \sum \limits_{k \in \Lambda } α _k ω _k (x) that converges a. e. to this function, where {w _k (x)} _k∈ℕ is the Walsh system. We find representation spectra in the form {n ^l + o(n ^l )} _n∈ℕ, where l ∈ {2 ^k } _k∈ℕ.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...