Some results on the capitulation problem

Let K be an unramified abelian extension of a number field F with Galois group G. K corresponds to a subgroup H of the ideal class group of F. We study the subgroup J of ideal classes in H which become trivial in K. There is an epimorphism from the cohomology group H^?1(G, Cl_K) to J which is an isomorphism if G is cyclic; Cl_K is the ideal class group of K. Some results on the structure of J and Cl_K are obtained.     

On the first and second order derivatives of the Perron vector

In a previous work [5] the authors developed formulas for the second order partial derivatives of the Perron root as a function of the matrix entries at an essentially nonnegative and irreducible matrix. These formulas, which involve the group generalized inverse of an associated M-matrix, were used to investigate the concavity and convexity of the Perron root as a function of the entries. The authors now combine the above results together with an approach taken in an earlier joint paper [6] of the second author with L. Elsner and C. Johnson, and they develop formulas for the second order derivatives of an appropriately normalized Perron vector with respect to the matrix entries, which again are given in terms the group generalized inverse of an associated M-matrix. Convexity properties of the Perron vector as a function of the entries of the matrix are then examined. In addition, formulas for the first derivative of the Perron vector resulting from different normalizations of this eigenvector are also given. A by-product of one of these formulas yields that the group generalized inverse of a singular and irreducible M-matrix can be diagonally scaled to a matrix which is entrywise column diagonally dominant.     

Near-fields and linear transformations of finite fields

A question about near-fields suggests the following problem: If F is a finite field, K is a finite extension of F, and H is a multiplicative subgroup of K¹, describe the F-linear maps φ: K → K which fix F and leave each coset of H invariant. A plausible conjecture would seem to be that φ must be a field automorphism. This is confirmed here in the case that |H| and |F| satisfy a certain numerical relation (and, in particular, when K/F is quadratic). The bulk of the argument consists of showing that an F-linear transformation of K which preserves F-conjugacy is almost always an automorphism.     

Traces on the skein algebra of the torus

For a surface F, the Kauffman bracket skein module of F×[0,1], denoted K(F), admits a natural multiplication which makes it an algebra. When specialized at a complex number t, nonzero and not a root of unity, we have Kt(F), a vector space over C. In this paper, we will use the product-to-sum formula of Frohman and Gelca to show that the vector space Kt(T²) has five distinct traces. One trace, the Yang-Mills measure, is obtained by picking off the coefficient of the empty skein. The other four traces on Kt(T²) correspond to the four singular points of the moduli space of flat SU(2)-connections on the torus.     

Formes antihermitiennes devenant hyperboliques sur un corps de déploiement

Let H=(a,b)_F be a division quaternion algebra over a field F of characteristic not 2. Denote by τ the canonical involution on H and by K a splitting field of H. If h is a skew-hermitian form over (H,τ) then, by extension of scalars to K and by Morita equivalence, we obtain a quadratic form h_K over K. This gives a map of Witt groups ρ:W⁻¹(H,τ)→W(K) induced by ρ(h)=h_K. When K is a generic splitting field of H we prove in this note that the map ρ is injective.     

Abstract Holography

The problem that is presented and investigated is a natural nonlinear extension of the following linear problem. Let H ⊕ H′ and K ⊕ K′ be two orthogonal Hilbert decompositions of a real Hilbert space X. Let P, P′, Q, Q′ and N′ be the operators of orthogonal projection of X onto H, H′, K, K′ and H′ ∩ K′ respectively. Denoting by Z′ the Hilbert space, Z′ = {(a′, b′) ?H′ × K′: N′a′ = N′b′}, let F be the linear mapping of X into Z′, F(x) = (P′x, Q′x). Under the condition ∥PQ∥ < 1, which proves to be equivalent to H ∩ K = {0} and H + K closed, F is bicontinuous. The problem is then to choose a constructive procedure for the calculation of a = (P ° F^?1) · (a′,b′), and to analyse the continuity of P ° F^?1. One may use an iterative technique depending on a real relaxation parameter ω. Let the “separation angle” between H and K be defined by (H, K) = Arc cos ∥PQ∥. The present analysis stresses the fundamental part played by the separation angles α = (H, K), α′ = (H, K′), β = (H, SH) and β′ = (H′, SH) where S (= 2Q ? I) denotes the operator of orthogonal symmetry with respect to K. In the special case where X and H are complex spaces, and K′ = iK, the analysis of the problem is governed by the separation angles β and β′ only. These angles are involved in what may then be called “the conjugate image effect of H with respect to the orthogonal decomposition of X, K ⊕ iK.” Then, $\text{α = α′ =}\text{β}\text{2}$, and the optimal value of ω is known a priori (ω₀ = 2). This particular problem, which proves to be related to the central problem of Holography, defines what we have called “Abstract Holography”. (One of the main objects of our analysis is to show what underlies the principle of “Wavefront Reconstruction,” which is referred to in Classical Holography, and how it is possible to circumvent certain related difficulties by using an optimal iterative procedure).     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

