title: Invitation to higher local fields, Part I, section 17: An approach to higher ramification theory

abstract: This is an introduction to author's ramification theory of a complete discrete valuation field with residue field whose p-basis consists of at most one element. New lower and upper filtrations are defined; cyclic extensions of degree p may have non-integer ramification breaks. A refinement of the filtration for two-dimensional local fields which is compatible with the reciprocity map is discussed.


title: Invitation to higher local fields, Part I, section 18: On ramification theory of monogenic extensions

abstract: Ramification theory of monogenic extensions of complete discrete valuation fields is presented. Relations to Kato's conductor are discussed.


title: Invitation to higher local fields, Interlude: Existence theorem for higher local class field theory

abstract: Viewing higher local fields as ring objects in the category of iterated pro-ind-objects, a definition of open subgroups in Milnor K-groups of the fields is given. The self-duality of the additive group of a higher local field is proved. By studying norm groups of cohomological objects and using cohomological approach to higher local class field theory the existence theorem is proved.


title: Invitation to higher local fields, Part II, section 1: Higher dimensional local fields and L-functions

abstract: This work describes several first steps in extending Tate-Iwasawa's analytic method to define an L-function in higher dimensions. For generalizing this method the author advocates the usefulness of the classical Riemann-Hecke approach, his adelic complexes together with his generalization of Krichever's correspondence. He analyzes dimension 1 types of functions and discusses properties of the lattice of commensurable classes of subspaces in the adelic space associated to a divisor on an algebraic surface.


title: Invitation to higher local fields, Part II, section 2: Adelic constructions for direct images of differentials and symbols

abstract: This work introduces adelic constructions of direct images of differentials and symbols in the two-dimensional case in the relative situation. In particular, reciprocity laws for relative residues of differentials and symbols are stated and applied to a construction of the Gysin map for Chow groups.


title: Invitation to higher local fields, Part II, section 3: The Bruhat-Tits buildings over higher dimensional local fields

abstract: This work introduces author's theory of Bruhat-Tits buildings over higher dimensional local fields. The theory is illustrated with the buildings for PGL(2) and PGL(3) for one- and two-dimensional local fields.


title: Invitation to higher local fields, Part II, section 4: Drinfeld modules and local fields of positive characteristic

abstract: This work is a survey of relations between Drinfeld modules and higher dimensional fields of positive characteristic. The main new result stated is the expression of vanishing orders of certain modular forms through partial zeta values.


title: Invitation to higher local fields, Part II, section 5: Harmonic analysis on algebraic groups over two-dimensional local fields of equal characteristic

abstract: This work introduces author's approach to harmonic analysis on algebraic groups over functional two-dimensional local fields. For a two-dimensional local field a Hecke algebra which is formed by operators which integrate pro-locally-constant complex functions over a non-compact domain is defined and its properties are described.


title: Invitation to higher local fields, Part II, section 6: Phi-Gamma-modules and Galois cohomology

abstract: This is is a survey of applications of Fontaine's theory of p-adic representations of local fields (Phi-Gamma-modules) to Galois cohomology of local fields and explicit formulas for the Hilbert symbol in relation with two-dimensional local objects.


title: Invitation to higher local fields, Part II, section 7: Recovering higher global and local fields from Galois groups - an algebraic approach

abstract: A main problem in Galois theory is to characterize the fields with a given absolute Galois group. We apply a K-theoretic method for constructing valuations to study this problem in various situations. As a first application we obtain an algebraic proof of the 0-dimensional case of Grothendieck's anabelian conjecture (proven by Pop), which says that finitely generated infinite fields are determined up to purely inseparable extensions by their absolute Galois groups. As a second application (which is a joint work with Fesenko) we analyze the arithmetic structure of fields with the same absolute Galois group as a higher-dimensional local field.


title: Invitation to higher local fields, Part II, section 8: Higher local skew fields

abstract: This work studies two dimensional local skew fields and their automorphisms.


title: Invitation to higher local fields, Part II, section 9: Local reciprocity cycles

abstract: This is an introduction to noncommutative local reciprocity maps for totally ramified Galois extensions with arithmetically profinite group. These maps in general are not homomorphisms but Galois cycles; a description of their image and kernel is included.


title: Invitation to higher local fields, Part II, section 10: Galois modules and class field theory

abstract: This is a concise survey of links between Galois module theory and class field theory (CFT). It explores various uses of CFT in Galois module theory, it comments on the absence of CFT in contexts where it might be expected to play a role and indicates some lines of research that might bring CFT to play a more prominent role in Galois module theory.


title: Counting Paths in Graphs

abstract: We give a simple combinatorial proof of a formula that extends a result by Grigorchuk (rediscovered by Cohen) relating cogrowth and spectral radius of random walks. Our main result is an explicit equation determining the number of `bumps' on paths in a graph: in a $d$-regular (not necessarily transitive) non-oriented graph let the series $G(t)$ count all paths between two fixed points weighted by their length $t^{length}$, and $F(u,t)$ count the same paths, weighted as $u^{number of bumps}t^{length}$. Then one has $$F(1-u,t)/(1-u^2t^2) = G(t/(1+u(d-u)t^2))/(1+u(d-u)t^2).$$ We then derive the circuit series of `free products' and `direct products' of graphs. We also obtain a generalized form of the Ihara-Selberg zeta function.


title: Stable commutator length of a Dehn twist

abstract: It is proved that the stable commutator length of a Dehn twist in the mapping class group is positive and the tenth power of a Dehn twist about a nonseparating simple closed curve is a product of two commutators. As an application a new proof of the fact that the growth rate of a Dehn twist is linear is given.


title: Learning Complexity Dimensions for a Continuous-Time Control System

abstract: This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that input signals have only a finite number k of frequency components, and systems to be identified have dimension no greater than n. The main result establishes that the sample complexity needed for identification scales polynomially with n and logarithmically with k.


title: Bialgebroids, $\times_{A}$-bialgebras and duality

abstract: An equivalence between Lu's bialgebroids, Xu's bialgebroids with an anchor and Takeuchi's $\times_{A}$-bialgebras is explicitly proven. A new class of examples of bialgebroids is constructed. A (formal) dual of a bialgebroid, termed bicoalgebroid, is defined. A weak Hopf algebra is shown to be an example of such a bicoalgebroid.


title: Toric degenerations of Schubert varieties

abstract: Let $G$ be a simply connected semi-simple complex algebraic group. Fix a maximal torus $T$ and a Borel subgroup $B$ such that $T\subset B\subset G$. Let $W$ the Weyl group of $G$ relative to $T$. For any $w$ in $W$, let $X_w=\bar {BwB/B}$ denote the Schubert variety corresponding to $w$. This talk is concerned with the following problem : Is there a flat family over Spec${\bf C}[t]$, such that the general fiber is $X_w$ and the special fiber is a toric variety? Our approach of the problem is based on the canonical/global base of Lusztig/Kashiwara and the so-called string parametrization of this base studied by P. Littelmann and made precise by A. Berenstein and A. Zelevinsky. Fix $w$ in $W$ and let $P^+$ be the semigroup of dominant weights. For all $\lambda$ in $P^+$, let ${\cal L}_\lambda$ be the line bundle on $G/B$ corresponding to $\lambda$. Then, the direct sum of global sections $R_w:=\bigoplus_{\lambda\in P^+}H^0(X_w,{\cal L}_\lambda)$ carries a natural structure of $P^+$-graded ${\bf C}$-algebra. Moreover, there exists a natural action of $T$ on $R_w$. Our principal result can be stated as follows : There exists a filtration $({\cal F}_m^w)_{m\in{\bf N}}$ of $R_w$ such that (i) for all $m$ in ${\bf N}$, ${\cal F}_m^w$ is compatible with the $P^+$-grading of $R_w$, (ii) for all $m$ in ${\bf N}$, ${\cal F}_m^w$ is compatible with the action of $T$, (iii) the associated graded algebra is the ${\bf C}$-algebra of the semigroup of integral points in a rational convex polyhedral cone. Equations for this cone were obtained by A. Berenstein and A. Zelevinski from $\tilde w_0$-trails in fundamental Weyl modules of the Langlands dual of $G$. By standard arguments, the previous theorem gives a positive answer to the Degeneration Problem.


title: The cup product of the Hilbert scheme for K3 surfaces

abstract: To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A^[n] in such a way that for any smooth projective surface X with trivial canonical divisor there is a canonical isomorphism of rings between (H*X)^[n] and the cohomology H*(X^[n]) of the n-th Hilbert scheme of X.


title: Closedness of the Space of AHE Metrics on 4-Manifolds

abstract: See comment above.


title: Universal Teichmuller Space

abstract: We present an outline of the theory of universal Teichmuller space, viewed as part of the theory of QS, the space of quasisymmetric homeomorphisms of a circle. Although elements of QS act in one dimension, most results depend on a two-dimensional proof. QS has a manifold structure modelled on a Banach space, and after factorization by PSL(2,R} it becomes a complex manifold. This quotient space contains deformation spaces of many types of dynamical system and for every hyperbolic Riemann surface, and in this naive sense it is universal. Here however, we focus on the analytic foundations of the theory necessary for applications to dynamical systems and rigidity. We divide the paper into two parts. The first part concerns the real theory of QS and results that can be stated purely in real terms; the basic properties are given mostly without proof, except in certain cases when an easy real-variable proof is available. The second part of the paper brings in the complex analysis and promotes the view that properties of quasisymmetric maps are most easily understood by consideration of their possible two-dimensional quasiconformal extensions.


title: Extremal properties for dissections of convex 3-polytopes

abstract: A dissection of a convex d-polytope is a partition of the polytope into d-simplices whose vertices are among the vertices of the polytope. Triangulations are dissections that have the additional property that the set of all its simplices forms a simplicial complex. The size of a dissection is the number of d-simplices it contains. This paper compares triangulations of maximal size with dissections of maximal size. We also exhibit lower and upper bounds for the size of dissections of a 3-polytope and analyze extremal size triangulations for specific non-simplicial polytopes: prisms, antiprisms, Archimedean solids, and combinatorial d-cubes.


title: Are a and d your cup of tea?

abstract: We show that, consistently, every MAD family has cardinality strictly bigger than the dominating number, that is a > d, thus solving one of the oldest problems on cardinal invariants of the continuum. The method is a contribution to the theory of iterated forcing for making the continuum large.


title: On ultraproducts of Boolean Algebras and irr

abstract: We prove the consistency of irr(prod limits_{i<kappa}B_i/D)< prod limits_{i<kappa}irr(B_i)/D, where D is an ultrafilter on kappa and each B_i is a Boolean Algebra. This solves the last problem of this form from the Monk's list of problems, that is number 35. The solution applies to many other properties, e.g., Souslinity. Next, we get similar results with kappa = aleph_1 (easily we cannot have it for kappa=aleph_0) and Boolean Algebras B_i (i< kappa) of cardinality < beth_{omega_1}.


title: It is consistent with ZFC that B_1-groups are not B_2-groups

abstract: A torsion-free abelian group B of arbitrary rank is called a B_1-group if Bext^1(B,T)=0 for every torsion abelian group T, where Bext^1 denotes the group of equivalence classes of all balanced exact extensions of T by B. It is a long-standing problem whether or not the class of B_1-groups coincides with the class of B_2-groups. A torsion-free abelian group B is called a B_2-group if there exists a continuous well-ordered ascending chain of pure subgroups, 0=B_0 subset B_1 subset ... subset B_alpha subset ... subset B_lambda =B=bigcup_{alpha in lambda} B_alpha such that B_{alpha+1}=B_alpha+G_alpha for every alpha in lambda for some finite rank Butler group G_alpha. Both, B_1-groups and B_2-groups are natural generalizations of finite rank Butler groups to the infinite rank case and it is known that every B_2-group is a B_1-group. Moreover, assuming V=L it was proven that the two classes coincide. Here we demonstrate that it is undecidable in ZFC whether or not all B_1-groups are B_2-groups. Using Cohen forcing we prove that there is a model of ZFC in which there exists a B_1-group that is not a B_2-group.


title: Localic Galois Theory

abstract: In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its galois group. We first state and prove the (dual) categorical interpretation of of this statement, which is a theorem about atomic sites with a representable point. In the general case, the point determines a proobject and it becomes (tautologically) prorepresentable. We state and prove the, mutatus mutatis, prorepresentable version of Galois theorem. In this case the classical group of automorphisms has to be replaced by the localic group of automorphisms. These developments form the content of a theory that we call "Localic Galois Theory". An straightforward corollary of this theory is the theorem: "A topos with a point is connected atomic if and only if it is the classifying topos of a localic group, and this group can be taken to be the locale of automorphisms of the point". This theorem was first proved in print in Joyal A, Tierney M. "An extension of the Galois Theory of Grothendieck", Mem. AMS 151, Theorem 1, Section 3, Chapter VIII. Our proof is completely independent of descent theory and of any other result in that paper.


title: Spectra of non-commutative dynamical systems and graphs related to fractal groups

abstract: We study spectra of noncommutative dynamical systems, representations of fractal groups, and regular graphs. We explicitly compute these spectra for five examples of groups acting on rooted trees, and in three cases obtain totally disconnected sets.


title: Sous-groupes paraboliques et representations de groupes branches

abstract: Let G be a branch group (as defined by Grigorchuk) acting on a tree T. A parabolic subgroup P is the stabiliser of an infinite geodesic ray in T. We denote by $\rho_{G/P}$ the associated quasi-regular representation. If G is discrete, these representations are irreducible, but if G is profinite, they split as a direct sum of finite-dimensionalrepresentations $\rho_{G/P_{n+1}}\ominus\rho_{G/P_n}$, where P_n is the stabiliser of a level-n vertex in T. For a few concrete examples, we completely split $\rho_{G/P_n}$ in irreducible components. $(G,P_n)$ and $(G,P)$ are Gelfand pairs, whence new occurrences of abelian Hecke algebra.


title: On twisted representations of vertex algebras

abstract: In this paper we develop a formalism for working with twisted realizations of vertex and conformal algebras. As an example, we study realizations of conformal algebras by twisted formal power series. The main application of our technique is the construction of a very large family of representations for the vertex superalgebra $\goth V_\Lambda$ corresponding to an integer lattice $\Lambda$. For an automorphism $\^\sigma:\goth V_\Lambda\to\goth V_\Lambda$ coming from a finite order automorphism $\sigma:\Lambda \to \Lambda$ we define a category $\cal O_{\^\sigma}$ of twisted representations of $\goth V_\Lambda$ and show that this category is semisimple with finitely many isomorphism classes of simple objects.


title: The Complexity of Finding Small Triangulations of Convex 3-Polytopes

abstract: The problem of finding a triangulation of a convex three-dimensional polytope with few tetrahedra is proved to be NP-hard. We discuss other related complexity results.


title: Hyperelliptic curves in characteristic 2

abstract: In this paper we prove that there are no hyperelliptic supersingular curves over F_2bar of genus 2^n-1 for any integer n>1. Let g be a natural number, and h=floor(log_2(g+1)+1). Let X be a hyperelliptic curve over F_2bar of genus g>2 and 2-rank zero, given by an affine equation y^2-y=c_{2g+1} x^{2g+1} +...+ c_1 x. We prove that the first slope of the Newton polygon of X is bigger than or equal to 1/h. We also prove that the equality holds if (I) g<2^h-2, c_{2^h-1} is nonzero; or (II) g=2^h-2, c_{2^h-1} or c_{3(2^{h-1})-1} is nonzero. We prove that genus-4 hyperelliptic curve over F_2bar are precisely those with equations y^2 - y = x^9 + a x^5 + b x^3.


title: Polyomino convolutions and tiling problems

abstract: We define a convolution operation on the set of polyominoes and use it to obtain a criterion for a given polyomino not to tile the plane (rotations and translations allowed). We apply the criterion to several families of polyominoes, and show that the criterion detects some cases that are not detectable by generalized coloring arguments.


title: Logarithmic orbifold Euler numbers of surfaces with applications

abstract: We introduce orbifold Euler numbers for normal surfaces with Q-divisors. These numbers behave multiplicatively under finite maps and in the log canonical case we prove that they satisfy the Bogomolov-Miyaoka-Yau type inequality. As a corollary we prove effective versions of Bogomolov's result on boundedness of rational curves in some surfaces of general type. Finally, we give some applications to singularities of plane curves.


title: Stability of travelling-wave solutions for reaction-diffusion-convection systems

abstract: We are concerned with the asymptotic behaviour of classical solutions of systems of the form u_t = Au_xx + f(u, u_x), x in R, t>0, u(x,t) a vector in RN, with u(x,0)= U(x), where A is a positive-definite diagonal matrix and f is a 'bistable' nonlinearity satisfying conditions which guarantee the existence of a comparison principle. Suppose that there is a travelling-front solution w with velocity c, that connects two stable equilibria of f. We show that if U is bounded, uniformly continuously differentiable and such that w(x) - U(x) is small when the modulus of x is large, then there exists y in R such that u(., t) converges to w(.+y-ct) in the C1 norm at an exponential rate as t tends to infinity. Our approach extends an idea developed by Roquejoffre, Terman and Volpert in the convectionless case, where f is independent of u_x.


title: Twisted Yangians and folded W-algebras

abstract: We show that the truncation of twisted Yangians are isomorphic to finite W-algebras based on orthogonal or symplectic algebras. This isomorphism allows us to classify all the finite dimensional irreducible representations of the quoted W-algebras. We also give an R-matrix for these W-algebras, and determine their center.


title: The Ito Formula for Essentially Self-Adjoint Quantum Semimartingales

abstract: The quantum Ito formula has so far been proved for regular (bounded) quantum semimartingales We give three different extensions to classes of essentially self-adjoint (unbounded) quantum semimartingales. The first extension is to quantum semimartingales whose integrands have chaos matrices controlled by certain scalar matrices The second extension is to perturbations of classical, possibly unbounded, quantum semimartingales by bounded quantum semimartingales The third extension is obtained by perturbing an essentially self-adjoint quantum semimartingale satisfying the quantum Duhamel formula by a regular quantum semimartingle.


title: Singularities and Poisson geometry of certain representation spaces

abstract: Playing off against each other the real and complex structures, we elucidate the local structure of certain representation spaces in the world of Poisson geometry. Particular cases of these spaces arise as moduli spaces of semistable holomorphic vector bundles on Riemann surfaces.


title: The volume of hyperbolic alternating link complements

abstract: If a hyperbolic link has a prime alternating diagram D, then we show that the link complement's volume can be estimated directly from D. We define a very elementary invariant of the diagram D, its twist number t(D), and show that the volume lies between v_3(t(D) - 2)/2 and v_3(16t(D) - 16), where v_3 is the volume of a regular hyperbolic ideal 3-simplex. As a consequence, the set of all hyperbolic alternating and augmented alternating link complements is a closed subset of the space of all complete finite volume hyperbolic 3-manifolds, in the geometric topology. The appendix by Ian Agol and Dylan Thurston, which was written after the first version of this paper was distributed, improves the upper bound on volume to v_3(10t(D) - 10). In addition, examples of alternating links are given which asymptotically achieve this bound.


title: Some results related to the Logvinenko-Sereda theorem

abstract: We prove several results related to the theorem of Logvinenko and Sereda on determining sets for functions with Fourier transforms supported in an interval. We obtain a polynomial instead of exponential bound in this theorem, and we extend it to the case of functions with Fourier transforms supported in the union of a bounded number of intervals. The same results hold in all dimensions.


title: $L_h^2$-domains of holomorphy and the Bergman kernel

abstract: We give a characterization of $L_h^2$-domains of holomorphy with the help of the boundary behavior of the Bergman kernel and geometric properties of the boundary, respectively.


title: An example concerning Bergman completeness

abstract: We construct a bounded plane domain which is Bergman complete but for which the Bergman kernel does not tend to infinity as the point approaches the boundary.


title: Twisted connected sums and special Riemannian holonomy

abstract: We give a new, connected-sum-like construction of Riemannian metrics with special holonomy G_2 on compact 7-manifolds. The construction is based on a gluing theorem for appropriate elliptic partial differential equations. As a prerequisite, we also obtain asymptotically cylindrical Riemannian manifolds with holonomy SU(3) building up on the work of Tian and Yau. Examples of new topological types of compact 7-manifolds with holonomy G_2 are constructed using Fano 3-folds.


title: Combinatorics of the $\hat{sl}_2$ Spaces of Coinvariants III

abstract: We give the fermionic character formulas for the spaces of coinvariants obtained from level $k$ integrable representations of $\hat{\mathfrak sl}_2$. We establish the functional realization of the spaces dual to the coinvariant spaces. We parameterize functions in the dual spaces by rigged partitions, and prove the recursion relations for the sets of rigged partitions.


title: Discrete bispectral Darboux transformations from Jacobi operators

abstract: We construct families of bispectral difference operators of the form a(n)T + b(n) + c(n) T^{-1} where T is the shift operator. They are obtained as discrete Darboux transformations from appropriate extensions of Jacobi operators. We conjecture that along with operators previously constructed by Grunbaum, Haine, Horozov, and Iliev they exhaust all bispectral regular (i.e. a(n)c(n) \neq 0, for all integer n) operators of the form above.


title: Transitive permutation groups of prime-squared degree

abstract: We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley graphs of order p-squared.


title: Vertex operator algebra arising from the minimal series M(3,p) and monomial basis

abstract: We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V. Using the Fourier components of a(z), we present a monomial basis of W and a semi-infinite monomial basis of V. We also give a Gordon type formula for their characters.


title: Type A fusion rules from elementary group theory

abstract: We show how the fusion rules for an affine Kac-Moody Lie algebra g of type A_{n-1}, n = 2 or 3, for all positive integral level k, can be obtained from elementary group theory. The orbits of the kth symmetric group, S_k, acting on k-tuples of integers modulo n, Z_n^k, are in one-to-one correspondence with a basis of the level k fusion algebra for g. If [a],[b],[c] are any three orbits, then S_k acts on T([a],[b],[c]) = {(x,y,z)\in [a]x[b]x[c] such that x+y+z=0}, which decomposes into a finite number, M([a],[b],[c]), of orbits under that action. Let N = N([a],[b],[c]) denote the fusion coefficient associated with that triple of elements of the fusion algebra. For n = 2 we prove that M([a],[b],[c]) = N, and for n = 3 we prove that M([a],[b],[c]) = N(N+1)/2. This extends previous work on the fusion rules of the Virasoro minimal models [Akman, Feingold, Weiner, Minimal model fusion rules from 2-groups, Letters in Math. Phys. 40 (1997), 159-169].


title: Semi-infinite cohomology and superconformal algebras

abstract: We describe representations of certain superconformal algebras in the semi-infinite Weil complex related to the loop algebra of a complex finite-dimensional Lie algebra and in the semi-infinite cohomology. We show that in the case where the Lie algebra is endowed with a non-degenerate invariant symmetric bilinear form, the relative semi-infinite cohomology of the loop algebra has a structure, which is analogous to the classical structure of the de Rham cohomology in K\"ahler geometry.


title: Fourier-Mukai Transform and Mirror Symmetry for D-Branes on Elliptic Calabi-Yau

abstract: Fibrewise T-duality (Fourier-Mukai transform) for D-branes on an elliptic Calabi-Yau three-fold $X$ is seen to have an expected adiabatic form for its induced cohomology operation only when an appropriately twisted operation resp. twisted charge is defined. Some differences with the case of $K3$ as well as connections with the spectral cover construction for bundles on $X$ are pointed out. In the context of mirror symmetry Kontsevich's association of line bundle twists (resp. a certain 'diagonal' operation) with monodromies (esp. the conifold monodromy) is made explicit and checked for two example models. Interpreting this association as a relation between FM transforms and monodromies, we express the fibrewise FM transform through known monodromies. The operation of fibrewise duality as well as the notion of a certain index relevant to the computation of the moduli space of the bundle is transported to the sLag side. Finally the moduli space for D4-branes and its behaviour under the FM transform is considered with an application to the spectral cover.


title: The vertex ideal of a lattice

abstract: We introduce a monomial ideal whose standard monomials encode the vertices of all fibers of a lattice. We study the minimal generators, the radical, the associated primes and the primary decomposition of this ideal, as well as its relation to initial ideals of lattice ideals.


title: Matroids, motives and conjecture of Kontsevich

abstract: Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.


title: Decoupling Braided Tensor Factors

abstract: We briefly report on our result that the braided tensor product algebra of two module algebras $A_1,A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $H_1$ with a subalgebra isomorphic to $A_2$ and commuting with $A_1$, provided there exists a realization of $H$ within $A_1$. As applications of the theorem we consider the braided tensor product algebras of two or more quantum group covariant quantum spaces or deformed Heisenberg algebras.


title: One more proof of the Borodin-Okounkov formula for Toeplitz determinants

abstract: Recently, Borodin and Okounkov established a remarkable identity for Toeplitz determinants. Two other proofs of this identity were subsequently found by Basor and Widom, who also extended the formula to the block case. We here give one more proof, also for the block case. This proof is based on a formula for the inverse of a finite block Toeplitz matrix obtained in the late seventies by Silbermann and the author.


title: On Cohen-Macaulay rings of invariants

abstract: We investigate the transfer of the Cohen-Macaulay property from a commutative ring to a subring of invariants under the action of a finite group. Our point of view is ring theoretic and not a priori tailored to a particular type of group action. As an illustration, we briefly discuss the special case of multiplicative actions, that is, actions on group algebras $k[\bbZ^n]$ via an action on $\bbZ^n$.


title: The moduli space of bilevel-6 abelian surfaces

abstract: The moduli space of abelian surfaces with polarisation of type (1,6) and a bilevel structure has positive Kodaira dimension. By contrast, Mukai has shown that the moduli space of bilevel-t abelian sufaces is rational for t=2,3,4,5.


title: Probability and Geometry on some Noncommutative Manifolds

abstract: In a noncommutative torus, effect of perturbation by inner derivation on the associated quantum stochastic process and geometric parameters like volume and scalar curvature have been studied. Cohomological calculations show that the above perturbation produces new spectral triples. Also for the Weyl C^*-algebra, the Laplacian associated with a natural stochastic process is obtained and associated volume form is calculated. Keywords: noncommutative torus, Laplacian, Dixmier trace, quantum stochastic process.


title: On the k-Systems of a Simple Polytope

abstract: A k-system of the graph G(P) of a simple polytope P is a set of induced subgraphs of G(P) that shares certain properties with the set of subgraphs induced by the k-faces of P. This new concept leads to polynomial-size certificates in terms of G(P) for both the set of vertex sets of facets as well as for abstract objective functions (AOF) in the sense of Kalai. Moreover, it is proved that an acyclic orientation yields an AOF if and only if it induces a unique sink on every 2-face.


title: Automatic continuity and weighted composition operators between spaces of vector-valued differentiable functions

abstract: It is proved that every linear biseparating map between spaces of vector-valued differentiable functions is a weighted composition map. As a consequence, such a map is always continuous.


title: Geometry of GL_n(C) on infinity: complete collineations, projective compactifications, and universal boundary

abstract: Consider a finite dimensional (generally reducible) polynomial representation \rho of GL_n. A projective compactification of GL_n is the closure of \rho(GL_n) in the space of all operators defined up to a factor (this class of spaces can be characterized as equivariant projective normal compactifications of GL_n). We give an expicit description for all projective compactifications. We also construct explicitly (in elementary geometrical terms) a universal object for all projective compactifications of GL_n.


title: Q-power function over Q-commuting variables and deformed XXX, XXZ chains

abstract: We find certain functional identities for the Gauss q-power function of a sum of q-commuting variables. Then we use these identities to obtain two-parameter twists of the quantum affine algebra U_q (\hat{sl}_2) and of the Yangian Y(sl_2). We determine the corresponding deformed trigonometric and rational quantum R-matrices, which then are used in the computation of deformed XXX and XXZ Hamiltonians.


title: The Hodge structure of semiample hypersurfaces and a generalization of the monomial-divisor mirror map

abstract: We solved the long-standing problem of describing the cohomology ring of semiample hypersurfaces in complete simplicial toric varieties. Also, the monomial-divisor mirror map is generalized to a map between the whole Picard group and the space of infinitesimal deformations for a mirror pair of Calabi-Yau hypersurfaces. This map is compatible with certain vanishing limiting products of the subrings of the chiral rings, on which the ring structure is related to a product of the roots of $A$-type Lie algebra.


title: Constraint Identification and Algorithm Stabilization for Degenerate Nonlinear Programs

abstract: In the vicinity of a solution of a nonlinear programming problem at which both strict complementarity and linear independence of the active constraints may fail to hold, we describe a technique for distinguishing weakly active from strongly active constraints. We show that this information can be used to modify the sequential quadratic programming algorithm so that it exhibits superlinear convergence to the solution under assumptions weaker than those made in previous analyses.


title: Stable Spin Maps, Gromov-Witten Invariants, and Quantum Cohomology

abstract: We introduce the stack of r-spin maps. These are stable maps into a variety V from n-pointed algebraic curves of genus g, with the additional data of an r-spin structure on the curve. We prove that this stack is a Deligne-Mumford stack, and we define analogs of the Gromov-Witten classes associated to these spaces. We show that these classes yield a cohomological field theory (CohFT) that is the tensor product of the CohFT associated to the usual Gromov-Witten invariants of V and the r-spin CohFT. When r=2, our construction gives the usual Gromov-Witten invariants of V. Restricting to genus zero, we obtain the notion of an r-spin quantum cohomology of V, whose Frobenius structure is isomorphic to the tensor product of the Frobenius manifolds corresponding to the quantum cohomology of V and the r-th Gelfand-Dickey hierarchy (or, equivalently, the A_{r-1} singularity). We also prove a generalization of the descent property which, in particular, explains the appearance of the psi-classes in the definition of gravitational descendants. Finally, we compute the small phase space potential function when r=3 and V=CP^1.


title: On surfaces with $p_g=q=2$ and non-birational bicanonical map

abstract: This paper is devoted to the classification of irregular surfaces of general type with $p_g=q=2$ and non birational bicanonical map. The main result is that, if $S$ is such a surface and if $S$ is minimal with no pencil of curves of genus 2, then $S$ is a double cover of a principally polarized abelian surface $(A,\Theta)$, with $\Theta$ irreducible. The double cover $S\to A$ is branched along a divisor $B\in |2\Theta|$, having at most double points and so $K_S^2=4$.


title: Relation between quantum invariants of 3-manifolds and 2-dimensional CW-complexes

abstract: We show that the Reshetikhin-Turaev-Walker invariant of 3-manifolds can be normalized to obtain an invariant of 4-dimensional thickenings of 2-complexes. Moreover when the underlying semisimple tortile category comes from the representations of a quantum group at a primitive prime root of unity, the 0-term in the Ohtsuki expansion of this invariant depends only on the spine and is the mod p invariant of 2-complexes defined previously from the second author. As a consequence it is shown that when the Euler characteristic is greater or equal to 1, the 2-complex invariant depends only on homology. The last statement doesn't hold for the negative Euler characteristic case.


title: K-Theory Past and Present

abstract: A brief account of K-theory written in honour of Friedrich Hirzebruch


title: A Note on a Specific Pencil of Conics in the Galois Fields of Order 2^n

abstract: The pencil of conics featuring three degenerate conics each of which is a line-pair is briefly inspected in a Galois field of characteristic two. It is shown that if two degenerates are conjugate imaginary line pairs, the third must be a real line pair; this contradicts Campbell's claim (Campbell 1927) that all the three singular conics are conjugate imaginary line pairs.


title: Equivariant Cohomology and Representations of the Symmetric Group

abstract: A cohomological study is made of an equivariant map betwen the configuration space of n points in space and the flag manifold of U(n).


title: An expansion of the Jones representation of genus 2 and the Torelli group

abstract: We study the algebraic property of the representation of the mapping class group of a closed oriented surface of genus 2 constructed by VFR Jones [Annals of Math. 126 (1987) 335-388]. It arises from the Iwahori-Hecke algebra representations of Artin's braid group of 6 strings, and is defined over integral Laurent polynomials Z[t, t^{-1}]. We substitute the parameter t with -e^{h}, and then expand the powers e^h in their Taylor series. This expansion naturally induces a filtration on the Torelli group which is coarser than its lower central series. We present some results on the structure of the associated graded quotients, which include that the second Johnson homomorphism factors through the representation. As an application, we also discuss the relation with the Casson invariant of homology 3-spheres.


title: Finite simple groups and localization

abstract: The purpose of this paper is to explore the concept of localization, which comes from homotopy theory, in the context of finite simple groups. We give an easy criterion for a finite simple group to be a localization of some simple subgroup and we apply it in various cases. Iterating this process allows us to connect many simple groups by a sequence of localizations. We prove that all sporadic simple groups (except possibly the Monster) and several groups of Lie type are connected to alternating groups. The question remains open whether or not there are several connected components within the family of finite simple groups.


title: The Penrose transform for compactly supported cohomology

abstract: We present a version of the Penrose transform which relates compactly supported cohomology on a complex or CR manifold Z to kernels and cokernels of differential operators on a parameter space X of compact complex submanifolds of Z.


title: Affine stacks (Champs affines)

abstract: This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and $p$-adic homotopy theory. This gives a first solution to A. Grothendieck's \emph{schematization problem} described in \cite{gr}. We also use affine stacks in order to introduce a notion of \emph{schematic homotopy types}. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyound rational and $p$-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various cohomology theories (Betti, de Rham, $l$-adic, ...), extending the well known constructions of the various fundamental groups. Finally, as algebraic stacks are obtained by gluing affine schemes we define \emph{$\infty$-geometric stacks} as a certain gluing of affine stacks. Example of $\infty$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.


title: Matrix balls, radial analysis of Berezin kernels, and hypergeometric determinants

abstract: Consider the pseidounitary group $G=U(p,q)$ and its compact subgroup $K=U(p)$. We construct an explicit unitary intertwining operator from the tensor product of a holomorphic representation and a antiholomorphic representation of $G$ to the space $L^2(G/K)$. This implies the existense of a canonical action of the group $G\times G$ in $L^2(G/K)$. We also give a survey of analysis of Berezin kernels and their relations with special functions.

categories: math.RT math-ph math.CA math.CV math.FA math.MP


title: Stable maps and Quot schemes

abstract: In this paper we study the relationship between two different compactifications of the space of vector bundle quotients of an arbitrary vector bundle on a curve. One is Grothendieck's Quot scheme, while the other is a moduli space of stable maps to the relative Grassmannian. We establish an essentially optimal upper bound on the dimension of the two compactifications. Based on that, we prove that for an arbitrary vector bundle, the Quot schemes of quotients of large degree are irreducible and generically smooth. We precisely describe all the vector bundles for which the same thing holds in the case of the moduli spaces of stable maps. We show that there are in general no natural morphisms between the two compactifications. Finally, as an application, we obtain new cases of a conjecture on effective base point freeness for pluritheta linear series on moduli spaces of vector bundles.


title: Convergence of formal equivalences of hypersurfaces

abstract: A formal invertible equivalence between two minimal real analytic hypersurfaces converges if and only if the hypersurfaces are holomorphically nondegenerate


title: Reflection principle and envelopes of holomorphy

abstract: The reflection function of a smooth CR diffeomorphism between two minimal real analytic hypersurfaces is everywhere real analytic.


title: A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms

abstract: Let M be a compact manifold of dimension at least 2, Diff^r(M) be the space of C^r diffeomorphisms of M. Define for any diffeomorphism f in Diff^r(M) number of isolated periodic points of period n by P_n(f)=# {isolated x in M: f^n(x)=x}. Artin--Mazur proved that for a dense set of diffeomorphisms the number of periodic points P_n(f) growth at most exponentially fast in n. The author proved that there is an open set N \subset Diff^r(M) such that for a Baire generic set of diffeomorphisms the number of periodic points P_n(f) growth arbitrarily fast. Arnold posed a problem: Prove that diffeomorphisms with at most exponential growth of the number of periodic points in period have probability one. In this paper we annonce and exhibit key ingredients for a partial solution to Arnold's problem: we prove that for any epsilon>0 with probability one the number of periodic points is bounded by a streched exponential estimate P_n(f)<exp(Cn^{1+epsilon}).


title: Deformation Invariance of Plurigenera

abstract: We prove the invariance of plurigenera under smooth projective deformations in full generality. The proof is done by several estimates of singular hermitian metrics in terms of $L^{2}$-extension theorem of holomorphic sections.


title: Stochastic differential equations for trace-class operators and quantum continual measurements

abstract: The theory of measurements continuous in time in quantum mechanics (quantum continual measurements) has been formulated by using the notions of instrument and positive operator valued measure, functional integrals, quantum stochastic differential equations and classical stochastic differential equations (SDE's). Various types of SDE's are involved, and precisely linear and non linear equations for vectors in Hilbert spaces and for trace-class operators. All such equations contain either a diffusive part, or a jump one, or both. In this paper we introduce a class of linear SDE's for trace-class operators, relevant to the theory of continual measurements, and we recall how such SDE's are related to instruments and master equations and, so, to the general formulation of quantum mechanics. We do not present the Hilbert space formulation of such SDE's and we make some mathematical simplifications: no time dependence is introduced into the coefficients and only bounded operators on the Hilbert space of the quantum system are considered. Then we introduce the notion of a posteriori state and the non linear SDE satisfied by such states and we give conditions from which such equation is assured to preserve pure states and to send any mixed state into a pure one for large times. Finally we review the known results about the existence and uniqueness of invariant measures in the purely diffusive case and we give some concrete examples of physical systems.


title: Induced representations of quantum kinematical algebras

abstract: We construct the induced representations of the null-plane quantum Poincar\'e and quantum kappa Galilei algebras in (1+1) dimensions. The induction procedure makes use of the concept of module and is based on the existence of a pair of Hopf algebras with a nondegenerate pairing and dual bases.


title: From local to global deformation quantization of Poisson manifolds

abstract: We give an explicit construction of a deformation quantization of the algebra of functions on a Poisson manifolds, based on Kontsevich's local formula. The deformed algebra of functions is realized as the algebra of horizontal sections of a vector bundle with flat connection.


title: Toric varieties whose blow-up at a point is Fano

abstract: We classify smooth toric Fano varieties of dimension $n\geq 3$ containing a toric divisor isomorphic to $\PP^{n-1}$. As a consequence of this classification, we show that any smooth complete toric variety $X$ of dimension $n\geq 3$ with a $T$-fixed point $x\in X$ such that the blow-up $B_x(X)$ of $X$ at $x$ is Fano is isomorphic either to $\PP^n$ or to the blow-up of $\PP^n$ along a $\PP^{n-2}$. As expected, such results are proved using toric Mori theory due to Reid.


title: Walks on the slit plane

abstract: In the first part of this paper, we enumerate exactly walks on the square lattice that start from the origin, but otherwise avoid the non positive horizontal half-axis. We call them "walks on the slit plane". We count them by their length, and by the coordinates of their endpoint. The corresponding three variable generating function is algebraic of degree 8. Moreover, for any point (i,j), the length generating function for walks of this type ending at (i,j) is also algebraic, of degree 2 or 4, and involves the famous Catalan numbers. Our method is based on the solution of a functional equation, established via a simple combinatorial argument. It actually works for more general models, in which walks take their steps in a finite subset of Z^2 satisfying two simple conditions. The corresponding generating functions are always algebraic. In the second part of the paper, we derive from our enumerative results a number of probabilistic corollaries. For instance, we can compute exactly the probability that an ordinary random walk starting from (i,j) hits for the first time the horizontal half-axis at position (k,0), for any triple (i,j,k). This generalizes a question raised by R. Kenyon, which was the starting point of this paper. Taking uniformly at random all n-step walks on the slit plane, we also compute the probability that they visit a given point (k,0), and the average number of visits to this point. In other words, we quantify the transience of the walks. Finally, we derive an explicit limit law for the coordinates of their endpoint.


title: A mass formula for unimodular lattices with no roots

abstract: We derive a mass formula for n-dimensional unimodular lattices having any prescribed root system. We use Katsurada's formula for the Fourier coefficients of Siegel Eisenstein series to compute these masses for all root systems of even unimodular 32-dimensional lattices and odd unimodular lattices of dimension n < 31. In particular, we find the mass of even unimodular 32-dimensional lattices with no roots, and the mass of odd unimodular lattices with no roots in dimension n < 31, verifying Bacher and Venkov's enumerations in dimensions 27 and 28. We also compute better lower bounds on the number of inequivalent unimodular lattices in dimensions 26 to 30 than those afforded by the Minkowski-Siegel mass constants. The ASCII text file table.txt (1.3 MB) at arXiv:math.NT/0012231 includes the complete table of masses of 32-dimensional even unimodular lattices with any given root system, and may be dowloaded using the source link.


title: Hydrodynamic equation for a deposition model

abstract: We show that the two-component system of hyperbolic conservation laws $\partial_t \rho + \partial_x (\rho u) =0 = \partial_t u + \partial_x \rho$ appears naturally in the formally computed hydrodynamic limit of some randomly growing interface models, and we study some properties of this system. We show that the two-component system of hyperbolic conservation laws $\partial_t \rho + \partial_x (\rho u) =0 = \partial_t u + \partial_x \rho$ appears naturally in the formally computed hydrodynamic limit of some randomly growing interface models, and we study some properties of this system.


title: On von Neumann spectral triples

abstract: We define the notion of von Neumann spectral triple and consider the associated index problem. We compute the analytic Chern-Connes character of such a von Neumann spectral triple and prove the corresponding local formula for its Hochschild class. This formula involves the Dixmier trace for $II_{\infty}$ von Neumann algebras. In the case of foliations, we identify this Dixmier trace with the corresponding measured Wodzicki residue.


title: Foliated group actions and cyclic cohomology

abstract: We prove a cyclic Lefschetz formula for foliations. To this end, we define a notion of equivariant cyclic cohomology and show that its expected pairing with K-theory is well defined. This enables to associate to any invariant transverse current on a compact foliated manifold, a Lefschetz formula for leafwise preserving isometries.


title: Stabilisation, bordism and embedded spheres in 4--manifolds

abstract: It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case, many of the obstructions to constructing such a sphere vanish if one modifies the ambient 4-manifold by adding products of 2-spheres, a process which is usually called stabilisation. In this paper, we extend this result to non-simply connected 4-manifolds and show how it is related to the Spin^c-bordism groups of Eilenberg-MacLane spaces.


title: Noncommutative Instantons on the 4-Sphere from Quantum Groups

abstract: We describe an approach to the noncommutative instantons on the 4-sphere based on quantum group theory. We quantize the Hopf bundle S^7 --> S^4 making use of the concept of quantum coisotropic subgroups. The analysis of the semiclassical Poisson--Lie structure of U(4) shows that the diagonal SU(2) must be conjugated to be properly quantized. The quantum coisotropic subgroup we obtain is the standard SU_q(2); it determines a new deformation of the 4-sphere Sigma^4_q as the algebra of coinvariants in S_q^7. We show that the quantum vector bundle associated to the fundamental corepresentation of SU_q(2) is finitely generated and projective and we compute the explicit projector. We give the unitary representations of Sigma^4_q, we define two 0-summable Fredholm modules and we compute the Chern-Connes pairing between the projector and their characters. It comes out that even the zero class in cyclic homology is non trivial.


title: A signal-recovery system: asymptotic properties and construction of an infinite volume limit

abstract: We consider a linear sequence of `nodes', each of which can be in state 0 (`off') or 1 (`on'). Signals from outside are sent to the rightmost node and travel instantaneously as far as possible to the left along nodes which are `on'. These nodes are immediately switched off, and become on again after a recovery time. The recovery times are independent exponentially distributed random variables. We present properties for finite systems and use some of these properties to construct an infinite-volume extension, with signals `coming from infinity'. This construction is related to a question by D. Aldous and we expect that it sheds some light on, and stimulates further investigation of, that question.


title: Quaternionic holomorphic geometry: Pluecker formula, Dirac eigenvalue estimates and energy estimates of harmonic 2-tori

abstract: The paper develops the fundamentals of quaternionic holomorphic curve theory. The holomorphic functions in this theory are conformal maps from a Riemann surface into the 4-sphere, i.e., the quaternionic projective line. Basic results such as the Riemann-Roch Theorem for quaternionic holomorphic vector bundles, the Kodaira embedding and the Pluecker relations for linear systems are proven. Interpretations of these results in terms of the differential geometry of surfaces in 3- and 4-space are hinted at throughout the paper. Applications to estimates of the Willmore functional on constant mean curvature tori, respectively energy estimates of harmonic 2-tori, and to Dirac eigenvalue estimates on Riemannian spin bundles in dimension 2 are given.


title: Lefschetz fibrations on compact Stein surfaces

abstract: The existence of a positive allowable Lefschetz fibration on a compact Stein surface with boundary was established by Loi and Piergallini by using branched covering techniques. Here we give an alternative simple proof of this fact and construct explicitly the vanishing cycles of the Lefschetz fibration, obtaining a direct identification of the set of compact Stein manifolds with positive allowable Lefschetz fibrations over a 2-disk. In the process we associate to every compact Stein manifold infinitely many nonequivalent such Lefschetz fibrations.


title: Real regulators on Milnor complexes

abstract: We give an explicit description of a real regulator from the cohomology of a Milnor complex associated to a projective algebraic manifold, to a certain quotient of Deligne cohomology.


title: Parabolic bundles, products of conjugacy classes, and quantum cohomology

abstract: In this version referee's comments have been incorporated. Besides minor corrections, new material has been added on irrational markings. To appear in Ann. Inst. Fourier. We prove a condition for the existence of flat bundles on the punctured two-sphere with prescribed holonomies around the punctures, involving Gromov-Witten invariants of generalized flag varieties. This generalizes the case of special unitary bundles described by S. Agnihotri and the second author and independently P. Belkale.


title: The simplest examples where the simplex method cycles and conditions where EXPAND fails to prevent cycling

abstract: This paper introduces a class of linear programming examples which cause the simplex method to cycle indefinitely and which are the simplest possible examples showing this behaviour. The structure of examples from this class repeats after two iterations. Cycling is shown to occur for both the most negative reduced cost and steepest edge column selection criteria. In addition it is shown that the EXPAND anti-cycling procedure of Gill et al.is not guaranteed to prevent cycling.


title: Reflection ideals and mappings between generic submanifolds in complex space

abstract: In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite determination result gives sufficient conditions to guarantee that a formal map as above is uniquely determined by its jet at a point of a preassigned order. For real-analytic generic submanifolds, we prove convergence of formal mappings under appropriate assumptions and also give natural geometric conditions to assure that if two germs of such submanifolds are formally equivalent, then they are necessarily biholomorphically equivalent. If the submanifolds are moreover real-algebraic, we address the question of deciding when biholomorphic equivalence implies algebraic equivalence. In particular, we prove that if two real-algebraic hypersurfaces in $\C^N$ are biholomorphically equivalent, then they are in fact algebraically equivalent. All the results are first proved in the more general context of ``reflection ideals" associated to formal mappings between formal as well as real-analytic and real-algebraic manifolds.


title: Graded multiplicities in the exterior algebra

abstract: We know the multiplicity of the adjoint representation of a semisimple Lie algebra in its own exterior algebra, but how do its copies distribute themselves between the exterior powers? The answer (the graded multiplicity) is obtained with the aid of Macdonald polynomials.


title: Commuting elements in Galois groups of function fields

abstract: We study abelian subgroups of Galois groups of function fields.


title: Classification of (n-5)-filiform Lie algebras

abstract: In this paper we consider the problem of classifying the $(n-5)$-filiform Lie algebras. This is the first index for which infinite parametrized families appear, as can be seen in dimension $7.$ Moreover we obtain large families of characteristic nilpotent Lie algebras with nilpotence index 5 and show that at least for dimension 10 there is a characteristic nilpotent Lie algebra with nilpotence index 4 which is the algebra of derivations of a nilpotent Lie algebra.


title: Combinatorial R matrices for a family of crystals : B^{(1)}_n, D^{(1)}_n, A^{(2)}_{2n} and D^{(2)}_{n+1} cases

abstract: For coherent families of crystals of affine Lie algebras of type B^{(1)}_n, D^{(1)}_n, A^{(2)}_{2n} and D^{(2)}_{n+1} we describe the combinatorial R matrix using column insertion algorithms for B,C,D Young tableaux.


title: Transgression on Hyperk\"{a}hler Manifolds and Generalized Higher Torsion Forms

abstract: We propose a generalization of the Hodge $dd_c$-lemma to the case of hyperk\"ahler manifolds. As an application of this result we derive the global construction of the fourth order transgression of the Chern character forms of hyperholomorphic bundles over compact hyperk\"ahler manifolds. At the second part of the paper we consider the fourth order transgression for the infinite dimensional bundle arising from local families of hyperk\"ahler manifolds. We propose a local construction of the fourth order transgression of the Chern character form. We derive an explicit expression for arising hypertorsion differential form. It's zero-degree part may be expressed in terms of the Laplace operators defined on the fibers of the local family.


title: Harmonic Twistor Formalism and Transgression on Hyperk\"ahler manifolds

abstract: In this paper we continue our study of the fourth order transgression on hyper\"ahler manifolds introduced in the previous paper. We give a local construction for the fourth-order transgression of the Chern character form of an arbitrary vector bundle supplied with a self-dual connection on a four dimensional hyperk\"ahler manifold. The construction is based on the harmonic twistor formalism. Remarkably, the resulted expression for the fourth order transgression is given in terms of the determinant of the $\bar{\partial}$-operator defined on fibers of the twistor fibration.


title: Sharp Lipschitz estimates for operator $\bar\partial_M$ on a q-pseudoconcave CR manifold

abstract: We construct integral homotopy operators on a regular CR manifold and prove sharp estimates for these operators in a special Lipschitz scale.


title: Euler characteristics of theta divisors of Jacobians for spectral curves

abstract: We show how to calculate the Euler characteristic of an affine Jacobi variety of a spectral curve from its defining equations.


title: On the orientation of graphs

abstract: In this short notice we give a universal definition of $\Z_2$-module $Or(\Gamma)$ of orientations of a graph $\Gamma$ and construct a method, by means of which one can easily verify whenever two such special definitions coincide.


title: An arithmetic function of two variables

abstract: The arithmetic function of two variables is defined. Some properties of the function are given along with the formula that is an analog of the so-called Mobius' inversion formula. A heuristic statement is suggested.


title: Optimal solvability for the Dirichlet and Neumann problem in dimension two

abstract: We show existence and uniqueness for the solutions of the regularity and the Neumann problems for harmonic functions on Lipschitz domains with data in the Hardy spaces H^p, p>2/3, where This in turn implies that solutions to the Dirichlet problem with data in the Holder class C^{1/2}(\partial D) are themselves in C^{1/2}(D). Both of these results are sharp. In fact, we prove a more general statement regarding the H^p solvability for divergence form elliptic equations with bounded measurable coefficients. We also prove similar solvability result for the regularity and Dirichlet problem for the biharmonic equation on Lipschitz domains.


title: On the geometric Langlands conjecture

abstract: Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack of rank n bundles on X (irreducible on each connected component), which is a Hecke eigensheaf with respect to E. In this paper we derive the geometric Langlands conjecture from a certain vanishing conjecture. Furthermore, using recent results of Lafforgue, we prove this vanishing conjecture, and hence the geometric Langlands conjecture, in the case when the ground field is finite.


title: Semidensities on Odd Symplectic Supermanifolds

abstract: We consider semidensities on a supermanifold E with an odd symplectic structure. We define a new $\Delta$-operator action on semidensities as the proper framework for Batalin-Vilkovisky formalism. We establish relations between semidensities on E and differential forms on Lagrangian surfaces. We apply these results to Batalin-Vilkovisky geometry. Another application is to (1.1)-codimensional surfaces in E. We construct a kind of pull-back of semidensities to such surfaces. This operation and the $\Delta$-operator are used for obtaining integral invariants for (1.1)-codimensional surfaces.


title: Logarithm-free A-hypergeometric series

abstract: We give a dimension formula for the space of logarithm-free series solutions to an A-hypergeometric (or a GKZ hypergeometric) system. In the case where the convex hull spanned by A is a simplex, we give a rank formula for the system, characterize the exceptional set, and prove the equivalence of the Cohen-Macaulayness of the toric variety defined by A with the emptiness of the exceptional set. Furthermore we classify A-hypergeometric systems as analytic D-modules.


title: Minimum multiplicities of subgraphs and Hamiltonian systems

abstract: Let G be a finite simple graph with automorphism group A(G). Then a spanning subgraph U of G is a fixing subgraph of G if G contains exactly $| A(G)|/ | A(G) \cap A(U)| $ subgraphs isomorphic to U: the graph G must always contain at least this number. If in addition $A(U) \subseteq A(G)$ then U is a strong fixing subgraph. Fixing subgraphs are important in many areas of graph theory. We consider them in the context of Hamiltonian graphs


title: Discriminants and Functional Equations for Polynomials Orthogonal on the Unit Circle

abstract: We derive raising and lowering operators for orthogonal polynomials on the unit circle and find second order differential and $q$-difference equations for these polynomials. A general functional equation is found which allows one to relate the zeros of the orthogonal polynomials to the stationary values of an explicit quasi-energy and implies recurrences on the orthogonal polynomial coefficients. We also evaluate the discriminants and quantized discriminants of polynomials orthogonal on the unit circle.


title: The Hodge Numbers of the Moduli Spaces of Vector Bundles over a Riemann surface

abstract: Inductive formulas for the Betti numbers of the moduli spaces of stable holomorphic vector bundles of coprime rank and degree over a fixed Riemann surface of genus at least two were obtained by Harder, Narasimhan, Desale and Ramanan using number theoretic methods and the Weil conjectures and were rederived by Atiyah and Bott using gauge theory. In this note we observe that there are similar inductive formulas for determining the Hodge numbers of these moduli spaces.


title: Eigenvalues of the Dirac Operator on Manifolds with Boundary

abstract: Under standard local boundary conditions or certain global APS boundary conditions, we get lower bounds for the eigenvalues of the Dirac operator on compact spin manifolds with boundary. Limiting cases are characterized by the existence of real Killing spinors and the minimality of the boundary.


title: Dirac Operator on Embedded Hypersurfaces

abstract: New extrinsic lower bounds are given for the classical Dirac operator on the boundary of a compact domain of a spin manifold. The main tool is to solve some boundary problems for the Dirac operator of the domain under boundary conditions of Atiyah-Patodi-Singer type. Spinorial techniques are used to give simple proofs of classical results for compact embedded hypersurfaces.


title: Describing coherent sheaves on projective spaces via Koszul duality

abstract: A new section on projections of coherent sheaves from a projective space to a lower-dimensional projective space has been added. Also some of the notation has been altered to bring it into line with the joint paper with Eisenbud and Schreyer.


title: Koszul duality and equivalences of categories

abstract: Let A and A! be dual Koszul algebras. By Positselski a filtered algebra U with gr U = A is Koszul dual to differential graded algebra (A!,d). We relate the module categories of this dual pair by a tensor-Hom adjunction. This descends to give an equivalence of suitable quotient categories and generalizes work of Beilinson, Ginzburg and Soergel.


title: Tilings of quadriculated annuli

abstract: Tilings of a quadriculated annulus A are counted according to volume (in the formal variable q) and flux (in p). We consider algebraic properties of the resulting generating function Phi_A(p,q). For q = -1, the non-zero roots in p must be roots of unity and for q > 0, real negative.


title: Extended F_4-buildings and the Baby Monster

abstract: The Baby Monster group B acts naturally on a geometry E(B) with diagram c.F_4(t) for t=4 and the action of B on E(B) is flag-transitive. It possesses the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2, and (b) three elements of type 1 are pairwise incident to common elements of type 2 iff they are incident to a common element of type 5. It is shown that E(B) is the only (non-necessary flag-transitive) c.F_4(t)-geometry, satisfying t=4, (a) and (b), thus obtaining the first characterization of B in terms of an incidence geometry, similar in vein to one known for classical groups acting on buildings. Further, it is shown that E(B) contains subgeometries E(^2E_6(2)) and E(Fi22) with diagrams c.F_4(2) and c.F_4(1). The stabilizers of these subgeometries induce on them flag-transitive actions of ^2E_6(2):2 and Fi22:2, respectively. Three further examples for t=2 with flag-transitive automorphism groups are constructed. A complete list of possibilities for the isomorphism type of the subgraph induced by the common neighbours of a pair of vertices at distance 2 in an arbitrary c.F_4(t) satisfying (a) and (b) is obtained.


title: A sample-paths approach to noise-induced synchronization: Stochastic resonance in a double-well potential

abstract: Additive white noise may significantly increase the response of bistable systems to a periodic driving signal. We consider two classes of double-well potentials, symmetric and asymmetric, modulated periodically in time with period $1/\eps$, where $\eps$ is a moderately (not exponentially) small parameter. We show that the response of the system changes drastically when the noise intensity $\sigma$ crosses a threshold value. Below the threshold, paths are concentrated near one potential well, and have an exponentially small probability to jump to the other well. Above the threshold, transitions between the wells occur with probability exponentially close to 1/2 in the symmetric case, and exponentially close to 1 in the asymmetric case. The transition zones are localised in time near the points of minimal barrier height. We give a mathematically rigorous description of the behaviour of individual paths, which allows us, in particular, to determine the power-law dependence of the critical noise intensity on $\eps$ and on the minimal barrier height, as well as the asymptotics of the transition and non-transition probabilities.


title: Linear functionals on idempotent spaces: an algebraic approach

abstract: In this paper, we present an algebraic approach to idempotent functional analysis, which is an abstract version of idempotent analysis. The basic concepts and results are expressed in purely algebraic terms. We consider idempotent versions of certain basic results of linear functional analysis, including the theorem on the general form of a linear functional and the Hahn-Banach and Riesz-Fischer theorems.


title: On Heegner points of large conductors

abstract: Given a parametrisation of an elliptic curve over Q by a Shimura curve, we show that the images of almost all Heegner points are of infinite order. For parametrisations of elliptic curves by modular curves this was proven earlier by Nekovar and Schappacher by a different method.


title: The 3D Quasigeostrophic Fluid Dynamics under Random Forcing on Boundary

abstract: The three-dimensional baroclinic quasigeostrophic flow model has been widely used to study basic mechanisms in oceanic flows and climate dynamics. In this paper, we consider this flow model under random wind forcing and time-periodic fluctuations on fluid boundary (the interface between the oceans and the atmosphere). The time-periodic fluctuations are due to periodic rotation of the earth and thus periodic exposure of the earth to the solar radiation. After establishing the well-posedness of the baroclinic quasigeostrophic flow model in the state space, we demonstrate the existence of the random attractors, again in the state space. We also discuss the relevance of our result to climate modeling.

categories: math.AP math-ph math.DS math.MP math.PR physics.ao-ph physics.data-an physics.flu-dyn physics.geo-ph


title: Singular polynomials of generalized Kasteleyn matrices

abstract: Kasteleyn counted the number of domino tilings of a rectangle by considering a mutation of the adjacency matrix: a Kasteleyn matrix K. In this paper we present a generalization of Kasteleyn matrices and a combinatorial interpretation for the coefficients of the characteristic polynomial of KK^\ast (which we call the singular polynomial), where K is a generalized Kasteleyn matrix for a planar bipartite graph. We also present a q-version of these ideas and a few results concerning tilings of special regions such as rectangles.


title: Braided quantum groups related to the quantum "ax+b" group

abstract: We consider quantum group theory on the Hilbert space level. We find all unitary representations of three braided quantum groups related to the quantum ``ax+b'' group. First we introduce an auxiliary braided quantum group, which is apparently not related to the quantum ``ax+b'' group, but easy to work with. We find all unitary representations of this quantum group. Then we use this result to find all unitary representations of another braided quantum group, whose C*-algebra is generated by two (out of three) generators generating (in the sense of Woronowicz) C*-algebra of the quantum ``ax+b''- group. We find all unitary representations of this other braided quantum group. This is the most difficult result needed to classify all unitary representations of the quantum ``ax+b'' group.


title: On the Brody hyperbolicity of moduli spaces for canonically polarized manifolds

abstract: Consider the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h, and let M_h be the corresponding coarse quasi-projective moduli scheme. We show that M_h is Brody hyperbolic in the following sense: Assume that for some quasi-projective variety U there exists a morphism U --> M_h, quasi-finite over its image, which is induced by a family f: V --> U, belonging to the moduli problem. Then all holomorphic maps from the complex plane to U are constant.


title: Weak Hopf algebra symmetries of C^*-algebra inclusions

abstract: After a summary on module algebra actions of C^*-weak Hopf algebras we outline the proof of a reconstruction theorem stating that every finite index depth 2 inclusion N < M of unital C^*-algebras with finite dimensional centers is isomorphic to the invariant subalgebra inclusion M^A < M with respect to a regular weak Hopf algebra action. The proof uses the language of C^*-2-categories.


title: A generating function for the trace of the Iwahori-Hecke algebra

abstract: The Iwahori-Hecke algebra has a ``natural'' trace $\tau$. This trace is the evaluation at the identity element in the usual interpretation of the Iwahori-Hecke algebra as a sub-algebra of the convolution algebra of a p-adic semi-simple group. The Iwahori-Hecke algebra contains an important commutative sub-algebra ${\bf C}[\theta_x]$, that was described and studied by Bernstein, Zelevinski and Lusztig. In this note we compute the generating function for the value of $\tau$ on the basis $\theta_x$.


title: On the spectral decomposition of affine Hecke algebras

abstract: An affine Hecke algebra H contains a large abelian subalgebra A. The center Z of H is the subalgebra of Weyl group invariant elements in A. The natural trace of the affine Hecke algebra can be written as an integral of a rational $n$ form (with values in the linear dual of H) over a certain cycle in the algebraic torus T=spec(A). We derive the Plancherel formula of the affine Hecke algebra by localization of this integral on a certain subset of spec(Z).


title: On the determinant formulas by Borodin, Okounkov, Baik, Deift, and Rains

abstract: We give alternative proofs to (block case versions of) some formulas for Toeplitz and Fredholm determinants established recently by the authors of the title. Our proof of the Borodin-Okounkov formula is very short and direct. The proof of the Baik-Deift-Rains formulas is based on standard manipulations with Wiener-Hopf factorizations.


title: A (conjectural) 1/3-phenomenon for the number of rhombus tilings of a hexagon which contain a fixed rhombus

abstract: We state, discuss, provide evidence for, and prove in special cases the conjecture that the probability that a random tiling by rhombi of a hexagon with side lengths $2n+a,2n+b,2n+c,2n+a,2n+b,2n+c$ contains the (horizontal) rhombus with coordinates $(2n+x,2n+y)$ is equal to ${1/3} + g_{a,b,c,x,y}(n) {\binom {2n}{n}}^3 / \binom {6n}{3n}$, where $g_{a,b,c,x,y}(n)$ is a rational function in $n$. Several specific instances of this "1/3-phenomenon" are made explicit.


title: Reidemeister number of any automorphism of a Gromov hyperbolic group is infinite

abstract: We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.


title: Some divergent trigonometric integrals

abstract: Some divergent trigonometric integrals have appeared in standard tables for many years, listed as converging. We give a simple proof that these integrals diverge and trace their history. The original error was made when a (startlingly) famous mathematician incorrectly differentiated under the integral sign with some convergent integrals that depend on a paramater.


title: Necessary and sufficient conditions for differentiating under the integral sign

abstract: We give necessary and sufficient conditions for differentiating under the integral sign an integral that depends on a parameter. The conditions require the equality of two iterated integrals and depend on being able to integrate every derivative. The Henstock integral is thus used in an essential way.


title: Rapidly growing Fourier integrals

abstract: The Riemann-Lebesgue Lemma says that the Fourier transform of an absolutely integrable function on the real line tends to zero as the transform parameter tends to infinity. When the integral is allowed to converge conditionally, the transform can have arbitrarily rapid pointwise growth as the transform parameter tends to infinity. Smoothness of the function to be transformed need not decrease growth of the transform.


title: Covering theorems and Lebesgue integration

abstract: This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let $\Omega\subseteq X$ be a $\mu$-measurable set. For $\lambda\geq1$, a $\mu $-measurable set $S_{\lambda}(a)\subseteq X$ is a $\lambda$-Morse set with tag $a\in S_{\lambda}(a)$ if there is $r>0$ such that $B(a,r)\subseteq S_{\lambda }(a)\subseteq B(a,\lambda r)$ and $S_{\lambda}(a)$ is starlike with respect to all points in the closed ball $B(a,r)$. Given a gauge $\delta:\Omega \to(0,1]$ we say $S_{\lambda}(a)$ is $\delta$-fine if $B(a,\lambda r)\subseteq B(a,\delta(a))$. If $f\geq0$ is a $\mu$-measurable function on $\Omega$ then $\int_{\Omega}f d\mu=F\in\mathbb{R}$ if and only if for some $\lambda\geq1$ and all $\epsilon>0$ there is a gauge function $\delta$ so that $|\sum_{n}f(x_{n}) \mu(S(x_{n}))-F|<\epsilon$ for all sequences of disjoint $\lambda$-Morse sets that are $\delta$-fine and cover all but a $\mu $-null subset of $\Omega$. This procedure can be applied separately to the positive and negative parts of a real-valued function on $\Omega$. The covering condition $\mu(\Omega\setminus\cup_{n}S(x_{n}))=0$ can be satisfied due to the Morse Covering Theorem. The improved version given here says that for a fixed $\lambda\geq1$, if $A$ is the set of centers of a family of $\lambda$-Morse sets then $A$ can be covered with the interiors of sets from at most $\kappa$ pairwise disjoint subfamilies of the original family; an estimate for $\kappa$ is given in terms of $\lambda$, $X$ and its norm.


title: Quantized Algebras of Functions on Affine Hecke Algebras

abstract: The so called quantized algebras of functions on affine Hecke algebras of type A and the corresponding q-Schur algebras are defined and their irreducible unitarizable representations are classified.


title: Sharp Growth Estimates for Modified Poisson Integrals in a Half Space

abstract: For continuous boundary data, including data of polynomial growth, modified Poisson integrals are used to write solutions to the half space Dirichlet and Neumann problems in $\mathbb{R}^{n}$. Pointwise growth estimates for these integrals are given and the estimates are proved sharp in a strong sense. For decaying data, a new type of modified Poisson integral is introduced and used to develop asymptotic expansions for solutions of these half space problems.


title: Dual curves and pseudoholomorphic curves

abstract: A notion of dual curve for pseudoholomorphic curves in 4--manifolds turns out to be possible only if the notion of almost complex structure structure is slightly generalized. The resulting structure is as easy (perhaps easier) to work with, and yields many analogues of results in complex surface theory, using a description of the local geometry via Cartan's method of equivalence. Duality then uncovers a new infinite-dimensional family of geometric integrable systems. These are the first steps toward geometry on moduli spaces of pseudoholomorphic curves.


title: The q-characters at roots of unity

abstract: We consider various specializations of the non-twisted quantum affine algebras at roots of unity. We define and study the q-characters of their finite-dimensional representations.


title: Projectivity criterion of Moishezon spaces and density of projective symplectic varieties

abstract: A singular Moishezon space is not projective even if it is Kaehler. This paper gives a projectivity criterion for Kaehler Moishezon spaces. We shall use this projectivity criterion to show the density of projective symplectic varieties in the Kuranishi family of a (singular) symplectic variety.


title: Weierstrass Relation for a Submanifold $S^k$ in $\EE^n$ Coming from Submanifold Dirac Operator

abstract: Using the submanifold quantum mechanical scheme, the restricted Dirac operator in a submanifold is defined. Then it is shown that the zero mode of the Dirac operator expresses the local properties of the submanifold, such as the Frenet-Serret and generalized Weierstrass relations. In other words this article gives a representation of a further generalized Weierstrass relations for a general k-spin manifolds immersed in n-dimensional euclidean space (0<k<n).


title: Correspondence principle for idempotent calculus and some computer applications

abstract: This paper is devoted to heuristic aspects of the so-called idempotent calculus. There is a correspondence between important, useful and interesting constructions and results over the field of real (or complex) numbers and similar constructions and results over idempotent semirings in the spirit of N. Bohr's correspondence principle in Quantum Mechanics. Some problems nonlinear in the traditional sense (for example, the Bellman equation and its generalizations) turn out to be linear over a suitable semiring; this linearity considerably simplifies the explicit construction of solutions. The theory is well advanced and includes, in particular, new integration theory, new linear algebra, spectral theory and functional analysis. It has a wide range of applications. Besides a survey of the subject, in this paper the correspondence principle is used to develop an approach to object-oriented software and hardware design for algorithms of idempotent calculus.


title: Non-Markovian Optimal Prediction

abstract: Optimal prediction methods compensate for a lack of resolution in the numerical solution of complex problems through the use of prior statistical information. We know from previous work that in the presence of strong underresolution a good approximation needs a non-Markovian "memory", determined by an equation for the "orthogonal", i.e., unresolved, dynamics. We present a simple approximation of the orthogonal dynamics, which involves an ansatz and a Monte-Carlo evaluation of autocorrelations. The analysis provides a new understanding of the fluctuation-dissipation formulas of statistical physics. An example is given.


title: An exact sequence for Milnor's K-theory with applications to quadratic forms

abstract: We construct a four-term exact sequence which provides information on the kernel and cokernel of the multiplication by a pure symbol in Milnor's K-theory mod 2 of fields of characteristic zero. As an application we establish, for fields of characteristics zero, the validity of three conjectures in the theory of quadratic forms - the Milnor conjecture on the structure of the Witt ring, the Khan-Rost-Sujatha conjecture and the J-filtration conjecture. The first version of this paper was written in the spring of 1996.


title: Morse theory for the Yang-Mills functional via equivariant homotopy theory

abstract: In this paper we show the existence of non minimal critical points of the Yang-Mills functional over a certain family of 4-manifolds with generic SU(2)-invariant metrics using Morse and homotopy theoretic methods. These manifolds are acted on fixed point freely by the Lie group SU(2) with quotient a compact Riemann surface of even genus. We use a version of invariant Morse theory for the Yang-Mills functional used by Parker and by Rade.


title: R-cyclic families of matrices in free probability

abstract: We introduce the concept of ``R-cyclic family'' of matrices with entries in a non-commutative probability space; the definition consists in asking that only the ``cyclic'' non-crossing cumulants of the entries of the matrices are allowed to be non-zero. Let A_{1}, ..., A_{s} be an R-cyclic family of d \times d matrices over a non-commutative probability space. We prove a convolution-type formula for the explicit computation of the joint distribution of A_{1}, ..., A_{s} (considered in M_{d} (\A) with the natural state), in terms of the joint distribution (considered in the original space) of the entries of the s matrices. Several important situations of families of matrices with tractable joint distributions arise by application of this formula. Moreover, let A_{1}, ..., A_{s} be a family of d \times d matrices over a non-commutative probability space, let \D \subset M_{d} (\A) denote the algebra of scalar diagonal matrices, and let {\cal C} be the subalgebra of M_{d} (\A) generated by \{A_{1}, ..., A_{s} \} \cup \D. We prove that the R-cyclicity of A_{1}, ..., A_{s} is equivalent to a property of {\cal C} -- namely that {\cal C} is free from M_{d} (\C), with amalgamation over \D.


title: Foliations with one-sided branching

abstract: We show that for a taut foliation F with one-sided branching of an atoroidal 3-manifold M, one can construct a pair of genuine laminations with solid torus complementary regions which bind every leaf of F in a geodesic lamination. These laminations come from a universal circle, a refinement of the universal circles proposed by Thurston, which maps monotonely and group-equivariantly to each of the circles at infinity of the leaves of the universal cover of F, and is minimal with respect to this property. This circle is intimately bound up with the extrinsic geometry of the leaves of F. In particular, for any pair of leaves m,l of the universal cover of F with m>l, the leaf l is asymptotic to m in a dense set of directions at infinity, where the leaf space is co-oriented so that the foliation branches in the negative direction. This is a macroscopic version of an infinitesimal result of Thurston's and gives much more drastic control over the topology and geometry of F. The pair of laminations can be used to produce a pseudo-Anosov flow transverse to F which is regulating in the non-branching direction. Rigidity results for these laminations in the R-covered case are extended to the case of one-sided branching. In particular, an R-covered foliation can only be deformed to a foliation with one-sided branching along one of the two laminations canonically associated to the R-covered foliation in math.GT/9903173, and these laminations become exactly the laminations constructed for the new branched foliation. Other corollaries include that the ambient manifold is d-hyperbolic in the sense of Gromov, and that a self-homeomorphism of this manifold homotopic to the identity is isotopic to the identity.


title: Automatic Construction of Explicit R Matrices for the One-Parameter Families of Irreducible Typical Highest Weight (0|\alpha) Representations of U_q[gl(m|n)]

abstract: We detail the automatic construction of R matrices corresponding to (the tensor products of) the (0|\alpha) families of highest-weight representations of the quantum superalgebras U_q[gl(m|n)]. These representations are irreducible, contain a free complex parameter \alpha, and are 2^{mn} dimensional. Our R matrices are actually (sparse) rank 4 tensors, containing a total of 2^{4mn} components, each of which is in general an algebraic expression in the two complex variables q and \alpha. Although the constructions are straightforward, we describe them in full here, to fill a perceived gap in the literature. As the algorithms are generally impracticable for manual calculation, we have implemented the entire process in Mathematica; illustrating our results with U_q[gl(3|1)].


title: A note on symplectic singularities

abstract: In this paper we shall prove that the singular locus of a symplectic singularity has no codimension 3 irreducible components. As a corollary, a symplectic singularity is terminal if and only if its singular locus has codimension $\geq 4$. It is hoped that a symplectic singularity has much stronger properties.


title: Asymptotic Summation of Slow Converging and Rapidly Oscillating Series

abstract: Mean values of some observables describing quantum interaction between the Bose field in a cavity and a movable mirror can be represented as expectations of rapidly oscillating functions w.r.t. the Poisson measure with a large mean value ($N\approx 10^{23}$) corresponding to the average number of photons in laser beam. Straightforward summation of the series is impossible because over $2\sqrt N$ summands make a significant contribution. We derive an analytical expression approximating this sum with the error $O(N^{-1})$.


title: Manifolds with non-stable fundamental groups, at infinity

abstract: The notion of an open collar is generalized to that of a pseudo-collar. Important properties and examples are discussed. The main result gives conditions which guarantee the existence of a pseudo-collar structure on the end of an open n-manifold (n > 6). This paper may be viewed as a generalization of Siebenmann's famous collaring theorem to open manifolds with non-stable fundamental group systems at infinity.


title: On the asymptotics of drift

abstract: We prove that there exist infinitely many asymptotics of drift for random walks on finitely generated groups.


title: Proper holomorphic discs in C^2

abstract: In this paper we investigate the global behavior of proper holomorphic maps f from the unit disc U={|z|<1} to C^2. The fact that U is transcendental imposes certain restrictions on the image f(U). For instance, f(U) cannot be contained in any proper complex cone in C^2 since this would force it to be algebraic. On the other hand, we show that a real cone in C^2 with axis R^2 contains the image of a proper holomorphic map f from U to C^2 if and only if the angle of the cone is larger than pi/2. We also construct maps f as above whose images avoid both coordinate axes in C^2. Equivalently, we construct a pair of positive harmonic functions u, v on U such that max{u(z),v(z)} tends to plus infinity when z tends to the boundary of U. Furthermore we show that the components f_1, f_1 of a proper holomorphic map from U to C^2, as well as polynomial and certain rational functions of f_1 and f_2, have the property that their essential range at any boundary point of U omits at most a polar set in C.


title: On complete intersections

abstract: We construct closed complex submanifolds of dimension three in C^5 which are differential complete intersections but not holomorphic complete intersections. We also prove a homotopy principle concerning the removal of intersections of holomorphic mappings from Stein manifolds to complex Euclidean spaces C^d with certain closed complex subvarities of C^d.


title: Extending holomorphic sections from complex subvarieties

abstract: Let X be a Stein manifold and let Y be a complex manifold which admits a spray in the sense of Gromov (Oka's principle for holomorphic sections of elliptic bundles, J. Amer. Math. Soc. 2, pp. 851-897 (1989)). We prove that for every closed complex subvariety X_0 of X and for every continuous map f_0 from X to Y whose restriction to X_0 is holomorphic there exists a homotopy of maps f_t from X to Y whose restrictions to X_0 agree with f_0 and such that the map f_1 is holomorphic on X. We obtain analogous results for sections of holomorphic submersions with sprays over Stein manifolds or Stein spaces. Our results extend those of Grauert (Holomorphe Funktionen mit Werten in komplexen Lieschen Gruppen, Math. Ann. 133, pp. 450-472 (1957)) and Forster and Ramspott (Analytische Modulgarben und Endromisbundel, Invent. Math. 2, pp. 145-170 (1966)).


title: Seifert forms and concordance

abstract: If a knot K has Seifert matrix V_K and has a prime power cyclic branched cover that is not a homology sphere, then there is an infinite family of non-concordant knots having Seifert matrix V_K.


title: Simple Homogeneous Models

abstract: Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory. The work is carried out in a universal domain of the theory (a saturated model) in which the Stone space topology on ultrafilters of definable relations is compact. Here we operate in the more general setting of homogeneous models, which typically have noncompact Stone topologies. In this paper strongly lambda-homogeneous models (M,R) in which the elements of R induce a symmetric and transitive notion of independence with bounded character are studied. This notion of independence, defined using a combinatorial condition called ``dividing'', agrees with forking independence when (M,R) is saturated. The concept central to the development of geometrical stability theory for saturated structures, namely the canonical base, is also shown to exist in this setting.


title: Reconstruction from projections using dynamics: Non-Stochastic Case

abstract: The problem of determining three-dimensional density fields from single two-dimensional projections is hopelessly underdetermined without additional assumptions. While parameterized inversions are typically used to solve this problem, we present theoretical results along a different route to the elimination of indeterminacy. Suppose that we have a series of N radiographs measuring X-ray or proton attenuation through an evolving object at a sequence of times. Suppose also that we know the deterministic dynamical laws governing the evolution of the object we are probing with radiography. The these laws can be used to combine the radiographs into one "super"-measurement which can then be inverted to the object sequence. Now suppose the objects are points in $R^n$ and the radiographs are points in $R^d$. It would be expected that the best we could do would be to get invertability when N = $\lceil n/d \rceil$. The worst case is that we never get invertability. We look at both cases carefully for linear dynamics. We show that dynamical laws giving this optimally short invertibility time are generic. We then illustrate with numerical examples and present a conjecture for the nonlinear case.


title: The Verlinde algebra is twisted equivariant K-theory

abstract: In joint work with M. Hopkins and C. Teleman we find a new description of the Verlinde algebra associated to a compact Lie group. In this expository account we describe twisted K-theory, prove the theorem for the group SU(2), and motivate the general theorem using ideas in topological field theory. The full proof will appear elsewhere.