Étale slices for representation varieties in characteristic p

Let R(F, G) be the variety of representations of a finitely generated group F into a connected reductive algebraic group G, and let C(F, G) be the variety of closed conjugacy classes of representations. We examine the question of whether an étale slice for the conjugation action of G exists through a representation ρR(F, G) when the ground field k has characteristic p > 0. We show that an étale slice through ρ may exist for the action of an enlarged group Ĝ, even when there is no étale slice for the G-action. As an application, we generalise a result known to hold in characteristic zero, which expresses the tangent space to C(F, G) at the conjugacy class of a suitable representation ρ as a subspace of the 1-cohomology H¹ (F, %plane1D;524;(ρ)) of an F-module %plane1D;524;(ρ). A similar result holds in characteristic p, but with H¹ (F%plane1D;524;(ρ)) replaced by a quotient of H¹ (F%plane1D;524;(ρ)).     

On improved estimators of the generalized variance

Treated in this paper is the problem of estimating with squared error loss the generalized variance | Σ | from a Wishart random matrix S: p × p W_p(n, Σ) and an independent normal random matrix X: p × k N(ξ, Σ I_k) with ξ(p × k) unknown. Denote the columns of X by X₍₁₎ ,…, X_(k) and set ψ⁽⁰⁾(S, X) = {(n − p + 2)!/(n + 2)!} | S |, ψ⁽ⁱ⁾(X, X) = min[ψ⁽ⁱ⁻¹⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!} | S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |] and Ψ⁽ⁱ⁾(S, X) = min[ψ⁽⁰⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!}| S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |], i = 1,…,k. Our result is that the minimax, best affine equivariant estimator ψ⁽⁰⁾(S, X) is dominated by each of Ψ⁽ⁱ⁾(S, X), i = 1,…,k and for every i, ψ⁽ⁱ⁾(S, X) is better than ψ⁽ⁱ⁻¹⁾(S, X). In particular, ψ^(k)(S, X) = min[{(n − p + 2)!/(n + 2)!} | S |, {(n − p + 2)!/(n + 2)!} | S + X₍₁₎X′₍₁₎|,…,| {(n − p + k + 2)!/(n + k + 2)!} | S + X₍₁₎X′₍₁₎ + + X_(k)X′_(k)|] dominates all other ψ's. It is obtained by considering a multivariate extension of Stein's result (Ann. Inst. Statist. Math. 16, 155–160 (1964)) on the estimation of the normal variance.     

The vertex-cover polynomial of a graph

In this paper we define the vertex-cover polynomial Ψ(G,τ) for a graph G. The coefficient of τ^r in this polynomial is the number of vertex covers V′ of G with |V′|=r. We develop a method to calculate Ψ(G,τ). Motivated by a problem in biological systematics, we also consider the mappings f from {1, 2,…,m} into the vertex set V(G) of a graph G, subject to f⁻¹(x)f⁻¹(y)≠ for every edge xy in G. Let F(G,m) be the number of such mappings f. We show that F(G,m) can be determined from Ψ(G,τ).     

Matrix Mean Series in Terms of Boundary Orthogonal Systems and Functions in the Classes H and E

We give conditions for orthonormal systems on the boundary of a plane Jordan domain which are necessary and sufficient for an arbitrary series in terms of this orthonormal system to be the Fourier series of some function in H^∞(G) resp. E^P(G)(1<p<∞). Our results contain a classical criterion of Fejér for the boundedness of a holomorphic function in the unit disk.     

Littlewood–Paley and Multiplier Theorems on Weighted Spaces over Locally Compact Vilenkin Groups

We extend the Littlewood–Paley theorem toL^p_w(G), whereGis a locally compact Vilenkin group andware weights satisfying the MuckenhouptA_pcondition. As an application we obtain a mixed-norm type multiplier result onL^p_w(G) and prove the sharpness of our result. We also obtain a sufficient condition for φ L^∞(Γ) to be a multiplier on the power weightedL^p_α(G) in terms of its smoothness condition.     

On Isomorphisms of Finite Cayley Graphs

A Cayley graph Cay(G,S) of a groupGis called a CI-graph if wheneverTis another subset ofGfor which Cay(G,S) Cay(G,T), there exists an automorphism σ ofGsuch thatS^σ = T. For a positive integerm, the groupGis said to have them-CI property if all Cayley graphs ofGof valencymare CI-graphs; further, ifGhas thek-CI property for allk ≤ m, thenGis called anm-CI-group, and a |G|-CI-groupGis called a CI-group. In this paper, we prove that Ais not a 5-CI-group, that SL(2,5) is not a 6-CI-group, and that all finite 6-CI-groups are soluble. Then we show that a nonabelian simple group has the 4-CI property if and only if it is A₅, and that no nonabelian simple group has the 5-CI property. Also we give nine new examples of CI-groups of small order, which were found to be CI-groups with the assistance of a computer.     

p-nilpotence of finite groups and minimal subgroups

In this paper, it is proved that a finite group G is p-nilpotent if every minimal subgroup of P∩O^p(G) is permutable in P and N_G(P) is p-nilpotent, and when p=2 either [Ω₂(P∩O^p(G)),P]Ω₁(P∩O^p(G)) or P is quaternion-free, where p is a prime dividing the order of G and P is a Sylow p-subgroup of G. By using this result, we may get a series of corollaries for p-nilpotence, which contain some known results. Some other applications of this result are also given.     

Pointwise Best Approximation in the Space of Strongly Measurable Functions with Applications to Best Approximation in L(μ,X)

The object of this paper is to prove the following theorem: Let Y be a closed subspace of the Banach space X, (S,Σ,μ) a σ-finite measure space, L(S,Y) (respectively, L(S, X)) the space of all strongly measurable functions from S to Y (respectively, X), and p a positive number. Then L(S,Y) is pointwise proximinal in L(S,X) if and only if L^p(μ,Y) is proximinal in L^p(μ,X). As an application of the theorem stated above, we prove that if Y is a separable closed subspace of the Banach space X, p is a positive number, then L^p(μ,Y) is proximinal in L^p(μ,X) if and only if Y is proximinal in X. Finally, several other interesting results on pointwise best approximation are also obtained.     

Laguerre Expansions of Gel′fand-Shilov Spaces

The subspaces G_α, G^β, and G^β_α (α, β ≥ 0)of Schwartz′ space S⁺ in (0, + ∞) are associated with the Hankel transform in the same way as the Gel′fand-Shilov spaces S_α, S^β, and S^β_α are associated with the Fourier transform. Indeed, if we consider the Hankel transform H_γ (γ < −1) defined by _γ(ƒ)(t) = ∫^∞₀ (xt)^−γ/2x^γJ_γ([formula]) ƒ(x) dx then _γ is an isomorphism from G_α, G^β, and G^β_α onto G^α, G_β, and G^α_β respectively. So. the spaces G^α_α are invariant for _γ. In this paper, we characterize the spaces G^α_α (α > 1) in terms of their Fourier-Laguerre coefficients. Also, we characterize the range of the Fourier-Laplace operator _D defined by _D(ƒ)(w) = ∫^∞₀ ƒ(t) e^{−(1/2)((1 + w)/(1 − w))t} for w D = {w : |w| ≤ 1} when it acts on the space G^α_α.     

Best polynomial and durrmeyer approximation in Lp(S)

On a simplex SR^d, the best polynomial approximation is E_n()_Lp(S)=Inf{P_n−_Lp(S): P_n of total degree n}. The Durrmeyer modification, M_n, of the Bernstein operator is a bounded operator on L_p(S) and has many “nice” properties, most notably commutativity and self-adjointness. In this paper, relations between M_n−z.dfnc;_Lp(S) and E_[√n]()_Lp(S) will be given by weak inequalities will imply, for 0<α<1 and 1≤p≤∞, E_n()_Lp(S)=O(n^-2α)M_n−z.dfnc;_Lp(S)=O(n^-α). We also see how the fact that P(D)εL_p(S) for the appropriate P(D) affects directional smoothness.     

The greedy coloring is a bad probabilistic algorithm

Given a graph G and an ordering p of its vertices, denote by A(G, p) the number of colors used by the greedy coloring algorithm when applied to G with vertices ordered by p. Let , , Δ be positive constants. It is proved that for each n there is a graph G_n such that the chromatic number of G_n is at most n, but the probability that A(G_n, p) < (1 − )n/log₂ n for a randomly chosen ordering p is O(n^−Δ).     

Jackson's theorem for compact connected Lie groups

We prove that for f ε E = C(G) or L^p(G), 1 p < ∞, where G is any compact connected Lie group, and for n 1, there is a trigonometric polynomial t_n on G of degree n so that f − t_nE C_rω_r(n⁻¹,f). Here ω_r(t, f) denotes the rth modulus of continuity of f. Using this and sharp estimates of the Lebesgue constants recently obtained by Giulini and Travaglini, we obtain “best possible” criteria for the norm convergence of the Fourier series of f.     

Some Identities for Enumerators of Circulant Graphs

We establish analytically several new identities connecting enumerators of different types of circulant graphs mainly of prime, twice prime and prime-squared orders. In particular, it is shown that the half-sum of the number of undirected circulants and the number of undirected self-complementary circulants of prime order is equal to the number of directed self-complementary circulants of the same order. Several identities hold only for prime orders p such that (p + 1)/2 is also prime. Some conjectured generalizations and interpretations are discussed.     

Continuity in G

For a discrete group G, we consider βG, the Stone– ech compactification of G, as a right topological semigroup, and G^*=βGG as a subsemigroup of βG. We study the mappings λ_p^* :G^*→G^*and μ^* :G^*→G^*, the restrictions to G^* of the mappings λ_p :βG→βG and μ :βG→βG, defined by the rules λ_p(q)=pq, μ(q)=qq. Under some assumptions, we prove that the continuity of λ_p^* or μ^* at some point of G^* implies the existence of a P-point in ω^*.     

Analytic continuation of local representations of symmetric spaces

We prove the following analytic continuation theorem which applies to any virtual representation of any symmetric space (G, K, σ). The problem of passing from the Euclidean group to the Poincaré group appears first to have been addressed and solved this way by Klein and Landau. Let G be a Lie group, K a closed subgroup, and σ an involutive automorphism with K as fixed-point subgroup. If = + is the corresponding symmetric Lie algebra, we form ^* = + , and let G^* denote the simply connected Lie group with ^* as Lie algebra. We consider virtual representations π of G on a fixed complex Hilbert space , adopting the definitions due to J. Fröhlich, K. Osterwalder, and E. Seiler; in particular, π(g⁻¹) π(σ(g))^* (possibly unbounded operators) for g in a neighborhood of e in G. We prove that every such π continues analytically to a strongly continuous unitary representation of G^* on . Our theorem extends results due to Klein-Landau, Fröhlich et al., and others, earlier, for special cases. Previous results were known only for special (G, K, σ), and then only for certain π.     

On finding the core of a tree with a specified length

A core of a graph G is a path P in G that is central with respect to the property of minizining d(P) = Σ_υεV(G)d(υ, P), where d(υ, P) is the distance from vertex υ to path P. This paper explores some properties of a core of a specified length.     

Undirected power graphs of semigroups

The undirected power graph G(S) of a semigroup S is an undirected graph whose vertex set is S and two vertices a,b∈S are adjacent if and only if a≠b and a ^m =b or b ^m =a for some positive integer m. In this paper we characterize the class of semigroups S for which G(S) is connected or complete. As a consequence we prove that G(G) is connected for any finite group G and G(G) is complete if and only if G is a cyclic group of order 1 or p ^m . Particular attention is given to the multiplicative semigroup ℤ _n and its subgroup U _n , where G(U _n ) is a major component of G(ℤ _n ). It is proved that G(U _n ) is complete if and only if n=1,2,4,p or 2p, where p is a Fermat prime. In general, we compute the number of edges of G(G) for a finite group G and apply this result to determine the values of n for which G(U _n ) is planar. Finally we show that for any cyclic group of order greater than or equal to 3, G(G) is Hamiltonian and list some values of n for which G(U _n ) has no Hamiltonian cycle.     

Monochrome symmetric subsets of colored groups

In (Electron. J. Combin. 10 (2003); http://www.combinatorics.org/volume-10/Abstracts/v1oi1r28.html), the first author (Yuliya Gryshko) asked three questions. Is it true that every infinite group admitting a 2-coloring without infinite monochromatic symmetric subsets is either almost cyclic (i.e., have a finite index subgroup which is cyclic infinite) or countable locally finite? Does every infinite group G include a monochromatic symmetric subset of any cardinal <|G| for any finite coloring? Does every uncountable group G such that |B(G)|< |G| where B(G)={xG:x²=1}, admit a 2-coloring without monochromatic symmetric subsets of cardinality |G|? We answer the first question positively. Assuming the generalized continuum hypothesis (GCH), we give a positive answer to the second question in the abelian case. Finally, we build a counter-example for the third question and we give a necessary and sufficient condition for an infinite group G to admit 2-coloring without monochromatic symmetric subsets of cardinality |G|. This generalizes some results of Protasov on infinite abelian groups (Mat. Zametki 59 (1996) 468–471; Dopovidi NAN Ukrain 1 (1999) 54–57).     

Extreme Points and Minimal Outer Area Problem for Meromorphic Univalent Functions

For 0 < p < 1, letS_pdenote the class of functionsf(z) meromorphic univalent in the unit disk with the normalizationf(0) = 0,f′(0) = 1, andf(p) = ∞. LetS_p(a) be the subclass ofS_pwith the fixed residuea. In this note we determine the extreme points of the classS_p(a). As an application, we solve the problem of minimizing the outer area overS_p(a), which was posed by S. Zemyan (J. Analyse Math.39, 1981, 11–23).     

The combinatorics and the homology of the poset of subgroups of p-power index

For a finite group G and a prime p the poset S^p (G) of all subgroups H ≠ G of p-power index is studied. The Möbius number of the poset is given and the homotopy type of the poset is determined as a wedge of spheres. We describe the representation of G on the homology groups of the order complex of S^p (G) and show that this representation can be realized by matrices with entries in the set {+1, -1, 0}. Finally a CL-shellable subposet of S^p (G) is exhibited for odd primes p.