Periodicity of Adams operations on the Green ring of a finite group

The Adams operations and on the Green ring of a group G over a field K arise from the study of the exterior powers and symmetric powers of KG-modules. When G is finite and K has prime characteristic p we show that and are periodic in n if and only if the Sylow p-subgroups of G are cyclic. In the case where G is a cyclic p-group we find the minimum periods and use recent work of Symonds to express in terms of .     

Carleson measure problems for parabolic Bergman spaces and homogeneous Sobolev spaces

Let be the space of solutions to the parabolic equation having finite norm. We characterize nonnegative Radon measures μ on having the property , 1≤p≤q<∞, whenever . Meanwhile, denoting by v(t,x) the solution of the above equation with Cauchy data v₀(x), we characterize nonnegative Radon measures μ on satisfying , β∈(0,n), p∈[1,n/β], q∈(0,∞). Moreover, we obtain the decay of v(t,x), an isocapacitary inequality and a trace inequality.     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.     

The coarse shape groups

The (pointed) coarse shape category Sh^* (), having (pointed) topological spaces as objects and having the (pointed) shape category as a subcategory, was recently constructed. Its isomorphisms classify (pointed) topological spaces strictly coarser than the (pointed) shape type classification. In this paper we introduce a new algebraic coarse shape invariant which is an invariant of shape and homotopy, as well. For every pointed space (X,?) and for every k∈N₀, the coarse shape group , having the standard shape group for its subgroup, is defined. Furthermore, a functor is constructed. The coarse shape and shape groups already differ on the class of polyhedra. An explicit formula for computing coarse shape groups of polyhedra is given. The coarse shape groups give us more information than the shape groups. Generally, does not imply (e.g. for solenoids), but from pro-πk(X,?)=0 follows . Moreover, for pointed metric compacta (X,?), the n-shape connectedness is characterized by , for every k?n.     

Note on the energy of regular graphs

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all the eigenvalues of its adjacency matrix A(G). Let n,m, respectively, be the number of vertices and edges of G. One well-known inequality is that , where λ₁ is the spectral radius. If G is k-regular, we have . Denote . Balakrishnan [R. Balakrishnan, The energy of a graph, Linear Algebra Appl. 387 (2004) 287-295] proved that for each ?>0, there exist infinitely many n for each of which there exists a k-regular graph G of order n with k<n-1 and , and proposed an open problem that, given a positive integer n?3, and ?>0, does there exist a k-regular graph G of order n such that . In this paper, we show that for each ?>0, there exist infinitely many such n that . Moreover, we construct another class of simpler graphs which also supports the first assertion that .     

Universal factorization property of certain polycyclic groups

Let H be a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group. Let G be any group with maximal condition. We show that there exists a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group and an epimorphism such that for any homomorphism ?:G→H, it factors through , i.e., there exists a homomorphism such that . We show that this factorization property cannot be extended to any finitely generated group G. As an application of factorization, we give necessary and sufficient conditions for N(f,g)=R(f,g) to hold for maps f,g:X→Y between closed orientable n-manifolds where π₁(X) has the maximal condition, Y is an infra-solvmanifold, N(f,g) and R(f,g) denote the Nielsen and Reidemeister coincidence numbers, respectively.     

On the dual canonical and Kazhdan-Lusztig bases and 3412-, 4231-avoiding permutations

Using Du’s characterization of the dual canonical basis of the coordinate ring O(GL(n,C)), we express all elements of this basis in terms of immanants. We then give a new factorization of permutations w avoiding the patterns 3412 and 4231, which in turn yields a factorization of the corresponding Kazhdan-Lusztig basis elements of the Hecke algebra H_n(q). Using the immanant and factorization results, we show that for every totally nonnegative immanant and its expansion with respect to the basis of Kazhdan-Lusztig immanants, the coefficient d_w must be nonnegative when w avoids the patterns 3412 and 4231.     

The zero-divisor graph of a reduced ring

In this paper the zero-divisor graph Γ(R) of a commutative reduced ring R is studied. We associate the ring properties of R, the graph properties of Γ(R) and the topological properties of . Cycles in Γ(R) are investigated and an algebraic and a topological characterization is given for the graph Γ(R) to be triangulated or hypertriangulated. We show that the clique number of Γ(R), the cellularity of and the Goldie dimension of R coincide. We prove that when R has the annihilator condition and ; Γ(R) is complemented if and only if is compact. In a semiprimitive Gelfand ring, it turns out that the dominating number of Γ(R) is between the density and the weight of . We show that Γ(R) is not triangulated and the set of centers of Γ(R) is a dominating set if and only if the set of isolated points of is dense in .     

