A graph associated with the p\pi-character degrees of a group

Let G be a group and $\pi$ be a set of primes. We consider the set ${\rm cd}^{\pi}(G)$ of character degrees of G that are divisible only by primes in $\pi$. In particular, we define $\Gamma^{\pi}(G)$ to be the graph whose vertex set is the set of primes dividing degrees in ${\rm cd}^{\pi}(G)$. There is an edge between p and q if pq divides a degree $a \in {\rm cd}^{\pi}(G)$. We show that if G is $\pi$-solvable, then $\Gamma^{\pi}(G)$ has at most two connected components.     

A lower bound on the vertices of Specht modules for symmetric groups

In this paper we study the vertices of indecomposable Specht modules for symmetric groups. For any given indecomposable non-projective Specht module, the main theorem of the article describes a p-subgroup contained in its vertex. The theorem generalizes and improves an earlier result due to Wildon in [13].     

Automorphisms of principal blocks stabilizing Sylow subgroups

Let p be a prime, G a finite group which has a normal p-subgroup containing its own centralizer in G, and R a commutative local ring with residue class field of characteristic p. In this paper, it is shown that if is an augmented automorphism of RG which fixes a Sylow p-subgroup P of G, there is such that for all and is an inner automorphism of RG. Received: 26 July 2000     

Finite splitting fields of normal subgroups

Let G be a finite group, a normal subgroup, p a prime, a finite splitting field of characteristic p for G and We prove that is a splitting field for N, using the action of the Galois group of the field extension on the irreducible representations of N. As is a splitting field for the symmetric group S_n we get as a corollary that is a splitting field for the alternating group A_n. Received: 31 July 2003     

Specializations of indecomposable polynomials

We address some questions concerning indecomposable polynomials and their behaviour under specialization. For instance we give a bound on a prime p for the reduction modulo p of an indecomposable polynomial ${P(x)\in {\mathbb{Z}}[x]}$ to remain indecomposable. We also obtain a Hilbert like result for indecomposability: if f(t ₁, . . . , t _r , x) is an indecomposable polynomial in several variables with coefficients in a field of characteristic p?=?0 or p?>?deg(f), then the one variable specialized polynomial ${f(t_1^\ast+\alpha_1^\ast x,\ldots,t_r^\ast+\alpha_r^\ast x,x)}$ is indecomposable for all ${(t_1^\ast, \ldots, t_r^\ast, \alpha_1^\ast, \ldots,\alpha_r^\ast)\in \overline k^{2r}}$ outside a proper Zariski closed subset.     

A problem of Kusner on equilateral sets

R. B. Kusner [R. Guy, Amer. Math. Monthly 90, 196-199 (1983)] asked whether a set of vectors in such that the distance between any pair is 1, has cardinality at most d + 1. We show that this is true for p = 4 and any , and false for all 1<p<2 with d sufficiently large, depending on p. More generally we show that the maximum cardinality is at most if p is an even integer, and at least if 1<p<2, where depends on p. Received: 5 May 2003     

Products of characters and finite <Emphasis Type="Italic">p</Emphasis>-groups II

Let p be a prime number. Let G be a finite p-group and . Denote by the complex conjugate of . Assume that . We show that the number of distinct irreducible constituents of the product is at least . Received: 17 March 2003     

\lambda-presentable Morphisms, Injectivity and (Weak) Factorization Systems

We show that in a locally -presentable category, every -injectivity class (i.e., the class of all the objects injective with respect to some class of -presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of -presentable morphisms. This was known for small-injectivity classes, and referred to as the ‘small object argument.’ An analogous result is obtained for orthogonality classes and factorization systems, where -filtered colimits play the role of the transfinite compositions in the injectivity case. -presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives). Finally, locally -presentable categories are shown to be cellularly generated by the set of morphisms between -presentable objects.     

Representations of twisted Yangians associated with skew Young diagrams

