Cusp forms

LetG andH ⊂G be two real semisimple groups defined overQ. Assume thatH is the group of points fixed by an involution ofG. Letπ ⊂L ²(H\G) be an irreducible representation ofG and letf επ be aK-finite function. Let Γ be an arithmetic subgroup ofG. The Poincaré seriesP _f(g)=Σ_H∩ΓΓ f(γ{}itg) is an automorphic form on Γ\G. We show thatP _f is cuspidal in some cases, whenH ∩Γ\H is compact. Partially supported by NSF Grant # DMS 9103608.     

The additive subgroup generated by a polynomial

SupposeR is a prime ring with the centerZ and the extended centroidC. Letp(x ₁, …,x _n) be a polynomial overC in noncommuting variablesx ₁, …,x _n. LetI be a nonzero ideal ofR andA be the additive subgroup ofRC generated by {p(a ₁, …,a _n):a ₁, …,a _n ∈I}. Then eitherp(x ₁, …,x _n) is central valued orA contains a noncentral Lie ideal ofR except in the only one case whereR is the ring of all 2 × 2 matrices over GF(2), the integers mod 2.     

Commutator equations in free groups

Letf ₁, …,f _n be free generators of a free groupF. We consider the equation [z ₁, …,z _n]_ω. where ω and ω′ indicate the disposition of brackets in the higher commutators [z ₁, …,z _n]_ω and [f ₁, …,f _n]_ω. We give a necessary and sufficient condition on ω and ω′ for the existence of solutions of this equation. It is also shown that for any solutionz ₁=r₁, …,z _z=r _n we have <r ₁, …,r _n>=〈f ₁, …f _n〉.     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

Convex polytopes without triangular faces

LetP be a convexd-polytope without triangular 2-faces. Forj=0,…,d−1 denote byf _j(P) the number ofj-dimensional faces ofP. We prove the lower boundf _j(P)≥f _j(C _d) whereC _d is thed-cube, which has been conjectured by Y. Kupitz in 1980. We also show that for anyj equality is only attained for cubes. This result is a consequence of the far-reaching observation that such polytopes have pairs of disjoint facets. As a further application we show that there exists only one combinatorial type of such polytopes with exactly 2d+1 facets.     

Existence of subgraph with orthogonal (g,f)-factorization

Simple graphs are considered. Let G be a graph andg(x) andf(x) integer-valued functions defined on V(G) withg(x)⩽f(x) for everyxɛV(G). For a subgraphH ofG and a factorizationF=|F ₁,F ₂,⃛,F ₁| ofG, if |E(H)∩E(F ₁)|=1,1⩽i⩽j, then we say thatF orthogonal toH. It is proved that for an (mg(x)+k,mf(x) -k)-graphG, there exists a subgraphR ofG such that for any subgraphH ofG with |E(H)|=k,R has a (g,f)-factorization orthogonal toH, where 1⩽k<m andg(x)⩾1 orf(x)⩾5 for everyxɛV(G). Project supported by the Chitia Postdoctoral Science Foundation and Chuang Xin Foundation of the Chinese Academy of Sciences.     

Pappus type theorems for hypersurfaces in a space form

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM _λ ⁿ of sectional curvature λ. LetP ₀ be a totally geodesic hypersurface ofM _λ ⁿ throughc(0) and orthogonal toc(t). LetC ₀ be a hypersurface ofP ₀. LetC be the hypersurface ofM _λ ⁿ obtained by a motion ofC ₀ alongc(t). We shall denote it byC ^PorC ^Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC ₀, then volume(C) ≥ volume(C),^P),and the equality holds whenC ₀ is contained in a geodesic sphere or the motion corresponds to a curve contained in a hyperplane of the Lie algebraO(n−1) (whenn=3, the only motion with these properties is the parallel motion). Work partially supported by a DGES Grant No. PB97-1425 and a AGIGV Grant No. GR0052.     

Onp-class groups of cyclic extensions of prime degreep of certain cyclotomic fields

Letp be an odd prime number, and letK be a cyclic extension of ℚ(ζ) of degreep, where ζ is a primitivep-th root of unity. LetC _K be thep-class group ofK, and letr _K be the minimal number of generators ofC _K ^1−σ as a module over Gal(K/ℚ(ζ)), were σ is a generator of Gal(K/ℚ(ζ)). This paper shows how likely it is forr _K = 0, 1, 2, … whenp=3, 5, or 7, and describes the obstacle to generalizing these results to regular primesp>7.     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _n (x) = F(x) * δ _n (x) andδ _n (x) is a certain sequence of infinitely differentiable functions converging to the Dirac delta-functionδ(x). The distribution (x^r)^−s is valuated forr, s = 1,2, ….     

Polynomial preserving maps on certain Jordan algebras

LetB andQ be associative algebras and letS be a Jordan subalgebra ofB. Letf(x ₁,…,x _m ) be a (noncommutative) multilinear polynomial such thatS is closed underf. Letα:S→Q be anf-homomorphism in the sense that it is a linear map preservingf. Under suitable conditions it is shown thatα is essentially given by a ring homomorphism. An analogous theorem forf-derivations is also proved. The proofs rest heavily on results concerning functional identities andd-freeness. The second author was partially supported by a grant from the Ministry of Science of Slovenia.     

Multilinear polynomials and cocentralizing conditions in prime rings

Let R be a noncommutative prime ring of characteristic different from 2, let Z(R) be its center, let U be the Utumi quotient ring of R, let C be the extended centroid of R, and let f(x ₁,..., x _n ) be a noncentral multilinear polynomial over C in n noncommuting variables. Denote by f(R) the set of all evaluations of f(x ₁, …, xn) on R. If F and G are generalized derivations of R such that [[F(x), x], [G(y), y]] ∈ Z(R) for any x, y ∈ f(R), then one of the following holds:

