A rigidity result for highest order local cohomology modules

Let M be a finitely generated faithful module over a noetherian ring R of dimension d < ￥ \infty and let \mathfrak a \subseteqq R {\mathfrak a} \subseteqq R be an ideal. We describe the (finite) set Supp_R(H_{\mathfrak a}^d (M)) = Ass_R(H_{\mathfrak a}^d (M)) \textrm{Supp}_R(H_{\mathfrak a}^d (M)) = \textrm{Ass}_R(H_{\mathfrak a}^d (M)) of primes associated to the highest local cohomology module H_{\mathfrak a}^d (M) H_{\mathfrak a}^d (M) in terms of the local formal behaviour of \mathfrak a {\mathfrak a} . If R is integral and of finite type over a field, Supp_R(H_{\mathfrak a}^d (M)) \textrm{Supp}_R(H_{\mathfrak a}^d (M)) is the set of those closed points of X = Spec(R) whose fibre under the normalization morphism n: X￠? X \nu : X' \rightarrow X contains points which are isolated in n^-1(Spec(R/\mathfrak a)) \nu^{-1}(\textrm{Spec}(R/{\mathfrak a})) .     

On $\frak {F}$-normal Fitting classes of finite soluble groups

Let \frak X, \frak F,\frak X\subseteqq \frak F\frak {X}, \frak {F},\frak {X}\subseteqq \frak {F}, be non-trivial Fitting classes of finite soluble groups such that G_{\frak X}G_{\frak {X}} is an \frak X\frak {X}-injector of G for all G ? \frak FG\in \frak {F}. Then \frak X\frak {X} is called \frak F\frak {F}-normal. If \frak F=\frak S_p\frak {F}=\frak {S}_{\pi }, it is known that (1) \frak X\frak {X} is \frak F\frak {F}-normal precisely when \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and consequently (2) \frak F í \frak X\frak N\frak {F}\subseteq \frak {X}\frak {N} implies \frak X^*=\frak F^*\frak {X}^{\ast }=\frak {F}^{\ast }, and (3) there is a unique smallest \frak F\frak {F}-normal Fitting class. These assertions are not true in general. We show that there are Fitting classes \frak F\not = \frak S_p\frak {F}\not =\frak {S}_{\pi } filling property (1), whence the classes \frak S_p\frak {S}_{\pi } are not characterized by satisfying (1). Furthermore we prove that (2) holds true for all Fitting classes \frak F\frak {F} satisfying a certain extension property with respect to wreath products although there could be an \frak F\frak {F}-normal Fitting class outside the Lockett section of \frak F\frak {F}. Lastly, we show that for the important cases \frak F=\frak Nⁿ, n\geqq 2\frak {F}=\frak {N}^{n},\ n\geqq 2, and \frak F=\frak S_p1?\frak S_pr, p_i \frak {F}=\frak {S}_{p_{1}}\cdots \frak {S}_{p_{r}},\ p_{i} primes, there is a unique smallest \frak F\frak {F}-normal Fitting class, which we describe explicitly.     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

On minimal p-degrees in 2-transitive permutation groups

Suppose G is a transitive permutation group on a finite set W\mit\Omega of n points and let p be a prime divisor of |G||G|. The smallest number of points moved by a non-identity p-element is called the minimal p-degree of G and is denoted m_p (G). ¶ In the article the minimal p-degrees of various 2-transitive permutation groups are calculated. Using the classification of finite 2-transitive permutation groups these results yield the main theorem, that m_p(G) 3 [(p-1)/(p+1)] ·|W|m_{p}(G) \geq {{p-1} \over {p+1}} \cdot |\mit\Omega | holds, if Alt(W) \nleqq G {\rm Alt}(\mit\Omega ) \nleqq G .¶Also all groups G (and prime divisors p of |G||G|) for which m_p(G) ￡ [(p-1)/(p)] ·|W|m_{p}(G)\le {{p-1}\over{p}} \cdot |\mit\Omega | are identified.     

Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

Closed ideals of a quasianalytic Fréchet algebra

In this note, we examine the structure of closed ideals of a quasianalytic weighted Beurling algebra A\cal {A}. This algebra is contained in C^￥ (G){\cal C}^\infty (\mit\Gamma) and contains the set A^￥ (D)A^\infty (D). Like in a previous article (see [6]), we use division properties and we give a characterization of closed ideals I such that I?A^￥ 1 { 0}I\cap A^\infty\! \ne \{ 0\} . Then, we use a factorization property proved in [2], which allows us to describe all the closed ideals of A\cal {A}.     

Blocks with cyclic defect of Hecke orders of Coxeter groups

Let B\cal B be a p-block of cyclic defect of a Hecke order over the complete ring \Bbb Z[q] _{áq-1,p ?}\Bbb {Z}[q] _{\langle q-1,p \rangle}; i.e. modulo áq-1 ?\langle q-1 \rangle it is a p-block B of cyclic defect of the underlying Coxeter group G. Then B\cal B is a tree order over \Bbb Z[q]_{áq-1, p ?}\Bbb {Z}[q]_{\langle q-1, p \rangle } to the Brauer tree of B. Moreover, in case B\cal B is the principal block of the Hecke order of the symmetric group S(p) on p elements, then B\cal B can be described explicitly. In this case a complete set of non-isomorphic indecomposable Cohen-Macaulay B\cal B-modules is given.     

Complex finitary simple Lie algebras

An algebra is called finitary if it consists of finite-rank transformations of a vector space. We classify finitary simple Lie algebras over an algebraically closed field of zero characteristic. It is shown that any such algebra is isomorphic to one of the following¶ (1) a special transvection algebra \frak t(V,P)\frak t(V,\mit\Pi );¶ (2) a finitary orthogonal algebra \frak fso (V,q)\frak {fso} (V,q); ¶ (3) a finitary symplectic algebra \frak fsp (V,s)\frak {fsp} (V,s).¶Here V is an infinite dimensional K-space; q (respectively, s) is a symmetric (respectively, skew-symmetric) nondegenerate bilinear form on V; and P\Pi is a subspace of the dual V^* whose annihilator in V is trivial: 0={v ? V | Pv=0}0=\{{v}\in V\mid \Pi {v}=0\}.     

Divergence exponentielle des sous-groupes discrets en rang supérieur

Soient G un groupe de Lie semi-simple, réel, connexe et de centre fini, \mathfrak a \mathfrak a un sous-espace de Cartan de l‘algèbre de Lie de G et \mathfrak a⁺ ì \mathfrak a \mathfrak a^{+} \subset \mathfrak a une chambre de Weyl fermée de \mathfrak a \mathfrak a . Si G \Gamma est un sous-groupe discret Zariski dense de G, nous lui associons une fonction homogène y_G : \mathfrak a⁺ ? \mathbb R è{-￥} \psi_{\Gamma} : \mathfrak a^{+} \rightarrow \mathbb {R} \cup \{-\infty\} qui généralise l‘exposant de convergence de G \Gamma considéré en \mathbb R \mathbb {R} -rang 1. Nous montrons alors que cette fonction est concave. Dans un travail ultérieur, nous en déduirons des constructions de généralisations des mesures de Patterson-Sullivan.¶ Nous démontrons aussi des analogues de nos résultats sur les corps locaux.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

An $ \mathfrak{X} $-crown of a finite soluble group

Let G be a finite soluble group and F_\mathfrakX(G) {\Phi_\mathfrak{X}}(G) an intersection of all those maximal subgroups M of G for which G

The character values of the irreducible constituents of a transitive permutation representation

In this article we determine the irreducible ordinary characters c_r \chi_r of a finite group G occurring in a transitive permutation representation (1_M )^G of a given subgroup M of G, and their multiplicities m_r = ((1_M)^G, c_r) 1 0 m_r = ((1_{M})^G, \chi_r) \neq 0 by means of a new explicit formula calculating the coefficients a_rk of the central idempotents e_r = ?_k=1^d a_rk D_k e_r = \sum\limits_{k=1}^{d} a_{rk} D_k in the intersection algebra B \cal B of (1_M )^G generated by the intersection matrices D_k corresponding to the double coset decomposition G = è_k=1^d Mx_k M G = \bigcup\limits_{k=1}^{d} Mx_{k} M .¶Furthermore, an explicit formula is given for the calculation of the character values c_r(x) \chi_{r}(x) of each element x ? G x \in G . Using this character formula we obtain a new practical algorithm for the calculation of a substantial part of the character table of G.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

How quadratic are the natural numbers?

Abstract. For natural numbers n we inspect all factorizations n = ab of n with a ￡ ba \le b in \Bbb N\Bbb N and denote by n=a_n b_nn=a_n b_n the most quadratic one, i.e. such that b_n - a_nb_n - a_n is minimal. Then the quotient k(n) : = a_n/b_n\kappa (n) := a_n/b_n is a measure for the quadraticity of n. The best general estimate for k(n)\kappa (n) is of course very poor: 1/n ￡ k(n) ￡ 11/n \le \kappa (n)\le 1. But a Theorem of Hall and Tenenbaum [1, p. 29], implies(logn)^-d-e ￡ k(n) ￡ (logn)^-d(\log n)^{-\delta -\varepsilon } \le \kappa (n) \le (\log n)^{-\delta } on average, with d = 1 - (1+log₂  2)/log2=0,08607 ?\delta = 1 - (1+\log _2 \,2)/\log 2=0,08607 \ldots and for every e > 0\varepsilon >0. Hence the natural numbers are fairly quadratic.¶k(n)\kappa (n) characterizes a specific optimal factorization of n. A quadraticity measure, which is more global with respect to the prime factorization of n, is k^*(n): = ?_{1 ￡ a ￡ b, ab=n} a/b\kappa ^*(n):= \textstyle\sum\limits \limits _{1\le a \le b, ab=n} a/b. We show k^*(n) ~ \frac 12\kappa ^*(n) \sim \frac {1}{2} on average, and k^*(n)=W(2^{\frac 12(1-e) log n/log ₂n})\kappa ^*(n)=\Omega (2^{\frac {1}{2}(1-\varepsilon ) {\log}\, n/{\log} _2n})for every e > 0\varepsilon>0.     

Boundedness and convergence of martingales in rearrangement-invariant function spaces

Let (W, F, P)(\Omega, \cal F, P) be a complete nonatomic probability space. We shall give a characterization of rearrangement-invariant spaces X over W\Omega with the property that every martingale f = (f_n)_{n \geqq 0}f = (f_n)_{n \geqq 0} bounded in X converges with respect to the norm topology of X. Using the results, we shall consider the summability of martingales by Toeplitz matrices.     

An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

Idempotents in a complex group algebra, projective modules, and the von Neumann algebra

The complex group algebra \Bbb CG{\Bbb C}G of a countable group G can be imbedded in the von Neumann algebra NG of G. If G is torsion-free, and if P is a finitely generated projective module over \Bbb CG{\Bbb C}G it is proved that the central-valued trace of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P, i.e. of an idempotent \Bbb CG{\Bbb C}G-matrix A defining P is equal to the canonical trace k(P)\kappa (P) times identity I. It follows that k(P)\kappa (P) characterizes the isomorphism type of NG?_{\Bbb CG}PNG\otimes _{{\Bbb C}G}P.¶If k(P)\kappa (P) is an integer, e.g., if the weak Bass conjecture holds for G then NG?_{\Bbb C G}PNG\otimes _{{\Bbb C} G}P is free. It is also shown that for certain classes of groups geometric arguments can be used to prove the Bass conjecture.