Lie properties of symmetric elements in group rings

Let ¹ be an involution of a group G extended linearly to the group algebra KG. We prove that if G contains no 2-elements and K is a field of characteristic $p\ne 2$, then the 1-symmetric elements of KG are Lie nilpotent (Lie n-Engel) if and only if KG is Lie nilpotent (Lie n-Engel).     

Sub-elliptic global high order Poincaré inequalities in stratified Lie groups and applications

Sharp Poincaré inequalities on balls or chain type bounded domains have been extensively studied both in classical Euclidean space and Carnot-Carathéodory spaces associated with sub-elliptic vector fields (e.g., vector fields satisfying Hörmander's condition). In this paper, we investigate the validity of sharp global Poincaré inequalities of both first order and higher order on the entire nilpotent stratified Lie groups or on unbounded extension domains in such groups. We will show that simultaneous sharp global Poincaré inequalities also hold and weighted versions of such results remain to be true. More precisely, let G be a nilpotent stratified Lie group and f be in the localized non-isotropic Sobolev space , where 1?p<Q/m and Q is the homogeneous dimension of the Lie group G. Suppose that the mth sub-elliptic derivatives of f is globally Lp integrable; i.e., is finite (but assume that lower order sub-elliptic derivatives are only locally Lp integrable). We denote the space of such functions as Bm,p(G). We prove a high order Poincaré inequality for f minus a polynomial of order m−1 over the entire space G or unbounded extension domains. As applications, we will prove a density theorem stating that smooth functions with compact support are dense in Bm,p(G) modulus a finite-dimensional subspace.     

Reduced Gutzwiller formula with symmetry: Case of a Lie group

We consider a classical Hamiltonian H on R2d, invariant by a Lie group of symmetry G, whose Weyl quantization is a selfadjoint operator on L²(Rd). If χ is an irreducible character of G, we investigate the spectrum of its restriction to the symmetry subspace of L²(Rd) coming from the decomposition of Peter-Weyl. We give semi-classical Weyl asymptotics for the eigenvalues counting function of in an interval of R, and interpret it geometrically in terms of dynamics in the reduced space R2d/G. Besides, oscillations of the spectral density of are described by a Gutzwiller trace formula involving periodic orbits of the reduced space, corresponding to quasi-periodic orbits of R2d.     

Convolution roots and embeddings of probability measures on Lie groups

We show that for a large class of connected Lie groups G, viz. from classC described below, given a probability measure μ on G and a natural number n, for any sequence {νi} of th convolution roots of μ there exists a sequence {zi} of elements of G, centralising the support of μ, and such that is relatively compact; thus the set of roots is relatively compact ‘modulo’ the conjugation action of the centraliser of suppμ. We also analyse the dependence of the sequence {zi} on n. The results yield a simpler and more transparent proof of the embedding theorem for infinitely divisible probability measures on the Lie groups as above, proved in [S.G. Dani, M. McCrudden, Embeddability of infinitely divisible distributions on linear Lie groups, Invent. Math. 110 (1992) 237-261].     

On cohomology rings of infinite groups

Let R be any ring (with 1), G a torsion free group and RG the corresponding group ring. Let be the cohomology ring associated with the RG-module M. Let H be a subgroup of finite index of G. The following is a special version of our main Theorem: Assume the profinite completion of G is torsion free. Then an element is nilpotent (under Yoneda’s product) if and only if its restriction to is nilpotent. In particular this holds for the Thompson group.There are torsion free groups for which the analogous statement is false.     

Variable neighborhood search for extremal graphs. 23. On the Randi? index and the chromatic number

Let G=(V,E) be a simple graph with vertex degrees d₁,d₂,…,d_n. The Randi? index R(G) is equal to the sum over all edges (i,j)∈E of weights . We prove several conjectures, obtained by the system AutoGraphiX, relating R(G) and the chromatic number χ(G). The main result is χ(G)≤2R(G). To prove it, we also show that if v∈V is a vertex of minimum degree δ of G, G−v the graph obtained from G by deleting v and all incident edges, and Δ the maximum degree of G, then .     

On approximation of Lie groups by discrete subgroups

A locally compact group G is said to be approximated by discrete subgroups (in the sense of Tôyama) if there is a sequence of discrete subgroups of G that converges to G in the Chabauty topology (or equivalently, in the Vietoris topology). The notion of approximation of Lie groups by discrete subgroups was introduced by Tôyama in Kodai Math. Sem. Rep. 1 (1949) 36–37 and investigated in detail by Kuranishi in Nagoya Math. J. 2 (1951) 63–71. It is known as a theorem of Tôyama that any connected Lie group approximated by discrete subgroups is nilpotent. The converse, in general, does not hold. For example, a connected simply connected nilpotent Lie group is approximated by discrete subgroups if and only if G has a rational structure. On the other hand, if Γ is a discrete uniform subgroup of a connected, simply connected nilpotent Lie group G then G is approximated by discrete subgroups Γ _n containing Γ. The proof of the above result is by induction on the dimension of G, and gives an algorithm for inductively determining Γ _n . The purpose of this paper is to give another proof in which we present an explicit formula for the sequence (Γ _n ) _n?≥?0 in terms of Γ. Several applications are given.     

On Wohlfahrt series and wreath products

Suppose that a group A contains only a finite number of subgroups of index d for each positive integer d. Let G?Sn be the wreath product of a finite group G with the symmetric group Sn on {1,…,n}. For each positive integer n, let Kn be a subgroup of G?Sn containing the commutator subgroup of G?Sn. If the sequence satisfies a certain compatible condition, then the exponential generating function of the sequence takes the form of a sum of exponential functions.     

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.     

Orbits of parabolic subgroups on metabelian ideals

Let k be an algebraically closed field, t∈Z?1, and let B be the Borel subgroup of GLt(k) consisting of upper-triangular matrices. Let Q be a parabolic subgroup of GLt(k) that contains B and such that the Lie algebra qu of the unipotent radical of Q is metabelian, i.e. the derived subalgebra of qu is abelian. For a dimension vector with , we obtain a parabolic subgroup P(d) of GLn(k) from B by taking upper-triangular block matrices with (i,j) block of size di×dj. In a similar manner we obtain a parabolic subgroup Q(d) of GLn(k) from Q. We determine all instances when P(d) acts on qu(d) with a finite number of orbits for all dimension vectors d. Our methods use a translation of the problem into the representation theory of certain quasi-hereditary algebras. In the finite cases, we use Auslander-Reiten theory to explicitly determine the P(d)-orbits; this also allows us to determine the degenerations of P(d)-orbits.     

On a conjecture of the Randi? index

The Randi? index of a graph G is defined as , where d(u) is the degree of vertex u and the summation goes over all pairs of adjacent vertices u, v. A conjecture on R(G) for connected graph G is as follows: R(G)≥r(G)−1, where r(G) denotes the radius of G. We proved that the conjecture is true for biregular graphs, connected graphs with order n≤10 and tricyclic graphs.     

The tail is cut for Ramsey numbers of cubes

The Ramsey number R(G) of a graph G is the least integer p such that for all bicolorings of the edges of the complete graph K_p, one of the monochromatic subgraphs contains a copy of G. We show that for any positive constant c and bipartite graph G=(U,V;E) of order n where the maximum degree of vertices in U is at most , . Moreover, we show that the Ramsey number of the cube Q_n of dimension n satisfies . In both cases, the small terms are removed from the powers in the upper bounds of a earlier result of the author.     

Optimal transport maps for Monge-Kantorovich problem on loop groups

Let G be a compact Lie group, and consider the loop group LeG:={?∈C([0,1],G); ?(0)=?(1)=e}. Let ν be the heat kernel measure at the time 1. For any density function F on LeG such that Entν(F)<∞, we shall prove that there exists a unique optimal transportation map which pushes ν forward to Fν.     

Stability of Discontinuous Groups Acting on Homogeneous Spaces

Suppose given a nilpotent connected simply connected Lie group G, a connected Lie subgroup H of G, and a discontinuous group Γ for the homogeneous space M = G/H. In this work we study the topological stability of the parameter space R(Γ,G,H) in the case where G is three-step. We prove a stability theorem for certain particular pairs (Γ,H). We also introduce the notion of strong stability on layers making use of an explicit layering of Hom(Γ,G) and study the case of Heisenberg groups.     

On left Hadamard transversals in non-solvable groups

Let G be a group of order 4n and t an involution of G. A 2n-subset R of G is called a left Hadamard transversal of G with respect to 〈t〉 if G=R〈t〉 and for some subsets S₁ and S₂ of G. Let H be a subgroup of G such that G=[G,G]H, t∈H, and t^G⊄H, where t^G is the conjugacy class of t and [G,G] is the commutator subgroup of G. In this article, we show that if R satisfies a condition , then R is a (2n,2,2n,n) relative difference set and one can construct a v×v integral matrix B such that BB^T=B^TB=(n/2)I, where v is a positive integer determined by H and t^G (see Theorem 2.6). Using this we show that there is no left Hadamard transversal R satisfying (*) in some simple groups.     

Packing directed cycles efficiently

Let G be a simple digraph. The dicycle packing number of G, denoted ν_c(G), is the maximum size of a set of arc-disjoint directed cycles in G. Let G be a digraph with a nonnegative arc-weight function w. A function ψ from the set C of directed cycles in G to R₊ is a fractional dicycle packing of G if ∑_e∈C∈Cψ(C)?w(e) for each e∈E(G). The fractional dicycle packing number, denoted , is the maximum value of ∑_C∈Cψ(C) taken over all fractional dicycle packings ψ. In case w≡1 we denote the latter parameter by .Our main result is that where n=|V(G)|. Our proof is algorithmic and generates a set of arc-disjoint directed cycles whose size is at least ν_c(G)-o(n²) in randomized polynomial time. Since computing ν_c(G) is an NP-Hard problem, and since almost all digraphs have ν_c(G)=Θ(n²) our result is a FPTAS for computing ν_c(G) for almost all digraphs.The result uses as its main lemma a much more general result. Let F be any fixed family of oriented graphs. For an oriented graph G, let ν_F(G) denote the maximum number of arc-disjoint copies of elements of F that can be found in G, and let denote the fractional relaxation. Then, . This lemma uses the recently discovered directed regularity lemma as its main tool.It is well known that can be computed in polynomial time by considering the dual problem. We present a polynomial algorithm that finds an optimal fractional dicycle packing. Our algorithm consists of a solution to a simple linear program and some minor modifications, and avoids using the ellipsoid method. In fact, the algorithm shows that a maximum fractional dicycle packing with at most O(n²) dicycles receiving nonzero weight can be found in polynomial time.     

A matroid invariant via the K-theory of the Grassmannian

Let G(d,n) denote the Grassmannian of d-planes in Cn and let T be the torus n(C^∗)/diag(C^∗) which acts on G(d,n). Let x be a point of G(d,n) and let be the closure of the T-orbit through x. Then the class of the structure sheaf of in the K-theory of G(d,n) depends only on which Plücker coordinates of x are nonzero - combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from K^○(G(d,n)) to Z[t]. Letting gx(t) denote the image of , gx behaves nicely under the standard constructions of matroid theory, such as direct sum, two-sum, duality and series and parallel extensions. We use this invariant to prove bounds on the complexity of Kapranov's Lie complexes [M. Kapranov, Chow quotients of Grassmannians I, Adv. Soviet Math. 16 (2) (1993) 29-110], Hacking, Keel and Tevelev's very stable pairs [P. Hacking, S. Keel, E. Tevelev, Compactification of the moduli space of hyperplane arrangements, J. Algebraic Geom. 15 (2006) 657-680] and the author's tropical linear spaces when they are realizable in characteristic zero [D. Speyer, Tropical linear spaces, SIAM J. Discrete Math. 22 (4) (2008) 1527-1558]. Namely, in characteristic zero, a Lie complex or the underlying (d−1)-dimensional scheme of a very stable pair can have at most strata of dimensions n−i and d−i, respectively. This prove the author's f-vector conjecture, from [D. Speyer, Tropical linear spaces, SIAM J. Discrete Math. 22 (4) (2008) 1527-1558], in the case of a tropical linear space realizable in characteristic 0.     

On some subalgebras of von Neumann algebras with analyticity

Let (M,α,G) be a covariant system on a locally compact Abelian group G with the totally ordered dual group which admits the positive semigroup . Let H^∞(α) be the associated analytic subalgebra of M; i.e. . Let be the analytic crossed product determined by a covariant system . We give the necessary and sufficient condition that an analytic subalgebra H^∞(α) is isomorphic to an analytic crossed product related to Landstad's theorem. We also investigate the structure of σ-weakly closed subalgebra of a continuous crossed product N?_θR which contains N?_θR₊. We show that there exists a proper σ-weakly closed subalgebra of N?_θR which contains N?_θR₊ and is not an analytic crossed product. Moreover we give an example that an analytic subalgebra is not a continuous analytic crossed product using the continuous decomposition of a factor of type III_λ(0?λ<1).