Representations of trigonometric Cherednik algebras of rank one in positive characteristic

In this paper, we classify the irreducible representations of the trigonometric Cherednik algebras of rank 1 in characteristic p>0. There are two cases. One is the “quantum” case, where “Planck’s constant” is nonzero and generic irreducible representations have dimension 2p. In this case, smaller representations exist if and only if the “coupling constant” k is in ; namely, if k is an even integer such that 0≤k≤p−1, then there exist irreducible representations of dimensions p−k and p+k, and if k is an odd integer such that 1≤k≤p−2, then there exist irreducible representations of dimensions k and 2p−k. The other case is the “classical” case, where “Planck’s constant” is zero and generic irreducible representations have dimension 2. In that case, one-dimensional representations exist if and only if the “coupling constant” k is zero.     

A groupoid approach to discrete inverse semigroup algebras

Let K be a commutative ring with unit and S an inverse semigroup. We show that the semigroup algebra KS can be described as a convolution algebra of functions on the universal étale groupoid associated to S by Paterson. This result is a simultaneous generalization of the author's earlier work on finite inverse semigroups and Paterson's theorem for the universal C^∗-algebra. It provides a convenient topological framework for understanding the structure of KS, including the center and when it has a unit. In this theory, the role of Gelfand duality is replaced by Stone duality.Using this approach we construct the finite dimensional irreducible representations of an inverse semigroup over an arbitrary field as induced representations from associated groups, generalizing the case of an inverse semigroup with finitely many idempotents. More generally, we describe the irreducible representations of an inverse semigroup S that can be induced from associated groups as precisely those satisfying a certain “finiteness condition.” This “finiteness condition” is satisfied, for instance, by all representations of an inverse semigroup whose image contains a primitive idempotent.     

The problem of harmonic analysis on the infinite-dimensional unitary group

The goal of harmonic analysis on a (noncommutative) group is to decompose the most “natural” unitary representations of this group (like the regular representation) on irreducible ones. The infinite-dimensional unitary group U(∞) is one of the basic examples of “big” groups whose irreducible representations depend on infinitely many parameters. Our aim is to explain what the harmonic analysis on U(∞) consists of.We deal with unitary representations of a reasonable class, which are in 1-1 correspondence with characters (central, positive definite, normalized functions on U(∞)). The decomposition of any representation of this class is described by a probability measure (called spectral measure) on the space of indecomposable characters. The indecomposable characters were found by Dan Voiculescu in 1976.The main result of the present paper consists in explicitly constructing a 4-parameter family of “natural” representations and computing their characters. We view these representations as a substitute of the nonexisting regular representation of U(∞). We state the problem of harmonic analysis on U(∞) as the problem of computing the spectral measures for these “natural” representations. A solution to this problem is given in the next paper (Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes, math/0109194, to appear in Ann. Math.), joint with Alexei Borodin.We also prove a few auxiliary general results. In particular, it is proved that the spectral measure of any character of U(∞) can be approximated by a sequence of (discrete) spectral measures for the restrictions of the character to the compact unitary groups U(N). This fact is a starting point for computing spectral measures.     

Functors for unitary representations of classical real groups and affine Hecke algebras

We define exact functors from categories of Harish–Chandra modules for certain real classical groups to finite-dimensional modules over an associated graded affine Hecke algebra with parameters. We then study some of the basic properties of these functors. In particular, we show that they map irreducible spherical representations to irreducible spherical representations and, moreover, that they preserve unitarity. In the case of split classical groups, we thus obtain a functorial inclusion of the real spherical unitary dual (with “real infinitesimal character”) into the corresponding p-adic spherical unitary dual.     

The unramified computation of Rankin–Selberg integrals expressed in terms of Bessel models for split orthogonal groups: Part I

In this paper, we compute the local integrals, with normalized unramified data, over a p-adic field F, arising from general Rankin–Selberg integrals for SO _m × GL_r+k+1, where the orthogonal group is split over F, \(k \leqslant \left[ {\frac{{m - 1}}{2}} \right]\), and the irreducible representation of SO _m (F) has a Bessel model with respect to an irreducible representation of the split orthogonal group SO_m?2k?1(F). Our proof is by “analytic continuation from the unramified computation in the generic case”. We let the unramified parameters of the representations involved vary, and express the local integrals in terms of the Whittaker models of the representations, which exist at points in general position. Then we apply analytic continuation and the known unramified computation in the generic case. We discuss some applications to poles of partial L-functions and functorial lifting.     

Topological and fractal properties of real numbers which are not normal

