






« 2002 (v54)  2004 (v56) » 
Page 


3  An Exactly Solved Model for Mutation, Recombination and Selection Baake, Michael; Baake, Ellen
It is well known that rather general mutationrecombination models can be
solved algorithmically (though not in closed form) by means of Haldane
linearization. The price to be paid is that one has to work with a
multiple tensor product of the state space one started from.


42  $*$Subvarieties of the Variety Generated by $\bigl( M_2(\mathbb{K}),t \bigr)$ Benanti, Francesca; Di Vincenzo, Onofrio M.; Nardozza, Vincenzo
Let $\mathbb{K}$ be a field of characteristic zero, and $*=t$ the
transpose involution for the matrix algebra $M_2 (\mathbb{K})$. Let
$\mathfrak{U}$ be a proper subvariety of the variety of algebras with
involution generated by $\bigl( M_2 (\mathbb{K}),* \bigr)$. We define
two sequences of algebras with involution $\mathcal{R}_p$,
$\mathcal{S}_q$, where $p,q \in \mathbb{N}$. Then we show that
$T_* (\mathfrak{U})$ and $T_* (\mathcal{R}_p \oplus \mathcal{S}_q)$
are $*$asymptotically equivalent for suitable $p,q$.


64  Higher Order Tangents to Analytic Varieties along Curves Braun, Rüdiger W.; Meise, Reinhold; Taylor, B. A.
Let $V$ be an analytic variety in some open set in $\mathbb{C}^n$
which contains the origin and which is purely $k$dimensional. For a
curve $\gamma$ in $\mathbb{C}^n$, defined by a convergent Puiseux
series and satisfying $\gamma(0) = 0$, and $d \ge 1$, define $V_t :=
t^{d} \bigl( V\gamma(t) \bigr)$. Then the currents defined by $V_t$
converge to a limit current $T_{\gamma,d} [V]$ as $t$ tends to zero.
$T_{\gamma,d} [V]$ is either zero or its support is an algebraic
variety of pure dimension $k$ in $\mathbb{C}^n$. Properties of such
limit currents and examples are presented. These results will be
applied in a forthcoming paper to derive necessary conditions for
varieties satisfying the local Phragm\'enLindel\"of condition that
was used by H\"ormander to characterize the constant coefficient
partial differential operators which act surjectively on the space of
all real analytic functions on $\mathbb{R}^n$.


91  Some Convexity Features Associated with Unitary Orbits Choi, ManDuen; Li, ChiKwong; Poon, YiuTung
Let $\mathcal{H}_n$ be the real linear space of $n\times n$ complex
Hermitian matrices. The unitary (similarity) orbit $\mathcal{U}
(C)$ of $C \in \mathcal{H}_n$ is the collection of all matrices
unitarily similar to $C$. We characterize those $C \in \mathcal{H}_n$
such that every matrix in the convex hull of $\mathcal{U}(C)$ can
be written as the average of two matrices in $\mathcal{U}(C)$. The
result is used to study spectral properties of submatrices of
matrices in $\mathcal{U}(C)$, the convexity of images of $\mathcal{U}
(C)$ under linear transformations, and some related questions
concerning the joint $C$numerical range of Hermitian matrices.
Analogous results on real symmetric matrices are also discussed.


112  Finsler Metrics with ${\bf K}=0$ and ${\bf S}=0$ Shen, Zhongmin
In the paper, we study the shortest time problem on a Riemannian space
with an external force. We show that such problem can be converted
to a shortest path problem on a Randers space. By choosing an
appropriate external force on the Euclidean space, we obtain a
nontrivial Randers metric of zero flag curvature. We also show that
any positively complete Randers metric with zero flag curvature must
be locally Minkowskian.


133  On the Zariskivan Kampen Theorem Shimada, Ichiro
Let $f \colon E\to B$ be a dominant morphism, where $E$ and $B$ are
smooth irreducible complex quasiprojective varieties, and let $F_b$
be the general fiber of $f$. We present conditions under which the
homomorphism $\pi_1 (F_b)\to \pi_1 (E)$ induced by the inclusion is
injective.


157  Zariski Hyperplane Section Theorem for Grassmannian Varieties Shimada, Ichiro
Let $\phi \colon X\to M$ be a morphism from a smooth irreducible
complex quasiprojective variety $X$ to a Grassmannian variety $M$
such that the image is of dimension $\ge 2$. Let $D$ be a reduced
hypersurface in $M$, and $\gamma$ a general linear automorphism of
$M$. We show that, under a certain differentialgeometric condition
on $\phi(X)$ and $D$, the fundamental group $\pi_1 \bigl( (\gamma
\circ \phi)^{1} (M\setminus D) \bigr)$ is isomorphic to a central
extension of $\pi_1 (M\setminus D) \times \pi_1 (X)$ by the cokernel
of $\pi_2 (\phi) \colon \pi_2 (X) \to \pi_2 (M)$.