Let $G_M$ be either the orthogonal group $O_M$ or the symplectic group $Sp_M$ over the complex field; in the latter case the non-negative integer $M$ has to be even. Classically, the irreducible polynomial representations of the group $G_M$ are labeled by partitions $\mu=(\mu_{1},\mu_{2},\,\ldots)$ such that $\mu^{\prime}_1+\mu^{\prime}_2\le M$ in the case $G_M=O_M$, or $2\mu^{\prime}_1\le M$ in the case $G_M=Sp_M$. Here $\mu^{\prime}=(\mu^{\prime}_{1},\mu^{\prime}_{2},\,\ldots)$ is the partition conjugate to $\mu$. Let $W_\mu$ be the irreducible polynomial representation of the group $G_M$ corresponding to $\mu$. Regard $G_N\times G_M$ as a subgroup of $G_{N+M}$. Then take any irreducible polynomial representation $W_\lambda$ of the group $G_{N+M}$. The vector space $W_{\lambda}(\mu)={\rm Hom}_{\,G_M}( W_\mu, W_\lambda)$ comes with a natural action of the group $G_N$. Put $n=\lambda_1-\mu_1+\lambda_2-\mu_2+\ldots\,$. In this article, for any standard Young tableau $\varOmega$ of skew shape $\lm$ we give a realization of $W_{\lambda}(\mu)$ as a subspace in the $n$-fold tensor product $(\mathbb{C}^N)^{\bigotimes n}$, compatible with the action of the group $G_N$. This subspace is determined as the image of a certain linear operator $F_\varOmega (M)$ on $(\mathbb{C}^N)^{\bigotimes n}$, given by an explicit formula. When $M=0$ and $W_{\lambda}(\mu)=W_\lambda$ is an irreducible representation of the group $G_N$, we recover the classical realization of $W_\lambda$ as a subspace in the space of all traceless tensors in $(\mathbb{C}^N)^{\bigotimes n}$. Then the operator $F_\varOmega\(0)$ may be regarded as the analogue for $G_N$ of the Young symmetrizer, corresponding to the standard tableau $\varOmega$ of shape $\lambda$. This symmetrizer is a certain linear operator on $\CNn$$(\mathbb{C}^N)^{\bigotimes n} $ with the image equivalent to the irreducible polynomial representation of the complex general linear group $GL_N$, corresponding to the partition $\lambda$. Even in the case $M=0$, our formula for the operator $F_\varOmega(M)$ is new. Our results are applications of the representation theory of the twisted Yangian, corresponding to the subgroup $G_N$ of $GL_N$. This twisted Yangian is a certain one-sided coideal subalgebra of the Yangian corresponding to $GL_N$. In particular, $F_\varOmega(M)$ is an intertwining operator between certain representations of the twisted Yangian in $(\mathbb{C}^N)^{\bigotimes n}$.     

On a subalgebra of the centre of a group ring II

Let p be a prime, G a finite group with p | |G| and F a field of characteristic p. By we denote the F-subspace of the centre of the group ring FG spanned by the p-regular conjugacy class sums. J. Murray proved that is an algebra, if G is a symmetric or alternating group. This can be used for the computation of the block idempotents of FG. We proved that is an algebra if the Sylow-p-subgroups of G are abelian. Recently, Y. Fan and B. Külshammer generalized this result to blocks with abelian defect groups. Here, we show that is an algebra if the Sylow-2-subgroups of G are dihedral. Therefore and are algebras for all primes p and all prime powers q. Furthermore we prove that is an algebra for the simple Suzuki-groups Sz(q), where q is a certain power of 2 and p is an arbitrary prime dividing |Sz(q)|. Received: 18 May 2007     

A construction of two distinct canonical sets of lifts of Brauer characters of a p-solvable group