On the small sieve. II. sifting by composite numbers

For any set A of natural numbers let F(x, A) denote the number of natural numbers up to x that are divisible by no element of A and let H(x, K) be the maximum of F(x, A) when A runs over the sets not containing 1 and having a sum of reciprocals not greater than K. A logarithmic asymptotic formula is given for H(x, K)—in particular it shows H(x, K) < x^ε for K > K₀(ε)—and some related problems are discussed.     

On Artin's conjecture

Let $\text{F}$ be a family of number fields which are normal and of finite degree over a given number field K. Consider the lattice L(scF) spanned by all the elements of $\text{F}$. The generalized Artin problem is to determine the set of prime ideals of K which do not split completely in any element H of L(scF), H≠K. Assuming the generalized Riemann hypothesis and some mild restrictions on $\text{F}$, we solve this problem by giving an asymptotic formula for the number of such prime ideals below a given norm. The classical Artin conjecture on primitive roots appears as a special case. In another case, if $\text{F}$ is the family of fields obtained by adjoining to $\text{Q}$ the q-division points of an elliptic curve E over $\text{Q}$, the Artin problem determines how often E($\text{F}$_p) is cyclic. If E has complex multiplication, the generalized Riemann hypothesis can be removed by using the analogue of the Bombieri-Vinogradov prime number theorem for number fields.     

Decomposition of bipartite graphs into special subgraphs

Let F and G be two graphs and let H be a subgraph of G. A decomposition of G into subgraphs F₁,F₂,…,F_m is called an F-factorization of G orthogonal to H if F_i≅F and |E(F_i∩H)|=1 for each i=1,2,…,m. Gyárfás and Schelp conjectured that the complete bipartite graph K_4k,4k has a C₄-factorization orthogonal to H provided that H is a k-factor of K_4k,4k. In this paper, we show that (1) the conjecture is true when H satisfies some structural conditions; (2) for any two positive integers r?k, K_kr²,kr² has a K_r,r-factorization orthogonal to H if H is a k-factor of K_kr²,kr²; (3) K_2d²,2d² has a C₄-factorization such that each edge of H belongs to a different C₄ if H is a subgraph of K_2d²,2d² with maximum degree Δ(H)?d.     

Cyclic homology of Hopf crossed products

We obtain a mixed complex, simpler than the canonical one, given the Hochschild, cyclic, negative and periodic homology of a crossed product E=A#fH, where H is an arbitrary Hopf algebra and f is a convolution invertible cocycle with values in A. We actually work in the more general context of relative cyclic homology. Specifically, we consider a subalgebra K of A which is stable under the action of H, and we find a mixed complex computing the Hochschild, cyclic, negative and periodic homology of E relative to K. As an application we obtain two spectral sequences converging to the cyclic homology of E relative to K. The first one works in the general setting and the second one (which generalizes those previously found by several authors) works when f takes its values in K.     

An algebraic equation for linear operators

Let T be a linear operator on a vector space V, possibly of infinite dimension, over a general field K. We solve the functional equation p(T) = F where p ∈ K[x] and F, an algebraic operator on V, are given. For nilpotent F we give an explicit linear system which determines the solutions by their similarity classes. The method is based on a canonical decomposition theorem.     

On the restriction of cross characteristic representations of 2 F 4(q) to proper subgroups

