Theta Series of Quaternion Algebras over Function Fields

Let K be the function field over a finite field of odd order, and let H be a definite quaternion algebra over K. If Λ is an order of level M in H, we define theta series for each ideal I of Λ using the reduced norm on H. Using harmonic analysis on the completed algebra H_∞ and the arithmetic of quaternion algebras, we establish a transformation law for these theta series. We also define analogs of the classical Hecke operators and show that in general, the Hecke operators map the theta series to a linear combination of theta series attached to different ideals, a generalization of the classical Eichler Commutation Relation.     

Strong linear preservers of rank reverse permutability on triangular matrices

Let F be a field with ∣F∣ > 2 and T_n(F) be the set of all n × n upper triangular matrices, where n ? 2. Let k ? 2 be a given integer. A k-tuple of matrices A₁, …, A_k ∈ T_n(F) is called rank reverse permutable if rank(A₁ A₂ ? A_k) = rank(A_k A_k−1 ? A₁). We characterize the linear maps on T_n(F) that strongly preserve the set of rank reverse permutable matrix k-tuples.     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.     

Projective sup-algebras: a general view

We begin with the notion of K-flat projectivity. For each sup-algebra L we then introduce a binary relation L_? on it. The K-flat projective sup-algebras are exactly such sup-algebras with each element a approximated by the element x, xL_?a and the relation L_? being stable with respect to the operations on L. Further on, we introduce the notion of a K-comonad and characterize K-flat projective sup-algebras as such sup-algebras having a coalgebra structure for the K-comonad.     

Exceptional sets related to Hayman's alternative

Let E be a subset of the complex plane C consisting of a countable set of points tending to ∞ and let k?1 be an integer. We derive a spacing condition (dependent on k) on the points of E which ensures that, if f is a function meromorphic in C with sufficiently large Nevanlinna deficiency at the poles, then either f takes every complex value infinitely often, or the kth derivative f(k) takes every non-zero complex value infinitely often, in C−E. This improves a previous result of Langley.     

A polynomial bound on the number of comaximal localizations needed in order to make free a projective module

Let A be a commutative ring and M be a projective module of rank k with n generators. Let h=n-k. Standard computations show that M becomes free after localizations in comaximal elements (see Theorem 5). When the base ring A contains a field with at least hk+1 non-zero distinct elements we construct a comaximal family G with at most (hk+1)(nk+1) elements such that for each g∈G, the module M_g is free over A[1/g].     

A generalization of Kneser's Addition Theorem

Let A=(A₁,…,Am) be a sequence of finite subsets from an additive abelian group G. Let Σ?(A) denote the set of all group elements representable as a sum of ? elements from distinct terms of A, and set . Our main theorem is the following lower bound:

     

Some lower bounds for the spectral radius of matrices using traces

Let A be an n×n matrix with eigenvalues λ₁,λ₂,…,λ_n, and let m be an integer satisfying rank(A)?m?n. If A is real, the best possible lower bound for its spectral radius in terms of m, trA and trA² is obtained. If A is any complex matrix, two lower bounds for are compared, and furthermore a new lower bound for the spectral radius is given only in terms of trA,trA²,‖A‖,‖A^∗A-AA^∗‖,n and m.     

Invariant connections and invariant holomorphic bundles on homogeneous manifolds

Let X be a differentiable manifold endowed with a transitive action α: A×X→X of a Lie group A. Let K be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms of explicit finite dimensional quotients, of three classes of objects:

• equivalence classes of α-invariant K-connections on X
• α-invariant gauge classes of K-connections on X, and
• α-invariant isomorphism classes of pairs (Q,P) consisting of a holomorphic K ^?-bundle Q → X and a K-reduction P of Q (when X has an α-invariant complex structure).

     

The spectra of some families of digraphs

Let G be a digraph (or a graph, when seen as a symmetric digraph) with adjacency matrix A, having the eigenvalue λ with associated eigenvector v. As it is well known, the entries of v can be interpreted as charges in each vertex. Then, the linear transformation v ? Av corresponds to a natural displacement of charges, where each vertex sends a copy of its charge to its in-neighbors and absorbs a copy of the charges of its out-neighbors, so the resulting charge distribution is just λv. In this work we use this approach to derive some old and new results about the spectral characterization of G. More precisely, we show how to obtain the spectra of some families of (di)graphs, such as the partial line digraphs and the line graphs of regular or semiregular graphs.     

The p-torsion subgroup scheme of an elliptic curve

Let k be a field of positive characteristic p.

Question. Does every twisted form of μp over k occur as subgroup scheme of an elliptic curve over k?     

The hyperring of adèle classes

Text

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adèle class space HK=AK/K^× of a global field K. After promoting F₁ to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G⊂R^× is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G∪{0} is a subfield of R. This result applies to the adèle class space which thus inherits the structure of a hyperring extension HK of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field K of positive characteristic, the groupoid of the prime elements of the hyperring HK is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field K.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=3LSKD_PfJyc.     

Power series solutions to Volterra integral equations

Power series type solutions are given for a wide class of linear and q-dimensional nonlinear Volterra equations on R^p. The basic assumption on the kernel K(x, y) is that K(x, xt) has a power series in x. For example, this holds for any analytic kernel.The kernel may be strongly singular, provided certain constants are finite. One and only one such power series solution exists. Its coefficients are given by a simple iterative formula. In many cases this may be solved explicitly. In particular an explicit formula for the resolvent is given.     

On Taylor and other joint spectra for commuting n-tuples of operators

Let R and S be commuting n-tuples of operators. We will give some spectral relations between RS and SR that extend the case of single operators. We connect the Taylor spectrum, the Fredholm spectrum and some other joint spectra of RS and SR. Applications to Aluthge transforms of commuting n-tuples are also provided.     

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

Let K be a field of characteristic 0 and let (K^*)ⁿ denote the n-fold Cartesian product of K^*, endowed with coordinatewise multiplication. Let Γ be a subgroup of (K^*)ⁿ of finite rank. We consider equations (*) a₁x₁ + … + a_nx_n = 1 in x = (x₁x_n)Γ, where a = (a₁,a_n)(K^*)ⁿ. Two tuples a, b(K^*)ⁿ are called Γ-equivalent if there is a uΓ such that b = u · a. Gy?ry and the author [Compositio Math. 66 (1988) 329-354] showed that for all but finitely many Γ-equivalence classes of tuples a(K^*)ⁿ, the set of solutions of (*) is contained in the union of not more than 2⁽ⁿ⁺¹! proper linear subspaces of Kⁿ. Later, this was improved by the author [J. reine angew. Math. 432 (1992) 177-217] to (n!)²ⁿ⁺². In the present paper we will show that for all but finitely many Γ-equivalence classes of tuples of coefficients, the set of non-degenerate solutions of (*) (i.e., with non-vanishing subsums) is contained in the union of not more than 2ⁿ proper linear subspaces of Kⁿ. Further we give an example showing that 2ⁿ cannot be replaced by a quantity smaller than n.     

Algebraic equations on the adèlic closure of a Drinfeld module

Let k be a field of positive characteristic and K = k(V) a function field of a variety V over k and let A _K be the ring of adèles of K with respect to the places on K corresponding to the divisors on V. Given a Drinfeld module $\Phi :\mathbb{F}[t] \to End_K (\mathbb{G}_a )$ over K and a positive integer g we regard both K ^g and A _K ^g as $\Phi \left( {\mathbb{F}_p [t]} \right)$ -modules under the diagonal action induced by Φ. For Γ ? K ^g a finitely generated $\Phi \left( {\mathbb{F}_p [t]} \right)$ -submodule and an affine subvariety $X \subseteq \mathbb{G}_a^g$ defined over K, we study the intersection of X(A _K ), the adèlic points of X, with $\bar \Gamma$ , the closure of Γ with respect to the adèlic topology, showing under various hypotheses that this intersection is no more than X(K) ∩ Γ.     

Two local operators and the BLUE

For a given matrix A, a matrix P such that PA = A is said to be a local identity, and such that P²A = PA is said to be a local idempotent. In the paper, some simple properties of such operators are presented. Their relation to the best linear unbiased estimation in the general Gauss-Markov model is also demonstrated.     

Piecewise linear maps, Liapunov exponents and entropy

Let be a class of piecewise linear maps associated with a transition matrix A. In this paper, we prove that if fA,x∈LA, then the Liapunov exponent λ(x) of fA,x is equal to a measure theoretic entropy hmA,x of fA,x, where mA,x is a Markov measure associated with A and x. The Liapunov exponent and the entropy are computable by solving an eigenvalue problem and can be explicitly calculated when the transition matrix A is symmetric. Moreover, we also show that maxxλ(x)=maxxhmA,x=log(λ₁), where λ₁ is the maximal eigenvalue of A.