title: Traces of intertwiners for quantum groups and difference equations, I

abstract: The main object considered in this paper is the trace function, defined as a suitably normalized trace of a product of intertwining operators for the Drinfeld-Jimbo quantum group, multiplied by the exponential of an element of the Cartan subalgebra. This function depends of two parameters -- the element of the Cartan subalgebra, and the highest weight of the Verma module in which the trace is taken. The main results of the paper are that the trace function satisfies two systems of difference equations with respect to the first parameter (the quantum Knizhnik-Zamolodchikov-Bernard and Macdonald-Ruijsenaars equations), and that it is symmetric with respect to the two parameters. In particular, this implies that for each of the above two systems of equations there is the dual system with respect to the second parameter, which is also satisfied by the trace function. The paper establishes a connection between the I.Frenkel-Reshetikhin theory of quantum conformal blocks, the work of Felder-Mukhin-Tarasov-Varchenko on the quantum KZB and Ruijsenaars equations, the work of Etingof-I.Frenkel- Kirillov Jr.-Styrkas on traces of intetwining operators, and the Macdonald- Cherednik theory. The methods of the paper are based on the theory of dynamical twists and R-matrices.


title: On the reducibility of characteristic varieties

abstract: We present a result which can be used for stratifications with conical singularities to deduce that a perverse sheaf (in particular, an intersection homology sheaf) has reducible characteristic variety, given a hypothesis on the monodromy of the vanishing cycles local system of a stratum. We apply it to explain most of the examples currently known where SS(IC(X)) is reducible for X a Schubert variety in a flag variety.


title: On Multi-color partitions and the generalized Rogers-Ramanujan identities

abstract: Basil Gordon, in the sixties, and George Andrews, in the seventies, generalized the Rogers-Ramanujan identities to higher moduli. These identities arise in many areas of mathematics and mathematical physics. One of these areas is representation theory of infinite dimensional Lie algebras, where various known interpretations of these identities have led to interesting applications. Motivated by their connections with Lie algebra representation theory, we give a new interpretation of a sum related to generalized Rogers-Ramanujan identities in terms of multi-color partitions.


title: Reidemeister Torsion of 3-Dimensional Euler Structures with Simple Boundary Tangency and Legendrian Knots

abstract: We generalize Turaev's definition of torsion invariants of pairs $(M,\xi)$, where $M$ is a 3-dimensional manifold and $\xi$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $\xi$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact 3-manifolds, and we prove that they can distinguish knots which are isotopic as framed knots but not as Legendrian knots. Using the combinatorial encoding of vector fields based on branched standard spines we show how to explicitly invert Turaev's reconstruction map from combinatorial to smooth Euler structures, thus making the computation of torsions a more effective one. As an example we work out a specific computation.


title: Higher dimensional flexible polyhedra

abstract: In the previous version of the paper it was announced that ``sphere homeomorphic flexible polyhedra (with self intersections) do really exist in n-dimensional Euclidean, Lobachevskij and spherical spaces for each $n\geq 3$.'' Now the paper has been withdrawn by the author, due a crucial error in the proof of the main theorem.


title: Percolation and number of phases in the 2D Ising model

abstract: We reconsider the percolation approach of Russo, Aizenman and Higuchi for showing that there exist only two phases in the Ising model on the square lattice. We give a fairly short alternative proof which is only based on FKG monotonicity and avoids the use of GKS-type inequalities originally needed for some background results. Our proof extends to the Ising model on other planar lattices such as the triangular and honeycomb lattice. We can also treat the Ising antiferromagnet in an external field and the hard-core lattice gas model on $Z^2$.


title: On generalized amenability

abstract: There is a word metric $d$ on countably generated free group $\Gamma$ such that $(\Gamma,d)$ does not admit a coarse uniform embedding into a Hilbert space.


title: Degeneration of moduli spaces and generalized theta functions

abstract: We prove a factorization theorem of generalized functions for moduli spaces of semistable parabolic bundles of any rank.


title: Arithmetic Mixed Sheaves

abstract: We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles on a smooth proper complex variety of any dimension under the existence of a nontrivial global two-form. For two codimensional cycles, the injectivity of the cycle map is reduced to that of the Abel-Jacobi map for smooth projective varieties over number fields. (This shows that Asakura's additional hypothesis is unnecessary). Here it is also possible to use the systems of realizations in the definition of the cycle map and the Abel-Jacobi map. Some arguments can be extended to higher Chow groups, and we get evidence for a conjecture of C. Voisin on the countability of indecomposable higher cycles.


title: Fast and accurate multigrid solution of Poissons equation using diagonally oriented grids

abstract: We solve Poisson's equation using new multigrid algorithms that converge rapidly. The novel feature of the 2D and 3D algorithms are the use of extra diagonal grids in the multigrid hierarchy for a much richer and effective communication between the levels of the multigrid. Numerical experiments solving Poisson's equation in the unit square and unit cube show simple versions of the proposed algorithms are up to twice as fast as correspondingly simple multigrid iterations on a conventional hierarchy of grids.


title: A stereological version of the Gauss-Bonnet formula

abstract: We give a stereological version of the Gauss-Bonnet formula in order to compute the Euler characteristic of a domain with boundary in a smooth orientable surface in R^3, by looking at contacts with a "sweeping" plane.


title: Asymptotic topology

abstract: We establish some basic theorems in dimension theory and absolute extensor theory in the coarse category of metric spaces. Some of the statements in this category can be translated in general topology language by applying the Higson corona functor. The relation of problems and results of this `Asymptotic Topology' to Novikov and similar conjectures is discussed.


title: New complex- and quaternion-hyperbolic reflection groups

abstract: We consider the automorphism groups of various Lorentzian lattices over the Eisenstein, Gaussian, and Hurwitz integers, and in some of them we find reflection groups of finite index. These provide new finite-covolume reflection groups acting on complex and quaternionic hyperbolic spaces. Specifically, we provide groups acting on CH^n for all n<6 and n=7, and on HH^n for n=1,2,3 and 5. We compare our groups to those discovered by Deligne and Mostow and show that our largest examples are new. For many of these Lorentzian lattices we show that the entire symmetry group is generated by reflections, and obtain a description of the group in terms of the combinatorics of a lower-dimensional positive-definite lattice. The techniques needed for our lower-dimensional examples are elementary, but to construct our best examples we also need certain facts about the Leech lattice. We give a new and geometric proof of the classifications of selfdual Eisenstein lattices of dimension < 7 and of selfdual Hurwitz lattices of dimension < 5.


title: Braid pictures for Artin groups

abstract: We define the braid groups of a two-dimensional orbifold and introduce conventions for drawing braid pictures. We use these to realize the Artin groups associated to the spherical Coxeter diagrams A_n, B_n=C_n and D_n and the affine diagrams tilde{A}_n, tilde{B}_n, tilde{C}_n and tilde{D}_n as subgroups of the braid groups of various simple orbifolds. The cases D_n, tilde{B}_n, tilde{C}_n and tilde{D}_n are new. In each case the Artin group is a normal subgroup with abelian quotient; in all cases except tilde{A}_n the quotient is finite. We illustrate the value of our braid calculus by performing with pictures a nontrivial calculation in the Artin groups of type D_n.


title: A differential game with constrained dynamics and viscosity solutions of a related HJB equation

abstract: This paper considers a formulation of a differential game with constrained dynamics, where one player selects the dynamics and the other selects the applicable cost. When the game is considered on a finite time horizon, its value satisfies an HJB equation with oblique Neumann boundary conditions. The first main result is uniqueness for viscosity solutions to this equation. This uniqueness is applied to obtain the second main result,i which is a unique characterization of the value function for a corresponding infinite time problem. The motivation comes from problems associated with queueing networks, where the games appear in several contexts, including a robust approach to network modeling and optimization and risk-sensitive control.


title: Vertex-reinforced random walk on arbitrary graphs

abstract: Vertex-Reinforced Random Walk (VRRW), defined by Pemantle (1988a), is a random process in a continuously changing environment which is more likely to visit states it has visited before. We consider VRRW on arbitrary graphs and show that on almost all of them, VRRW visits only finitely many vertices with a positive probability. We conjecture that on all graphs of bounded degree, this happens a.s., and provide a proof only for trees of this type. We distinguish between several different patterns of localization and explicitly describe the long-run structure of VRRW, which depends on whether a graph contains triangles or not. While the results of this paper generalize those obtained by Pemantle and Volkov (1998) for Z,ideas of proofs are different and typically based on a large deviation principle rather than a martingale approach.


title: On the trace of Hecke Operators for Maass forms for congruence subgroups

abstract: Let E_lambda be a Hilbert space, whose elements are functions spanned by the eigenfunctions of the Laplace-Beltrami operator associated with an eigenvalue lambda>0. The norm of elements in this space is given by the Petersson inner product. In this paper, the trace of Hecke operators T_n acting on the space E_lambda is computed for congruence subgroups of Gamma_0(N) of square free level, which may be considered as the analogue of the Eichler-Selberg trace formula [11] for non-holomorphyic cusp forms of weight zero.


title: Vanishing lines in generalized Adams spectral sequences are generic

abstract: We show that in a generalized Adams spectral sequence, the presence of a vanishing line of fixed slope (at some term of the spectral sequence, with some intercept) is a generic property.


title: Seiberg-Witten invariants and pseudo-holomorphic subvarieties for self-dual, harmonic 2-forms

abstract: A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set, the symplectic form and the metric define an almost complex structure; and the latter can be used to define pseudo-holomorphic submanifolds and subvarieties. The main theorem in this paper asserts that if the 4-manifold has a non zero Seiberg-Witten invariant, then the zero set of any given self-dual harmonic 2-form is the boundary of a pseudo-holomorphic subvariety in its complement.


title: Lefschetz fibrations and the Hodge bundle

abstract: Integral symplectic 4-manifolds may be described in terms of Lefschetz fibrations. In this note we give a formula for the signature of any Lefschetz fibration in terms of the second cohomology of the moduli space of stable curves. As a consequence we see that the sphere in moduli space defined by any (not necessarily holomorphic) Lefschetz fibration has positive "symplectic volume"; it evaluates positively with the Kahler class. Some other applications of the signature formula and some more general results for genus two fibrations are discussed.


title: Set-polynomials and polynomial extension of the Hales-Jewett Theorem

abstract: An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of V={1,...,N}^{d} x {1,...,q} there exist a set a \subset V and a nonempty set \gamma \subseteq {1,...,N} such that a \cap (\gamma^{d} x {1,...,q}) = \emptyset, and the subsets a, a \cup (\gamma^{d} x {1}), a \cup (\gamma^{d} x {2}), ..., a \cup (\gamma^{d} x {q}) are all of the same color. This ``polynomial'' Hales-Jewett theorem contains refinements of many combinatorial facts as special cases. The proof is achieved by introducing and developing the apparatus of set-polynomials (polynomials whose coefficients are finite sets) and applying the methods of topological dynamics.


title: Analytic continuation of representations and estimates of automorphic forms

abstract: Properties of analytic vectors in representations of SL(2,R) are used to give new bounds for the triple products recently considered by P. Sarnak. A conjecture of Sarnak about such products is proved. The results of this paper generalize results of A. Good and M. Jutila about special cases, but the techniques are entirely different. One consequence of these results is a new estimate of the magnitude of the Fourier coefficients of cusp forms for non-arithmetic sub-groups of SL(2,R).


title: Equivalence num\'erique et \'equivalence cohomologique pour les vari\'et\'es ab\'eliennes sur les corps finis

abstract: In characteristic zero, it was proven a long time ago by D. Lieberman that cohomological and numerical equivalence coincide for cycles on abelian varieties. In this paper we show this to be true also in a somewhat technical sense for abelian varieties defined over a finite field. The technicality is that the result is valid for l-adic cohomology for primes l of non-zero density.


title: The number of solutions of phi(x)=m

abstract: An old conjecture of Sierpinski asserts that for every integer k \ge 2, there is a number m for which the equation \phi(x)=m has exactly k solutions. Here \phi is Euler's totient function. In 1961, Schinzel deduced this conjecture from his Hypothesis H. The purpose of this paper is to present an unconditional proof of Sierpinski's conjecture. The proof uses many results from sieve theory, in particular the famous theorem of Chen.


title: Correction to "Connecting invariant manifolds and the solution of the C^1 stability and \Omega-stability conjectures for flows"

abstract: There is a gap in the proof of Lemma VII.4 in [Ann. of Math. (2) 145 (1997), 81--137]. We present an alternative proof of Theorem B (C^1 Omega-stable vector fields satisfy Axiom A). The novel and essential part in the proof of the stability and Omega-stability conjectures for flows is the connecting lemma introduced previously. A mistake in the proof of the last conjecture was pointed out to me by Toyoshiba, who later also provided an independent proof of it, again based on the connecting lemma and previous arguments by Ma\~n\'e and Palis.


title: Classification of irreducible holonomies of torsion-free affine connections

abstract: The subgroups of GL(n,R) that act irreducibly on R^n and that can occur as the holonomy of a torsion-free affine connection on an n-manifold are classified, thus completing the work on this subject begun by M. Berger in the 1950s. The methods employed include representation theory, the theory of hermitian symmetric spaces, twistor theory, and Poisson geometry. The latter theory is especially important for the construction and classification of those torsion-free connections whose holonomy falls into one of the so-called `exotic' cases, i.e., those that were not included in Berger's original lists. Some remarks involving an interpretation of some of the examples in terms of supersymmetric constructions are also included.


title: Weighted cohomology of arithmetic groups

abstract: M. Goresky, G. Harder, and R. MacPherson defined weighted cohomologies of arithmetic groups \Gamma in a real group G, with coefficients in certain local systems, associated to arbitrary upper and lower weight profiles. The author shows, using essentially local arguments on the reductive Borel-Serre compactification, that these cohomologies agree with certain weighted L^2 cohomologies defined by J. Franke. When the rank of G is equal to that of a maximal compact subgroup, this implies that the cohomologies associated to both upper and lower middle profiles are both isomorphic to L^2 cohomology.


title: Doubling properties for second order parabolic equations

abstract: We prove the doubling property of L-caloric measure corresponding to the second order parabolic equation in the whole space and in Lipschitz domains. For parabolic equations in the divergence form, a weaker form of the doubling property follows easily from a recent result, the backward Harnack inequality, and known estimates of Green's function. Our method works for both the divergence and nondivergence cases. Moreover, the backward Harnack inequality and estimates of Green's function are not needed in the course of proof.


title: Rectifiability of flat chains

abstract: We prove (without using Federer's structure theorem) that a finite-mass flat chain over any coefficient group is rectifiable if and only if almost all of its 0-dimensional slices are rectifiable. This implies that every flat chain of finite mass and finite size is rectifiable. It also leads to a simple necessary and sufficient condition on the coefficient group in order for every finite-mass flat chain to be rectifiable.


title: On certain classes of solutions of the Weierstrass-Enneper system inducing constant mean curvature surfaces

abstract: Analysis of the generalized Weierstrass-Enneper system includes the estimation of the degree of indeterminancy of the general analytic solution and the discussion of the boundary value problem. Several different procedures for constructing certain classes of solutions to this system, including potential, harmonic and separable types of solutions, are proposed. A technique for reduction of the Weierstrass-Enneper system to decoupled linear equations, by subjecting it to certain differential constraints, is presented as well. New elementary and doubly periodic solutions are found, among them kinks, bumps and multi-soliton solutions.


title: Versal deformations of a Dirac type differential operator

abstract: If we are given a smooth differential operator in the variable $x\in {\mathbb R}/2\pi {\mathbb Z},$ its normal form, as is well known, is the simplest form obtainable by means of the $\mbox{Diff}(S^1)$-group action on the space of all such operators. A versal deformation of this operator is a normal form for some parametric infinitesimal family including the operator. Our study is devoted to analysis of versal deformations of a Dirac type differential operator using the theory of induced $\mbox{Diff}(S^1)$-actions endowed with centrally extended Lie-Poisson brackets. After constructing a general expression for tranversal deformations of a Dirac type differential operator, we interpret it via the Lie-algebraic theory of induced $\mbox{Diff}(S^1)$-actions on a special Poisson manifold and determine its generic moment mapping. Using a Marsden-Weinstein reduction with respect to certain Casimir generated distributions, we describe a wide class of versally deformed Dirac type differential operators depending on complex parameters.


title: Remarks on quantization of classical r-matrices

abstract: If a classical $r$-matrix $r$ is skewsymmetric, its quantization $R$ can lose the skewsymmetry property. Even when $R$ is skewsymmetric, it may not be unique.


title: Kummer theory of division points over Drinfeld modules of rank one

abstract: In this paper a Kummer theory of division points over rank one Drinfeld A=Fq[T]-modules defined over global function fields was given. The results are in complete analogy with the classical Kummer theory of division points over the multiplicative algebraic group Gm defined over number fields.


title: The Ramanujan property for regular cubical complexes

abstract: This paper considers a higher-dimensional generalization of the notion of Ramanujan graphs, defined by Lubotzky, Phillips, and Sarnak. Specifically the Ramanujan property is studied for cubical complexes which are uniformized by an ordered product of regular trees. We construct explicit arithmetic examples using quaternion algebras over totally real fields. Here we reduce the Ramanujan property to special cases of the Ramanujan-Petersson conjecture for holomorphic Hilbert modular forms, many of which are known.


title: Homological characterisation of Lambda-ranks

abstract: If G is a pro-p, p-adic, Lie group and if $\Lambda(G)$ denotes the Iwasawa algebra of G then we present a formula for determining the $\Lambda(G)$-rank of a finitely generated $\Lambda(G)$-module. This is given in terms of the G homology groups of the module. We explore some consequences of this for the structure of $\Lambda(G)$-modules.


title: On symplectic manifolds with aspherical symplectic form

abstract: We consider closed symplectically aspherical manifolds, i.e. closed symplectic manifolds $(M,\omega)$ satisfying the condition $[\omega]|_{\pi_2M}=0$. Rudyak and Oprea [RO] remarked that such manifolds have nice and controllable homotopy properties. Now it is clear that these properties are mostly determined by the fact that the strict category weight of $[\omega]$ equals 2. We apply the theory of strict category weight to the problem of estimating the number of closed orbits of charged particles in symplectic magnetic fields. In case of symplectically aspherical manifolds our theory enables us to improve some known estimations.


title: Cohomological localization for manifolds with boundary

abstract: For an $S^{1}$-manifold with boundary, we prove a localization formula applying to any equivariant cohomology theory satisfying a certain algebraic condition. We show how the localization result of Kalkman and a case of the quantization commutes with reduction theorem follow easily from the localization formula.


title: Notions of denseness

abstract: The notion of a completely saturated packing [Fejes Toth, Kuperberg and Kuperberg, Highly saturated packings and reduced coverings, Monats. Math. 125 (1998) 127-145] is a sharper version of maximum density, and the analogous notion of a completely reduced covering is a sharper version of minimum density. We define two related notions: uniformly recurrent and weakly recurrent dense packings, and diffusively dominant packings. Every compact domain in Euclidean space has a uniformly recurrent dense packing. If the domain self-nests, such a packing is limit-equivalent to a completely saturated one. Diffusive dominance is yet sharper than complete saturation and leads to a better understanding of n-saturation.


title: On the classification of simple modules for cyclotomic Hecke algebras of type G(m,1,n) and Kleshchev multipartitions

abstract: We give a proof of a conjecture that Kleshchev multipartitions are those partitions which parametrize non-zero simple modules obtained as factor modules of Specht modules by their own radicals.


title: Lectures on cyclotomic Hecke algebras

abstract: These are lecture notes prepared for London Mathematical Society Symposium "Quantum Groups" held in Durham 19-29 July 1999. We give a survey on cyclotomic Hecke algebras. These algebras have been studied by Dipper, James, Malle, Mathas and the author. In lecture one, we start with definitions. We then go on to Specht module theory of cyclotomic Hecke algebras constructed by Dipper, James and Mathas. In lecture two, we explain Ginzburg and Lusztig's theory on affine Hecke algebras and its application to cyclotomic Hecke algebras due to the author. As Kazhdan-Lusztig bases of Hecke algebras describe decomposition numbers of quantum algebras at roots of unity, canonical bases of quantum affine algebras on integrable modules describe decomposition numbers of cyclotomic Hecke algebras at roots of unity. In particular, it turns out that crystal structure in the sense of Kashiwara exists behind the representation theory of cyclotomic Hecke algebras. This was first observed by Lascoux, Leclerc and Thibon. Its interpretation in terms of socle series was proposed by Rouquier. It is further developed in Vazirani's thesis. The special case of Hecke algebras of type A is extensively studied, and its relation to Lusztig conjecture is now very clear. We explain Varagnolo and Vasserot's work and several algorithms proposed so far. Its application to the decomposition numbers of finite general linear groups due to Dipper and James is also explained. The parametrization of simple modules of cyclotomic Hecke algebras over arbitrary fields in terms of crystal graphs of quantum affine algebras is given by Mathas and the author. In the third lecture, we show that this crystal graph description fits well in the Specht module theory. It uses work of Takemura and Uglov, Varagnolo and Vasserot.


title: Topological gravity in dimensions two and four

abstract: Recent work by physicists on gravity in two dimensions has a natural generalization to four dimensions, formulated in terms of an analogue of Segal's category [defined for the study of conformal field theory].

categories: math.QA math-ph math.AG math.AT math.CT math.DG math.MP


title: Exponents and Almost Periodic Orbits

abstract: We introduce the group of exponents of a map of the reals into a metric space and give conditions under which this group embeds in the first Cech cohomology group of the closure of the image of the map. We show that this group generalizes the subgroup of the reals generated by the Fourier-Bohr exponents of an almost periodic orbit and that any minimal almost periodic flow in a complete metric space is determined up to (topological) equivalence by this group. We also develop a way of associating groups with any self-homeomorphism of a metric space that generalizes the rotation number of an orientation-preserving homeomorphism of the circle with irrational rotation number.


title: Vertex Operators of $U_q[\hat{gl(N|N)}]$ and Highest Weight Representations of $U_q[\hat{gl(2|2)}]$

abstract: We determine the exchange relations of the level-one q-vertex operators of the quantum affine superalgebra $U_q[\hat{gl(N|N)}]$. We study in details the level-one irreducible highest weight representations of $U_q[\hat{gl(2|2)}]$, and compute the characters and supercharacters associated with these irreducible modules.


title: An Edge-of-the Wedge Theorem for Hypersurface CR Functions

abstract: The Lewy extension theorem asserts the holomorphic extendability of CR functions defined in a neighborhood of a point on a hypersurface in C^{n+1}. The edge-of-the-wedge theorem asserts the extendability of holomorphic functions defined in wedges in C^{n+1} with edge a maximally real submanifold. In this article we prove under suitable hypotheses the holomorphic extendability to an open set in C^{n+1} of CR functions defined in the intersection of a hypersurface with a wedge whose edge is contained in the hypersurface. Unlike the situation for the classical edge-of-the-wedge theorem, for this hypersurface version extendability generally depends on the direction of the wedge.


title: Closed orbits of gradient flows and logarithms of non-abelian Witt vectors

abstract: We consider the flows generated by generic gradients of Morse maps of a closed connected manifold $M$ to a circle. To each such flow we associate an invariant counting the closed orbits of the flow. Each closed orbit is counted with the weight derived from its index and homotopy class. The resulting invariant is called the eta function, and lies in a suitable quotient of the Novikov completion of the group ring of the fundamental group of $M$. Its abelianization coincides with the logarithm of the twisted Lefschetz zeta function of the flow. For $C^0$-generic gradients we obtain a formula expressing the eta function in terms of the torsion of a special homotopy equivalence between the Novikov complex of the gradient flow and the completed simplicial chain complex of the universal cover of $M$.


title: A projection property for Kazhdan-Lusztig bases

abstract: We compare the canonical basis for a generalized Temperley-Lieb algebra of type A or B with the Kazhdan-Lusztig basis for the corresponding Hecke algebra.


title: Eigenvalues, invariant factors, highest weights, and Schubert calculus

abstract: We describe recent work of Klyachko, Totaro, Knutson, and Tao, that characterizes eigenvalues of sums of Hermitian matrices, and decomposition of tensor products of representations of $GL_n(\mathbb{C})$. We explain related applications to invariant factors of products of matrices, intersections in Grassmann varieties, and singular values of sums and products of arbitrary matrices.


title: Knots, Feynman Diagrams and Matrix Models

abstract: An U(N)-invariant matrix model with d matrix variables is studied. It was shown that in the limit $N\to \infty $ and $d\to 0$ the model describes the knot diagrams. We realize the free partition function of the matrix model as the generalized expectation of a Hida distribution $\Phi_{N,d}$. This enables us to give a mathematically rigorous meaning to the partition function with interaction. For the generalized function $\Phi_{N,d}$ we prove a Wick theorem and we derive explicit formulas for the propagators.


title: The Problem of Positive Kolmogorov-Sinai entropy for the Standard map

abstract: The problem of positive Kolmogorov-Sinai entropy of the Chirikov-Standard map with respect to the invariant Lebesgue measure on the two-dimensional is open. In 1999, we believed to have a proof that the entropy can be bounded below. This approach was based on an idea of Herman to do subharmonic estimates.This document replaces an announcement I had circulated in 1999. In the present document, the incorrect parts have been deleted. The entropy conjecture is open. The references given in the text might still be helpful for people trying an operator theoretical or analytic approach to this problem in ergodic theory.


title: Geometry of Hyper-K\"ahler Connections with Torsion

abstract: The internal space of a N=4 supersymmetric model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy in $\SP(n)$. We study the mathematical background of this type of connections. In particular, we relate it to classical Hermitian geometry construct homogeneous as well as inhomogeneous examples, characterize it in terms of holomorphic data, develop its potential theory and reduction theory.


title: A sagbi basis for the quantum Grassmannian

abstract: The maximal minors of a p by (m + p) matrix of univariate polynomials of degree n with indeterminate coefficients are themselves polynomials of degree np. The subalgebra generated by their coefficients is the coordinate ring of the quantum Grassmannian, a singular compactification of the space of rational curves of degree np in the Grassmannian of p-planes in (m + p)-space. These subalgebra generators are shown to form a sagbi basis. The resulting flat deformation from the quantum Grassmannian to a toric variety gives a new `Gr\"obner basis style' proof of the Ravi-Rosenthal-Wang formulas in quantum Schubert calculus. The coordinate ring of the quantum Grassmannian is an algebra with straightening law, which is normal, Cohen-Macaulay, Gorenstein and Koszul, and the ideal of quantum Pl\"ucker relations has a quadratic Gr\"obner basis. This holds more generally for skew quantum Schubert varieties. These results are well-known for the classical Schubert varieties (n=0). We also show that the row-consecutive p by p-minors of a generic matrix form a sagbi basis and we give a quadratic Gr\"obner basis for their algebraic relations.


title: A remark on fixed point sets of gradient-like flows

abstract: Let $S$ be a set of critical points of a smooth real-valued function on a closed manifold $M$. Generalizing a well-known result of Lusternik--Schnirelmann, Reeken~[R] proved that $\cat S \geq \cat M$. Here we prove a generalization of Reeken"s inequality for gradient-like flows on compact spaces.


title: The Equivalence of Hilbert and Mumford Stability for Vector Bundles

abstract: In this paper, we prove that the notions of Hilbert stability and Mumford stability agree for vector bundles of arbitrary rank over smooth curves. The notion of Hilbert stability was introduced by Gieseker and Morrison in 1984, and they showed that for smooth curves and vector bundles of rank two it agrees with Mumford stability. A different proof for the rank two case was given by M. Teixidor i Bigas. Our proof uses a new approach and avoids complicated computations. Our results might serve as a first step in the construction of the Hilbert stable compactification of the universal moduli space of stable vector bundles over the moduli space of smooth curves as suggested by Teixidor.


title: Arithmetic Hodge structure and higher Abel-Jacobi maps

abstract: In this paper, we show some applications to algebraic cycles by using higher Abel-Jacobi maps which were defined in [the author: Motives and algebraic de Rham cohomology]. In particular, we prove that the Beilinson conjecture on algebraic cycles over number fields implies the Bloch conjecture on zero-cycles on surfaces. Moreover, we construct a zero-cycle on a product of curves whose Mumford invariant vanishes, but not higher Abel-Jacobi invariant.


title: Gauge Theoretic Invariants of, Dehn Surgeries on Knots

abstract: New methods for computing a variety of gauge theoretic invariants for homology 3-spheres are developed. These invariants include the Chern-Simons invariants, the spectral flow of the odd signature operator, and the rho invariants of irreducible SU(2) representations. These quantities are calculated for flat SU(2) connections on homology 3-spheres obtained by 1/k Dehn surgery on (2,q) torus knots. The methods are then applied to compute the SU(3) gauge theoretic Casson invariant (introduced in [H U Boden and C M Herald, The SU(3) Casson invariant for integral homology 3--spheres, J. Diff. Geom. 50 (1998) 147-206]) for Dehn surgeries on (2,q) torus knots for q=3,5,7 and 9.


title: Diagonalizing operators with reflection symmetry

abstract: Let $U$ be an operator in a Hilbert space $\mathcal{H}_{0}$, and let $\mathcal{K}\subset\mathcal{H}_{0}$ be a closed and invariant subspace. Suppose there is a period-2 unitary operator $J$ in $\mathcal{H}_{0}$ such that $JUJ=U^*$, and $PJP \geq 0$, where $P$ denotes the projection of $\mathcal{H}_{0}$ onto $\mathcal{K}$. We show that there is then a Hilbert space $\mathcal{H}(\mathcal{K})$, a contractive operator $W:\mathcal{K}\to\mathcal{H}(\mathcal{K})$, and a selfadjoint operator $S=S(U)$ in $\mathcal{H}(\mathcal{K})$ such that $W^*W=PJP$, $W$ has dense range, and $SW=WUP$. Moreover, given $(\mathcal{K},J)$ with the stated properties, the system $(\mathcal{H}(\mathcal{K}),W,S)$ is unique up to unitary equivalence, and subject to the three conditions in the conclusion. We also provide an operator-theoretic model of this structure where $U|_{\mathcal{K}}$ is a pure shift of infinite multiplicity, and where we show that $\ker(W)=0$. For that case, we describe the spectrum of the selfadjoint operator $S(U)$ in terms of structural properties of $U$. In the model, $U$ will be realized as a unitary scaling operator of the form $f(x)\mapsto f(cx)$, $c>1$, and the spectrum of $S(U_{c})$ is then computed in terms of the given number $c$.


title: Fourier-Mukai transforms for K3 and elliptic fibrations

abstract: Given a non-singular variety with a K3 fibration f : X --> S we construct dual fibrations Y --> S by replacing each fibre X_s of f by a two-dimensional moduli space of stable sheaves on X_s. In certain cases we prove that the resulting scheme Y is a non-singular variety and construct an equivalence of derived categories of coherent sheaves \Phi : D(Y) --> D(X). Our methods also apply to elliptic and abelian surface fibrations. As an application we show how the equivalences \Phi identify certain moduli spaces of stable bundles on elliptic threefolds with Hilbert schemes of curves.


title: Momentum maps and Noether theorem for generalized Nambu mechanics

abstract: In Ref.~\cite{Sag} we proposed a geometric formulation of generalized Nambu mechanics. In the present paper we extend the class of Nambu systems by replacing the stringent condition of constancy of 3-form by closedness. We also explore the connection between continuous groups of symmetries and conservation laws for such systems. The Noether theorem for generalized Nambu systems is formulated by generalizing the notion of momentum map. In this case, a natural choice of dynamical variables for discussion of symmetries is 2-form fields. Thus the generators and the conserved quantities in Noether theorem are best expressed in terms of 2-forms. The connection between the generators and the conserved quantities is illustrated with the example of an axially symmetric top formulated as three dimensional Nambu system.

categories: math.DS chao-dyn math-ph math.MP nlin.CD


title: On the abc conjecture and diophantine approximation by rational points

abstract: We show that an earlier conjecture of the author, on diophantine approximation of rational points on varieties, implies the ``abc conjecture'' of Masser and Oesterl'e. In fact, a weak form of the former conjecture is sufficient, involving an extra hypothesis that the variety and divisor admit a faithful group action of a certain type. Analogues of this weaker conjecture are proved in the split function field case of characteristic zero, and in the case of holomorphic curves (Nevanlinna theory). The proof of the latter involves a geometric generalization of the classical lemma on the logarithmic derivative, due to McQuillan. This lemma may be of independent interest.


title: Noncommutative complex analysis and Bargmann-Segal multipliers

abstract: We state several equivalent noncommutative versions of the Cauchy-Riemann equations and characterize the unbounded operators on L^2(R) which satisfy them. These operators arise from the creation operator via a functional calculus involving a class of entire functions, identified by Newman and Shapiro [D. J. Newman and H. S. Shapiro, Fischer spaces of entire functions, in Entire Functions and Related Parts of Analysis (J. Koorevaar, ed.), AMS Proc. Symp. Pure Math. XI (1968), 360-369], which act as unbounded multiplication operators on Bargmann-Segal space.


title: Steinberg modules and Donkin pairs

abstract: We prove that in positive characteristic a module with good filtration for a group of type E6 restricts to a module with good filtration for a subgroup of type F4. (Recall that a filtration of a module for a semisimple algebraic group is called good if its layers are dual Weyl modules.) Our result confirms a conjecture of Brundan for one more case. The method relies on the canonical Frobenius splittings of Mathieu. Next we settle the remaining cases, in characteristic not 2, with a computer-aided variation on the old method of Donkin.


title: Mukai implies McKay: the McKay correspondence as an equivalence of derived categories

abstract: Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.


title: Quasipositive pretzels

abstract: A necessary and sufficient condition for an oriented pretzel surface to be quasipositive yields an estimate for the slice genus of the boundary of an arbitrary oriented pretzel surface.


title: A polytope related to empirical distributions, plane trees, parking functions, and the associahedron

abstract: We define an n-dimensional polytope Pi_n(x), depending on parameters x_i>0, whose combinatorial properties are closely connected with empirical distributions, plane trees, plane partitions, parking functions, and the associahedron. In particular, we give explicit formulas for the volume of Pi_n(x) and, when the x_i's are integers, the number of integer points in Pi_n(x). We give two polyhedral decompositions of Pi_n(x), one related to order cones of posets and the other to the associahedron.


title: Discrete Growth Models

abstract: Part I of the thesis gives a complete analysis of gaps in a one-dimensional creation-annihilation model. Part II contains a proof of the existence of infinitely many holes in the two-dimensional DLA cluster.


title: Unitary Representations and Osterwalder-Schrader Duality

abstract: The notions of reflection, symmetry, and positivity from quantum field theory are shown to induce a duality operation for a general class of unitary representations of Lie groups. The semisimple Lie groups which have this $c$-duality are identified and they are placed in the context of Harish-Chandra's legacy for the unitary representations program. Our paper begins with a discussion of path space measures, which is the setting where reflection positivity (Osterwalder-Schrader) was first identified as a useful tool of analysis.


title: Generalized Appell Systems

abstract: We give a general approach to infinite dimensional non-Gaussian analysis which generalizes the work \cite{KSWY95}. For given measure we construct a family of biorthogonal systems. We study their properties and their Gel'fand triples that they generate. As an example we consider the measures of Poisson type.


title: Analysis on Poisson and Gamma spaces

abstract: We study the spaces of Poisson, compound Poisson and Gamma noises as special cases of a general approach to non-Gaussian white noise calculus, see \cite{KSS96}. We use a known unitary isomorphism between Poisson and compound Poisson spaces in order to transport analytic structures from Poisson space to compound Poisson space. Finally we study a Fock type structure of chaos decomposition on Gamma space.


title: Kronecker webs, bihamiltonian structures, and the method of argument translation

abstract: We show that manifolds which parameterize values of first integrals of integrable finite-dimensional bihamiltonian systems carry a geometric structure which we call a {\em Kronecker web}. We describe two functors between Kronecker webs and integrable bihamiltonian structures, one is left inverse to another one. Conjecturally, these two functors are mutually inverse (for ``small'' open subsets). The above conjecture is proven provided the bihamiltonian structure allows an antiinvolution of a particular form. This implies the conjecture of \cite{GelZakh99Web} that on a dense open subset the bihamiltonian structure on ${\mathfrak g}^{*}$ is flat if ${\mathfrak g}$ is semisimple, or if ${\mathfrak g}={\mathfrak G}\ltimes \operatorname{ad}_{{\mathfrak G}}$ and ${\mathfrak G}$ is semisimple, and for some other Lie algebras of mappings.


title: Flat connections, Higgs operators, and Einstein metrics on compact Hermitian manifolds

abstract: A flat complex vector bundle (E,D) on a compact Riemannian manifold (X,g) is stable (resp. polystable) in the sense of Corlette [C] if it has no D-invariant subbundle (resp. if it is the D-invariant direct sum of stable subbundles). It has been shown in [C] that the polystability of (E,D) in this sense is equivalent to the existence of a so-called harmonic metric in E. In this paper we consider flat complex vector bundles on compact Hermitian manifolds (X,g). We propose new notions of g-(poly-)stability of such bundles, and of g-Einstein metrics in them; these notions coincide with (poly-)stability and harmonicity in the sense of Corlette if g is a K\"ahler metric, but are different in general. Our main result is that the g-polystability in our sense is equivalent to the existence of a g-Hermitian-Einstein metric. Our notion of a g-Einstein metric in a flat bundle is motivated by a correspondence between flat bundles and Higgs bundles over compact surfaces, analogous to the correspondence in the case of K\"ahler manifolds [S1], [S2], [S3]. 1991 Mathematics Subject Classification: 53C07


title: Building Mixed Hodge Structures

abstract: This is primarily an expository piece and the first sentence of the introduction pretty much sums it up: This article is aimed at people who already know what mixed Hodge structures are and what they are good for, but who are not sure how to construct them.


title: Intermediate Jacobians and Hodge Structures of Moduli Spaces

abstract: Let SU_X(n,L) be the moduli space of rank n semistable vector bundles with fixed determinant L on a smooth projective genus g>1 curve X. Let SU_X^s(n,L) denote the open subset parameterizing stable bundles. We show that for small i, the mixed Hodge structure on H^i(SU_X^s(n, L), Q) is independent of the degree of L, and hence pure of weight i. Moreover any simple factors is, up to Tate twisting, isomorphic to a summand of a tensor power of H^1(X,Q). A more precise statement for i = 3, yields a Torelli theorem complementing earlier work of several authors. This is a replacement of our preprint Intermediate Jacobians of Moduli spaces which contained a gap.


title: Affine Structures on Quantum Principal Bundles

abstract: Quantum affine bundles are quantum principal bundles with affine quantum structure groups. A general theory of quantum affine bundles is presented. In particular, a detailed analysis of differential calculi over these bundles is performed, including the description of a natural differential calculus over the structure affine quantum group. A particular attention is given to the study of the specific properties of quantum affine connections and several purely quantum phenomena appearing in the context of quantum affine bundles. Various interesting constructions are presented. In particular, the main ideas are illustrated within the example of the quantum Hopf fibration.


title: The projective geometry of Freudenthal's magic square

abstract: We connect the algebraic geometry and representation theory associated to Freudenthal's magic square. We give unified geometric descriptions of several classes of orbit closures, describing their hyperplane sections and desingularizations, and interpreting them in terms of composition algebras. In particular, we show how a class of invariant quartic polynomials can be viewed as generalizations of the classical discriminant of a cubic polynomial.


title: Homotopy Gerstenhaber algebras

abstract: The goal of this paper is to complete Getzler-Jones' proof of Deligne's Conjecture, thereby establishing an explicit relationship between the geometry of configurations of points in the plane and the Hochschild complex of an associative algebra. More concretely, it is shown that the $B_\infty$-operad, which is generated by multilinear operations known to act on the Hochschild complex, is a quotient of a certain operad associated to the compactified configuration spaces. Different notions of homotopy Gerstenhaber algebras are discussed: one of them is a $B_\infty$-algebra, another, called a homotopy G-algebra, is a particular case of a $B_\infty$-algebra, the others, a $G_\infty$-algebra, an $\bar E^1$-algebra, and a weak $G_\infty$-algebra, arise from the geometry of configuration spaces. Corrections to the paper arXiv:q-alg/9602009 of Kimura, Zuckerman, and the author related to the use of a nonextant notion of a homotopy Gerstenhaber algebra are made.


title: Flag varieties and interpretations of Young tableau algorithms

abstract: The conjugacy classes of nilpotent $n\times n$ matrices can be parametrised by partitions $\lambda$ of $n$, and for a nilpotent $\eta$ in the class parametrised by $\lambda$, the variety $F_\eta$ of $\eta$-stable flags has its irreducible components parametrised by the standard Young tableaux of shape $\lambda$. We indicate how several algorithmic constructions defined for Young tableaux have significance in this context, thus extending Steinberg's result that the relative position of flags generically chosen in the irreducible components of $F_\eta$ parametrised by tableaux $P$ and $Q$, is the permutation associated to $(P,Q)$ under the Robinson-Schensted correspondence. Other constructions for which we give interpretations are Sch\"utzenberger's involution of the set of Young tableaux, jeu de taquin (leading also to an interpretation of Littlewood-Richardson coefficients), and the transpose Robinson-Schensted correspondence (defined using column insertion). In each case we use a doubly indexed family of partitions, defined in terms of the flag (or pair of flags) determined by a point chosen in the variety under consideration. We show that for generic choices, the family satisfies certain combinatorial relations, whence the family describes the computation of the algorithmic operation being interpreted, as we described in a previous publication.


title: More monotone open homogeneous locally connected plane continua

abstract: This paper constructs a continuous decomposition of the Sierpi\'nski curve into acyclic continua one of which is an arc. This decomposition is then used to construct another continuous decomposition of the Sierpi\'nski curve. The resulting decomposition space is homeomorphic to the continuum obtained from taking the Sierpi\'nski curve and identifying two points on the boundary of one of its complementary domains. This outcome is shown to imply that there are continuum many topologically different one dimensional locally connected plane continua that are homogeneous with respect to monotone open maps.


title: On the Hausdorff dimension of certain sets arising in Number Theory

abstract: This paper has been withdrawn Any real number $x$ in the unit interval can be expressed as a continued fraction $x=[n_1,...,n_{_N},...]$. Subsets of zero measure are obtained by imposing simple conditions on the $n_{_N}$. By imposing $n_{_N}\le m \forall N\in \zN$, Jarnik defined the corresponding sets $E_m$ and gave a first estimate of $d_H(E_m)$, $d_H$ the Hausdorff dimension. Subsequent authors improved these estimates. In this paper we deal with $d_H(E_m)$ and $d_H(F_m)$, $F_m$ being the set of real numbers for which ${\sum_{i=1}^N n_i\over N}\le m$.


title: Self-Similar Intermediate Structures in Turbulent Boundary Layers At Large Reynolds Numbers

abstract: Processing the data from a large variety of zero-pressure-gradient boundary layer flows shows that the Reynolds-number-dependent scaling law, which the present authors obtained earlier for pipes, gives an accurate description of the velocity distribution in a self-similar intermediate region of distances from the wall adjacent to the viscous sublayer. The appropriate length scale that enters the definition of the boundary layer Reynolds number is found for all the flows under investigation. Another intermediate self-similar region between the free stream and the first intermediate region is found under conditions of weak free stream turbulence. The effects of turbulence in the free stream and of wall roughness are assessed, and conclusions are drawn.


title: Selberg integral and multiple zeta values

abstract: In this paper, we show that the coefficient of the Taylor expansion of Selberg integrals with respect to exponent variables are expressed as a linear combination of multiple zeta values. We use beta-nbc base so that the Selberg integral is holomorphic with respect to the exponent variables.


title: Quantum Co-Adjoint Orbits of the Group of Affine Transformations of the Complex Straight Line

abstract: We construct start-products on the co-adjoint orbit of Lie group $\Aff({\bf C})$ of affine transformations of the complex straight line and apply them to obtain the irreducible unitary representations of this group. These results show effectiveness of the Fedosov quantization even for groups which are neither nilpotent nor exponential. Together with the result for the group $\Aff({\bf R})$ in math.QA/9905002, we have thus a description of quantum $\bar{MD}$ co-adjoint orbits.


title: Quantitative estimates of discrete harmonic measures

abstract: A theorem of Bourgain states that the harmonic measure for a domain in $\R^d$ is supported on a set of Hausdorff dimension strictly less than $d$ \cite{Bourgain}. We apply Bourgain's method to the discrete case, i.e., to the distribution of the first entrance point of a random walk into a subset of $\Z ^d$, $d\geq 2$. By refining the argument, we prove that for all $\b>0$ there exists $\rho (d,\b)<d$ and $N(d,\b)$, such that for any $n>N(d,\b)$, any $x \in \Z^d$, and any $A\subset \{1,..., n\}^d$ $$ | \{y\in\Z^d\colon \nu_{A,x}(y) \geq n^{-\b} \}| \leq n^{\rho(d,\b)}, $$ where $\nu_{A,x} (y)$ denotes the probability that $y$ is the first entrance point of the simple random walk starting at $x$ into $A$. Furthermore, $\rho$ must converge to $d$ as $\b \to \infty$.


title: Non-commutative Chern Characters of the C*-Algebras of spheres and quantum spheres

abstract: We propose in this paper the construction of non-commutative Chern characters of the C*-algebras of spheres and quantum spheres. The final computation gives us a clear relation with the ordinary Z/(2)-graded Chern characters of tori or their normalizers.


title: On a question of Niels Gr\o nbaek

abstract: Let F(X) denote the norm closure of the space of all finite rank operators on a Banach space X. We show that there are Banach spaces X for which the product map $a\otimes b\to ab$ does not define a surjective map from the projective tensor product $F(X) \hat\otimes F(X)$ onto F(X).


title: Alexander and Thurston norms of fibered 3-manifolds

abstract: For a 3-manifold M, McMullen derived from the Alexander polynomial of M a norm on H^1(M, R) called the Alexander norm. He showed that the Thurston norm on H^1(M, R), which measures the complexity of a dual surface, is an upper bound for the Alexander norm. He asked if these two norms were equal on all of H^1(M,R) when M fibers over the circle. Here, I give examples which show that the answer to this question is emphatically no. This question is related to the faithfulness of the Gassner representations of the braid groups. The key tool used to understand this question is the Bieri-Neumann-Strebel invariant from combinatorial group theory. Theorem 1.7, which is of independant interest, connects the Alexander polynomial with a certain Bieri-Neumann-Strebel invariant.


title: Asymptotic-numerical study of supersensitivity for generalized Burgers equations

abstract: This article addresses some asymptotic and numerical issues related to the solution of Burgers' equation, $-\epsilon u_{xx} + u_t + u u_x = 0$ on $(-1,1)$, subject to the boundary conditions $u(-1) = 1 + \delta$, $u(1) = -1$, and its generalization to two dimensions, $-\epsilon \Delta u + u_t + u u_x + u u_y = 0$ on $(-1,1) \times (-\pi, \pi)$, subject to the boundary conditions $u|_{x=1} = 1 + \delta$, $u|_{x=-1} = -1$, with $2\pi$ periodicity in $y$. The perturbation parameters $\delta$ and $\epsilon$ are arbitrarily small positive and independent; when they approach 0, they satisfy the asymptotic order relation $\delta = O_s ({\rm e}^{-a/\epsilon})$ for some constant $a \in (0,1)$. The solutions of these convection-dominated viscous conservation laws exhibit a transition layer in the interior of the domain, whose position as $t\to\infty$ is supersensitive to the boundary perturbation. Algorithms are presented for the computation of the position of the transition layer at steady state. The algorithms generalize to viscous conservation laws with a convex nonlinearity and are scalable in a parallel computing environment.


title: Hodge integrals, partition matrices, and the lambda_g conjecture

abstract: We prove a closed formula for integrals of the cotangent line classes against the top Chern class of the Hodge bundle on the moduli space of stable pointed curves. These integrals are computed via relations obtained from virtual localization in Gromov-Witten theory. An analysis of several natural matrices indexed by partitions is required.


title: Essential meridional surfaces for tunnel number one knots

abstract: We show that for each pair of positive integers g and n, there are infinitely many tunnel number one knots, whose exteriors contain an essential meridional surface of genus g, and with 2n boundary components. We also show that for each positive integer n, there are tunnel number one knots whose exteriors contain n disjoint, non-parallel, closed incompressible surfaces, each of genus n.


title: Absolute and relative Gromov-Witten invariants of very ample hypersurfaces

abstract: For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induced by X.


title: On a relation between intrinsic and extrinsic Dirichlet forms for interacting particle systems

abstract: In this paper we extend the result obtained in \cite{AKR97} (see also \cite {AKR96}) on the representation of the intrinsic pre- Dirichlet form $\mathcal{E}_{\pi_{\sigma}}^{\Gamma}$ of the Poisson measure $\pi_{\sigma}$ in terms of the extrinsic one $\mathcal{E}_{\pi_{\sigma},H_{\sigma}^{X}}^{P}$. More precisely, replacing $\pi_{\sigma}$ by a Gibbs measure $\mu$ on the configuration space $\Gamma_{X}$ we derive a relation between the intrinsic pre-Dirichlet form $\mathcal{E}_{\mu}^{\Gamma}$ of the measure $\mu$ and the extrinsic one $\mathcal{E}_{\mu, H_{\sigma}^{X}}^{P}$. As a consequence we prove the closability of $\mathcal{E}_{\mu}^{\Gamma}$ on $L^{2}(\Gamma_{X},\mu)$ under very general assumptions on the interaction potential of the Gibbs measures $\mu$.


title: A Generalized Index Theorem for Morse-Sturm Systems and Applications to semi-Riemannian Geometry

abstract: We prove an extension of the Index Theorem for Morse-Sturm systems of the form $-V''+RV=0$, where R is symmetric with respect to a (non positive) symmetric bilinear form, and thus the corresponding differential operator is not self-adjoint. The result is then applied to the case of a Jacobi equation along a geodesic in a Lorentzian manifold, obtaining an extension of the Morse Index Theorem for Lorentzian geodesics with variable initial endpoints. Given a Lorentzian manifold (M,g), we consider a geodesic $\gamma$ in M starting orthogonally to a smooth submanifold P of M. Under suitable hypotheses, satisfied, for instance, if (M,g) is stationary, the theorem gives an equality between the index of the second variation of the action functional f at $\gamma$ and the sum of the {\em Maslov index} of $\gamma$ with the index of the metric g on P. Under generic circumstances, the Maslov index of $\gamma$ is given by an algebraic count of the P-focal points along $\gamma$. Using the Maslov index, we obtain the global Morse relations for geodesics between two fixed points in a stationary Lorentzian manifold.


title: The Dynamics of Off-center Reflection

abstract: The dynamical properties, especially the symmetric orbits, of the 2-parameter family of circle maps called off-center reflection is studied.


title: A new construction of homogeneous quaternionic manifolds and related geometric structures

abstract: Let V be the pseudo-Euclidean vector space of signature (p,q), p>2 and W a module over the even Clifford algebra Cl^0 (V). A homogeneous quaternionic manifold (M,Q) is constructed for any spin(V)-equivariant linear map \Pi : \wedge^2 W \to V. If the skew symmetric vector valued bilinear form \Pi is nondegenerate then (M,Q) is endowed with a canonical pseudo-Riemannian metric g such that (M,Q,g) is a homogeneous quaternionic pseudo-K\"ahler manifold. The construction is shown to have a natural mirror in the category of supermanifolds. In fact, for any spin(V)-equivariant linear map \Pi : Sym^2 W \to V a homogeneous quaternionic supermanifold (M,Q) is constructed and, moreover, a homogeneous quaternionic pseudo-K\"ahler supermanifold (M,Q,g) if the symmetric vector valued bilinear form \Pi is nondegenerate.


title: Differential Geometry on Compound Poisson Space

abstract: In this paper we carry out analysis and geometry for a class of infinite dimensional manifolds, namely, compound configuration spaces as a natural generalization of the work \cite{AKR97}. More precisely a differential geometry is constructed on the compound configuration space $\Omega_{X}$ over a Riemannian manifold $X$. This geometry is obtained as a natural lifting of the Riemannian structure on $X$. In particular, the intrinsic gradient, divergence, and Laplace-Beltrami operator are constructed. Therefore the corresponding Dirichlet forms on $L^{2}(\Omega_{X})$ can be defined. Each is shown to be associated with a diffusion process on $\Omega_{X}$ (so called equilibrium process) which is nothing but the diffusion process on the simple configuration space $\Gamma_{X}$ together with corresponding marks. As another consequence of our results we obtain a representation of the Lie-algebra of compactly supported vector fields on $X$ on compound Poisson space. Finally generalizations to the case when the compound Poisson measure is replaced by a marked Poisson measure easily follow from this construction.


title: Topological recursive relations in $H^{2g}(M_{g,n})$

abstract: We show that any degree at least $g$ polynomial in descendant or tautological classes vanishes on $M_{g,n}$ when $g\ge 2$. This generalizes a result of Looijenga and proves a version of Getzler's conjecture. The method we use is the study of the relative Gromov-Witten invariants of $P^1$ relative 2 points combined with the degeneration formulas of [IP1]. At the end of the paper, we also included a quick proof of a very recent conjecture made by Vakil.


title: Chains of twists for classical Lie algebras

abstract: For chains of regular injections A_p -> A_(p-1) -> ... -> A_1 -> A_0 of Hopf algebras the sets of maximal extended Jordanian twists F_E are considered. We prove that under certain conditions there exists for A_0 the twist composed by the factors (F_E)_k. The general construction of a chain of twists is applied to the universal envelopings U(g) of classical Lie algebras g. We study the chains for the infinite series A_n, B_n and D_n. The properties of the deformation produced by a chain U_F(g) are explicitly demonstrated for the case of g = so(9).


title: Hecke Algebra Representations in Ideals Generated by q-Young Clifford Idempotents

abstract: It is a well known fact from the group theory that irreducible tensor representations of classical groups are suitably characterized by irreducible representations of the symmetric groups. However, due to their different nature, vector and spinor representations are only connected and not united in such description. Clifford algebras are an ideal tool with which to describe symmetries of multi-particle systems since they contain spinor and vector representations within the same formalism, and, moreover, allow for a complete study of all classical Lie groups. In this work, together with an accompanying work also presented at this conference, an analysis of q-symmetry -- for generic q's -- based on the ordinary symmetric groups is given for the first time. We construct q-Young operators as Clifford idempotents and the Hecke algebra representations in ideals generated by these operators. Various relations as orthogonality of representations and completeness are given explicitly, and the symmetry types of representations is discussed. Appropriate q-Young diagrams and tableaux are given. The ordinary case of the symmetric group is obtained in the limit q \to 1. All in all, a toolkit for Clifford algebraic treatment of multi-particle systems is provided. The distinguishing feature of this paper is that the Young operators of conjugated Young diagrams are related by Clifford reversion, connecting Clifford algebra and Hecke algebra features. This contrasts the purely Hecke algebraic approach of King and Wybourne, who do not embed Hecke algebras into Clifford algebras.


title: Central Limit Theorem for local linear statistics in classical compact groups and related combinatorial identities

abstract: We discuss CLT for the global and local linear statistics of random matrices from classical compact groups. The main part of our proofs are certain combinatorial identities much in the spirit of works by Kac and Spohn.


title: Lectures on the dynamical Yang-Baxter equations

abstract: This paper contains a systematic and elementary introduction to a new area of the theory of quantum groups -- the theory of the classical and quantum dynamical Yang-Baxter equations. It arose from a minicourse given by the first author at MIT in the Spring of 1999, when the second author extended and improved his lecture notes of this minicourse. The quantum dynamical Yang-Baxter equation is a generalization of the ordinary quantum Yang-Baxter equation, considered in a physical context by Gervais and Neveu, and later from a mathematical viewpoint by Felder. Felder attached to every solution of this equation a quantum group, and also considered the classical analogue of the quantum dynamical Yang-Baxter equation -- the classical dynamical Yang-Baxter equation. Since then, the theory of dynamical Yang-Baxter equations and the corresponding quantum groups was systematically developed in many papers. By now, this theory has many applications, in particular to integrable systems and representation theory. The goal of this paper is to discuss this theory and some of its applications.


title: Periods of mirrors and multiple zeta values

abstract: In a recent paper, A. Libgober showed that the multiplicative sequence {Q_i(c_1,...,c_i)} of Chern classes corresponding to the power series Q(z)=1/Gamma(1+z) appears in a relation between the Chern classes of certain Calabi-Yau manifolds and the periods of their mirrors. We show that the polynomials Q_i can be expressed in terms of multiple zeta values.


title: Further equivalences and semiglobal versions of integral input to state stability

abstract: This paper continues the study of the integral input-to-state stability (IISS) property. It is shown that the IISS property is equivalent to one which arises from the consideration of mixed norms on states and inputs, as well as to the superposition of a ``bounded energy bounded state'' requirement and the global asymptotic stability of the unforced system. A semiglobal version of IISS is shown to imply the global version, though a counterexample shows that the analogous fact fails for input to state stability (ISS). The results in this note complete the basic theoretical picture regarding IISS and ISS.


title: A Quantum Field Theoretical Representation of Euler-Zagier Sums

abstract: We establish a novel representation of arbitrary Euler-Zagier sums in terms of weighted vacuum graphs. This representation uses a toy quantum field theory with infinitely many propagators and interaction vertices. The propagators involve Bernoulli polynomials and Clausen functions to arbitrary orders. The Feynman integrals of this model can be decomposed in terms of an algebra of elementary vertex integrals whose structure we investigate. We derive a large class of relations between multiple zeta values, of arbitrary lengths and weights, using only a certain set of graphical manipulations on Feynman diagrams. Further uses and possible generalizations of the model are pointed out.


title: Zeta Functions Of Discrete Groups Acting On Trees

abstract: This paper generalizes Bass' work on zeta functions for uniform tree lattices. Using the theory of von Neumann algebras, machinery is developed to define the zeta function of a discrete group of automorphisms of a bounded degree tree. The main theorems relate the zeta function to determinants of operators defined on edges or vertices of the tree. A zeta function associated to a non-uniform tree lattice with appropriate Hilbert representation is defined. Zeta functions are defined for infinite graphs with a cocompact or finite covolume group action.


title: Covariant first order differential calculus on quantum projective spaces

abstract: We investigate covariant first order differential calculi on the quantum complex projective spaces CP_q^{N-1} which are quantum homogeneous spaces for the quantum group SU_q(N). Hereby, one more well-studied example of covariant first order differential calculus on a quantum homogeneous space is given. Since the complex projective spaces are subalgebras of the quantum spheres S_q^{2N-1} introduced by Vaksman and Soibelman, we get also an example of the relations between covariant differential calculus on two closely related quantum spaces. Two approaches are combined in obtaining covariant first order differential calculi on CP_q^{N-1}: 1. restriction of covariant first order differential calculi from S_q^{2N-1}; 2. classification of calculi under appropriate constraints, using methods from representation theory. The main result is that under three reasonable settings of dimension constraints, covariant first order differential calculi on CP_q^{N-1} exist and are (for N >= 6) uniquely determined. This is a clear difference as compared to the case of the quantum spheres where several parametrical series of calculi exist. For two of the constraint settings, the covariant first order calculi on CP_q^{N-1} are also obtained by restriction from calculi on S_q^{2N-1} as well as from calculi on the quantum group SU_q(N).


title: Cobordism of symplectic manifolds and asymptotic expansions

abstract: The cobordism ring of symplectic manifolds defined by V.L. Ginzburg is shown to be isomorphic to the Pontrjagin ring of complex-oriented manifolds with free circle actions. This suggests an interpretation of the formal group law of complex cobordism, in terms of a composition-law on semiclassical expansions. An appendix discusses related questions about cobordism of toric varieties.


title: Uncountable direct systems and a characterization of non-separable projective $C^{\ast}$-algebras

abstract: We introduce the concept of a direct $C_{\omega}^{\ast}$-system and show that every non-separable unital $C^{\ast}$-algebra is the limit of essentially unique direct $C_{\omega}^{\ast}$-system. This result is then applied to the problem of characterization of projective unital $C^{\ast}$-algebras. It is shown that a non-separable unital $C^{\ast}$-algebra $X$ of density $\tau$ is projective if and only if it is the limit of a well ordered direct system ${\mathcal S}_{X} = \{X_{\alpha}, i_{\alpha}^{\alpha +1}, \alpha < \tau \}$ of length $\tau$, consisting of unital projective $C^{\ast}$-subalgebras $X_{\alpha}$ of $X$ and doubly projective homomorphisms (inclusions) $i_{\alpha}^{\alpha +1} \colon X_{\alpha} \to X_{\alpha +1}$, $\alpha < \tau$, so that $X_{0}$ is separable and each $i_{\alpha}^{\alpha +1}$, $\alpha < \tau$, has a separable type. In addition we show that a doubly projective homomorphism $f \colon X \to Y$ of unital projective $C^{\ast}$-algebras has a separable type if and only if there exists a pushout diagram \[ \begin{CD} X @>f>> Y @A{p}AA @AA{q}A X_{0} @>f_{0}>> Y_{0}, \end{CD} \] \noindent where $X_{0}$ and $Y_{0}$ are separable unital projective $C^{\ast}$-algebras and the homomorphisms $i_{0} \colon X_{0} \to Y_{0}$, $p \colon X_{0} \to X$ and $q \colon Y_{0} \to Y$ are doubly projective. These two results provide a complete characterization of non-separable projective unital $C^{\ast}$-algebras in terms of separable ones.


title: On spaces Baire isomorphic to the powers of the real line

abstract: We characterize AE(0)-spaces that are Baire isomorphic to the powers of the real line.


title: Compactifications and universal spaces in extension theory

abstract: We show that for each countable simplicial complex P the following conditions are equivalent: (1) $P \in AE(X)$ iff $P \in AE(\beta X)$ for any space X; (2) There exists a P-invertible map of a metrizable compactum X with $P \in AE(X)$ onto the Hilbert cube.


title: On some dimensional properties of 4-manifolds

abstract: It is shown, under the assumption of Jensen's principle $\lozenge$, that if for a complex L with $[L] \geq [S^{4}]$ there exists a metrizable compactum whose extension dimension is L, then there exists a differentiable, countably compact, perfectly normal and hereditarily separable 4-manifold whose extension dimension is also [L].


abstract: Topological characterization of torus groups is given.


title: Compact groups and absolute extensors

abstract: We discuss compact Hausdorff groups from the point of view of the general theory of absolute extensors. In particular, we characterize the class of simple, connected and simply connected compact Lie groups as AE(2)-groups the third homotopy group of which is $\text{\f Z}$. This is the converse of the corresponding result of R. Bott.


title: Continuous homomorphisms of Arens-Michael algebras

abstract: It is shown that every continuous homomorphism of Arens-Michael algebras can be obtained as the limit of a morphism of certain projective systems consisting of Fr\'{e}chet algebras. Based on this we prove that a complemented subalgebra of an uncountable product of Fr\'{e}chet algebras is topologically isomorphic to the product of Fr\'{e}chet algebras. These results are used to characterize injective objects of the category of locally convex topological vector spaces. Dually, it is shown that a complemented subspace of an uncountable direct sum of Banach spaces is topologically isomorphic to the direct sum of ({\bf LB})-spaces. This result is used to characterize projective objects of the above category.


title: Finite Generation of Canonical Rings

abstract: We prove the finite generation of canonical rings of projective variety of general type defined over complex numbers.


title: On the Griffiths-Harris conjecture on varieties with degenerate Gauss mappings

abstract: We exhibit examples of projective varieties with degenerate Gauss mappings and determine numerical invariants of such varieties. Our examples provide counter-examples to an asserted structure theorem of Griffiths and Harris (Ann. Sci. ENS 1979).


title: Topological Entropy and epsilon-Entropy for Damped Hyperbolic Equations

abstract: We study damped hyperbolic equations on the infinite line. We show that on the global attracting set $G$ the $\epsilon$-entropy (per unit length) exists in the topology of $W^{1,\infty}$. We also show that the topological entropy per unit length of $G$ exists. These results are shown using two main techniques: Bounds in bounded domains in position space and for large momenta, and a novel submultiplicativity argument in $W^{1,\infty}$.


title: Universal metric spaces and extension dimension

abstract: For any countable $CW$-complex $K$ and a cardinal number $\tau\geq\omega$ we construct a completely metrizable space $X(K,\tau)$ of weight $\tau$ with the following properties: $\e X(K,\tau)\leq K$, $X(K,\tau)$ is an absolute extensor for all normal spaces $Y$ with $\e Y\leq K$, and for any completely metrizable space $Z$ of weight $\leq\tau$ and $\e Z\leq K$ the set of closed embeddings $Z\to X(K,\tau)$ is dense in the space $C(Z,X(K,\tau))$ of all continuous maps from $Z$ into $X(K,\tau)$ endowed with the limitation topology. This result is applied to prove the existence of universal spaces for all metrizable spaces of given weight and with a given cohomological dimension.


title: Kronecker's and Newton's approaches to solving: A first comparison

abstract: In this extended abstract we deal with the relations between the numerical/diophantine approximation and the symbolic/algebraic geometry approachs to solving of multivariate diophentine polynomial systems, obtaining several consecuences ranging from diophantine approximation to effective number theory.


title: Invitation to composition

abstract: In 1963 [Ann. of Math. {\bf 78}, 267-288], Gerstenhaber invented a \emph{comp(osition)} calculus in the Hochschild complex of an associative algebra. In this paper, the first steps of the Gerstenhaber theory are exposed in an abstract (comp system) setting. In particular, as in the Hochschild complex, a graded Lie algebra and a pre-coboundary operator can be associated to every comp system. A derivation deviation of the pre-coboundary operator over the total composition is calculated in two ways, (the long) one of which is essentially new and can be seen as an example and elaboration of the auxiliary variables method proposed by Gerstenhaber in the early days of the comp calculus.


title: The Propagation of Molecular Chaos by Markov Transitions

abstract: We establish a necessary and sufficient condition for the propagation of chaos by a family of many-particle Markov processes, if the particles live in a Polish space: a sequence of n-particle Markov transition functions propagates chaos if and only if it propagates chaos for pure initial states.


title: The Picard Group of the Moduli of Higher Spin Curves

abstract: This article treats the Picard group of the moduli (stack) of r-spin curves and its compactification. Generalized spin curves, or r-spin curves are a natural generalization of 2-spin curves (algebraic curves with a theta-characteristic), and have been of interest lately because they are the subject of a remarkable conjecture of E. Witten, and because of the similarities between the intersection theory of these moduli spaces and that of the moduli of stable maps. We generalize results of Cornalba, giving relations between many of the elements of the Picard group of the stacks. These relations are important in the proof of the genus-zero case of Witten's conjecture given in math.AG/9905034. We use these relations to show that when 2 or 3 divides r, then the Picard group of the open stack has non-zero torsion. And finally, we work out some specific examples for small values of g and r.


title: On the size of approximately convex sets in normed spaces

abstract: Let X be a normed space. A subset A of X is approximately convex if $d(ta+(1-t)b,A) \le 1$ for all $a,b \in A$ and $t \in [0,1]$ where $d(x,A)$ is the distance of $x$ to $A$. Let $\Co(A)$ be the convex hull and $\diam(A)$ the diameter of $A$. We prove that every $n$-dimensional normed space contains approximately convex sets $A$ with $\mathcal{H}(A,\Co(A))\ge \log_2n-1$ and $\diam(A) \le C\sqrt n(\ln n)^2$, where $\mathcal{H}$ denotes the Hausdorff distance. These estimates are reasonably sharp. For every $D>0$, we construct worst possible approximately convex sets in $C[0,1]$ such that $\mathcal{H}(A,\Co(A))=\diam(A)=D$. Several results pertaining to the Hyers-Ulam stability theorem are also proved.


title: A Parameterization of Stabilizing Controllers over Commutative Rings

abstract: We present a parameterization of the stabilizing controllers over commutative rings. In the classical case, that is, in the case where there exist the right-/left-coprime factorizations of the given plant, the stabilizing controllers can be parameterized by the method called ``Youla-Kucera-parameterization''. However, it is known that there exist models in which some stabilizable transfer matrices do not have their right-/left-coprime factorizations. In such models, we cannot employ the Youla-Kucera-parameterization directly. Our method of this paper can be applied to even such models.


title: Feedback Stabilization over Commutative Rings with no Right-/Left-Coprime Factorizations

abstract: Anantharam showed in 1985 the existence of a model in which some stabilizable plants do not have its right-/left-coprime factorizations. In this paper, we give a condition of the nonexistence of the right-/left-coprime factorizations of stabilizable plants as a generalization of Anantharam's result. As examples of the models which satisfy the condition, we present two models. We illustrate the construction of a stabilizing controller of stabilizable single-input single-output plants of such models.


title: New homogeneous Einstein metrics of negative Ricci curvature

abstract: We construct new homogeneous Einstein spaces with negative Ricci curvature in two ways: First, we give a method for classifying and constructing a class of rank one Einstein solvmanifolds whose derived algebras are two-step nilpotent. As an application, we describe an explicit continuous family of ten-dimensional Einstein manifolds with a two-dimensional parameter space, including a continuous subfamily of manifolds with negative sectional curvature. Secondly, we obtain new examples of non-symmetric Einstein solvmanifolds by modifying the algebraic structure of non-compact irreducible symmetric spaces of rank greater than one, preserving the (constant) Ricci curvature.


title: Hecke Algebra Actions on the Coinvariant Algebra

abstract: Two actions of the Hecke algebra of type A on the corresponding polynomial ring are studied. Both are deformations of the natural action of the symmetric group on polynomials, and keep symmetric functions invariant. We give an explicit description of these actions, and deduce a combinatorial formula for the resulting graded characters on the coinvariant algebra.


title: On unbounded p-summable Fredholm modules

abstract: We prove that odd unbounded p-summable Fredholm modules are also bounded p-summable Fredholm modules (this is the odd counterpart of a result of A. Connes for the case of even Fredholm modules).


title: A generalization of conjectures of Bogomolov and Lang over finitely generated fields

abstract: Let K be a finitely generated field over Q, and A an abelian variety over K. Let <, > : A(K^a) x A(K^a) --> R be an arithmetic height pairing on A, where K^a is the algebric closure of K. For x_1,..., x_l \in A(K^a), we denote det(<x_i, x_j>) by d(x_1,..., x_l). Let G be a subgroup of finite rank in A(K^a), and X a subvariety of A_{K^a}. Fix a basis {g_1,..., g_n} of G_Q. In this note, we prove a generalization of Poonen's theorem: If the set {x \in X(K^a) | d(g_1,..., g_n, x) <= e} is Zariski dense in X for every positive number e, then X is a translation of an abelian subvariety by an element of G_{div}.


title: Motives and algebraic de rham cohomology

abstract: In this paper, we define a certain Hodge-theoretic structure for an arbitrary variety X over the complex number field by using the theory of mixed Hodge module due to Morihiko Saito. We call it an arithmetic Hodge structure of X. It is shown that extension groups of arithmetic Hodge structure do not vanish even for degree $\geq2$. Moreover, we define higher Abel-Jacobi maps from Bloch's higher Chow groups of X to these extension groups. These maps essentially involve the classical Abel-Jacobi maps by Weil and Griffiths, and Mumford's infinitesimal invariants of 0-cycles on surfaces.


title: On orbit closures of Borel subgroups in spherical varieties

abstract: Let F be the flag variety of a complex semi-simple group G, let H be an algebraic subgroup of G acting on F with finitely many orbits, and let V be an H-orbit closure in F. Expanding the cohomology class of V in the basis of Schubert classes defines a union V_0 of Schubert varieties in F with positive multiplicities. If G is simply-laced, we show that these multiplicites are equal to the same power of 2. For arbitrary G, we show that V_0 is connected in codimension 1. If moreover all multiplicities are 1, we show that the singularities of V are rational, and we construct a flat degeneration of V to V_0. Thus, for any effective line bundle L on F, the restriction map from H^0(G/B,L) to H^0(V,L) is surjective, and H^i(V,L)=0 for i>0.


title: A Version of Simpson's Rule for Multiple Integrals

abstract: Let M(f) denote the Midpoint Rule and T(f) the Trapezoidal Rule for estimating integral_a^b f(x) dx. Then Simpson's Rule = tM(f) + (1-t)T(f), where t = 2/3. We generalize Simpson's Rule to multiple integrals as follows. Let D be some polygonal region in R^n, let P_0,...,P_m denote the vertices of D, and let P_(m+1) = center of mass of D. Define the linear functionals M(f) = Vol(D)f(P_(m+1)), which generalizes the Midpoint Rule, and T(f) = Vol(D)(1/(m+1))sum(f(P_j), j = 0,...,m), which generalizes the Trapezoidal Rule. Finally, our generalization of Simpson's Rule is given by the cubature rule(CR) L_t = tM(f) + (1-t)T(f), for t in [0,1]. We choose t, depending on D, so that L_t is exact for polynomials of as large a degree as possible. In particular we derive CRs for the n simplex and unit n cube.


title: Complex interpolation of spaces of operators on l_1

abstract: Within the theory of complex interpolation and theta-Hilbert spaces we extend classical results of Kwapien on absolutely (r,1)-summing operators on l_1 with values in l_p as well as their natural extensions for mixing operators invented by Maurey. Furthermore, we show that for 1<p<2 every operator T on l_1 with values in theta-type 2 spaces, theta=2/p', is Rademacher p-summing. This is another extension of Kwapien's results, and by an extrapolation procedure a natural supplement to a statement of Pisier.


title: K-theory and cohomology of algebraic stacks: Riemann-Roch theorems, D-modules and GAGA theorems

abstract: This is the integral text of my thesis. The first part is an expanded version of "Riemann-Roch theorems for Deligne-Mumford stacks", where I deal with Artin stacks over general bases. In the second part, I prove some Riemann-Roch statment for D-modules on Deligne-Mumford stacks, and I also consider the problem of algebraization of analytic stacks.


title: Groups of loops and hoops

abstract: The approaches to quantum field theories based in the so called loop representation deserved much attention recently. In it, closed curves and holonomies around them play a central role. In this framework the group of loops and the group of hoops have been defined, the first one consisting in closed curves quotient with the equivalence relation that identifies curves differing in retraced segments, and the second one consisting in closed curves quotient with the equivalence relation that identifies curves having the same holonomy for every connection in a fiber bundle. The purpose of this paper is to clarify the relation between hoops and loops, or in other words, to give a description of the class of holonomy equivalent curves.


title: The Littlewood-Richardson rule, and related combinatorics

abstract: An introduction is given to the Littlewood-Richardson rule, and various combinatorial constructions related to it. We present a proof based on tableau switching, dual equivalence, and coplactic operations. We conclude with a section relating these fairly modern techniques to earlier work on the Littlewood-Richardson rule.


title: Illumination by Taylor Polynomials

abstract: Let f(x) be a differentiable function on the real line R, and let P be a point not on the graph of f(x). Define the illumination index of P to be the number of distinct tangents to the graph of f which pass thru P. We prove that if f '' is continuous and nonnegative on R, f '' > m >0 outside a closed interval of R, and f '' has finitely many zeroes on R, then every point below the graph of f has illumination index 2. This result fails in general if f '' is not bounded away from 0 on R. Also, if f '' has finitely many zeroes and f '' is not nonnnegative on R, then some point below the graph has illumination index not equal to 2. Finally, we generalize our results to illumination by odd order Taylor polynomials.


title: The Sebastiani-Thom Isomorphism in the Derived Category

abstract: We prove a derived category version of the Sebastiani-Thom Theorem, which describes the vanishing cycles of the sum of two functions of disjoint variables.


title: Reduction in principal fiber bundles: covariant Euler-Poincare equations

abstract: Let $\pi:P\to M^n$ be a principal G-bundle, and let ${\mathcal{L}}: J^1P \to\Lambda^n(M)$ be a G-invariant Lagrangian density. We obtain the Euler-Poincare equations for the reduced Lagrangian l defined on ${\mathcal C}(P)$, the bundle of connections on P.


title: The geometry and analysis of the averaged Euler equations and a new diffeomorphism group

abstract: We present a geometric analysis of the incompressible averaged Euler equations for an ideal inviscid fluid. We show that solutions of these equations are geodesics on the volume-preserving diffeomorphism group of a new weak right invariant pseudo metric. We prove that for precompact open subsets of ${\mathbb R}^n$, this system of PDEs with Dirichlet boundary conditions are well-posed for initial data in the Hilbert space $H^s$, $s>n/2+1$. We then use a nonlinear Trotter product formula to prove that solutions of the averaged Euler equations are a regular limit of solutions to the averaged Navier-Stokes equations in the limit of zero viscosity. This system of PDEs is also the model for second-grade non-Newtonian fluids.


title: Critical Points of Functions on Singular Spaces

abstract: We compare and contrast various notions of the "critical locus" of a complex analytic function on a singular space. After choosing a topological variant as our primary notion of the critical locus, we justify our choice by generalizing L\^e and Saito's result that constant Milnor number implies that Thom's a_f condition is satisfied.


title: On Local Behavior of Analytic Functions

abstract: We prove local inequalities for analytic functions defined on a convex body in $\Re^{n}$ which generalize well-known classical inequalities for polynomials.


title: Gap Sheaves and Vogel Cycles

abstract: Throughout our work on the L\^e cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces". These pieces were obtained by considering the relative polar varieties of L\^e and Teissier as gap sheaves. A gap sheaf is a formal device which gives a scheme-theoretic meaning to the analytic closure of the difference of an initial scheme and an analytic set. We would like to extend our results on L\^e cycles to functions on an arbitrary complex analytic space, and so we generalize this algebraic approach. We begin with an ordered set of generators for an ideal, and produce a collection of pure-dimensional analytic cycles, the Vogel cycles, which seem to contain a great deal of ``geometric'' data related to the original ideal. We prove a number of useful results, including some extremely general L\^e-Iomdine-Vogel formulas; these formulas generalize the L\^e Iomdine formulas that we used so profitably in previous work.


title: Notes on Perverse Sheaves and Vanishing Cycles

abstract: A working mathematician's summary of many results on the derived category, perverse sheaves, and vanishing cycles. This is the September 2023 version.


title: Galilean relativity and its invariant bilinear forms

abstract: We construct the family of bilinear forms gG on R3+1 for which Galilean boosts and spatial rotations are isometries. The key feature of these bilinear forms is that they are parametrized by a Galilean invariant vector whose physical interpretation is rather unclear. At the end of the paper, we construct the Poisson bracket associated with the (nondegenerate) antisymmetric part of gG.


title: Regular representations of vertex operator algebras, I

abstract: In this paper, given a module $W$ for a vertex operator algebra $V$ and a nonzero complex number $z$ we construct a canonical (weak) $V\otimes V$-module ${\cal{D}}_{P(z)}(W)$ (a subspace of $W^{*}$ depending on $z$). We prove that for $V$-modules $W, W_{1}$ and $W_{2}$, a $P(z)$-intertwining map of type ${W'\choose W_{1}W_{2}}$ ([H3], [HL0-3]) exactly amounts to a $V\otimes V$-homomorphism from $W_{1}\otimes W_{2}$ into ${\cal{D}}_{P(z)}(W)$. Using Huang and Lepowsky's one-to-one linear correspondence between the space of intertwining operators and the space of $P(z)$-intertwining maps of the same type we obtain a canonical linear isomorphism from the space ${\cal{V}}^{W'}_{W_{1}W_{2}}$ of intertwining operators of the indicated type to $\Hom_{V\otimes V}(W_{1}\otimes W_{2},{\cal{D}}_{P(z)}(W))$. In the case that $W=V$, we obtain a decomposition of Peter-Weyl type for ${\cal{D}}_{P(z)}(V)$, which are what we call the regular representations of $V$.


title: On Incompressible Averaged Lagrangian Hydrodynamics

abstract: This paper is devoted to the geometric analysis of the incompressible averaged Euler equations on compact Riemannian manifolds with boundary. The equation also coincides with the model for a second-grade non-Newtonian fluid. We study the analytical and geometrical properties of the Lagrangian flow map. We prove existence and uniqueness of smooth-in-time solutions for initial data in $H^s$, $s > n/2 +1$ by establishing the existence of smooth geodesics of a new weak right invariant metric on new subgroups of the volume-preserving diffeomorphism group. We establish smooth limits of zero viscosity for the second-grade fluids equations even on manifolds with boundary. We prove that the weak curvature operator of the weak invariant metric is continuous in the $H^s$ topology for $s> n/2+2$, thus proving existence and uniqueness for the Jacobi equation. We show that this new metric stabilizes the Lagrangian flow of the original Euler equations by changing the sign of the sectional curvature.


title: Low-Dimensional Unitary Representations of B_3

abstract: We characterize all simple unitarizable representations of the braid group $B_3$ on complex vector spaces of dimension $d \leq 5$. In particular, we prove that if $\sigma_1$ and $\sigma_2$ denote the two generating twists of $B_3$, then a simple representation $\rho:B_3 \to \gl(V)$ (for $\dim V \leq 5$) is unitarizable if and only if the eigenvalues $\lambda_1, \lambda_2, ..., \lambda_d$ of $\rho(\sigma_1)$ are distinct, satisfy $|\lambda_i|=1$ and $\mu^{(d)}_{1i} > 0$ for $2 \leq i \leq d$, where the $\mu^{(d)}_{1i}$ are functions of the eigenvalues, explicitly described in this paper.


title: Variants of the Maurey-Rosenthal theorem for quasi K"othe function spaces

abstract: The Maurey-Rosenthal theorem states that each bounded and linear operator T from a quasi normed space E into some L_p(\nu) which satisfies a certain vector-valued inequality even allows a weighted norm inequality. Continuing the work of Garcia Cuerva and Rubio de Francia we give several scalar and vector-valued variants of this fundamental result within the framework of quasi K"othe function spaces over measure spaces.


title: The Levy-Steinitz rearrangement theorem for duals of metrizable spaces

abstract: Extending the classical Levy-Steinitz rearrangement theorem, which in turn extended Riemann's theorem, Banaszczyk proved in 1990/93 that a metrizable, locally convex space is nuclear if and only if the domain of sums of every convergent series (i.e. the set of all elements in the space which are sums of a convergent rearrangement of the series) is a translate of a closed subspace of a special form. In this paper we present an apparently complete analysis of the domains of convergent series in duals of metrizable spaces or, more generally, in (DF)-spaces in the sense of Grothendieck.


title: Rational convexity of lagrangian immersed submanifolds

abstract: We prove that a compact, immersed, submanifold of C^n, lagrangian for a Kahler form, is rationally convex, generalizing a theorem of Duval and Sibony for embedded submanifolds.


title: Curvature and characteristic numbers of hyperk\"ahler manifolds

abstract: We express characteristic numbers of compact hyperk\"ahler manifolds in graph-theoretical form, considering them as a special case of the curvature invariants introduced by Rozansky and Witten. The appropriate graphs are generated by ``wheels'' and we use the recently proved Wheeling Theorem to give a formula for the L2 norm of the curvature of an irreducible hyperk\"ahler manifold in terms of the volume and Pontryagin numbers. The formula involves the multiplicative sequence which is the square root of the A-hat polynomial.