The Zassenhaus variety of a reductive Lie algebra in positive characteristic

Let g be the Lie algebra of a connected reductive group G over an algebraically closed field k of characteristic p>0. Let Z be the centre of the universal enveloping algebra U=U(g) of g. Its maximal spectrum is called the Zassenhaus variety of g. We show that, under certain mild assumptions on G, the field of fractions Frac(Z) of Z is G-equivariantly isomorphic to the function field of the dual space g^∗ with twisted G-action. In particular Frac(Z) is rational. This confirms a conjecture of J. Alev. Furthermore we show that Z is a unique factorisation domain, confirming a conjecture of A. Braun and C. Hajarnavis. Recently, A. Premet used the above result about Frac(Z), a result of Colliot-Thelene, Kunyavskii, Popov and Reichstein and reduction mod p arguments to show that the Gelfand-Kirillov conjecture cannot hold for simple complex Lie algebras that are not of type A, C or G₂.     

First Fundamental Theorem for Covariants of Classical Groups

Let U(G) be a maximal unipotent subgroup of one of the classical groups G=GL(V), O(V), Sp(V). Let W be a direct sum of copies of V and its dual V*. For the natural action U(G) : W, we describe a minimal system of homogeneous generators for the algebra of U(G)-invariant regular functions on W. For G=O(V), Sp(V), this result is connected with a construction for the irreducible representations of G due to H. Weyl.     

Partially harmonic spinors and representations of reductive Lie groups

Let G be a reductive Lie group subject to some minor technical restrictions. The Plancherel Theorem for G uses several series of unitary representation classes, one series for each conjugacy class of Cartan subgroups of G. Given a Cartan subgroup H ? G, we construct a G-homogeneous family X → Y of oriented riemannian symmetric spaces, some G-homogeneous bundles , and some Hilbert spaces of partially harmonic spinors with values in . Then G acts on by a unitary representation π_μ,σ^±. We then show that these π_μ,σ^± realize the series of representation classes of G associated to the conjugacy class of H.     

On Lie algebra decompositions related to spherical homogeneous spaces

LetG be a connected, reductive, linear algebraic group over an algebraically closed fieldk of characteristik zero. LetH ₁ andH ₂ be two spherical subgroups ofG. It is shown that for allg in a Zariski open subset ofG one has a Lie algebra decomposition g = h₁ + Adg ? h₂, where a is the Lie algebra of a torus and dim a ≤ min (rankG/H ₁,rankG/H ₂). As an application one obtains an estimate of the transcendence degree of the fieldk(G/H ₁ xG/H ₂) ^G for the diagonal action ofG. Ifk = ? andG _a is a real form ofG defined by an antiholomorphic involution σ :G→G then for a spherical subgroup H ? G and for allg in a Hausdorff open subset ofG one has a decomposition g = g_a + a Adg ? h, where a is the Lie algebra of σ-invariant torus and dim a ≤ rankG/H.     

Some inverse problems involving conditional expectations

Let (Ω, F, P) be a probability space, let H be a sub-σ-algebra of F, and let Y be positive and H-measurable with E[Y] = 1. We discuss the structure of the convex set CE(Y; H) = {X ∈ pF: Y = E[X|H]} of random variables whose conditional expectation given H is the prescribed Y. Several characterizations of extreme points of CE(Y; H) are obtained. A necessary and sufficient condition is given in order that CE(Y; H) be the closed, convex hull of its extreme points. For the case of finite F we explicitly calculate the extreme points of CE(Y; H), identify pairs of adjacent extreme points, and characterize extreme points of CE(Y; H) ? CE(Z; G), where G is a second sub-σ-algebra of F and Z ∈ pG. When H = σ(Y) and appropriate topological hypotheses hold, extreme points of CE(Y; H) are shown to be in explicit one-to-one correspondence with certain left inverses of Y. Finally, it is shown how the same approach can be applied to the problem of extremal random measures on $\text{R}$₊ with a prescribed compensator, to deduce that the number of extreme points is zero or one.     

Partial Dirac cohomology and tempered representations

The tempered representations of a real reductive Lie group G are naturally partitioned into series associated with conjugacy classes of Cartan subgroups H of G. We define partial Dirac cohomology, apply it for geometric construction of various models of these H–series representations, and show how this construction fits into the framework of geometric quantization and symplectic reduction.     

Bi-cycle extendable through a given set in balanced bipartite graphs

Let G=(X,Y;E) be a balanced bipartite graph of order 2n. The path-cover numberpc(H) of a graph H is the minimum number of vertex-disjoint paths that use up all the vertices of H. S⊆V(G) is called a balanced set of G if |S∩X|=|S∩Y|. In this paper, we will give some sufficient conditions for a balanced bipartite graph G satisfying that for every balanced set S, there is a bi-cycle of every length from |S|+2pc(〈S〉) up to 2n through S.     

Sum formulas for reductive algebraic groups

Let V be a Weyl module either for a reductive algebraic group G or for the corresponding quantum group Uq. If G is defined over a field of positive characteristic p, respectively if q is a primitive lth root of unity (in an arbitrary field) then V has a Jantzen filtration V=V⁰⊃V¹⊃?⊃Vr=0. The sum of the positive terms in this filtration satisfies a well-known sum formula.If T denotes a tilting module either for G or Uq then we can similarly filter the space HomG(V,T), respectively HomUq(V,T) and there is a sum formula for the positive terms here as well.We give an easy and unified proof of these two (equivalent) sum formulas. Our approach is based on an Euler type identity which we show holds without any restrictions on p or l. In particular, we get rid of previous such restrictions in the tilting module case.     

Homomorphisms and composition operators on algebras of analytic functions of bounded type

Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Fréchet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X^* and Y^*) are isomorphic? We prove that if X^* or Y^* has the approximation property and H_wu(U) and H_wu(V) are topologically algebra isomorphic, then X^* and Y^* are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H_b(U) and H_b(V), giving conditions under which an algebra isomorphism between H_b(X) and H_b(Y) is equivalent to an isomorphism between X^* and Y^*. We also obtain characterizations of different algebra homomorphisms as composition operators, study the structure of the spectrum of the algebras under consideration and show the existence of homomorphisms on H_b(X) with pathological behaviors.     

Symmetric powers of modular representations,hilbert series and degree bounds

Let G = Z _p be a cyclic group of prime order p with a representation G → GL(V) over a field K of characteristic p. In 1976, Almkvist and Fossum gave formulas for the decomposition of the symmetric powers of V in the case that V is indecomposable. From these they derived formulas for the Hilbert series of the invariant ring K[V]^G. Following Almkvist and Fossum in broad outline, we start by giving a shorter, self-contained proof of their results. We extend their work to modules which are not necessarily indecomposable. We also obtain formulas which give generating functions encoding the decompositions of all symmetric powers of V into indecomposables. Our results generalize to groups of the type Z _p ×H with |H| coprime to p. Moreover, we prove that for any finite group G whose order is divisible by p but not by p ² the invariant ring A,K[V]G is generated by homogeneous invariants of degrees at most dim (V).(|G| – 1).     

Primitives and central detection numbers in group cohomology

Fix a prime p. Given a finite group G, let H^∗(G) denote its mod p cohomology. In the early 1990s, Henn, Lannes, and Schwartz introduced two invariants d₀(G) and d₁(G) of H^∗(G) viewed as a module over the mod p Steenrod algebra. They showed that, in a precise sense, H^∗(G) is respectively detected and determined by Hd(CG(V)) for d?d₀(G) and d?d₁(G), with V running through the elementary abelian p-subgroups of G.The main goal of this paper is to study how to calculate these invariants. We find that a critical role is played by the image of the restriction of H^∗(G) to H^∗(C), where C is the maximal central elementary abelian p-subgroup of G. A measure of this is the top degree e(G) of the finite dimensional Hopf algebra H^∗(C)_⊗H^∗(G)Fp, a number that tends to be quite easy to calculate.Our results are complete when G has a p-Sylow subgroup P in which every element of order p is central. Using the Benson-Carlson duality, we show that in this case, d₀(G)=d₀(P)=e(P), and a similar exact formula holds for d₁. As a bonus, we learn that He(G)(P) contains nontrivial essential cohomology, reproving and sharpening a theorem of Adem and Karagueuzian.In general, we are able to show that d₀(G)?max{e(CG(V))|V<G} if certain cases of Benson's Regularity Conjecture hold. In particular, this inequality holds for all groups such that the difference between the p-rank of G and the depth of H^∗(G) is at most 2. When we look at examples with p=2, we learn that d₀(G)?14 for all groups with 2-Sylow subgroup of order up to 64, with equality realized when G=SU(3,4).En route we study two objects of independent interest. If C is any central elementary abelian p-subgroup of G, then H^∗(G) is an H^∗(C)-comodule, and we prove that the subalgebra of H^∗(C)-primitives is always Noetherian of Krull dimension equal to the p-rank of G minus the p-rank of C. If the depth of H^∗(G) equals the rank of Z(G), we show that the depth essential cohomology of G is nonzero (reproving and extending a theorem of Green), and Cohen-Macauley in a certain sense, and prove related structural results.     

Joint spectrum and the infinite dihedral group

A subgroup H of a group G is called pronormal if, for any element g ∈ G, the subgroups H and H ^g are conjugate in the subgroup <H,H ^g >. We prove that, if a group G has a normal abelian subgroup V and a subgroup H such that G = HV, then H is pronormal in G if and only if U = N _U (H)[H,U] for any H-invariant subgroup U of V. Using this fact, we prove that the simple symplectic group PSp_6n (q) with q ≡ ±3 (mod 8) contains a nonpronormal subgroup of odd index. Hence, we disprove the conjecture on the pronormality of subgroups of odd indices in finite simple groups, which was formulated in 2012 by E.P. Vdovin and D.O. Revin and verified by the authors in 2015 for many families of simple finite groups.     

Balanced decomposition of a vertex-colored graph