In [5], Navarro defines the set , where Q is a p-subgroup of a p-solvable group G, and shows that if δ is the trivial character of Q, then Irr(G|Q, δ) provides a set of canonical lifts of IBr_p(G), the irreducible Brauer characters with vertex Q. Previously, in [2], Isaacs defined a canonical set of lifts B_π(G) of I_π(G). Both of these results extend the Fong-Swan Theorem to π-separable groups, and both construct canonical sets of lifts of the generalized Brauer characters. It is known that in the case that 2∈π, or if |G| is odd, we have B_π(G) = Irr(G|Q, 1_Q). In this note we give a counterexample to show that this is not the case when . It is known that if and χ∈B_π(G), then the constituents of χ_N are in B_π (N). However, we use the same counterexample to show that if , and χ∈Irr(G|Q, 1_Q) is such that θ ∈Irr(N) and [θ, χ _N] ≠ 0, then it is not necessarily the case that θ ∈Irr(N) inherits this property. Received: 17 October 2005     

The influence of $\pi$-quasinormality of some subgroups of a finite group

A subgroup H of G is said to be $\pi$-quasinormal in G if it permute with every Sylow subgroup of G. In this paper, we extend the study on the structure of a finite group under the assumption that some subgroups of G are $\pi$-quasinormal in G. The main result we proved in this paper is the following:Theorem 3.4. Let ${\cal F}$ be a saturated formation containing the supersolvable groups. Suppose that G is a group with a normal subgroup H such that $G/H \in {\cal F}$, and all maximal subgroups of any Sylow subgroup of $F^{*}(H)$ are $\pi$-quasinormal in G, then $G \in {\cal F}$. Received: 10 May 2002     

Strongly connective degree sets I: nonabelian solvable quotients

When G is a finite nonabelian group, we associate the common-divisor graph (G) with G by letting nontrivial degrees in cd(G) be the vertices and making distinct vertices adjacent if they have a common nontrivial divisor. A set of vertices for this graph is said to be strongly connective for cd(G) if there is some prime which divides every member of and every vertex outside of is adjacent to some member of When G has a nonabelian solvable quotient, we show that if (G) is connected and has a diameter of at most 2, then indeed cd(G) has a strongly connective subset.Received: 7 July 2004; revised: 5 October 2004     

一个六点七边图的填充与覆盖