The set L of essentially non-normal numbers of the unit interval (i.e., the set of real numbers having no asymptotic frequencies of all digits in their nonterminating s-adic expansion) is studied in details. It is proven that the set L is generic in the topological sense (it is of the second Baire category) as well as in the sense of fractal geometry (L is a superfractal set, i.e., the Hausdorff-Besicovitch dimension of the set L is equal 1). These results are substantial generalizations of the previous results of the two latter authors [M. Pratsiovytyi, G. Torbin, Ukrainian Math. J. 47 (7) (1995) 971-975].The Q^∗-representation of real numbers (which is a generalization of the s-adic expansion) is also studied. This representation is determined by the stochastic matrix Q^∗. We prove the existence of such a Q^∗-representation that almost all (in the sense of Lebesgue measure) real numbers have no asymptotic frequency of all digits. In the case where the matrix Q^∗ has additional asymptotic properties, the Hausdorff-Besicovitch dimension of the set of numbers with prescribed asymptotic properties of their digits is determined (this is a generalization of the Eggleston-Besicovitch theorem). The connections between the notions of “normality of numbers” respectively of “asymptotic frequencies” of their digits is also studied.     

Flat transversals to flats and convex sets of a fixed dimension

Helly and Hadwiger type theorems for transversal m-flats to families of flats and, respectively, convex sets of dimension n are proved in the case of general position. The proofs rely on Helly type theorems for “linear partitions” and “convex partitions,” so that a general theory of Helly numbers is also developed.     

Bifurcation Diagrams and Heteroclinic Networks of Octagonal H-Planforms

This paper completes the classification of bifurcation diagrams for H-planforms in the Poincaré disc $\mathcal {D}$ whose fundamental domain is a regular octagon. An H-planform is a steady solution of a PDE or integro-differential equation in $\mathcal {D}$ , which is invariant under the action of a lattice subgroup ?? of U(1,1), the group of isometries of ${\mathcal{D}}$ . In our case ?? generates a tiling of $\mathcal {D}$ with regular octagons. This problem was introduced as an example of spontaneous pattern formation in a model of image feature detection by the visual cortex where the features are assumed to be represented in the space of structure tensors. Under ??generic?? assumptions the bifurcation problem reduces to an ODE which is invariant by an irreducible representation of the group of automorphisms $\mathcal {G}$ of the compact Riemann surface $\mathcal {D}/\varGamma $ . The irreducible representations of $\mathcal {G}$ have dimensions one, two, three and four. The bifurcation diagrams for the representations of dimensions less than four have already been described and correspond to well-known group actions. In the present work we compute the bifurcation diagrams for the remaining three irreducible representations of dimension four, thus completing the classification. In one of these cases, there is generic bifurcation of a heteroclinic network connecting equilibria with two different orbit types.     

Moment sets and unitary dual for the diamond group

The diamond group G is a solvable group, semi-direct product of R with a (2n+1)-dimensional Heisenberg group Hn. We consider this group as a first example of a semi-direct product with the form R?N where N is nilpotent, connected and simply connected.Computing the moment sets for G, we prove that they separate the coadjoint orbits and its generic unitary irreducible representations.Then we look for the separation of all irreducible representations. First, moment sets separate representations for a quotient group G⁻ of G by a discrete subgroup, then we can extend G to an overgroup G⁺, extend simultaneously each unitary irreducible representation of G to G⁺ and separate the representations of G by moment sets for G⁺.     

Geometric proof of a conjecture of Fulton

We give a geometric proof of a conjecture of Fulton on the multiplicities of irreducible representations in a tensor product of irreducible representations for GL(r).     

Using Noonan–Zeilberger Functional Equations to enumerate (in polynomial time!) generalized Wilf classes

One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and you are asked to find a “formula”, or at least an efficient algorithm, that inputs a positive integer n and outputs the number of permutations avoiding that pattern. In 1996, John Noonan and Doron Zeilberger initiated the counting of permutations that have a prescribed, r, say, occurrences of a given pattern. They gave an ingenious method to generate functional equations, alas, with an unbounded number of “catalytic variables”, but then described a clever way, using multivariable calculus, on how to get enumeration schemes. Alas, their method becomes very complicated for r larger than 1. In the present article we describe a far simpler way to squeeze the necessary information, in polynomial time, for increasing patterns of any length and for any number of occurrences r.     

Locally finite polynomial endomorphisms

