An operator representation for weighted spaces of vector valued holomorphic functions

For any weighted space HV(G) of holomorphic functions on an open set G ? ?^Nwith a topology stronger than that of uniform convergence on the compact sets and for any quasibarrelled space E we prove the topological isomorphism $HV(G,E_{b}^{\prime})={\cal L}_b(E,HV(G))$ and derive a similar, more complicated isomorphism for weighted spaces of continuous functions. This generalizes results of [3], [7] and [6] and should be compared with the ∈-product representations for the corresponding spaces of functions with o-growth conditions. At the end we also show the topological isomorphism HV₁(G₁, HV₂(G₂)) = H (V₁ ? V₂)(G₁ × G₂).     

Infinite Random Geometric Graphs

We introduce a new class of countably infinite random geometric graphs, whose vertices V are points in a metric space, and vertices are adjacent independently with probability p ? (0, 1){p \in (0, 1)} if the metric distance between the vertices is below a given threshold. For certain choices of V as a countable dense set in \mathbbRⁿ{\mathbb{R}^n} equipped with the metric derived from the L _∞-norm, it is shown that with probability 1 such infinite random geometric graphs have a unique isomorphism type. The isomorphism type, which we call GR _n , is characterized by a geometric analogue of the existentially closed adjacency property, and we give a deterministic construction of GR _n . In contrast, we show that infinite random geometric graphs in \mathbbR²{\mathbb{R}^{2}} with the Euclidean metric are not necessarily isomorphic.     

Square tilings with prescribed combinatorics

LetT be a triangulation of a quadrilateralQ, and letV be the set of vertices ofT. Then there is an essentially unique tilingZ=(Z_v: v ∈ V) of a rectangleR by squares such that for every edge <u,v> ofT the corresponding two squaresZ _u, Z_vare in contact and such that the vertices corresponding to squares at corners ofR are at the corners ofQ. It is also shown that the sizes of the squares are obtained as a solution of an extremal problem which is a discrete version of the concept of extremal length from conformal function theory. In this discrete version of extremal length, the metrics assign lengths to the vertices, not the edges. A practical algorithm for computing these tilings is presented and analyzed. The author thankfully acknowledges support of NSF grant DMS-9112150.     

PrincipalG-bundles on nodal curves

LetG be a connected semisimple affine algebraic group defined over C. We study the relation between stable, semistable G-bundles on a nodal curveY and representations of the fundamental group ofY. This study is done by extending the notion of (generalized) parabolic vector bundles to principal G-bundles on the desingularizationC ofY and using the correspondence between them and principal G-bundles onY. We give an isomorphism of the stack of generalized parabolic bundles onC with a quotient stack associated to loop groups. We show that if G is simple and simply connected then the Picard group of the stack of principal G-bundles onY is isomorphic to ⊕_m Z,m being the number of components ofY.     

Semi-Invariants of Symmetric Quivers of Tame Type

A symmetric quiver (Q, σ) is a finite quiver without oriented cycles Q?=?(Q ₀, Q ₁) equipped with a contravariant involution σ on $Q_0\sqcup Q_1$ . The involution allows us to define a nondegenerate bilinear form $\langle -,-\rangle_V$ on a representation V of Q. We shall say that V is orthogonal if $\langle -,-\rangle_V$ is symmetric and symplectic if $\langle -,-\rangle_V$ is skew-symmetric. Moreover, we define an action of products of classical groups on the space of orthogonal representations and on the space of symplectic representations. So we prove that if (Q, σ) is a symmetric quiver of tame type then the rings of semi-invariants for this action are spanned by the semi-invariants of determinantal type c ^V and, when the matrix defining c ^V is skew-symmetric, by the Pfaffians pf ^V . To prove it, moreover, we describe the symplectic and orthogonal generic decomposition of a symmetric dimension vector.     

The computable embedding problem

Calvert calculated the complexity of the computable isomorphism problem for a number of familiar classes of structures. Rosendal suggested that it might be interesting to do the same for the computable embedding problem. By the computable isomorphism problem and (computable embedding problem) we mean the difficulty of determining whether there exists an isomorphism (embedding) between two members of a class of computable structures. For some classes, such as the class of \mathbbQ \mathbb{Q} -vector spaces and the class of linear orderings, it turns out that the two problems have the same complexity. Moreover, calculations are essentially the same. For other classes, there are differences. We present examples in which the embedding problem is trivial (within the class) and the computable isomorphism problem is more complicated. We also give an example in which the embedding problem is more complicated than the isomorphism problem.     

Bessel identities in the waldspurger correspondence over the real numbers