An explicit formula for the action of a finite group on a commutative ring

Let G be a finite group, k a commutative ring upon which G acts. For every subgroup H of G, the trace (or norm) map is defined. is onto if and only if there exists an element x_H such that . We will show that the existence of x_P for every subgroup P of prime order determines the existence of x_G by exhibiting an explicit formula for x_G in terms of the x_P, where P varies over prime order subgroups. Since is onto if and only if is, where g∈G is an arbitrary element, we need to take only one P from each conjugacy class. We will also show why a formula with less factors does not exist, and show that the existence or non-existence of some of the x_P’s (where we consider only one P from each conjugacy class) does not affect the existence or non-existence of the others.     

Homological finiteness properties of monoids, their ideals and maximal subgroups

We consider the general question of how the homological finiteness property left-(resp. right-) holding in a monoid influences, and conversely depends on, the property holding in the substructures of that monoid. This is done by giving methods for constructing free resolutions of substructures from free resolutions of their containing monoids, and vice versa. In particular, we show that left- is inherited by the maximal subgroups in a completely simple minimal ideal, in the case that the minimal ideal has finitely many left ideals. For completely simple semigroups, we prove the converse, and as a corollary, show that a completely simple semigroup is of type left- and right- if and only if it has finitely many left and right ideals and all of its maximal subgroups are of type . Also, given an ideal of a monoid, we show that if the ideal has a two-sided identity element then the containing monoid is of type left- if and only if the ideal is of type left-. Applying this result, we obtain necessary and sufficient conditions for a Clifford monoid (and more generally a strong semilattice of monoids) to be of type left-. Examples are provided showing that for each of the results all of the hypotheses are necessary.     

Fredholm differential operators with unbounded coefficients

We prove that a first-order linear differential operator G with unbounded operator coefficients is Fredholm on spaces of functions on with values in a reflexive Banach space if and only if the corresponding strongly continuous evolution family has exponential dichotomies on both and and a pair of the ranges of the dichotomy projections is Fredholm, and that the Fredholm index of G is equal to the Fredholm index of the pair. The operator G is the generator of the evolution semigroup associated with the evolution family. In the case when the evolution family is the propagator of a well-posed differential equation u′(t)=A(t)u(t) with, generally, unbounded operators , the operator G is a closure of the operator . Thus, this paper provides a complete infinite-dimensional generalization of well-known finite-dimensional results by Palmer, and by Ben-Artzi and Gohberg.     

Critical points between varieties generated by subspace lattices of vector spaces

We denote by the semilattice of all compact congruences of an algebra A. Given a variety V of algebras, we denote by the class of all semilattices isomorphic to for some A∈V. Given varieties V and W of algebras, the critical point of V under W is defined as . Given a finitely generated variety V of modular lattices, we obtain an integer ?, depending on V, such that for any n≥? and any field F.In a second part, using tools introduced in Gillibert (2009) [5], we prove that:

     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .     

On the Brauer group of a semisimple algebraic group

Let k be a field with algebraic closure , G a semisimple algebraic k-group, and a maximal torus with character group X(T). Denote Λ the abstract weight lattice of the roots system of G, and by and the n-torsion subgroup of the Brauer group of k and G, respectively. We prove that if chark does not divide n and n is prime to the order of Λ/X(T) then the natural homomorphism is an isomorphism.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.     

Subgroup distortion in wreath products of cyclic groups

We study the effects of subgroup distortion in the wreath products , where A is finitely generated abelian. We show that every finitely generated subgroup of has distortion function equivalent to some polynomial. Moreover, for A infinite, and for any polynomial l^k, there is a 2-generated subgroup of having distortion function equivalent to the given polynomial. Also, a formula for the length of elements in arbitrary wreath product easily shows that the group has distorted subgroups, while the lamplighter group has no distorted (finitely generated) subgroups. In the course of the proof, we introduce a notion of distortion for polynomials. We are able to compute the distortion of any polynomial in one variable over Z,R or C.     

On the Kurosh rank of the intersection of subgroups in free products of groups

The Kurosh rank rK(H) of a subgroup H of a free product of groups Gα, α∈I, is defined accordingly to the classic Kurosh subgroup theorem as the number of free factors of H. We prove that if H₁, H₂ are subgroups of and H₁, H₂ have finite Kurosh rank, then , where , q^∗ is the minimum of orders >2 of finite subgroups of groups Gα, α∈I, q^∗:=∞ if there are no such subgroups, and if q^∗=∞. In particular, if the factors Gα, α∈I, are torsion-free groups, then .