We prove that the restriction of any nontrivial representation of the Ree groups ² F ₄(q), q = 2²ⁿ⁺¹ ≥ 8 in odd characteristic to any proper subgroup is reducible. We also determine all triples (K, V, H) such that ${K \in \{^2F_4(2), ^2F_4(2)'\} }We prove that the restriction of any nontrivial representation of the Ree groups ² F ₄(q), q = 2²ⁿ⁺¹ ≥ 8 in odd characteristic to any proper subgroup is reducible. We also determine all triples (K, V, H) such that K ? {²F₄(2), ²F₄(2)￠}{K \in \{^2F_4(2), ^2F_4(2)'\} } , H is a proper subgroup of K, and V is a representation of K in odd characteristic restricting absolutely irreducibly to H.     

Ranking alternatives using fuzzy numbers

We investigate the problem of employing expert opinion to rank alternatives across a set of criteria. The experts use fuzzy numbers to express their preferences and we employ fuzzy arithmetic to compute an issue's fuzzy ranking. This leads to a partition of the alternatives into sets H₁, H₂,… where H₁ contains the highest ranked issues, H₂ has all the second highest ranked alternatives, etc. The total ranking process is shown to possess a number of important properties. An example is presented to illustrate the method.     

The spectral sequence relating algebraic K-theory to motivic cohomology

Beginning with the Bloch-Lichtenbaum exact couple relating the motivic cohomology of a field F to the algebraic K-theory of F, the authors construct a spectral sequence for any smooth scheme X over F whose E₂ term is the motivic cohomology of X and whose abutment is the Quillen K-theory of X. A multiplicative structure is exhibited on this spectral sequence. The spectral sequence is that associated to a tower of spectra determined by consideration of the filtration of coherent sheaves on X by codimension of support.     

Variations on Arnoldi's method for computing eigenelements of large unsymmetric matrices

It is shown that the method of Arnoldi can be successfully used for solvinglarge unsymmetric eigenproblems. Like the symmetric Lanczos method, Arnoldi's algorithm realizes a projection process onto the Krylov subspace K_m spanned by v₁,Av₁,...,A^m?1v₁, where v₁ is the initial vector. We therefore study the convergence of the approximate eigenelements obtained by such a process. In particular, when the eigenvalues of A are real, we obtain bounds for the rates of convergence similar to those for the symmetric Lanczos algorithm. Some practical methods are presented in addition to that of Arnoldi, and several numerical experiments are described.     

Some closer bounds of Perron root basing on generalized Perron complement

This paper is concerned with the bounds of the Perron root ρ(A) of a nonnegative irreducible matrix A. Two new methods utilizing the relationship between the Perron root of a nonnegative irreducible matrix and its generalized Perron complements are presented. The former method is efficient because it gives the bounds for ρ(A) only by calculating the row sums of the generalized Perron complement P_t(A/A[α]) or even the row sums of submatrices A[α],A[β],A[α,β] and A[β,α]. And the latter gives the closest bounds (just in this paper) of ρ(A). The results obtained by these methods largely improve the classical bounds. Numerical examples are given to illustrate the procedure and compare it with others, which shows that these methods are effective.     

The inflation class operator

We consider the inflation class operator, denoted by F, where for any class K of algebras, F(K) is the class of all inflations of algebras in K. We study the interaction of this operator with the usual algebraic operators H, S andP, and describe the partially-ordered monoid generated by H, S, P andF (with the isomorphism operator I as an identity). Received February 3, 2004; accepted in final form January 3, 2006.     

On the Gaussian approximation of vector-valued multiple integrals

By combining the findings of two recent, seminal papers by Nualart, Peccati and Tudor, we get that the convergence in law of any sequence of vector-valued multiple integrals F_n towards a centered Gaussian random vector N, with given covariance matrix C, is reduced to just the convergence of: (i) the fourth cumulant of each component of F_n to zero; (ii) the covariance matrix of F_n to C. The aim of this paper is to understand more deeply this somewhat surprising phenomenon. To reach this goal, we offer two results of a different nature. The first one is an explicit bound for d(F,N) in terms of the fourth cumulants of the components of F, when F is a R^d-valued random vector whose components are multiple integrals of possibly different orders, N is the Gaussian counterpart of F (that is, a Gaussian centered vector sharing the same covariance with F) and d stands for the Wasserstein distance. The second one is a new expression for the cumulants of F as above, from which it is easy to derive yet another proof of the previously quoted result by Nualart, Peccati and Tudor.