We prove certain identities between Bessel functions attached to irreducible unitary representations ofPGL ₂(R) and Bessel functions attached to irreducible unitary representations of the double cover ofSL ₂(R). These identities give a correspondence between such representations which turns out to be the Waldspurger correspondence. In the process we prove several regularity theorems for Bessel distributions which appear in the relative trace formula. In the heart of the proof lies a classical result of Weber and Hardy on a Fourier transform of classical Bessel functions. This paper constitutes the local (real) spectral theory of the relative trace formula for the Waldspurger correspondence for which the global part was developed by Jacquet. Research of first author was partially supported by NSF grant DMS-0070762. Research of second author was partially supported by NSF grant DMS-9729992 and DMS 9971003.     

Binary relations as lattice isomorphisms

Summary In 1963, Zaretskiį established a one-to-one correspondence between the setB _X of binary relations on a set X and the set of triples of the form (W, ϕ, V) where W and V are certain lattices and ϕ: W→V is an isomorphism. We provide a multiplication for these triples making the Zaretskiį correspondence a semigroup isomorphism. In addition, we consider faithful representations ofB _X by pairs of partial transformations and also as the translational hull of its rectangular relations. Using these triples, we study idempotents, regular and completely regular elements and relationsH-equivalent to some relations with familiar properties such as reflexivity, transitivity, etc. Entrata in Redazione il 14 aprile 1998.     

The orbit method for profinite groups and a p-adic analogue of Brown’s theorem

We develop an approach to the character theory of certain classes of finite and profinite groups based on the construction of a Lie algebra associated to such a group, but without making use of the notion of a polarization which is central to the classical orbit method. Instead, Kirillov’s character formula becomes the fundamental object of study. Our results are then used to produce an alternate proof of the orbit method classification of complex irreducible representations of p-groups of nilpotence class < p, where p is a prime, and of continuous complex irreducible representations of uniformly powerful pro-p-groups (with a certain modification for p = 2). As a main application, we give a quick and transparent proof of the p-adic analogue of Brown’s theorem, stating that for a nilpotent Lie group over ℚ_p the Fell topology on the set of isomorphism classes of its irreducible representations coincides with the quotient topology on the set of its coadjoint orbits. The research of M. B. was partially supported by NSF grant DMS-0401164.     

Digraphs with the path-merging property

In this paper we study those digraphs D for which every pair of internally disjoint (X, Y)-paths P₁, P₂ can be merged into one (X, Y)-path P* such that V(P₁) ∪ V(P₂), for every choice of vertices X, Y ? V(D). We call this property the path-merging property and we call a graph path-mergeable if it has the path-merging property. We show that each such digraph has a directed hamiltonian cycle whenever it can possibly have one, i.e., it is strong and the underlying graph has no cutvertex. We show that path-mergeable digraphs can be recognized in polynomial time and we give examples of large classes of such digraphs which are not contained in any previously studied class of digraphs. We also discuss which undirected graphs have path-mergeable digraph orientations. © 1995, John Wiley & Sons, Inc.     

True BRST symmetry algebra and the theory of its representations

A simple treatment of BRST symmetry is proposed. From the physical point of view, it expresses a symmetry between ghosts and spurions; from the mathematical point of view, the symmetry operations are linear transformations in the superspaceC _1,1. From this it follows that the true BRST symmetry algebra isl(1, 1), the Lie superalgebra of all linear endomorphisms ofC _1,1, which extends the usual BRST algebra of the generatorsQ andQ _c with two new generatorsK=Q ^* andR={Q,Q ^*}. The theory of the representations ofl(1, 1) is developed systematically. The sets of automorphisms and involutions ofl(1, 1) are described. Decompositions into irreducible and indecomposable components are constructed for large classes of representations, both finite-and infinite-dimensional. Particular attention is devoted to the analysis of the indecomposable representations (in particular, a connection between them and subspaces of the continuous spectrum of the generators is found) and also of the metric properties of the indefinite spaces of the representations. A class of physical representations is identified and described in detail.V. A. Steklov Mathematics Institute, USSR Academy of Sciences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 91, No. 1, pp. 3–16, April, 1992.     

Singular pencils of quadrics and compactified Jacobians of curves

LetY be an irreducible nodal hyperelliptic curve of arithmetic genusg such that its nodes are also ramification points (char ≠2). To the curveY, we associate a family of quadratic forms which is dual to a singular pencil of quadrics in with Segre symbol [2...21...1], where the number of 2's is equal to the number of nodes. We show that the compactified Jacobian ofY is isomorphic to the spaceR of (g−1) dimensional linear subspaces of which are contained in the intersectionQ of quadrics of the pencil. We also prove that (under this isomorphism) the generalized Jacobian ofY is isomorphic to the open subset ofR consisting of the (g−1) dimensional subspaces not passing through any singular point ofQ.     

Partition conditions and vertex-connectivity of graphs

