Kac–Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let Λ be the associated preprojective algebra, let g be the associated Kac–Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory Cw of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cw is a Frobenius category and that its stable category is a Calabi–Yau category of dimension two. We show that Cw yields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N₋w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify C[N(w)] with a subalgebra of , the graded dual of the universal enveloping algebra U(n) of n. Let S^? be the dual of Lusztig?s semicanonical basis S of U(n). We show that all cluster monomials of C[N(w)] belong to S^?, and that S^?∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nw of the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.     

Some calculations of cohomology groups of finite Alexander quandles

We calculate some quandle cohomology groups; the rational cohomology groups of any finite Alexander quandles, the second cohomology groups with a finite field coefficient of any finite Alexander quandles over a finite fields, and the third cohomology groups of the finite Alexander quandles of the form .     

Reduced class groups grafting relative invariants

Let (X,T) be a regular stable conical action of an algebraic torus on an affine normal conical variety X defined over an algebraically closed field of characteristic zero. We define a certain subgroup of Cl(X//T) and characterize its finiteness in terms of a finite T-equivariant Galois descent of X. Consequently we show that the action (X,T) is equidimensional if and only if there exists a T-equivariant finite Galois covering such that is cofree. Moreover the order of is controlled by a certain subgroup of Cl(X). The present result extends thoroughly the equivalence of equidimensionality and cofreeness of (X,T) for a factorial X. The purpose of this paper is to evaluate orders of divisor classes associated to modules of relative invariants for a Krull domain with a group action. This is useful in studying on equidimensional torus actions as above. The generalization of R.P. Stanley?s criterion for freeness of modules of relative invariants plays an important role in showing key assertions.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

Extensions of regular mappings and the ?ojasiewicz exponent at infinity

Let F:V→Cm be a regular mapping, where V⊂Cn is an algebraic set of positive dimension and m?n?2, and let L_∞(F) be the ?ojasiewicz exponent at infinity of F. We prove that F has a polynomial extension G:Cn→Cm such L_∞(G)=L_∞(F). Moreover, we give an estimate of the degree of the extension G. Additionally, we prove that if then for any β∈Q, β?L_∞(F), the mapping F has a polynomial extension G with L_∞(G)=β. We also give an estimate of the degree of this extension.     

The higher-order Picone identity and comparison of half-linear differential equations of even order

An identity of the Picone type for higher-order half-linear ordinary differential operators of the form and where p_j and P_j, j=0,…,n, are continuous functions defined on [a,b] and , is derived and then the Sturmian comparison theory for the corresponding 2nth-order equations l_α[x]=0 and L_α[y]=0 based on this identity is developed.     

Lamé equations with algebraic solutions

In this paper we study Lamé equations L_n,By=0 in so-called algebraic form, having only algebraic functions as solution. In particular we provide a complete list of all finite groups that occur as the monodromy groups, together with a list of examples of such equations. We show that the set of such Lamé equations with is countable, up to scaling of the equation. This result follows from the general statement that the set of equivalent second-order equations, having algebraic solutions and all of whose integer local exponent differences are 1, is countable.     

Comparison of the Bergman and Szegö kernels

The quotient of the Szegö and Bergman kernels for a smooth bounded pseudoconvex domains in Cn is bounded from above by a constant multiple of for any p>n, where δ is the distance to the boundary. For a class of domains that includes those of D?Angelo finite type and those with plurisubharmonic defining functions, the quotient is also bounded from below by a constant multiple of for any p<−1. Moreover, for convex domains, the quotient is bounded from above and below by constant multiples of δ.     

Necessary and sufficient conditions for the boundedness of B-Riesz potential in the B-Morrey spaces

We consider the generalized shift operator, associated with the Laplace-Bessel differential operator . The maximal operator Mγ (B-maximal operator) and the Riesz potential (B-Riesz potential), associated with the generalized shift operator are investigated. At first, we prove that the B-maximal operator Mγ is bounded from the B-Morrey space Lp,λ,γ to Lp,λ,γ for all 1<p<∞ and 0?λ<n+|γ|. We prove that the B-Riesz potential , 0<α<n+|γ| is bounded from the B-Morrey space Lp,λ,γ to Lq,λ,γ if and only if α/(n+|γ|−λ)=1/p−1/q, 1<p<(n+|γ|−λ)/α. Also we prove that the B-Riesz potential is bounded from the B-Morrey space L1,λ,γ to the weak B-Morrey space WLq,λ,γ if and only if α/(n+|γ|−λ)=1−1/q.     

The Weyl-type asymptotic formula for biharmonic Steklov eigenvalues on Riemannian manifolds

Let Ω be a bounded domain with C²-smooth boundary in an n-dimensional oriented Riemannian manifold. It is well known that for the biharmonic equation Δ²u=0 in Ω with the condition u=0 on ∂Ω, there exists an infinite set {uk} of biharmonic functions in Ω with positive eigenvalues {λk} satisfying on ∂Ω. In this paper, by a new method we establish the Weyl-type asymptotic formula for the counting function of the biharmonic Steklov eigenvalues λk.     

Asymptotic cone of semisimple orbits for symmetric pairs

Let G be a reductive algebraic group over C and denote its Lie algebra by g. Let Oh be a closed G-orbit through a semisimple element h∈g. By a result of Borho and Kraft (1979) [4], it is known that the asymptotic cone of the orbit Oh is the closure of a Richardson nilpotent orbit corresponding to a parabolic subgroup whose Levi component is the centralizer ZG(h) in G. In this paper, we prove an analogue on a semisimple orbit for a symmetric pair.More precisely, let θ be an involution of G, and K=Gθ a fixed point subgroup of θ. Then we have a Cartan decomposition g=k+s of the Lie algebra g=Lie(G) which is the eigenspace decomposition of θ on g. Let {x,h,y} be a normal sl₂ triple, where x,y∈s are nilpotent, and h∈k semisimple. In addition, we assume , where denotes the complex conjugation which commutes with θ. Then is a semisimple element in s, and we can consider a semisimple orbit Ad(K)a in s, which is closed. Our main result asserts that the asymptotic cone of Ad(K)a in s coincides with , if x is even nilpotent.     

Margulis lemma for compact lie groups

We improve Margulis lemma for a compact connected Lie group G: there is a neighborhood U of the identity such that for any finite subgroup , generates an abelian group. We show that for each n, there exists an integer , such that if H is a closed subgroup of a compact connected Lie group G of dimension n, then the quotient group, H/H ₀, has an abelian subgroup of index , where H ₀ is the identity component of H. As an application, we show that the fundamental group of the homogeneous space G/H has an abelian subgroup of index . We show this same property for the fundamental groups of almost non-negatively curved n-manifolds whose universal coverings are not collapsed. X. Rong: supported partially by NSF Grant DMS 0504534 and by a reach found from Beijing Normal University. Y. Wang: supported partially by LMAM of Peking University and by NSFC 10671018.     

On the factor sets of measures and local tightness of convolution semigroups over Lie groups

It is shown that for a large class of Lie groups (called weakly algebraic groups) including all connected semisimple Lie groups the following holds: for any probability measure on the Lie group the set of all two-sided convolution factors is compact if and only if the centralizer of the support of inG is compact. This is applied to prove that for any connected Lie groupG, any homomorphism of any real directed (submonogeneous) semigroup into the topological semigroup of all probability measures onG is locally tight.     

Toric complexes and Artin kernels

A simplicial complex L on n vertices determines a subcomplex TL of the n-torus, with fundamental group the right-angled Artin group GL. Given an epimorphism χ:GL→Z, let be the corresponding cover, with fundamental group the Artin kernel Nχ. We compute the cohomology jumping loci of the toric complex TL, as well as the homology groups of with coefficients in a field k, viewed as modules over the group algebra kZ. We give combinatorial conditions for to have trivial Z-action, allowing us to compute the truncated cohomology ring, . We also determine several Lie algebras associated to Artin kernels, under certain triviality assumptions on the monodromy Z-action, and establish the 1-formality of these (not necessarily finitely presentable) groups.     

Hardy space estimates for the wave equation on compact Lie groups

Let −L be the Laplacian. In this paper, we prove that on a compact Lie group G of dimension n, the multiplier operator , s∈(0,1], extends to a bounded operator on the Hardy space Hp(G), 0<p<∞, if and only if . The result is an analogue of a well-known theorem in Euclidean space.     

Bogomolov restriction theorem for Higgs bundles

Let (E,θ) be a stable Higgs bundle of rank r on a smooth complex projective surface X equipped with a polarization H. Let C⊂X be a smooth complete curve with [C]=n⋅H. If where , then we prove that the restriction of (E,θ) to C is a stable Higgs bundle. This is a Higgs bundle analog of Bogomolov's restriction theorem for stable vector bundles.     

Isometric Group Actions on Banach Spaces and Representations Vanishing at Infinity

Our main result is that the simple Lie group G = Sp(n, 1) acts metrically properly isometrically on L ^p (G) if p > 4n + 2. To prove this, we introduce Property , with V being a Banach space: a locally compact group G has Property if every affine isometric action of G on V, such that the linear part is a C ₀-representation of G, either has a fixed point or is metrically proper. We prove that solvable groups, connected Lie groups, and linear algebraic groups over a local field of characteristic zero, have Property . As a consequence, for unitary representations, we characterize those groups in the latter classes for which the first cohomology with respect to the left regular representation on L ²(G) is nonzero; and we characterize uniform lattices in those groups for which the first L2-Betti number is nonzero.      

Cohomological growth rates and Kazhdan-Lusztig polynomials

In a previous work, the authors established various bounds for the dimensions of degree n cohomology and Ext-groups, for irreducible modules of semisimple algebraic groups G (in positive characteristic p) and (Lusztig) quantum groups U _ζ (at roots of unity ζ). These bounds depend only on the root system, and not on the characteristic p or the size of the root of unity ζ. This paper investigates the rate of growth of these bounds. Both in the quantum and algebraic group situation, these rates of growth represent new and fundamental invariants attached to the root system ϕ. For quantum groups U _ζ with a fixed ϕ, we show the sequence {max _{L irred} dim H ⁿ (U _ζ , L)} _n has polynomial growth independent of ζ. In fact, we provide upper and lower bounds for the polynomial growth rate. Applications of these and related results for are given to Kazhdan-Lusztig polynomials. Polynomial growth in the algebraic group case remains an open question, though it is proved that {log max _{L irred} dim H ⁿ (G,L)} has polynomial growth ≤ 3 for any fixed prime p (and ≤ 4 if p is allowed to vary with n). We indicate the relevance of these issues to (additional structure for) the constants proposed in the theory of higher cohomology groups for finite simple groups with irreducible coefficients by Guralnick, Kantor, Kassabov and Lubotzky [13].