A balanced vertex-coloring of a graph G is a function c from V(G) to {−1,0,1} such that ∑{c(v):v∈V(G)}=0. A subset U of V(G) is called a balanced set if U induces a connected subgraph and ∑{c(v):v∈U}=0. A decomposition V(G)=V₁∪?∪V_r is called a balanced decomposition if V_i is a balanced set for 1≤i≤r.In this paper, the balanced decomposition number f(G) of G is introduced; f(G) is the smallest integer s such that for any balanced vertex-coloring c of G, there exists a balanced decomposition V(G)=V₁∪?∪V_r with |V_i|≤s for 1≤i≤r. Balanced decomposition numbers of some basic families of graphs such as complete graphs, trees, complete bipartite graphs, cycles, 2-connected graphs are studied.     

On the extension of vertex maps to graph homomorphisms

A reflexive graph is a simple undirected graph where a loop has been added at each vertex. If G and H are reflexive graphs and U⊆V(H), then a vertex map f:U→V(G) is called nonexpansive if for every two vertices x,y∈U, the distance between f(x) and f(y) in G is at most that between x and y in H. A reflexive graph G is said to have the extension property (EP) if for every reflexive graph H, every U⊆V(H) and every nonexpansive vertex map f:U→V(G), there is a graph homomorphism φ_f:H→G that agrees with f on U. Characterizations of EP-graphs are well known in the mathematics and computer science literature. In this article we determine when exactly, for a given “sink”-vertex s∈V(G), we can obtain such an extension φ_f;s that maps each vertex of H closest to the vertex s among all such existing homomorphisms φ_f. A reflexive graph G satisfying this is then said to have the sink extension property (SEP). We then characterize the reflexive graphs with the unique sink extension property (USEP), where each such sink extensions φ_f;s is unique.     

Iwasawa invariants for the False-Tate extension and congruences between modular forms

For an ordinary prime p?3, we consider the Hida family associated to modular forms of a fixed tame level, and their Selmer groups defined over certain Galois extensions of Q(μp) whose Galois group is G≅Zp?Zp. For Selmer groups defined over the cyclotomic Zp-extension of Q(μp), we show that if the μ-invariant of one member of the Hida family is zero, then so are the μ-invariants of the other members, while the λ-invariants remain the same only in a branch of the Hida family. We use these results to study the behavior of some invariants from non-commutative Iwasawa theory in the Hida family.     

Separating families for semi-algebraic sets

A new invariantp(V) is defined for real algebraic varietiesV which measures the complexity of semi-algebraic sets inV.p(V) is the least integer such that every semi-algebraic setS ?-V can be separated from its compliment byp(V) polynomials. This is a very natural invariant to consider. Using results of Bröcker [4–8] and generalizations of Bröcker’s results found in [16,17], upper bounds forp(V) are computed. The proof is simpler than the proof of similar results in [5–9],[15–18] since the complicated local-global formula for the stability index and the various pasting techniques are not needed. Lower bounds forp(V) are also computed in some special cases, the technique here being to first study the corresponding invariantp(X, G) for a finite space of orderings (X, G) [13,14].     

Balanced and 1-balanced graph constructions

There are several density functions for graphs which have found use in various applications. In this paper, we examine two of them, the first being given by b(G)=|E(G)|/|V(G)|, and the other being given by g(G)=|E(G)|/(|V(G)|−ω(G)), where ω(G) denotes the number of components of G. Graphs for which b(H)≤b(G) for all subgraphs H of G are called balanced graphs, and graphs for which g(H)≤g(G) for all subgraphs H of G are called 1-balanced graphs (also sometimes called strongly balanced or uniformly dense in the literature). Although the functions b and g are very similar, they distinguish classes of graphs sufficiently differently that b(G) is useful in studying random graphs, g(G) has been useful in designing networks with reduced vulnerability to attack and in studying the World Wide Web, and a similar function is useful in the study of rigidity. First we give a new characterization of balanced graphs. Then we introduce a graph construction which generalizes the Cartesian product of graphs to produce what we call a generalized Cartesian product. We show that generalized Cartesian product derived from a tree and 1-balanced graphs are 1-balanced, and we use this to prove that the generalized Cartesian products derived from 1-balanced graphs are 1-balanced.     

On the existence of free topological groups

Given a Tychonoff space X and classes U and V of topological groups, we say that a topological group G = G(X, U, V) is a free (U,V)-group over X if (a) X is a subspace of G, (b) G ϵ U, and (c) every continuous f: X → H with H ϵ V extends uniquely to a continuous homomorphism f̄: G→H. For certain classes U and V, we consider the question of the existence of free (U,V)- groups. Our principal results are the following. Let PA and CA denote, respectively, the class ofpseudocompact Abelian groups and the class of compact Abelian groups. Then

• 1.(a) there is a free (PA,PA)-group over X iff; X=Ø and
• 2.(b) there is for each X a free (PA,CA)-group over X in which X is closed.

     

On Superheight Conditions for the Affineness of Open Subsets

In this paper we consider the open complement U of a hypersurface Y = V(a) in an affine scheme X. We study the relations between the affineness of U, the intersection of Y with closed subschemes, the property that every closed surface in U is affine, the property that every analytic closed surface is Stein, and the superheight of a defining ideal a.