<Emphasis Type="Italic">L</Emphasis>-functions of symmetric products of the Kloosterman sheaf over Z

The classical n-variable Kloosterman sums over the finite field F _p give rise to a lisse -sheaf Kl _n+1 on , which we call the Kloosterman sheaf. Let L _p (G _{m, F p} , Sym ^k Kl _n+1, s) be the L-function of the k-fold symmetric product of Kl _n+1. We construct an explicit virtual scheme X of finite type over Spec Z such that the p-Euler factor of the zeta function of X coincides with L _p (G _{m, F p} , Sym ^k Kl _n+1, s). We also prove similar results for and . The research of L. Fu is supported by the NSFC (10525107).     

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.     

Semisimple metacyclic group algebras

Given a group G of order p ₁ p ₂, where p ₁, p ₂ are primes, and \mathbbF_q\mathbb{F}_{q}, a finite field of order q coprime to p ₁ p ₂, the object of this paper is to compute a complete set of primitive central idempotents of the semisimple group algebra \mathbbF_q[G]\mathbb{F}_{q}[G]. As a consequence, we obtain the structure of \mathbbF_q[G]\mathbb{F}_{q}[G] and its group of automorphisms.     

Maximum Hitting of a Set by Compressed Intersecting Families

For a family A{\mathcal{A}} and a set Z, denote {A ? A \colon A ?Z 1 ?}{\{A \in \mathcal{A} \colon A \cap Z \neq \emptyset\}} by A(Z){\mathcal{A}(Z)}. For positive integers n and r, let S_n,r{\mathcal{S}_{n,r}} be the trivial compressed intersecting family {A ? (c[n]r ) \colon 1 ? A}{\{A \in \big(\begin{subarray}{c}[n]\\r \end{subarray}\big) \colon 1 \in A\}}, where [n] : = {1, ?, n}{[n] := \{1, \ldots, n\}} and (c[n]r ) : = {A ì [n] \colon |A| = r}{\big(\begin{subarray}{c}[n]\\r \end{subarray}\big) := \{A \subset [n] \colon |A| = r\}}. The following problem is considered: For r ≤ n/2, which sets Z í [n]{Z \subseteq [n]} have the property that |A(Z)| ￡ |S_n,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} for any compressed intersecting family A ì (c[n]r ){\mathcal{A}\subset \big(\begin{subarray}{c}[n]\\r \end{subarray}\big)}? (The answer for the case 1 ? Z{1 \in Z} is given by the Erdős–Ko–Rado Theorem.) We give a complete answer for the case |Z| ≥ r and a partial answer for the much harder case |Z| < r. This paper is motivated by the observation that certain interesting results in extremal set theory can be proved by answering the question above for particular sets Z. Using our result for the special case when Z is the r-segment {2, ?, r+1}{\{2, \ldots, r+1\}}, we obtain new short proofs of two well-known Hilton–Milner theorems. At the other extreme end, by establishing that |A(Z)| ￡ |S_n,r(Z)|{|\mathcal{A}(Z)| \leq |\mathcal{S}_{n,r}(Z)|} when Z is a final segment, we provide a new short proof of a Holroyd–Talbot extension of the Erdős-Ko-Rado Theorem.     

Spectral isolation of naturally reductive metrics on simple Lie groups

We show that within the class of left-invariant naturally reductive metrics M_Nat(G){\mathcal{M}_{{\rm Nat}}(G)} on a compact simple Lie group G, every metric is spectrally isolated. We also observe that any collection of isospectral compact symmetric spaces is finite; this follows from a somewhat stronger statement involving only a finite part of the spectrum.     

On central automorphisms that fix the centre elementwise

Let G be a group and let Aut _c (G) be the group of central automorphisms of G. Let be the set of all central automorphisms of G fixing Z(G) elementwise. In this paper we prove that if G is a finite p-group, then = Inn(G) if and only if G is abelian or G is nilpotent of class 2 and Z(G) is cyclic. This work was supported in part by the Center of Excellence for Mathematics, University of Isfahan, Iran. Received: 30 October 2006     

M?bius transform, moment-angle complexes and Halperin–Carlsson conjecture

The motivation for this paper comes from the Halperin–Carlsson conjecture for (real) moment-angle complexes. We first give an algebraic combinatorics formula for the M?bius transform of an abstract simplicial complex K on [m]={1,…,m} in terms of the Betti numbers of the Stanley–Reisner face ring k(K) of K over a field k. We then employ a way of compressing K to provide the lower bound on the sum of those Betti numbers using our formula. Next we consider a class of generalized moment-angle complexes Z_K^{(\mathbb D, \mathbb S)}\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})}, including the moment-angle complex Z_K\mathcal{Z}_{K} and the real moment-angle complex \mathbbRZ_K\mathbb{R}\mathcal {Z}_{K} as special examples. We show that H^*(Z_K^{(\mathbb D, \mathbb S)};k)H^{*}(\mathcal{Z}_{K}^{(\underline{\mathbb{ D}}, \underline{\mathbb{ S}})};\mathbf{k}) has the same graded k-module structure as Tor  ^k[v](k(K),k). Finally we show that the Halperin–Carlsson conjecture holds for Z_K\mathcal{Z}_{K} (resp. \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}) under the restriction of the natural T ^m -action on Z_K\mathcal{Z}_{K} (resp. (ℤ₂) ^m -action on \mathbb RZ_K\mathbb{ R}\mathcal{Z}_{K}).     

Convex sets with semidefinite representation

We provide a sufficient condition on a class of compact basic semialgebraic sets for their convex hull co(K) to have a semidefinite representation (SDr). This SDr is explicitly expressed in terms of the polynomials g _j that define K. Examples are provided. We also provide an approximate SDr; that is, for every fixed , there is a convex set such that (where B is the unit ball of ), and has an explicit SDr in terms of the g _j ’s. For convex and compact basic semi-algebraic sets K defined by concave polynomials, we provide a simpler explicit SDr when the nonnegative Lagrangian L _f associated with K and any linear is a sum of squares. We also provide an approximate SDr specific to the convex case.      

Higher Algebraic <Emphasis Type="BoldItalic">K</Emphasis>-theory for Twisted Laurent Series Rings Over Orders and Semisimple Algebras

Let R be the ring of integers in a number field F, Λ any R-order in a semisimple F-algebra Σ, α an R-automorphism of Λ. Denote the extension of α to Σ also by α. Let Λ _α [T] (resp. Σ _α [T] be the α-twisted Laurent series ring over Λ (resp. Σ). In this paper we prove that (i) There exist isomorphisms ) for all n ≥ 1. (ii) is an l-complete profinite Abelian group for all n≥2. (iii)for all n≥2. (iv)is injective with uniquely l-divisible cokernel (for all n≥2). (v) K _–1(Λ), K _–1(Λ _α [T]) are finitely generated Abelian groups. Presented by Alain Verschoren.     

Real zeroes of random polynomials,I. Flip-invariance,Turán’s lemma,and the Newton-Hadamard polygon

We show that for every finitely presented pro-p nilpotent-by-abelian-by-finite group G there is an upper bound on \({\dim _{{\mathbb{Q}_p}}}\left( {{H_1}\left( {M,{\mathbb{Z}_p}} \right){ \otimes _{{\mathbb{Z}_p}}}{\mathbb{Q}_p}} \right)\), as M runs through all pro-p subgroups of finite index in G.     

$${\mathbb{Z}_2\mathbb{Z}_4}$$-linear codes: rank and kernel

A code C{{\mathcal C}} is \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive if the set of coordinates can be partitioned into two subsets X and Y such that the punctured code of C{{\mathcal C}} by deleting the coordinates outside X (respectively, Y) is a binary linear code (respectively, a quaternary linear code). The corresponding binary codes of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-additive codes under an extended Gray map are called \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes. In this paper, the invariants for \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the rank and dimension of the kernel, are studied. Specifically, given the algebraic parameters of \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear codes, the possible values of these two invariants, giving lower and upper bounds, are established. For each possible rank r between these bounds, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with rank r is given. Equivalently, for each possible dimension of the kernel k, the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code with dimension of the kernel k is given. Finally, the bounds on the rank, once the kernel dimension is fixed, are established and the construction of a \mathbbZ₂\mathbbZ₄{{\mathbb{Z}_2\mathbb{Z}_4}}-linear code for each possible pair (r, k) is given.     

On the nonabelian tensor square and capability of groups of order <Emphasis Type="Italic">p</Emphasis><Superscript>2</Superscript><Emphasis Type="Italic">q</Emphasis>

A group G is said to be capable if it is isomorphic to the central factor group H/Z(H) for some group H. Let G be a nonabelian group of order p ² q for distinct primes p and q. In this paper, we compute the nonabelian tensor square of the group G. It is also shown that G is capable if and only if either Z(G) = 1 or p < q and G^ab=\mathbbZ_p×\mathbbZ_p{G^{\rm ab}=\mathbb{Z}_{p}\times\mathbb{Z}_{p}} .     

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.     

Hyperflock determining line sets and totally regular parallelisms of PG (3, \mathbbR){(3,\,{\mathbb{R}})}

By a totally regular parallelism of the real projective 3-space P₃:=PG(3, \mathbb R){\Pi_3:={{\rm PG}}(3, \mathbb {R})} we mean a family T of regular spreads such that each line of Π ₃ is contained in exactly one spread of T. For the investigation of totally regular parallelisms the authors mainly employ Klein’s correspondence λ of line geometry and the polarity π ₅ associated with the Klein quadric H ₅ (for details see Chaps. 1 and 3). The λ-image of a totally regular parallelism T is a hyperflock of H ₅, i.e., a family H of elliptic subquadrics of H ₅ such that each point of H ₅ is on exactly one subquadric of H. Moreover, {p₅(span  l(X))|X ? T}=:H_T{\{\pi_5({{\rm span}} \,\lambda(\mathcal {X}))\vert\mathcal {X}\in\bf{T}\}=:\mathcal {H}_{\bf{T}}} is a hyperflock determining line set, i.e., a set Z{\mathcal {Z}} of 0-secants of H ₅ such that each tangential hyperplane of H ₅ contains exactly one line of Z{\mathcal {Z}} . We say that dim(span H_T)=:d_T{{{\rm dim}}({{\rm span}}\,\mathcal {H}_{\bf{T}})=:d_{\bf{T}}} is the dimension of T and that T is a d _T - parallelism. Clifford parallelisms and 2-parallelisms coincide. The examples of non-Clifford parallelisms exhibited in Betten and Riesinger [Result Math 47:226–241, 2004; Adv Geom 8:11–32, 2008; J Geom (to appear)] are totally regular and of dimension 3. If G{\mathcal{G}} is a hyperflock determining line set, then {l^-1 (p₅(X) ?H₅) | X ? G}{\{\lambda^{-1}\,{\rm (}\pi_5(X){\,\cap H_5)\,|\, X\in\mathcal{G}\}}} is a totally regular parallelism. In the present paper the authors construct examples of topological (see Definition 1.1) 4- and 5-parallelisms via hyperflock determining line sets.     

On zero-sum sequences of prescribed length

Summary. Let k ≥ 1 be any integer. Let G be a finite abelian group of exponent n. Let s_k(G) be the smallest positive integer t such that every sequence S in G of length at least t has a zero-sum subsequence of length kn. We study this constant for groups when d = 3 or 4. In particular, we prove, as a main result, that for every k ≥ 4, and for every prime p ≥ 5.     

Enhancement of the algebraic precision of a linear operator and consequences under positivity

Let Ω be a compact convex domain in and let L be a bounded linear operator that maps a subspace of C(Ω) into C(Ω). Suppose that L reproduces polynomials up to degree m. We show that for appropriately defined coefficients a_mrj the operator

Lipschitz Continuity Properties for p−Adic Semi-Algebraic and Subanalytic Functions

We prove that a (globally) subanalytic function ${f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}}We prove that a (globally) subanalytic function f : X ì Qⁿ_p ? Q_p{f : X \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions f_y : X_y ì Qⁿ_p ? Q_p{f_{y} : X_{y} \subset {\bf Q}^{n}_{p} \rightarrow {\bf Q}_{p}} depending on p−adic parameters. The statements also hold in a semi-algebraic set-up and also in a finite field extension of Q _p . These results are p−adic analogues of results of K. Kurdyka over the real numbers. To encompass the total disconnectedness of p−adic fields, we need to introduce new methods adapted to the p−adic situation.     

Large orbits of elements centralized by a Sylow subgroup

If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist ${v_1, v_2 \in V}If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist v₁, v₂ ? V{v_1, v_2 \in V} such that C_G(v₁)?C_G(v₂) = P{{\bf C}_{G}{(v_1)}\cap {\bf C}_{G}{(v_2)} = P} , where P ? Syl_p(G){P \in {\rm Syl}_p(G)} . We hence deduce that, if the normal p-complement K is nontrivial, there exists v ? C_V(P){v \in {\bf C}_{V}(P)} such that |K : C _K (v)|² > |K|.     

A New Recursion in the Theory of Macdonald Polynomials

The bigraded Frobenius characteristic of the Garsia-Haiman module M _μ is known [7, 10] to be given by the modified Macdonald polynomial [(H)\tilde]_m[X; q, t]{\tilde{H}_{\mu}[X; q, t]}. It follows from this that, for m\vdash n{\mu \vdash n} the symmetric polynomial ?_p1 [(H)\tilde]_m[X; q, t]{{\partial_{p1}} \tilde{H}_{\mu}[X; q, t]} is the bigraded Frobenius characteristic of the restriction of M _μ from S _n to S _n-1. The theory of Macdonald polynomials gives explicit formulas for the coefficients c _{μ v} occurring in the expansion ?_p1 [(H)\tilde]_m[X; q, t] = ?_{v ? m}c_mv [(H)\tilde]_v[X; q, t]{{\partial_{p1}} \tilde{H}_{\mu}[X; q, t] = \sum_{v \to \mu}c_{\mu v} \tilde{H}_{v}[X; q, t]}. In particular, it follows from this formula that the bigraded Hilbert series F μ (q, t) of M _μ may be calculated from the recursion F_m (q, t) = ?_{v ? m}c_mv F_v (q, t){F_\mu (q, t) = \sum_{v \to \mu}c_{\mu v} F_v (q, t)}. One of the frustrating problems of the theory of Macdonald polynomials has been to derive from this recursion that Fm(q, t) ? N[q, t]{F\mu (q, t) \in \mathbf{N}[q, t]}. This difficulty arises from the fact that the c _{μ v} have rather intricate expressions as rational functions in q, t. We give here a new recursion, from which a new combinatorial formula for F _μ (q, t) can be derived when μ is a two-column partition. The proof suggests a method for deriving an analogous formula in the general case. The method was successfully carried out for the hook case by Yoo in [15].