181  Homotopy Decompositions Involving the Loops of Coassociative Co$H$ Spaces Theriault, Stephen D.
James gave an integral homotopy decomposition of $\Sigma\Omega\Sigma X$,
HiltonMilnor one for $\Omega (\Sigma X\vee\Sigma Y)$, and CohenWu gave
$p$local decompositions of $\Omega\Sigma X$ if $X$ is a suspension. All
are natural. Using idempotents and telescopes we show that the James and
HiltonMilnor decompositions have analogues when the suspensions are
replaced by coassociative co$H$ spaces, and the CohenWu decomposition
has an analogue when the (double) suspension is replaced by a coassociative,
cocommutative co$H$ space.


204  On the Nonsquare Constants of Orlicz Spaces with Orlicz Norm Yan, Yaqiang
Let $l^{\Phi}$ and $L^\Phi (\Omega)$ be the Orlicz sequence space and
function space generated by $N$function $\Phi(u)$ with Orlicz norm.
We give equivalent expressions for the nonsquare constants $C_J
(l^\Phi)$, $C_J \bigl( L^\Phi (\Omega) \bigr)$ in sense of James and
$C_S (l^\Phi)$, $C_S \bigl( L^\Phi(\Omega) \bigr)$ in sense of
Sch\"affer. We are devoted to get practical computational formulas
giving estimates of these constants and to obtain their exact value in
a class of spaces $l^{\Phi}$ and $L^\Phi (\Omega)$.


225  Short Kloosterman Sums for Polynomials over Finite Fields Banks, William D.; Harcharras, Asma; Shparlinski, Igor E.
We extend to the setting of polynomials over a finite field certain
estimates for short Kloosterman sums originally due to Karatsuba.
Our estimates are then used to establish some uniformity of
distribution results in the ring $\mathbb{F}_q[x]/M(x)$ for collections of
polynomials either of the form $f^{1}g^{1}$ or of the form
$f^{1}g^{1}+afg$, where $f$ and $g$ are polynomials coprime to
$M$ and of very small degree relative to $M$, and $a$ is an
arbitrary polynomial. We also give estimates for short Kloosterman
sums where the summation runs over products of two irreducible
polynomials of small degree. It is likely that this result can be
used to give an improvement of the BrunTitchmarsh theorem for
polynomials over finite fields.


247  Differential Structure of Orbit Spaces: Erratum Cushman, Richard; Śniatycki, Jędrzej
This note signals an error in the above paper by giving a counterexample.


248  A Generalized Torelli Theorem Dhillon, Ajneet
Given a smooth projective curve $C$ of positive genus $g$, Torelli's
theorem asserts that the pair $\bigl( J(C),W^{g1} \bigr)$ determines
$C$. We show that the theorem is true with $W^{g1}$ replaced by
$W^d$ for each $d$ in the range $1\le d\le g1$.


266  Two Algorithms for a Moving Frame Construction Kogan, Irina A.
The method of moving frames, introduced by Elie Cartan, is a
powerful tool for the solution of various equivalence problems.
The practical implementation of Cartan's method, however, remains
challenging, despite its later significant development and
generalization. This paper presents two new variations on the Fels and
Olver algorithm, which under some conditions on the group action,
simplify a moving frame construction. In addition, the first
algorithm leads to a better understanding of invariant differential
forms on the jet bundles, while the second expresses the differential
invariants for the entire group in terms of the differential invariants
of its subgroup.


292  Infinitely Divisible Laws Associated with Hyperbolic Functions Pitman, Jim; Yor, Marc
The infinitely divisible distributions on $\mathbb{R}^+$ of random
variables $C_t$, $S_t$ and $T_t$ with Laplace transforms
$$
\left( \frac{1}{\cosh \sqrt{2\lambda}} \right)^t, \quad \left(
\frac{\sqrt{2\lambda}}{\sinh \sqrt{2\lambda}} \right)^t, \quad \text{and}
\quad \left( \frac{\tanh \sqrt{2\lambda}}{\sqrt{2\lambda}} \right)^t
$$
respectively are characterized for various $t>0$ in a number of
different ways: by simple relations between their moments and
cumulants, by corresponding relations between the distributions and
their L\'evy measures, by recursions for their Mellin transforms, and
by differential equations satisfied by their Laplace transforms. Some
of these results are interpreted probabilistically via known
appearances of these distributions for $t=1$ or $2$ in the description
of the laws of various functionals of Brownian motion and Bessel
processes, such as the heights and lengths of excursions of a
onedimensional Brownian motion. The distributions of $C_1$ and $S_2$
are also known to appear in the Mellin representations of two
important functions in analytic number theory, the Riemann zeta
function and the Dirichlet $L$function associated with the quadratic
character modulo~4. Related families of infinitely divisible laws,
including the gamma, logistic and generalized hyperbolic secant
distributions, are derived from $S_t$ and $C_t$ by operations such as
Brownian subordination, exponential tilting, and weak limits, and
characterized in various ways.


331  The Maximum Number of Points on a Curve of Genus $4$ over $\mathbb{F}_8$ is $25$ Savitt, David
We prove that the maximum number of rational points on a smooth,
geometrically irreducible genus 4 curve over the field of 8 elements
is 25. The body of the paper shows that 27 points is not possible by
combining techniques from algebraic geometry with a computer
verification. The appendix shows that 26 points is not possible by
examining the zeta functions.


353  Weak Explicit Matching for Level Zero Discrete Series of Unit Groups of $\mathfrak{p}$Adic Simple Algebras Silberger, Allan J.; Zink, ErnstWilhelm
Let $F$ be a $p$adic local field and let $A_i^\times$ be the unit
group of a central simple $F$algebra $A_i$ of reduced degree $n>1$
($i=1,2$). Let $\mathcal{R}^2 (A_i^\times)$ denote the set of
irreducible discrete series representations of $A_i^\times$. The
``Abstract Matching Theorem'' asserts the existence of a bijection,
the ``JacquetLanglands'' map, $\mathcal{J} \mathcal{L}_{A_2,A_1}
\colon \mathcal{R}^2 (A_1^\times) \to \mathcal{R}^2 (A_2^\times)$
which, up to known sign, preserves character values for regular
elliptic elements. This paper addresses the question of explicitly
describing the map $\mathcal{J} \mathcal{L}$, but only for ``level
zero'' representations. We prove that the restriction $\mathcal{J}
\mathcal{L}_{A_2,A_1} \colon \mathcal{R}_0^2 (A_1^\times) \to
\mathcal{R}_0^2 (A_2^\times)$ is a bijection of level zero discrete
series (Proposition~3.2) and we give a parameterization of the set of
unramified twist classes of level zero discrete series which does not
depend upon the algebra $A_i$ and is invariant under $\mathcal{J}
\mathcal{L}_{A_2,A_1}$ (Theorem~4.1).


379  Generalized Factorization in Hardy Spaces and the Commutant of Toeplitz Operators Stessin, Michael; Zhu, Kehe
Every classical inner function $\varphi$ in the unit disk gives rise to
a certain factorization of functions in Hardy spaces. This factorization,
which we call the generalized Riesz factorization, coincides with the
classical Riesz factorization when $\varphi(z)=z$. In this paper we prove
several results about the generalized Riesz factorization, and we apply
this factorization theory to obtain a new description of the commutant
of analytic Toeplitz operators with inner symbols on a Hardy space. We
also discuss several related issues in the context of the Bergman space.


401  Gaussian Estimates in Lipschitz Domains Varopoulos, N. Th.
We give upper and lower Gaussian estimates for the diffusion kernel of a
divergence and nondivergence form elliptic operator in a Lipschitz domain.
On donne des estimations Gaussiennes pour le noyau d'une diffusion,
r\'eversible ou pas, dans un domaine Lipschitzien.


432  Pair Correlation of Squares in $p$Adic Fields Zaharescu, Alexandru
Let $p$ be an odd prime number, $K$ a $p$adic field of degree $r$
over $\mathbf{Q}_p$, $O$ the ring of integers in $K$, $B = \{\beta_1,\dots,
\beta_r\}$ an integral basis of $K$ over $\mathbf{Q}_p$, $u$ a unit in $O$
and consider sets of the form $\mathcal{N}=\{n_1\beta_1+\cdots+n_r\beta_r:
1\leq n_j\leq N_j, 1\leq j\leq r\}$. We show under certain growth
conditions that the pair correlation of $\{uz^2:z\in\mathcal{N}\}$ becomes
Poissonian.


449  Graph Subspaces and the Spectral Shift Function Albeverio, Sergio; Makarov, Konstantin A.; Motovilov, Alexander K.
We obtain a new representation for the solution to the operator
Sylvester equation in the form of a Stieltjes operator integral.
We also formulate new sufficient conditions for the strong
solvability of the operator Riccati equation that ensures the
existence of reducing graph subspaces for block operator matrices.
Next, we extend the concept of the LifshitsKrein spectral shift
function associated with a pair of selfadjoint operators to the
case of pairs of admissible operators that are similar to
selfadjoint operators. Based on this new concept we express the
spectral shift function arising in a perturbation problem for block
operator matrices in terms of the angular operators associated with
the corresponding perturbed and unperturbed eigenspaces.