We study polynomial endomorphisms F of C^N which are locally finite in the following sense: the vector space generated by r°Fⁿ (n≥0) is finite dimensional for each r∈C[x₁,…,x_N]. We show that such endomorphisms exhibit similar features to linear endomorphisms: they satisfy the Jacobian Conjecture, have vanishing polynomials, admit suitably defined minimal and characteristic polynomials, and the invertible ones admit a Dunford decomposition into “semisimple” and “unipotent” constituents. We also explain a relationship with linear recurrent sequences and derivations. Finally, we give particular attention to the special cases where F is nilpotent and where N=2.     

The Logic of Uncertain Justifications

In Artemov?s Justification Logic, one can make statements interpreted as “t is evidence for the truth of formula F.” We propose a variant of this logic in which one can say “I have degree r of confidence that t is evidence for the truth of formula F.” After defining both an axiomatic approach and a semantics for this Logic of Uncertain Justifications, we will prove the usual soundness and completeness theorems.     

The eigenvalue distribution of products of Toeplitz matrices - Clustering and attraction

We use a recent result concerning the eigenvalues of a generic (non-Hermitian) complex perturbation of a bounded Hermitian sequence of matrices to prove that the asymptotic spectrum of the product of Toeplitz sequences, whose symbols have a real-valued essentially bounded product h, is described by the function h in the “Szegö way”. Then, using Mergelyan’s theorem, we extend the result to the more general case where h belongs to the Tilli class. The same technique gives us the analogous result for sequences belonging to the algebra generated by Toeplitz sequences, if the symbols associated with the sequences are bounded and the global symbol h belongs to the Tilli class. A generalization to the case of multilevel matrix-valued symbols and a study of the case of Laurent polynomials not necessarily belonging to the Tilli class are also given.     

Enumeration of non-crossing pairings on bit strings

A non-crossing pairing on a bit string is a matching of 1s and 0s in the string with the property that the pairing diagram has no crossings. For an arbitrary bit-string w=p₁¹q₁⁰…pr¹qr⁰, let φ(w) be the number of such pairings. This enumeration problem arises when calculating moments in the theory of random matrices and free probability, and we are interested in determining useful formulas and asymptotic estimates for φ(w). Our main results include explicit formulas in the “symmetric” case where each pi=qi, as well as upper and lower bounds for φ(w) that are uniform across all words of fixed length and fixed r. In addition, we offer more refined conjectural expressions for the upper bounds. Our proofs follow from the construction of combinatorial mappings from the set of non-crossing pairings into certain generalized “Catalan” structures that include labeled trees and lattice paths.     

Applications of bulk queues to group testing models with incomplete identification

A population of items is said to be “group-testable”, (i) if the items can be classified as “good” and “bad”, and (ii) if it is possible to carry out a simultaneous test on a batch of items with two possible outcomes: “Success” (indicating that all items in the batch are good) or “failure” (indicating a contaminated batch). In this paper, we assume that the items to be tested arrive at the group-testing centre according to a Poisson process and are served (i.e., group-tested) in batches by one server. The service time distribution is general but it depends on the batch size being tested. These assumptions give rise to the bulk queueing model M/G^(m,M)/1, where m and M(>m) are the decision variables where each batch size can be between m and M. We develop the generating function for the steady-state probabilities of the embedded Markov chain. We then consider a more realistic finite state version of the problem where the testing centre has a finite capacity and present an expected profit objective function. We compute the optimal values of the decision variables (m, M) that maximize the expected profit. For a special case of the problem, we determine the optimal decision explicitly in terms of the Lambert function.     

Distinguished representations and exceptional poles of the Asai-L-function

Let K/F be a quadratic extension of p-adic fields. We show that a generic irreducible representation of GL(n, K) is distinguished if and only if its Rankin-Selberg Asai L-function has an exceptional pole at zero. We use this result to compute Asai L-functions of principal series representations of GL(2, K), hence completing the computation of these functions for generic representations of this group.     

A commutative analogue of the group ring

Throughout, all rings R will be commutative with identity element. In this paper we introduce, for each finite group G, a commutative graded Z-algebra R_G. This classifies the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element.In the case when G is an elementary Abelian p-group it turns out that R_G is closely related to the symmetric algebra over F_p of the dual of G. We intend in subsequent papers to explore the close relationship between G and R_G in the case of a general (possibly non-Abelian) group G.Here we show that the Krull dimension of R_G is the maximal rank r of an elementary Abelian subgroup E of G unless either E is cyclic or for some such E its normalizer in G contains a non-trivial cyclic group which acts faithfully on E via “scalar multiplication” in which case it is r+1.