$\lambda{K_v}$为$\lambda$重$v$点完全图, $G$ 为有限简单图. $\lambda {K_v}$ 的一个 $G$-设计 ( $G$-填充设计, $G$-覆盖设计), 记为 ($v,G,\lambda$)-$GD$(($v,G,\lambda$)-$PD$, ($v,G,\lambda$)-$CD$), 是指一个序偶($X,\calB$)，其中 $X$ 为 ${K_v}$ 的顶点集， $\cal B$ 为 ${K_v}$ 中同构于 $G$的子图的集合, 称为区组集,使得 ${K_v     

Optimal recovery of anisotropic Besov--Wiener classes

This paper deals with the problem of optimal recovery of some anisotropic Besov--Wiener classes $S^{\bf r}_{pq\theta} B({\bf R}^d)$ in $L_q({\bf R}^d)$ and the dual case $S^{\bf r}_{p\theta} B({\bf R}^d)$ in $L_{qp} ({\bf R}^d)$ $(1相似文献   

Embedded Surfaces for Symplectic Circle Actions

The purpose of this article is to characterize symplectic and Hamiltonian circle actions on symplectic manifolds in terms of symplectic embeddings of Riemann surfaces.More precisely, it is shown that(1) if(M, ω) admits a Hamiltonian S~1-action, then there exists a two-sphere S in M with positive symplectic area satisfying c1(M, ω), [S] 0,and(2) if the action is non-Hamiltonian, then there exists an S~1-invariant symplectic2-torus T in(M, ω) such that c1(M, ω), [T] = 0. As applications, the authors give a very simple proof of the following well-known theorem which was proved by Atiyah-Bott,Lupton-Oprea, and Ono: Suppose that(M, ω) is a smooth closed symplectic manifold satisfying c1(M, ω) = λ· [ω] for some λ∈ R and G is a compact connected Lie group acting effectively on M preserving ω. Then(1) if λ 0, then G must be trivial,(2) if λ = 0, then the G-action is non-Hamiltonian, and(3) if λ 0, then the G-action is Hamiltonian.     

Symmetric Group Modules with Specht and Dual Specht Filtrations

The author and Nakano recently proved that multiplicities in a Specht filtration of a symmetric group module are well-defined precisely when the characteristic is at least five. This result suggested the possibility of a symmetric group theory analogous to that of good filtrations and tilting modules for GL _n (k). This article is an initial attempt at such a theory. We obtain two sufficient conditions that ensure a module has a Specht filtration, and a formula for the filtration multiplicities. We then study the categories of modules that satisfy the conditions, in the process obtaining a new result on Specht module cohomology.

Next we consider symmetric group modules that have both Specht and dual Specht filtrations. Unlike tilting modules for GL _n (k), these modules need not be self-dual, and there is no nice tensor product theorem. We prove a correspondence between indecomposable self-dual modules with Specht filtrations and a collection of GL _n (k)-modules which behave like tilting modules under the tilting functor. We give some evidence that indecomposable self-dual symmetric group modules with Specht filtrations may be indecomposable self dual trivial source modules.     

Putnam’s Inequality for log-Hyponormal Operators

Let T be a bounded linear operator on a complex Hilbert space H. T $/in$ B(H) is called a log-hyponormal operator if T is invertible and log (TT ^*) log (T ^* T). Since a function log : (0,) (-,) is operator monotone, every invertible p-hyponormal operator T, i.e., (TT ^*) ^p (T ^* T ^p is log-hyponormal for 0 < p 1. Putnams inequality for p-hyponormal operator T is the following:$ \| (T^*T)^p-(TT^*)^p \|\leq\frac{p}{\pi}\int\int_{\sigma(T)}r^{2p-1}drd\theta $.In this paper, we prove that if T is log-hyponormal, then$ \| log(T^*T)-log(TT^*) \|\leq\frac{1}{\pi}\int\int_{\sigma(T)}r^{-1}drd\theta $.     

Generalized Ejiri's Rigidity Theorem for Submanifolds in Pinched Manifolds

Let $M^{n}(n\geq4)$ be an oriented compact submanifold with parallel mean curvature in an $(n+p)$-dimensional complete simply connected Riemannian manifold $N^{n+p}$. Then there exists a constant $\delta(n,p)\in(0,1)$ such that if the sectional curvature of $N$ satisfies $\ov{K}_{N}\in[\delta(n,p), 1]$, and if $M$ has a lower bound for Ricci curvature and an upper bound for scalar curvature, then $N$ is isometric to $S^{n+p}$. Moreover, $M$ is either a totally umbilic sphere $S^n\big(\frac{1}{\sqrt{1+H^2}}\big)$, a Clifford hypersurface $S^{m}\big(\frac{1}{\sqrt{2(1+H^2)}}\big)\times S^{m}\big(\frac{1}{\sqrt{2(1+H^2)}}\big)$ in the totally umbilic sphere $S^{n+1}\big(\frac{1}{\sqrt{1+H^2}}\big)$ with $n=2m$, or $\mathbb{C}P^{2}\big(\frac{4}{3}(1+H^2)\big)$ in $S^7\big(\frac{1}{\sqrt{1+H^2}}\big)$. This is a generalization of Ejiri''s rigidity theorem.     

Specht modules with abelian vertices

In this article, we consider indecomposable Specht modules with abelian vertices. We show that the corresponding partitions are necessarily p ²-cores where p is the characteristic of the underlying field. Furthermore, in the case of p≥3, or p=2 and μ is 2-regular, we show that the complexity of the Specht module S ^μ is precisely the p-weight of the partition μ. In the latter case, we classify Specht modules with abelian vertices. For some applications of the above results, we extend a result of M. Wildon and compute the vertices of the Specht module S^(pp)S^{(p^{p})} for p≥3.