Normal families of meromorphic functions with multiple zeros and poles

LetF be a family of functions meromorphic in the plane domainD, all of whose zeros and poles are multiple. Leth be a continuous function onD. Suppose that, for eachf ≠F,f ¹(z) εh(z) forz εD. We show that ifh(z) ≠ 0 for allz εD, or ifh is holomorphic onD but not identically zero there and all zeros of functions inF have multiplicity at least 3, thenF is a normal family onD. Partially supported by the Shanghai Priority Academic Discipline and by the NNSF of China Approved No. 10271122. Research supported by the German-Israeli Foundation for Scientific Research and Development, G.I.F. Grant No. G-643-117.6/1999.     

The Hausdorff dimension of horseshoes of diffeomorphisms of surfaces

Letf be aC ^r diffeomorphism,r≥2, of a two dimensional manifoldM ², and let Λ be a horseshoe off (i.e. a transitive and isolated hyperbolic set with topological dimension zero). We prove that there exist aC ^r neighborhoodU off and a neighbourhoodU of Λ such that forg∈U, the Hausdorff dimension of ∩ _n g ⁿ (U) is aC ^r−1 function ofg.     

Realisierbarkeit von darstellungen endlicher gruppen in einheitswurzelkörpern

Zusammenfassung LetD:G→GL(n,C) be an irreducible linear representation of a finite groupG with the characterX. IfD is realizible in Q(ξ _m ) and Q(ξ _m′ ) we give a condition for then realizability ofD in Q(ξ_(m′)). If the degreen is a prime ≠ 2, we show thatD realizible in Q(ξ _f ), wheref is the conductor of the abelian extensionQ(X)/Q.     

T-Colorings and T-Edge Spans of Graphs

 Suppose G is a graph and T is a set of non-negative integers that contains 0. A T-coloring of G is an assignment of a non-negative integer f(x) to each vertex x of G such that |f(x)−f(y)|∉T whenever xy∈E(G). The edge span of a T-coloring−f is the maximum value of |f(x) f(y)| over all edges xy, and the T-edge span of a graph G is the minimum value of the edge span of a T-coloring of G. This paper studies the T-edge span of the dth power C ^d _n of the n-cycle C _n for T={0, 1, 2, …, k−1}. In particular, we find the exact value of the T-edge span of C _n ^d for n≡0 or (mod d+1), and lower and upper bounds for other cases. Received: May 13, 1996 Revised: December 8, 1997     

Derived subgroups of fixed points

LetA be an elementary abelianq-group acting on a finiteq′-groupG. We show that ifA has rank at least 3, then properties ofC _G(a)′, 1 ≠a ∈A restrict the structure ofG′. In particular, we consider exponent, order, rank and number of generators. This author was supported by the NSF. This author was supported by CNP_q-Brazil.     

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,τ).     

Sums of corestrictions of cyclic algebras

By a cyclic layer of a finite Galois extension,E/K, of fields one means a cyclic extension,L/F, of fields whereE⊇L⊇F⊇K. LetC(E/K) denote the subgroup of the relative Brauer group, Br(E/K), generated by the various subgroups cor(Br(L/F)) asL/F ranges over all cyclic layers ofE/K and where cor denotes the corestriction map into Br(E/K). We show that forK global, [Br(E/K) :C(E/K)]<∞ and we produce examples whereC(E/K)≠Br(E/K). In memory of S.A. Amitsur, our teacher, friend, collaborator, and inspiration. Supported in part by NSA Grant No. MDA904-95-H-1054. Supported in part by NSA Grant No. MDA904-95-H-1022.     

A Generalization of Orthogonal Factorizations in Graphs

Let G be a graph with vertex set V(G) and edge set E(G) and let g and f be two integer-valuated functions defined on V(G) such that g(x) ≤f(x) for all x∈V(G). Then a (g, f)-factor of G is a spanning subgraph H of G such that g(x) ≤d _H (x) ≤f(x) for all x∈V(G). A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let = {F ₁, F ₂, ..., F _m } be a factorization of G and H be a subgraph of G with mr edges. If F _i , 1 ≤i≤m, has exactly r edges in common with H, then is said to be r-orthogonal to H. In this paper it is proved that every (mg + kr, mf−kr)-graph, where m, k and r are positive integers with k < m and g≥r, contains a subgraph R such that R has a (g, f)-factorization which is r-orthogonal to a given subgraph H with kr edges. This research is supported by the National Natural Science Foundation of China (19831080) and RSDP of China     

On the adjacent-vertex-strongly-distinguishing total coloring of graphs

For any vertex u∈V(G), let T_N(U)={u}∪{uv|uv∈E(G), v∈v(G)}∪{v∈v(G)|uv∈E(G)}and let f be a total k-coloring of G. The total-color neighbor of a vertex u of G is the color set C_f(u)={f(x)|x∈TN(U)}. For any two adjacent vertices x and y of V(G)such that C_f(x)≠C_f(y), we refer to f as a k-avsdt-coloring of G("avsdt"is the abbreviation of"adjacent-vertex-strongly- distinguishing total"). The avsdt-coloring number of G, denoted by X_(ast)(G), is the minimal number of colors required for a avsdt-coloring of G. In this paper, the avsdt-coloring numbers on some familiar graphs are studied, such as paths, cycles, complete graphs, complete bipartite graphs and so on. We proveΔ(G) 1≤X_(ast)(G)≤Δ(G) 2 for any tree or unique cycle graph G.