Chaotic Expansion of Elements of the Universal Enveloping Algebra of a Lie Algebra Associated with a Quantum Stochastic Calculus

The functional Ito formula, in the form df() = f( + d ) –f(),is formulated and proved in the context of a Lie algebra L associatedwith a quantum (non-commutative) stochastic calculus. Here fis an element of the universal enveloping algebra U of L, andf() + d() – f() is given a meaning using the coproductstructure of U even though the individual terms of this expressionhave no meaning. The Ito formula is equivalent to a chaoticexpansion formula for f() which is found explicitly. 1991 MathematicsSubject Classification: primary 81S25; secondary 60H05; tertiary18B25.     

Projection Methods for Discrete Schrodinger Operators

Let H be the discrete Schrödinger operator acting on l² Z⁺, where the potential v is real-valued and v(n) 0 as n . Let P be the orthogonal projection onto a closedlinear subspace l² Z⁺). In a recent paper E. B. Davies definesthe second order spectrum Spec₂(H, ) of H relative to as theset of z C such that the restriction to of the operator P(H- z)²P is not invertible within the space . The purpose of thisarticle is to investigate properties of Spec₂(H, ) when islarge but finite dimensional. We explore in particular the connectionbetween this set and the spectrum of H. Our main result providessharp bounds in terms of the potential v for the asymptoticbehaviour of Spec₂(H, ) as increases towards l² Z⁺). 2000 MathematicsSubject Classification 47B36 (primary), 47B39, 81-08 (secondary).     

Higher correlations of divisor sums related to primes II: variations of the error term in the prime number theorem

We calculate the triple correlations for the truncated divisorsum _R(n). The _R(n) behave over certain averages just as theprime counting von Mangoldt function (n) does or is conjecturedto do. We also calculate the mixed (with a factor of (n)) correlations.The results for the moments up to the third degree, and thereforethe implications for the distribution of primes in short intervals,are the same as those we obtained (in the first paper with thistitle) by using the simpler approximation _R(n). However, when_R(n) is used, the error in the singular series approximationis often much smaller than what _R(n) allows. Assuming the GeneralizedRiemann Hypothesis (GRH) for Dirichlet L-functions, we obtainan _±-result for the variation of the error term in theprime number theorem. Formerly, our knowledge under GRH wasrestricted to -results for the absolute value of this variation.An important ingredient in the last part of this work is a recentresult due to Montgomery and Soundararajan which makes it possiblefor us to dispense with a large error term in the evaluationof a certain singular series average. We believe that our resultson the sums _R(n) and _R(n) can be employed in diverse problemsconcerning primes.     

Global Branch of Solutions for Non-Linear Schrodinger Equations with Deepening Potential Well

We consider the stationary non-linear Schrödinger equation where > 0 and the functionsf and g are such that and for some bounded open set R^N. We use topological methods to establish the existenceof two connected sets D^± of positive/negative solutionsin R x W², ^p R^N where that cover the interval (, ()) in the sense that and furthermore, The number () is characterized as the unique value of in theinterval (, ) for which the asymptotic linearization has a positiveeigenfunction. Our work uses a degree for Fredholm maps of indexzero. 2000 Mathematics Subject Classification 35J60, 35B32,58J55.     

Auslander algebras and initial seeds for cluster algebras

Let Q be a Dynkin quiver and the corresponding set of positiveroots. For the preprojective algebra associated to Q, a rigid-module I_Q is produced with r = || pairwise non-isomorphic indecomposabledirect summands by pushing the injective modules of the Auslanderalgebra of k Q to . If N is a maximal unipotent subgroup ofa complex simply connected simple Lie group of type |Q|, thenthe coordinate ring [N] is an upper cluster algebra. It is shownthat the elements of the dual semicanonical basis which correspondto the indecomposable direct summands of I_Q coincide with certaingeneralized minors which form an initial cluster for [N] andthat the corresponding exchange matrix of this cluster can beread from the Gabriel quiver of End(I_Q). Finally, the fact thatthe categories of injective modules over and over its covering are triangulated is exploited in order to show several interesting identities in the respectivestable module categories.     

Unknotting Tunnels and Seifert Surfaces

Let K be a knot with an unknotting tunnel and suppose thatK is not a 2-bridge knot. There is an invariant = p/q Q/2Z,with p odd, defined for the pair (K, ). The invariant has interesting geometric properties. It is oftenstraightforward to calculate; for example, for K a torus knotand an annulus-spanning arc, (K, ) = 1. Although is definedabstractly, it is naturally revealed when K is put in thinposition. If 1 then there is a minimal-genus Seifert surfaceF for K such that the tunnel can be slid and isotoped to lieon F. One consequence is that if (K, ) 1 then K > 1. Thisconfirms a conjecture of Goda and Teragaito for pairs (K, )with (K, ) 1. 2000 Mathematics Subject Classification 57M25,57M27.     

Hopf C*-Algebras

In this paper we define and study Hopf C^*-algebras. Roughlyspeaking, a Hopf C^*-algebra is a C^*-algebra A with a comultiplication: A M(A A) such that the maps a b (a)(1 b) and a (a 1)(b)have their range in A A and are injective after being extendedto a larger natural domain, the Haagerup tensor product A _hA. In a purely algebraic setting, these conditions on are closelyrelated to the existence of a counit and antipode. In this topologicalcontext, things turn out to be much more subtle, but neverthelessone can show the existence of a suitable counit and antipodeunder these conditions. The basic example is the C^*-algebra C₀(G) of continuous complexfunctions tending to zero at infinity on a locally compact groupwhere the comultiplication is obtained by dualizing the groupmultiplication. But also the reduced group C^*-algebra of a locally compact group with thewell-known comultiplication falls in this category. In factall locally compact quantum groups in the sense of Kustermansand the first author (such as the compact and discrete ones)as well as most of the known examples are included. This theory differs from other similar approaches in that thereis no Haar measure assumed. 2000 Mathematics Subject Classification: 46L65, 46L07, 46L89.     

A bifurcation problem governed by the boundary condition II

In this work we consider the problem u = a(x)u^p in on , where is a smooth bounded domain, isthe outward unit normal to , is regarded as a parameter and0 < p < 1. We consider both cases where a(x) > 0 in or a(x) is allowed to vanish in a whole subdomain ₀ of . Ourmain results include existence of non-negative non-trivial solutionsin the range 0 < < ₁, where ₁ is characterized by meansof an eigenvalue problem, uniqueness and bifurcation from infinityof such solutions for small , and the appearance of dead coresfor large enough .     

General Uniqueness Results and Variation Speed for Blow-Up Solutions of Elliptic Equations

Let be a smooth bounded domain in R^N. We prove general uniquenessresults for equations of the form – u = au – b(x)f(u) in , subject to u = on . Our uniqueness theorem is establishedin a setting involving Karamata's theory on regularly varyingfunctions, which is used to relate the blow-up behavior of u(x)with f(u) and b(x), where b 0 on and a certain ratio involvingb is bounded near . A key step in our proof of uniqueness usesa modification of an iteration technique due to Safonov. 2000Mathematics Subject Classification 35J25 (primary), 35B40, 35J60(secondary).     

Cohomology of bifunctors

We initiate the study of the cohomology of (strict polynomial)bifunctors by introducing the foundational formalism, establishingnumerous properties in analogy with the cohomology of functors,and providing computational techniques. Since one of the initialmotivations for the study of functor cohomology was the determinationof H *(GL (k), S*(g) *(g)), we keep this challenging examplein mind as we achieve numerous computations which illustrateour methods.     

Moduli of McKay quiver representations I: the coherent component

For a finite abelian group G GL (n, ), we describe the coherent component Y of the moduli space of-stable McKay quiver representations. This is a not-necessarily-normaltoric variety that admits a projective birational morphism obtained by variation of GeometricInvariant Theory quotient. As a special case, this gives a newconstruction of Nakamura's G-Hilbert scheme Hilb^G that avoidsthe (typically highly singular) Hilbert scheme of |G|-pointsin . To conclude, we describe the toric fan of Y and hence calculate the quiver representationcorresponding to any point of Y.     

Invariability of Trivial Extensions of Tilted Algebras Under Stable Equivalences

As a sequel to [8], we investigate here the behaviour of thetrivial extensions of tilted algebras under stable equivalence.It will be shown that if a finite-dimensional symmetric algebra is stably equivalent to the trivial extension of a tilted algebraB, then is the trivial extension of some tilted algebra A whichhas the same type as B.     

A Joint Functional Calculus for Sectorial Operators with Commuting Resolvents

In this paper we study the notion of joint functional calculusassociated with a couple of resolvent commuting sectorial operatorson a Banach space X. We present some positive results when Xis, for example, a Banach lattice or a quotient of subspacesof a B-convex Banach lattice. Furthermore, we develop a notionof a generalized H-functional calculus associated with the extensionto (H) of a sectorial operator on a B-convex Banach lattice, where H is a Hilbert space. We apply our results to a newconstruction of operators with a bounded H-functional calculusand to the maximal regularity problem. 1991 Mathematics SubjectClassification: 47A60, 47D06, 46C15.     

On the Pair Correlation of Zeros of the Riemann Zeta-Function

To study the distribution of pairs of zeros of the Riemann zeta-function,Montgomery introduced the function where is real and T 2, and ' denote the imaginary parts ofzeros of the Riemann zeta-function, and w(u) = 4/(4 + u²). Assumingthe Riemann Hypothesis, Montgomery proved an asymptotic formulafor F() when || 1, and made the conjecture that F() = 1 + o(1)as T for any bounded with || 1. In this paper we use anapproximation for the prime indicator function together witha new mean value theorem for long Dirichlet polynomials andtails of Dirichlet series to prove that, assuming the GeneralizedRiemann Hypothesis for all Dirichlet L-functions, then for any > 0 we have uniformlyfor and all T T₀(). 1991Mathematics Subject Classification: primary 11M26; secondary11P32.     

Unicity of Types for Supercuspidal Representations of GLN

Let F be a non-Archimedean local field, with the ring of integerso_F. Let G = GL_N(F), K = GL_N (o_F), and be a supercuspidal representationof G. We show that there exists a unique irreducible smoothrepresentation of K, such that the restriction to K of a smoothirreducible representation ' of G contains if and only if 'is isomorphic to ° det, where is an unramified quasicharacterof F^x. Moreover, we show that contains with the multiplicity1. As a corollary we obtain a kind of inertial local Langlandscorrespondence. 2000 Mathematics Subject Classification 22E50.     

On Decomposition Numbers and Branching Coefficients for Symmetric and Special Linear Groups

In this paper we find the multiplicities dim L()_– where is an arbitrary root and L() is an irreducible SL_n-module withhighest weight . We provide different bases of the correspondingweight spaces and outline some applications to the symmetricgroups. In particular we describe certain composition multiplicitiesin the modular branching rule. 1991 Mathematics Subject Classification:20C05, 20G05.     

Large Lattices Over Orders

Let K be the quotient field of a Dedekind domain R. We characterizethe R-orders in a separable K-algebra for which every R-projective-module decomposes into -lattices. Butler, Campbell and Kovácshave recently shown that the latter holds for the integral groupring of a cyclic group of prime order, as well as for lattice-finiteorders over a complete discrete valuation domain. 2000 MathematicsSubject Classification 16H05, 16G30 (primary), 05C65 (secondary).