504  Certain Operators with Rough Singular Kernels Chen, Jiecheng; Fan, Dashan; Ying, Yiming
We study the singular integral operator
$$
T_{\Omega,\alpha}f(x) = \pv \int_{R^n} b(y) \Omega(y')
y^{n\alpha} f(xy)\,dy,
$$
defined on all test functions $f$,where $b$ is a bounded function, $\alpha\geq 0$,
$\Omega(y')$ is an integrable function on the unit sphere $S^{n1}$ satisfying
certain cancellation conditions. We prove that, for $1<p<\infty$,
$T_{\Omega,\alpha}$ extends bounded operator from the Sobolev space
$L^p_\alpha$ to the Lebesgue space $L^p$ with $\Omega$ being a distribution
in the Hardy space $H^q(S^{n1})$ with $q= (n1)/(n1+\alpha)$. The result
extends some known results on the singular integral operators. As applications,
we obtain the boundedness for $T_{\Omega,\alpha}$ on the Hardy spaces, as well
as the boundedness for the truncated maximal operator $T^\ast_{\Omega,m}$.


533  Automorphismes modérés de l'espace affine Edo, Eric
Le probl\`eme de JungNagata ({\it cf.}\ [J], [N]) consiste \`a savoir
s'il existe des automorphismes de $k[x,y,z]$ qui ne sont pas
mod\'er\'es. Nous proposons une approche nouvelle de cette question,
fond\'ee sur l'utilisation de la th\'eorie des automates et du
polygone de Newton. Cette approche permet notamment de g\'en\'eraliser
de fa\c con significative les r\'esultats de [A].


561  QuasiHomogeneous Linear Systems on $\mathbb{P}^2$ with Base Points of Multiplicity $5$ Laface, Antonio; Ugaglia, Luca
In this paper we consider linear systems of $\mathbb{P}^2$ with all
but one of the base points of multiplicity $5$. We give an explicit
way to evaluate the dimensions of such systems.


576  Automorphic Orthogonal and Extremal Polynomials Lukashov, A. L.; Peherstorfer, F.
It is well known that many polynomials which solve extremal problems
on a single interval as the Chebyshev or the BernsteinSzeg\"o
polynomials can be represented by trigonometric functions and their
inverses. On two intervals one has elliptic instead of trigonometric
functions. In this paper we show that the counterparts of the Chebyshev
and BernsteinSzeg\"o polynomials for several intervals can be represented
with the help of automorphic functions, socalled SchottkyBurnside
functions. Based on this representation and using the SchottkyBurnside
automorphic functions as a tool several extremal properties of such
polynomials as orthogonality properties, extremal properties with
respect to the maximum norm, behaviour of zeros and recurrence
coefficients {\it etc.} are derived.


609  Integrable Systems Associated to a Hopf Surface Moraru, Ruxandra
A Hopf surface is the quotient of the complex surface $\mathbb{C}^2
\setminus \{0\}$ by an infinite cyclic group of dilations of
$\mathbb{C}^2$. In this paper, we study the moduli spaces
$\mathcal{M}^n$ of stable $\SL (2,\mathbb{C})$bundles on a Hopf
surface $\mathcal{H}$, from the point of view of symplectic geometry.
An important point is that the surface $\mathcal{H}$ is an elliptic
fibration, which implies that a vector bundle on $\mathcal{H}$ can be
considered as a family of vector bundles over an elliptic curve. We
define a map $G \colon \mathcal{M}^n \rightarrow \mathbb{P}^{2n+1}$
that associates to every bundle on $\mathcal{H}$ a divisor, called the
graph of the bundle, which encodes the isomorphism class of the bundle
over each elliptic curve. We then prove that the map $G$ is an
algebraically completely integrable Hamiltonian system, with respect
to a given Poisson structure on $\mathcal{M}^n$. We also give an
explicit description of the fibres of the integrable system. This
example is interesting for several reasons; in particular, since the
Hopf surface is not K\"ahler, it is an elliptic fibration that does
not admit a section.


636  Higher Dimensional Asymptotic Cycles Schwartzman, Sol
Given a $p$dimensional oriented foliation of an $n$dimensional
compact manifold $M^n$ and a transversal invariant measure $\tau$,
Sullivan has defined an element of $H_p (M^n,R)$. This generalized
the notion of a $\mu$asymptotic cycle, which was originally defined
for actions of the real line on compact spaces preserving an invariant
measure $\mu$. In this onedimensional case there was a natural 11
correspondence between transversal invariant measures $\tau$ and
invariant measures $\mu$ when one had a smooth flow without stationary
points.


649  Surfaces with $p_{g}=q=2$ and an Irrational Pencil Zucconi, Francesco
We describe the irrational pencils on surfaces of general type with
$p_{g}=q=2$.


673  A Note on Cyclotomic Euler Systems and the Double Complex Method Anderson, Greg W.; Ouyang, Yi
Let $\FF$ be a finite real abelian extension of $\QQ$. Let $M$ be an odd
positive integer. For every squarefree positive integer $r$ the prime
factors of which are congruent to $1$ modulo $M$ and split completely
in $\FF$, the corresponding Kolyvagin class $\kappa_r\in\FF^{\times}/
\FF^{\times M}$ satisfies a remarkable and crucial recursion which
for each prime number $\ell$ dividing $r$ determines the order of
vanishing of $\kappa_r$ at each place of $\FF$ above $\ell$ in terms
of $\kappa_{r/\ell}$. In this note we give the recursion a new and
universal interpretation with the help of the double complex method
introduced by Anderson and further developed by Das and Ouyang. Namely,
we show that the recursion satisfied by Kolyvagin classes is the
specialization of a universal recursion independent of $\FF$ satisfied
by universal Kolyvagin classes in the group cohomology of the universal
ordinary distribution {\it \`a la\/} Kubert tensored with $\ZZ/M\ZZ$.
Further, we show by a method involving a variant of the diagonal shift
operation introduced by Das that certain group cohomology classes belonging
(up to sign) to a basis previously constructed by Ouyang also satisfy the
universal recursion.


693  Une formule de RiemannRoch équivariante pour les courbes Borne, Niels
Soit $G$ un groupe fini agissant sur une courbe alg\'ebrique
projective et lisse $X$ sur un corps alg\'ebriquement clos $k$. Dans
cet article, on donne une formule de RiemannRoch pour la
caract\'eristique d'Euler \'equivariante d'un $G$faisceau inversible
$\mathcal{L}$, \`a valeurs dans l'anneau $R_k (G)$ des caract\`eres du
groupe $G$. La formule donn\'ee a un bon comportement fonctoriel en
ce sens qu'elle rel\`eve la formule classique le long du morphisme
$\dim \colon R_k (G) \to \mathbb{Z}$, et est valable m\^eme pour une
action sauvage. En guise d'application, on montre comment calculer
explicitement le caract\`ere de l'espace des sections globales d'une
large classe de $G$faisceaux inversibles, en s'attardant sur le cas
particulier d\'elicat du faisceau des diff\'erentielles sur la courbe.


711  Adic Topologies for the Rational Integers Broughan, Kevin A.
A topology on $\mathbb{Z}$, which gives a nice proof that the
set of prime integers is infinite, is characterised and examined.
It is found to be homeomorphic to $\mathbb{Q}$, with a compact
completion homeomorphic to the Cantor set. It has a natural place
in a family of topologies on $\mathbb{Z}$, which includes the
$p$adics, and one in which the set of rational primes $\mathbb{P}$
is dense. Examples from number theory are given, including the
primes and squares, Fermat numbers, Fibonacci numbers and $k$free
numbers.


724  SturmLiouville Problems Whose Leading Coefficient Function Changes Sign Cao, Xifang; Kong, Qingkai; Wu, Hongyou; Zettl, Anton
For a given SturmLiouville equation whose leading coefficient
function changes sign, we establish inequalities among the eigenvalues
for any coupled selfadjoint boundary condition and those for two
corresponding separated selfadjoint boundary conditions. By a recent
result of Binding and Volkmer, the eigenvalues (unbounded from both
below and above) for a separated selfadjoint boundary condition can
be numbered in terms of the Pr\"ufer angle; and our inequalities can
then be used to index the eigenvalues for any coupled selfadjoint
boundary condition. Under this indexing scheme, we determine the
discontinuities of each eigenvalue as a function on the space of such
SturmLiouville problems, and its range as a function on the space of
selfadjoint boundary conditions. We also relate this indexing scheme
to the number of zeros of eigenfunctions. In addition, we
characterize the discontinuities of each eigenvalue under a different
indexing scheme.


750  AlmostFree $E$Rings of Cardinality $\aleph_1$ Göbel, Rüdiger; Shelah, Saharon; Strüngmann, Lutz
An $E$ring is a unital ring $R$ such that every endomorphism of
the underlying abelian group $R^+$ is multiplication by some
ring element. The existence of almostfree $E$rings of
cardinality greater than $2^{\aleph_0}$ is undecidable in $\ZFC$.
While they exist in G\"odel's universe, they do not exist in other
models of set theory. For a regular cardinal $\aleph_1 \leq
\lambda \leq 2^{\aleph_0}$ we construct $E$rings of cardinality
$\lambda$ in $\ZFC$ which have $\aleph_1$free additive structure.
For $\lambda=\aleph_1$ we therefore obtain the existence of
almostfree $E$rings of cardinality $\aleph_1$ in $\ZFC$.


766  Homology TQFT's and the AlexanderReidemeister Invariant of 3Manifolds via Hopf Algebras and Skein Theory Kerler, Thomas
We develop an explicit skeintheoretical algorithm to compute the
Alexander polynomial of a 3manifold from a surgery presentation
employing the methods used in the construction of quantum invariants
of 3manifolds. As a prerequisite we establish and prove a rather
unexpected equivalence between the topological quantum field theory
constructed by Frohman and Nicas using the homology of
$U(1)$representation varieties on the one side and the
combinatorially constructed Hennings TQFT based on the quasitriangular
Hopf algebra $\mathcal{N} = \mathbb{Z}/2 \ltimes \bigwedge^*
\mathbb{R}^2$ on the other side. We find that both TQFT's are $\SL
(2,\mathbb{R})$equivariant functors and, as such, are isomorphic.
The $\SL (2,\mathbb{R})$action in the Hennings construction comes
from the natural action on $\mathcal{N}$ and in the case of the
FrohmanNicas theory from the HardLefschetz decomposition of the
$U(1)$moduli spaces given that they are naturally K\"ahler. The
irreducible components of this TQFT, corresponding to simple
representations of $\SL(2,\mathbb{Z})$ and $\Sp(2g,\mathbb{Z})$, thus
yield a large family of homological TQFT's by taking sums and products.
We give several examples of TQFT's and invariants that appear to fit
into this family, such as Milnor and Reidemeister Torsion,
SeibergWitten theories, Casson type theories for homology circles
{\it \`a la} Donaldson, higher rank gauge theories following Frohman
and Nicas, and the $\mathbb{Z}/p\mathbb{Z}$ reductions of
ReshetikhinTuraev theories over the cyclotomic integers $\mathbb{Z}
[\zeta_p]$. We also conjecture that the Hennings TQFT for
quantum$\mathfrak{sl}_2$ is the product of the ReshetikhinTuraev
TQFT and such a homological TQFT.


822  An Ordering for Groups of Pure Braids and FibreType Hyperplane Arrangements Kim, Djun Maximilian; Rolfsen, Dale
We define a total ordering of the pure braid groups which is
invariant under multiplication on both sides. This ordering is
natural in several respects. Moreover, it wellorders the pure braids
which are positive in the sense of Garside. The ordering is defined
using a combination of Artin's combing technique and the Magnus
expansion of free groups, and is explicit and algorithmic.


839  Cohomology of Complex Torus Bundles Associated to Cocycles Lee, Min Ho
Equivariant holomorphic maps of Hermitian symmetric domains into
Siegel upper half spaces can be used to construct families of
abelian varieties parametrized by locally symmetric spaces, which
can be regarded as complex torus bundles over the parameter spaces.
We extend the construction of such torus bundles using 2cocycles of
discrete subgroups of the semisimple Lie groups associated to the
given symmetric domains and investigate some of their properties.
In particular, we determine their cohomology along the fibers.


856  Poisson Brackets and Structure of Nongraded Hamiltonian Lie Algebras Related to LocallyFinite Derivations Su, Yucai
Xu introduced a class of nongraded Hamiltonian Lie algebras. These
Lie algebras have a Poisson bracket structure. In this paper, the
isomorphism classes of these Lie algebras are determined by employing
a ``sandwich'' method and by studying some features of these Lie
algebras. It is obtained that two Hamiltonian Lie algebras are
isomorphic if and only if their corresponding Poisson algebras are
isomorphic. Furthermore, the derivation algebras and the second
cohomology groups are determined.


897  Hypergeometric Abelian Varieties Archinard, Natália
In this paper, we construct abelian varieties associated to Gauss' and
AppellLauricella hypergeometric series.
Abelian varieties of this kind and the algebraic curves we define
to construct them were considered by several authors in settings
ranging from monodromy groups (Deligne, Mostow), exceptional sets
(Cohen, Wolfart, W\"ustholz), modular embeddings (Cohen, Wolfart) to
CMtype (Cohen, Shiga, Wolfart) and modularity (Darmon).
Our contribution is to provide a complete, explicit and selfcontained
geometric construction.


933  Renormalized Periods on $\GL(3)$ Beineke, Jennifer; Bump, Daniel
A theory of renormalization of divergent integrals over torus
periods on $\GL(3)$ is given, based on a relative truncation. It
is shown that the renormalized periods of Eisenstein series have
unexpected functional equations.


969  Lie Groups of Measurable Mappings Glöckner, Helge
We describe new construction principles for infinitedimensional Lie
groups. In particular, given any measure space $(X,\Sigma,\mu)$ and
(possibly infinitedimensional) Lie group $G$, we construct a Lie
group $L^\infty (X,G)$, which is a Fr\'echetLie group if $G$ is so.
We also show that the weak direct product $\prod^*_{i\in I} G_i$ of an
arbitrary family $(G_i)_{i\in I}$ of Lie groups can be made a Lie
group, modelled on the locally convex direct sum $\bigoplus_{i\in I}
L(G_i)$.


1000  Some Convexity Results for the Cartan Decomposition Graczyk, P.; Sawyer, P.
In this paper, we consider the set $\mathcal{S} = a(e^X K e^Y)$
where $a(g)$ is the abelian part in the Cartan decomposition of
$g$. This is exactly the support of the measure intervening in the
product formula for the spherical functions on symmetric spaces of
noncompact type. We give a simple description of that support in
the case of $\SL(3,\mathbf{F})$ where $\mathbf{F} = \mathbf{R}$,
$\mathbf{C}$ or $\mathbf{H}$. In particular, we show that
$\mathcal{S}$ is convex.


1019  More Eventual Positivity for Analytic Functions Handelman, David
Eventual positivity problems for real convergent Maclaurin series lead
to density questions for sets of harmonic functions. These are solved
for large classes of series, and in so doing, asymptotic estimates are
obtained for the values of the series near the radius of convergence
and for the coefficients of convolution powers.


1080  Quaternions and Some Global Properties of Hyperbolic $5$Manifolds Kellerhals, Ruth
We provide an explicit thick and thin decomposition for oriented
hyperbolic manifolds $M$ of dimension $5$. The result implies improved
universal lower bounds for the volume $\rmvol_5(M)$ and, for $M$
compact, new estimates relating the injectivity radius and the diameter
of $M$ with $\rmvol_5(M)$. The quantification of the thin part is
based upon the identification of the isometry group of the universal
space by the matrix group $\PS_\Delta {\rm L} (2,\mathbb{H})$ of
quaternionic $2\times 2$matrices with Dieudonn\'e determinant
$\Delta$ equal to $1$ and isolation properties of $\PS_\Delta {\rm
L} (2,\mathbb{H})$.


1100  Polar Homology Khesin, Boris; Rosly, Alexei
For complex projective manifolds we introduce polar homology
groups, which are holomorphic analogues of the homology groups in
topology. The polar $k$chains are subvarieties of complex
dimension $k$ with meromorphic forms on them, while the boundary
operator is defined by taking the polar divisor and the Poincar\'e
residue on it. One can also define the corresponding analogues for the
intersection and linking numbers of complex submanifolds, which have the
properties similar to those of the corresponding topological notions.


1121  Classification des représentations tempérées d'un groupe $p$adique Bettaïeb, Karem
Soit $G$ le groupe des points d\'efinis sur un corps $p$adique d'un
groupe r\'eductif connexe. A l'aide des caract\`eres virtuels
supertemp\'er\'es de $G$, on prouve (conjectures de Clozel) que toute
repr\'esentation irr\'eductible temp\'er\'ee de $G$ est
irr\'eductiblement induite d'une essentielle d'un sousgroupe de
L\'evi de~$G$.


1134  Norms of Complex Harmonic Projection Operators Casarino, Valentina
In this paper we estimate the $(L^pL^2)$norm of the complex
harmonic projectors $\pi_{\ell\ell'}$, $1\le p\le 2$, uniformly
with respect to the indexes $\ell,\ell'$. We provide sharp
estimates both for the projectors $\pi_{\ell\ell'}$, when
$\ell,\ell'$ belong to a proper angular sector in $\mathbb{N}
\times \mathbb{N}$, and for the projectors $\pi_{\ell 0}$ and
$\pi_{0 \ell}$. The proof is based on an extension of a complex
interpolation argument by C.~Sogge. In the appendix, we prove in a
direct way the uniform boundedness of a particular zonal kernel in
the $L^1$ norm on the unit sphere of $\mathbb{R}^{2n}$.


1155  The Closure Ordering of Nilpotent Orbits of the Complex Symmetric Pair $(\SO_{p+q},\SO_p\times\SO_q)$ Đoković, Dragomir Ž.; Litvinov, Michael
The main problem that is solved in this paper has the following simple
formulation (which is not used in its solution). The group $K =
\mathrm{O}_p ({\bf C}) \times \mathrm{O}_q ({\bf C})$ acts on the
space $M_{p,q}$ of $p\times q$ complex matrices by $(a,b) \cdot x =
axb^{1}$, and so does its identity component $K^0 = \SO_p ({\bf C})
\times \SO_q ({\bf C})$. A $K$orbit (or $K^0$orbit) in $M_{p,q}$ is said
to be nilpotent if its closure contains the zero matrix. The closure,
$\overline{\mathcal{O}}$, of a nilpotent $K$orbit (resp.\ $K^0$orbit)
${\mathcal{O}}$ in $M_{p,q}$ is a union of ${\mathcal{O}}$ and some
nilpotent $K$orbits (resp.\ $K^0$orbits) of smaller dimensions. The
description of the closure of nilpotent $K$orbits has been known for
some time, but not so for the nilpotent $K^0$orbits. A conjecture
describing the closure of nilpotent $K^0$orbits was proposed in
\cite{DLS} and verified when $\min(p,q) \le 7$. In this paper we
prove the conjecture. The proof is based on a study of two
prehomogeneous vector spaces attached to $\mathcal{O}$ and
determination of the basic relative invariants of these spaces.


1191  Decay of Mean Values of Multiplicative Functions Granville, Andrew; Soundararajan, K.
For given multiplicative function $f$, with $f(n) \leq 1$ for all
$n$, we are interested in how fast its mean value $(1/x) \sum_{n\leq
x} f(n)$ converges. Hal\'asz showed that this depends on the minimum
$M$ (over $y\in \mathbb{R}$) of $\sum_{p\leq x} \bigl( 1  \Re (f(p)
p^{iy}) \bigr) / p$, and subsequent authors gave the upper bound $\ll
(1+M) e^{M}$. For many applications it is necessary to have explicit
constants in this and various related bounds, and we provide these via
our own variant of the Hal\'aszMontgomery lemma (in fact the constant
we give is best possible up to a factor of 10). We also develop a new
type of hybrid bound in terms of the location of the absolute value of
$y$ that minimizes the sum above. As one application we give bounds
for the least representatives of the cosets of the $k$th powers
mod~$p$.


1231  Admissible Majorants for Model Subspaces of $H^2$, Part I: Slow Winding of the Generating Inner Function Havin, Victor; Mashreghi, Javad
A model subspace $K_\Theta$ of the Hardy space $H^2 = H^2
(\mathbb{C}_+)$ for the upper half plane $\mathbb{C}_+$ is
$H^2(\mathbb{C}_+) \ominus \Theta H^2(\mathbb{C}_+)$ where $\Theta$
is an inner function in $\mathbb{C}_+$. A function $\omega \colon
\mathbb{R}\mapsto[0,\infty)$ is called {\it an admissible
majorant\/} for $K_\Theta$ if there exists an $f \in K_\Theta$, $f
\not\equiv 0$, $f(x)\leq \omega(x)$ almost everywhere on
$\mathbb{R}$. For some (mainly meromorphic) $\Theta$'s some parts
of $\Adm\Theta$ (the set of all admissible majorants for
$K_\Theta$) are explicitly described. These descriptions depend on
the rate of growth of $\arg \Theta$ along $\mathbb{R}$. This paper
is about slowly growing arguments (slower than $x$). Our results
exhibit the dependence of $\Adm B$ on the geometry of the zeros of
the Blaschke product $B$. A complete description of $\Adm B$ is
obtained for $B$'s with purely imaginary (``vertical'') zeros. We
show that in this case a unique minimal admissible majorant exists.


1264  Admissible Majorants for Model Subspaces of $H^2$, Part II: Fast Winding of the Generating Inner Function Havin, Victor; Mashreghi, Javad
This paper is a continuation of \cite{HM02I}. We consider the model
subspaces $K_\Theta=H^2\ominus\Theta H^2$ of the Hardy space $H^2$
generated by an inner function $\Theta$ in the upper half plane. Our
main object is the class of admissible majorants for $K_\Theta$,
denoted by $\Adm \Theta$ and consisting of all functions $\omega$
defined on $\mathbb{R}$ such that there exists an $f \ne 0$, $f \in
K_\Theta$ satisfying $f(x)\leq\omega(x)$ almost everywhere on
$\mathbb{R}$. Firstly, using some simple Hilbert transform techniques,
we obtain a general multiplier theorem applicable to any $K_\Theta$
generated by a meromorphic inner function. In contrast with
\cite{HM02I}, we consider the generating functions $\Theta$ such that
the unit vector $\Theta(x)$ winds up fast as $x$ grows from $\infty$
to $\infty$. In particular, we consider $\Theta=B$ where $B$ is a
Blaschke product with ``horizontal'' zeros, {\it i.e.}, almost
uniformly distributed in a strip parallel to and separated from $\mathbb{R}$.
It is shown, among other things, that for any such $B$, any even
$\omega$ decreasing on $(0,\infty)$ with a finite logarithmic integral
is in $\Adm B$ (unlike the ``vertical'' case treated in \cite{HM02I}),
thus generalizing (with a new proof) a classical result related to
$\Adm\exp(i\sigma z)$, $\sigma>0$. Some oscillating $\omega$'s in
$\Adm B$ are also described. Our theme is related to the
BeurlingMalliavin multiplier theorem devoted to $\Adm\exp(i\sigma z)$,
$\sigma>0$, and to de~Branges' space $\mathcal{H}(E)$.


1302  The Ideal Structures of Crossed Products of Cuntz Algebras by QuasiFree Actions of Abelian Groups Katsura, Takeshi
We completely determine the ideal structures of the crossed
products of Cuntz algebras by quasifree actions of abelian groups
and give another proof of A.~Kishimoto's result on the simplicity
of such crossed products. We also give a necessary and sufficient
condition that our algebras become primitive, and compute the
Connes spectra and $K$groups of our algebras.


1339  Author Index  Index des auteurs 2003, for 2003  pour
No abstract.