It was proved ([5], [6]) that ifG is ann-vertex-connected graph then for any vertex sequencev ₁, ...,v _n ≠V(G) and for any sequence of positive integersk ₁, ...,k _n such thatk ₁+...+k _n =|V(G)|, there exists ann-partition ofV(G) such that this partition separates the verticesv ₁, ...,v(n), and the class of the partition containingv _i induces a connected subgraph consisting ofk _i vertices, fori=1, 2, ...,n. Now fix the integersk ₁, ...,k _n . In this paper we study what can we say about the vertex-connectivity ofG if there exists such a partition ofV(G) for any sequence of verticesv ₁, ...,v _n ≠V(G). We find some interesting cases when the existence of such partitions implies then-vertex-connectivity ofG, in the other cases we give sharp lower bounds for the vertex-connectivity ofG.     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

Dolbeault cohomology of compact complex homogeneous manifolds

We show that ifM is the total space of a holomorphic bundle with base space a simply connected homogeneous projective variety and fibre and structure group a compact complex torus, then the identity component of the automorphism group ofM acts trivially on the Dolbeault cohomology ofM. We consider a class of compact complex homogeneous spacesW, which we call generalized Hopf manifolds, which are diffeomorphic to S¹ ×K/L whereK is a compact connected simple Lie group andL is the semisimple part of the centralizer of a one dimensional torus inK. We compute the Dolbeault cohomology ofW. We compute the Picard group of any generalized Hopf manifold and show that every line bundle over a generalized Hopf manifold arises from a representation of its fundamental group.     

The absolute Galois group of a Hilbertian PRC field

We determine the absolute Galois group of a countable Hilbertian P (seudo) R(eal) C(losed) fieldP of characteristic 0. This group turns out to be real-free, determined up to isomorphism by the topological space of orderings ofP. Examples of such fieldsP are the proper finite extensions of the field of all totally real numbers. Part of this work was done while the authors were fellows of the Institute for Advanced Studies in Jerusalem Supported by NSA grant MDA 14776 and BSF grant 87-00038 Supported by NSA grant MDA 904-89-H-2028     

Langlands classification for real Lie groups with reductive Lie algebra

LetG be a (not necessarily connected) real Lie group with reductive Lie algebra. We consider representations ofG which some call admissible but we call them of Harish-Chandra type. We show that any nontempered irreducible Harish-Chandra type representation ofG is infinitesimally equivalent to the Langlands quotient obtained from an essentially unique triple (M, V, ) of Langlands data; while for tempered irreducible Harish-Chandra type representations we prove they are infinitesimally subrepresentations of some induced representations U^V, with imaginary and withV from the quasi-discrete series of a suitableM (perhapsG=M; we define the quasi-discrete series in Definition 4.5 of this paper.We show that irreducible continuous unitary representations of really reductive groups are of Harish-Chandra type. Then the results above yield the canonical decomposition of the unitary spectrum>G for any really reductiveG. In particular, this holds ifG/G ₀ is finite, so the center of the connected semi-simple subgroup with Lie algebra [g, g] may be infinite!Research supported, in part, by the Hungarian National Fund for Scientific Research (grant Nos. 1900 and 2648).     

Almost isometric embedding between metric spaces

We investigate the relations ofalmost isometric embedding and ofalmost isometry between metric spaces. These relations have several appealing features. For example, all isomorphism types of countable dense subsets of ∝ form exactly one almostisometry class, and similarly with countable dense subsets of Uryson's universal separable metric spaceU. We investigate geometric, set-theoretic and model-theoretic aspects of almost isometry and of almost isometric embedding. The main results show that almost isometric embeddability behaves in the category ofseparable metric spaces differently than in the category of general metric spaces. While in the category of general metric spaces the behavior of universality resembles that in the category of linear orderings —namely, no universal structure can exist on a regular λ > ℵ₁ below the continuum—in the category of separable metric spaces universality behaves more like that in the category of graphs, that is, a small number of metric separable metric spaces on an uncountable regular λ<2^ℵ ₀ may consistently almost isometrically embed all separable metric spaces on λ. Research of the first author was supported by an Israeli Science foundation grant no. 177/01. Research of the second author was supported by the United States-Israel Binational Science Foundation. Publication 827.     

Nonstable <Emphasis Type="Italic">K</Emphasis>-theory for Graph Algebras

We compute the monoid V(L _K (E)) of isomorphism classes of finitely generated projective modules over certain graph algebras L _K (E), and we show that this monoid satisfies the refinement property and separative cancellation. We also show that there is a natural isomorphism between the lattice of graded ideals of L _K (E) and the lattice of order-ideals of V(L _K (E)). When K is the field of complex numbers, the algebra is a dense subalgebra of the graph C ^*-algebra C ^*(E), and we show that the inclusion map induces an isomorphism between the corresponding monoids. As a consequence, the graph C*-algebra of any row-finite graph turns out to satisfy the stable weak cancellation property. The first author was partially supported by the DGI and European Regional Development Fund, jointly, through Project BFM2002-01390, the second and the third by the DGI and European Regional Development Fund, jointly, through Project MTM2004-00149 and by PAI III grant FQM-298 of the Junta de Andalucía. Also, the first and third authors are partially supported by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya.