title: A Quartic Surface of Integer Hexahedra

abstract: Using a quartic surface and its rational curves we can give an infinite number of integer hexahedra; these are 6 sided 3d solids, each face a trapezoid, with all sides and diagonals having intger lengths.


title: Non-Commutative Markov Processes in Free Group Factors, Related to Berezin's Quantization and Automorphic Forms

abstract: In this paper we use the description of free group factors as the von Neumann algebras of Berezin's deformation of the upper half-plane, modulo PSL$(2,{\Bbb Z})$. The derivative, in the deformation parameter, of the product in the corresponding algebras, is a positive Hochschild 2-cocycle, defined on a dense subalgebra. By analyzing the structure of the cocycle we prove that there is a generator $\cal L$ for a quantum dynamical semigroup that implements the cocycle on a strongly dense subalgebra. For $x$ in the dense subalgebra, ${\cal L}(x)$ is the (diffusion) operator $$ {\cal L}(x)=\Lambda(x)-(1/2)\{T,x\}, $$ where $\Lambda$ is the pointwise (Schur) multiplication operator with a symbol function related to the logarithm of the automorphic form $\Delta$. The operator $T$ is positive and affiliated with the algebra ${\cal A}_t$ and $T$ corresponds to ${\cal L}(1)$, in a sense to be made precise in the paper. After a suitable normalization, corresponding to a principal-value type method, adapted for II$_1$ factors, $\Lambda$ becomes (completely) positive on a union of weakly dense subalgebras. Moreover the 2-cyclic cohomology cocycle associated to the deformation may be expressed in terms of $\Lambda$.


title: Subalgebras and Discriminants of Anticommutative Algebras

abstract: The paper deals with the configuration of subalgebras in generic $n$-dimensional $k$-argument anticommutative algebras and ``regular'' anticommutative algebras.


title: A Convex Maximization Problem: Discrete Case

abstract: We study a specific convex maximization problem in n-dimensional space. The conjectured solution is proved to be a vertex of the polyhedral feasible region, but only a partial proof of local maximality is known. Integer sequences with interesting patterns arise in the analysis, owing to the number theoretic origin of the problem.


title: A Convex Maximization Problem: Continuous Case

abstract: We study a specific convex maximization problem in the space of continuous functions defined on a semi-infinite interval. An unexplained connection to the discrete version of this problem is investigated.


title: Functional realization of some elliptic Hamiltonian structures and bosonization of the corresponding quantum algebras

abstract: We introduce a functional realization of the Hamiltonian structure on the moduli space of P-bundles on the elliptic curve E. Here P is parabolic subgroup in SL_n. We also introduce a construction of the corresponding quantum algebras.


title: Mirror Principle III

abstract: We generalize the theorems in {\it Mirror Principle I} and {\it II} to the case of general projective manifolds without the convexity assumption. We also apply the results to balloon manifolds, and generalize to higher genus.


title: A Mathematical Theory of Origami Numbers and Constructions

abstract: We give a hierarchial set of axioms for mathematical origami. The hierachy gives the fields of Pythagorean numbers, first discussed by Hilbert, the field of Euclidean constructible numbers which are obtained by the usual constructions of straightedge and compass, and the Origami numbers, which is also the field generated from the intersections of conics or equivalently the marked ruler.


title: Solvable Groups of Exponential Growth and HNN Extensions

abstract: We prove the following version of Milnor's theorem on solvable groups of exponential growth: A finitely generated solvable group which is not polycyclic contains an ascending HNN extension. Consequently, a finitely generated solvable group is ERF iff it is polycyclic.


title: Elliptic Curves from Sextics

abstract: Let $\mathcal N$ be the moduli space of sextics with 3 (3,4)-cusps. The quotient moduli space ${\mathcal N}/G$ is one-dimensional and consists of two components, ${\mathcal N}_{torus}/G$ and ${\mathcal N}_{gen}/G$. By quadratic transformations, they are transformed into one-parameter families $C_s$ and $D_s$ of cubic curves respectively. We study the Mordell-Weil torsion groups of cubic curves $C_s$ over $\bfQ$ and $D_s$ over $\bfQ(\sqrt{-3})$ respectively. We show that $C_{s}$ has the torsion group $\bf Z/3\bf Z$ for a generic $s\in \bf Q$ and it also contains subfamilies which coincide with the universal families given by Kubert with the torsion groups $\bf Z/6\bf Z$, $\bf Z/6\bf Z+\bf Z/2\bf Z$, $\bf Z/9\bf Z$ or $\bf Z/12\bf Z$. The cubic curves $D_s$ has torsion $\bf Z/3\bf Z+\bf Z/3\bf Z$ generically but also $\bf Z/3\bf Z+\bf Z/6\bf Z$ for a subfamily which is parametrized by $ \bf Q(\sqrt{-3}) $.


title: The ramifications of the centres: quantised function algebras at roots of unity

abstract: Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. We continue the study of such algebras begun in RT/9911234, concentrating in this case on the example of $O_{\epsilon}[G]$, a quantised function algebra at root of unity. In particular we determine the representation type and block structure of the family of reduced quantised function algebras, and describe many of them up to isomorphism. A series of parallel results is obtained for the quantised Borel algebras $U_{\epsilon}^{\geq 0}$.


title: Affine representations of the fundamental group (with an appendix on parabolic representations)

abstract: Unitary representations of the fundamental group of a Kahler manifold correspond to polystable vector bundles (with vanishing Chern classes). Semisimple linear representations correspond to polystable Higgs bundles. In this paper we find the objects corresponding to affine representations: the linear part gives a Higgs bundle and the translation part corresponds to an element of a generalized de Rham cohomology.


title: Remark on the rational functions having the same Julia set

abstract: Let f and g two rational functions having the same Julia set J_f. Lets suppose that f has a rational indifferent periodic point and that the critical set of f is disjoint of J_f. Then or J_f has to be equal to P^1, a circle, an arc of a circle for some cordinate or f and g has to verify an equation of the type: $$f^{m_1}\circ g\circ f^{m_2}\circ\cdotc\circ f^{m_n}\circ g=f^m.$$


title: Counting horoballs and rational geodesics

abstract: Let M be a geometrically finite pinched negatively curved Riemannian manifold with at least one cusp. We study the asymptotics of the number of geodesics in M starting from and returning to a given cusp, and of the number of horoballs at parabolic fixed points in the universal cover of M. In the appendix, due to K. Belabas, the case of SL(2,Z) and of Bianchi groups is developed.


title: Complex Curves in Almost-Complex Manifolds and Meromorphic Hulls

abstract: This are the notes of a course, given by the first author for the Graduiertenkollegs (=graduate students) at the Ruhr-University Bochum, in December 1997. These lectures pursued two main tasks: FIRST - to give a systematic and self-contained introduction to the Gromov theory of pseudoholomorphic curves. This is done in Chapters I,II,III. SECOND - to explain our join results on envelopes of meromorphy of real surfaces in complex two-dimensional manifolds. We do this in Chapter IV.


title: Combinatorial Properties of the Family of Maximum Stable Sets of a Graph

abstract: The stability number alpha(G) of a graph G is the cardinality of a maximum stable set in G, xi(G) denotes the size of core(G), where core(G) is the intersection of all maximum stable sets of G. In this paper we prove that for a graph G without isolated vertices, the following assertions are true: (i) if xi(G)< 2, then G is quasi-regularizable; (ii) if G is of order n and alpha(G) > (n+k-1)/2, for some k > 0, then xi(G) > k, and xi(G) > k+1, whenever n+k-1 is even. The last finding is a strengthening of a result of Hammer, Hansen, and Simeone, which states that alpha(G) > n/2 implies xi(G) > 0. G is a Koenig-Egervary graph if n equals the sum of its stability number and the cardinality of a maximum matching. For Koenig-Egervary graphs, we prove that alpha(G) > n/2 holds if and only if xi(G) is greater than the size of the neighborhood of core(G). Moreover, for bipartite graphs without isolated vertices, alpha(G) > n/2 is equivalent to xi(G) > 1. We also show that Hall's marriage Theorem is valid for Koenig-Egervary graphs, and it is sufficient to check Hall's condition only for one specific stable set, namely, for core(G).


title: The Intersection of All Maximum Stable Sets of a Tree and its Pendant Vertices

abstract: One theorem of Nemhauser and Trotter ensures that, under certain conditions, a stable set of a graph G can be enlarged to a maximum stable set of this graph. For example, any stable set consisting of only simplicial vertices is contained in a maximum stable set of G. In this paper we demonstrate that an inverse assertion is true for trees of order greater than one, where, in fact, all the simplicial vertices are pendant. Namely, we show that any maximum stable set of such a tree contains at least one pendant vertex. Moreover, we prove that if T does not own a perfect matching, then a stable set, consisting of at least two pendant vertices, is included in the intersection of all its maximum stable sets. For trees, the above assertion is also a strengthening of one result of Hammer, Hansen, and Simeone, stating that if half of order of G is less than the cardinality of a maximum stable set of G, then the intersection of all its maximum stable sets is non-empty.


title: Immersed surfaces and Dehn surgery

abstract: Let $F$ be a proper essential immersed surface in a hyperbolic 3-manifold $M$ with boundary disjoint from a torus boundary component $T$ of $M$. Let $\alpha$ be the set of coannular slopes of $F$ on $T$. The main theorem of the paper shows that there is a constant $K$ and a finite set of slopes $\Lambda$ on $T$, such that if $\beta$ is a slope on $T$ with $\Delta(\beta, \alpha_i) > K$ for all $\alpha_i$ in $\alpha$, and $\beta$ is not in $\Lambda$, then $F$ remains incompressible after Dehn filling on $T$ along the slope $\beta$. In certain sense, this means that $F$ survives most Dehn fillings. The proof uses minimal surface theory, integral of differential forms, and properties of geometrically finite groups. As a consequence of our method, it will also be shown that Freedman tubings of immersed geometrically finite surfaces are essential if the tubes are long enough.


title: Knots and links without parallel tangents

abstract: Steinhaus conjectured that every closed oriented $C^1$-curve has a pair of anti-parallel tangents. Porter disproved the conjecture by showing that there exist curves with no anti-parallel tangents. Colin Adams rised the question of whether there exists a nontrivial knot in $\R^3$ which has no parallel or antiparallel tangents. The main result of this paper solves this problem, showing that any (smooth or polygonal) link $L$ in $\R^3$ is isotopic to a smooth link $\hat L$ which has no parallel or antiparallel tangents.


title: Criteria for \sigma-ampleness

abstract: In the noncommutative geometry of Artin, Van den Bergh, and others, the twisted homogeneous coordinate ring is one of the basic constructions. Such a ring is defined by a $\sigma$-ample divisor, where $\sigma$ is an automorphism of a projective scheme X. Many open questions regarding $\sigma$-ample divisors have remained. We derive a relatively simple necessary and sufficient condition for a divisor on X to be $\sigma$-ample. As a consequence, we show right and left $\sigma$-ampleness are equivalent and any associated noncommutative homogeneous coordinate ring must be noetherian and have finite, integral GK-dimension. We also characterize which automorphisms $\sigma$ yield a $\sigma$-ample divisor.


title: Restricted permutations, continued fractions, and Chebyshev polynomials

abstract: Let f_n^r(k) be the number of 132-avoiding permutations on n letters that contain exactly r occurrences of 12... k, and let F_r(x;k) and F(x,y;k) be the generating functions defined by $F_r(x;k)=\sum_{n\gs0} f_n^r(k)x^n$ and $F(x,y;k)=\sum_{r\gs0}F_r(x;k)y^r$. We find an explcit expression for F(x,y;k) in the form of a continued fraction. This allows us to express F_r(x;k) for $1\ls r\ls k$ via Chebyshev polynomials of the second kind.


title: Enumeration of lozenge tilings of hexagons with a central triangular hole

abstract: We deal with unweighted and weighted enumerations of lozenge tilings of a hexagon with side lengths $a,b+m,c,a+m,b,c+m$, where an equilateral triangle of side length $m$ has been removed from the center. We give closed formulas for the plain enumeration and for a certain $(-1)$-enumeration of these lozenge tilings. In the case that $a=b=c$, we also provide closed formulas for certain weighted enumerations of those lozenge tilings that are cyclically symmetric. For $m=0$, the latter formulas specialize to statements about weighted enumerations of cyclically symmetric plane partitions. One such specialization gives a proof of a conjecture of Stembridge on a certain weighted count of cyclically symmetric plane partitions. The tools employed in our proofs are nonstandard applications of the theory of nonintersecting lattice paths and determinant evaluations. In particular, we evaluate the determinants $\det_{0\le i,j\le n-1}\big(\om \delta_{ij}+\binom {m+i+j}j\big)$, where $\om$ is any 6th root of unity. These determinant evaluations are variations of a famous result due to Andrews (Invent. Math. 53 (1979), 193--225), which corresponds to $\om=1$.


title: A toroidal resolution for the bad reduction of some Shimura varieties

abstract: Borrowing a reduction principle to a recent preprint of G. Faltings (toroidal resolution of some matrix singularities, 1999), we use Lafforgue's compactification of PGL_r^{N+1}/PGL_r to construct a canonical log-smooth toroidal resolution for the bad reduction in a prime p of Shimura varieties of unitary and symplectic type with parahoric level structures at p. Using this result, non-canonical semi-stable resolutions over Z_p[p^{1/\nu}] can be derived.


title: Sur les triples de Manin pour les alg\`ebres de Lie r\'eductives complexes

abstract: We study Manin triples for a reductive Lie algebra, $\g$. First, we generalize results of E. Karolinsky, on the classification of Lagrangian subalgebras (cf. KAROLINSKY E., {\em A Classification of Poisson homogeneous spaces of a compact Poisson Lie group}, Dokl. Ak. Nauk, 359 (1998), 13-15). Then we show that, if $\g$ is non commutative, one can attach, to each Manin triple in $\g$, an other one for a strictly smaller reductive complex Lie subalgebra of $\g$. We study also the inverse process.


title: A combinatorial characterization of second category subsets of X^\omega

abstract: Let a finite non-empty X is equipped with discrete topology. We prove that S \subseteq X^\omega is of second category if and only if for each f:\omega -> \bigcup_{n \in \omega} X^n there exists a sequence {a_n}_{n \in \omega} belonging to S such that for infinitely many i \in \omega the infinite sequence {a_{i+n}}_{n \in \omega} extends the finite sequence f(i).


title: On One-Parameter Families of Dido Riemannian Problems

abstract: Locally, isoperimetric problems on Riemannian surfaces are sub-Riemannian problems in dimension 3. The particular case of Dido problems corresponds to a class of singular contact sub-Riemannian metrics : metrics which have the charateristic vertor field as symmetry. We give a classification of the generic conjugate loci (i.e. classification of generic singularities of the exponential mapping) of a 1-parameter family of 3-d contact sub-Riemannian metrics associated to a 1-parameter family of Dido Riemannian problems.


title: Polynomials with general C^2-fibers are variables. I

abstract: Suppose that X' is a smooth affine algebraic variety of dimension 3 with H_3(X')=0 which is a UFD and whose invertible functions are constants. Suppose that Z is a Zariski open subset of X which has a morphism p : Z -> U into a curve U such that all fibers of p are isomorphic to C^2. We prove that X' is isomorphic to C^3 iff none of irreducible components of X'-Z has non-isolated singularities. Furthermore, if X' is C^3 then p extends to a polynomial on C^3 which is linear in a suitable coordinate system. As a consequence we obtain the fact formulated in the title of the paper.


title: Combinatorics of branchings in higher dimensional automata

abstract: We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner (or branching) homology of a globular $\omega$-category and the combinatorics of a new homology theory called the reduced branching homology. The latter is the homology of the quotient of the branching complex by the sub-complex generated by its thin elements. Conjecturally it coincides with the non reduced theory for higher dimensional automata, that is $\omega$-categories freely generated by precubical sets. As application, we calculate the branching homology of some $\omega$-categories and we give some invariance results for the reduced branching homology. We only treat the branching side. The merging side, that is the case of merging areas of execution paths is similar and can be easily deduced from the branching side.


title: Glutoses: a Generalization of Topos Theory

abstract: A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on "non-commutative" or, more generally, "universal" algebraic geometry, which is alternative to already existing, and is closer, in some sense, to the classical Grothendieck's construction of commutative schemes. Another immediate application of the theory developed is construction of an extension of the category of Grothendieck schemes to the category of "etale schemes" containing together with any scheme every etale sheaf over it as well. The main result of this work is that for any presite satisfying some smallness conditions (existence of local sets of topological generators) there exists the universal "completion" of a presite to a glutos.


title: Finite dimensional algebras and cellular systems

abstract: We introduce the notion of a cellular system in order to deal with quasi-hereditary algebras. We shall prove that a necessary and sufficient condition for an algebra to be quasi-hereditary is the existence of a full divisible cellular system. As a further application, we prove that the existence of a full local cellular system is a sufficient condition for a standardly stratified algebra.


title: On Large Scale Properties of Manifolds

abstract: We show that a space with a finite asymptotic dimension is embeddable in a non-positively curved manifold. Then we prove that if a uniformly contractible manifold X is uniformly embeddable in $\R^n$ or non-positively curved n-dimensional simply connected manifold then $X\times\R^n$ is integrally hyperspherical. If a uniformly contractible manifold X of bounded geometry is uniformly embeddable into a Hilbert space, then X is stably integrally hyperspherical.


title: Modified Affine Hecke Algebras and Drinfeldians of Type A

abstract: We introduce a modified affine Hecke algebra $\h{H}^{+}_{q\eta}({l})$ ($\h{H}_{q\eta}({l})$) which depends on two deformation parameters $q$ and $\eta$. When the parameter $\eta$ is equal to zero the algebra $\h{H}_{q\eta=0}(l)$ coincides with the usual affine Hecke algebra $\h{H}_{q}(l)$ of type $A_{l-1}$, if the parameter q goes to 1 the algebra $\h{H}^{+}_{q=1\eta}(l)$ is isomorphic to the degenerate affine Hecke algebra $\Lm_{\eta}(l)$ introduced by Drinfeld. We construct a functor from a category of representations of $H_{q\eta}^{+}(l)$ into a category of representations of Drinfeldian $D_{q\eta}(sl(n+1))$ which has been introduced by the first author.


title: On the flatness of models of certain Shimura varieties of PEL-type

abstract: Consider a PEL-Shimura variety associated to a unitary group that splits over an unramified extension of Q_p. Rapoport and Zink have defined a model of the Shimura variety over the ring of integers of the completion of the reflex field at a place lying over p, with parahoric level structures at p. We show that this model is flat, as conjectured by Rapoport and Zink, and that its special fibre is reduced.


title: Three-Dimensional 2-Framed TQFTs and Surgery

abstract: The notion of 2-framed three-manifolds is defined. The category of 2-framed cobordisms is described, and used to define a 2-framed three-dimensional TQFT. Using skeletonization and special features of this category, a small set of data and relations is given that suffice to construct a 2-framed three-dimensional TQFT. These data and relations are expressed in the language of surgery.


title: Irreducible components of characteristic varieties

abstract: We give a dimension bound on the irreducible components of the characteristic variety of a system of linear partial differential equations defined from a suitable filtration of the Weyl algebra $A_{n}(k)$. This generalizes an important consequence of the fact that a characteristic variety defined from the order filtration is involutive. More explicitly, we consider a filtration of $A_{n}(k)$ induced by any vector $(u,v) \in {\mathbb Z}^{n}\times {\mathbb Z}^{n}$ such that the associated graded algebra is the commutative polynomial ring in $2n$ indeterminates. The order filtration is the special case $(u,v) = (0,1)$. Any finitely generated left $A_{n}(k)$-module $M$ has a good filtration with respect to $(u,v)$ and this gives rise to a characteristic variety $\Ch_{(u,v)}(M)$ which depends only on $(u,v)$ and $M$. When $(u,v) = (0,1)$, the characteristic variety is involutive and this implies that its irreducible components have dimension at least $n$. In general, the characteristic variety may fail to be involutive, but we are still able to prove that each irreducible component of $\Ch_{(u,v)}(M)$ has dimension at least $n$.


title: Stratifying q-Schur Algebras of Type D

abstract: Two families of q-Schur algebras associated to Hecke algebras of type D are introduced, and related to a family used by Geck, Gruber and Hiss [10], [11]. We prove that the algebras in one family, called the q-Schur^{1.5} algebras, are integrally free, stable under base change, and are standardly stratified if the base field has odd characteristic. In the so-called linear prime case of [10], [11], all three families give rise to Morita equivalent algebras. A final section discusses a different example, and speculates on the direction of a general theory.


title: Biperfect Hopf Algebras

abstract: Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any 1-dimensional H-module is trivial. Let us say that H is biperfect if both H and H^* are perfect. Note that, H is biperfect if and only if its quantum double D(H) is biperfect. It is not easy to construct a biperfect Hopf algebra of dimension >1. The goal of this note is to describe the simplest such example we know. The biperfect Hopf algebra H we construct is based on the Mathiew group of degree 24, and it is semisimple. Therefore, it yields a negative answer to Question 7.5 from a previous paper of the first two authors (math.QA/9905168). Namely, it shows that Corollary 7.4 from this paper stating that a triangular semisimple Hopf algebra over C has a non-trivial group-like element, fails in the quasitriangular case. The counterexample is the quantum double D(H).


title: Curves of every genus with many points, I: Abelian and toric families

abstract: Let N_q(g) denote the maximal number of F_q-rational points on any curve of genus g over the finite field F_q. Ihara (for square q) and Serre (for general q) proved that limsup_{g-->infinity} N_q(g)/g > 0 for any fixed q. In their proofs they constructed curves with many points in infinitely many genera; however, their sequences of genera are somewhat sparse. In this paper, we prove that lim_{g-->infinity} N_q(g) = infinity. More precisely, we use abelian covers of P^1 to prove that liminf_{g-->infinity} N_q(g)/(g/log g) > 0, and we use curves on toric surfaces to prove that liminf_{g-->infty} N_q(g)/g^{1/3} > 0; we also show that these results are the best possible that can be proved with these families of curves.


title: On a compactification of the moduli space of the rational normal curves

abstract: For any odd $n$, we describe a smooth minimal (i.e. obtained by adding an irreducible hypersurface) compactification $\tilde S_n$ of the quasi-projective homogeneous variety $S_{n}=PGL(n+1)/SL(2)$ that parameterizes the rational normal curves in $P^n$. We show that $\tilde S_{n}$ is isomorphic to a component of the Maruyama scheme of the semi-stable sheaves on $P^n$ of rank $n$ and Chern polynomial $(1+t)^{n+2}$ and we compute its Betti numbers. In particular $\tilde S_{3}$ is isomorphic to the variety of nets of quadrics defining twisted cubics, studied by G. Ellinsgrud, R. Piene and S. Str{\o}mme (Space curves, Proc. Conf., LNM 1266).


title: On arithmetic Kleinian groups generated by three half-turns

abstract: We study a generalization of the Fuchsian triangle groups to the hyperbolic 3-space, namely, the groups generated by half-turns in three hyperbolic lines. The role of the hyperbolic triangles is now played by the right-angled hexagons. This class of groups is very close to the arbitrary 2-generator Kleinian groups but appear to be much more geometric by the construction. The main idea of our research is to make use of the geometric properties of the generalized triangle groups to study 2-generator arithmetic Kleinian groups. In this paper we start with a parameterization for the generalized triangle groups by three complex numbers. Then we give a matrix representation and introduce an arithmeticity test for the group in terms of the given parameters. Finally, we apply the arithmeticity test to prove the finiteness of the number of the arithmetic groups in a partial case when all three parameters are equal. For this partial case we also describe the parameters of the non cocompact arithmetic triangle groups and present the singular sets of the corresponding factor-orbifolds.


title: On the monodromy of complex polynomials

abstract: We show that the monodromy operator at infinity plus the decomposition of the homology given by the vanishing cycles completely determine the homology monodromy representation of any complex polynomial.


title: Locally analytic distributions and p-adic representation theory, with applications to GL_2

abstract: Let L be a finite extension of Qp, and let K be a spherically complete non-archimedean extension field of L. In this paper we introduce a restricted category of continuous representations of locally L-analytic groups G in locally convex K-vector spaces. We call the objects of this category "admissible" representations and we establish some of their basic properties. Most importantly we show that (at least when G is compact) the category of admissible representations in our sense can be algebraized; it is faithfully full (anti)-embedded into the category of modules over the locally analytic distribution algebra D(G,K) of G over K. As an application of our theory, we prove the topological irreducibility of generic members of the p-adic principal series of GL(2,Qp).


title: Construction of central elements in the affine Hecke algebra via nearby cycles

abstract: Let $G$ be a reductive group, let $Gr=G((t))/G[[t]]$ be the corresponding affine Grassmannian and let $Fl=G((t))/I$ be the affine flag variety. We construct, following an idea of Belinson, a 1-parametric deformation of the product $Gr\times G/B$ to $Fl$. We use this construction to produce perverse sheaves on $Fl$ which are central with respect to the convolution product from spherical perverse sheaves on $Gr$.


title: Relaxed multi category structure of a global category of rings and modules

abstract: In this paper we describe how to give a particular global category of rings and modules the structure of a relaxed multi category, and we describe an algebra in this relaxed multi category such that vertex algebras appear as such algebras.


title: Birational maps of del Pezzo fibrations

abstract: In this paper, we study rigidity of nonsingular del Pezzo fibrations over a germ of smooth curve.


title: On algebraic mixed Hodge substructures of H^2

abstract: This paper has been superseded to a great extent by the following: Paper: math.AG/0511558 Title: The Neron-Severi group of a proper seminormal complex variety Authors: L. Barbieri-Viale, A. Rosenschon & V. Srinivas Paper: math.AG/0102150 Title: Deligne's Conjecture on 1-Motives Authors: Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito Journal-ref: Ann. of Math. (2), Vol. 158 (2003), no. 2, 593--633


title: Modular Double of Quantum Group

abstract: An extension of Quantum Group is described. We propose to unite the quantum groups with parameter q and with parameter modularly dual to q.


title: A merry-go-round with the circle map, primes and pseudoprimes

abstract: We show that the use of the main characteristics of the circle map leads naturally to establish a few statements on primes and pseudoprimes. In this way a Fermat's theorem on primes and some interesting properties of pseudoprimes are obtained.


title: Sur la caracterisation bu bord d'une chaine holomorphe dans l'espace projectif

abstract: Nous demontrons qu'une sous-variete reelle, compacte, orientee et lisse \Gamma de dimension $2p-1\geq 3$ de CP^n est le bord d'un sous-ensemble analytique s'il existe une variete reelle $V\subset G(n-p+2,n+1)$ de codimension 1 satisfaisant les conditions suivantes pour tout $\nu\in V$ 1. La reunion $\bigcup_{\nu\in V} P^{n-p+1}_\nu$ recouvre un ouvert dense de \Gamma. 2. Le (n-p+1)-plan $P^{n-p+1}_\nu$ intersecte \Gamma transversalement. 3. $\Gamma\cap P^{n-p+1}_\nu$ est le bord d'une surface de Riemann dans $P^{n-p+1}_\nu$. 4. Aucun ouvert non vide de $\Gamma\cap P^{n-p+1}_\nu$ n'est reel analytique. Pour la preuve, nous utilisons et demontrons le resultat suivant: pour toute surface de Riemann a bord rectifiable (eventuellement reductible et singuliere) S d'une variete complexe, $\bar S$ admet un systeme fondamental de voisinages de Stein. Il existe \Gamma reelle algebrique verifiant 1-3, qui n'est pas bord d'un sous-ensemble analytique.


title: Frobenius submanifolds

abstract: The notion of a Frobenius submanifold - a submanifold of a Frobenius manifold which is itself a Frobenius manifold with respect to structures induced from the original manifold - is studied. Two dimensional submanifolds are particularly simple. More generally, sufficient conditions are given for a submanifold to be a so-called natural submanifold. These ideas are illustrated using examples of Frobenius manifolds constructed from Coxeter groups, and for the Frobenius manifolds governing the quantum cohomology of CP^2 and CP^1 \times CP^1.

categories: math.DG hep-th math-ph math.MP nlin.SI solv-int


title: Einstein Manifolds and Contact Geometry

abstract: We show that every K-contact Einstein manifold is Sasakian-Einstein and discuss several corollaries of this result.


title: Configuration space integrals and invariants for 3-manifolds and knots

abstract: The first part of this paper is a short review of the construction [dg-ga/9710001] of invariants of rational homology 3-spheres and knots in terms of configuration space integrals. The second part describes the relationship between the above construction and Kontsevich's proposal of removing one point from the rational homology sphere. Explicit formulae are computed. In the case of the "Theta" invariant, a comparison with Taubes's construction is briefly discussed.


title: Up-to-Homotopy Monoids

abstract: Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold `up to homotopy' in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis of some examples. It is a much-abbreviated version of the paper `Homotopy Algebras for Operads' (math.QA/0002180), and does not assume any knowledge of operads.


title: TQFT - a new direction in algebraic topology

abstract: We give an introduction for the non-expert to TQFT (Topological Quantum Field Theory), focussing especially on its role in algebraic topology. We compare the Atiyah axioms for TQFT with the Eilenberg Steenrod axioms for homology, give a few simple examples of TQFTs, and discuss some other approaches that have been taken to defining TQFT. We then propose a new formulation of TQFT, which is closer in spirit to the way conventional functors of algebraic topology, like homology, are presented. In this approach the fundamental operation of gluing is incorporated through the notion of a *gluing morphism*, which we define. It allows not only the gluing together of two separate objects, but also the self-gluing of a single object to be treated in the same fashion. As an example of our approach we reformulate and generalize a class of examples due to Quinn based on the Euler characteristic.


title: The Second Main Theorem for Holomorphic Curves into Semi-Abelian Varieties

abstract: Let f:C -> A be an entire holomorphic curve into a semi-Abelian variety A. Then the Zariski closure of f(C) is a translate of a semi-Abelian subvariety of A (logarithmic Bloch-Ochiai's theorem). The purpose of the present paper is to establish a quantitative version of the above result for such f i.e., the second main theorem and the defect relation.


title: Positive diagrams for Seifert fibered spaces

abstract: A Heegaard diagram for a 3-manifold M is a closed, oriented surface S together with a pair (X, Y) of compact 1-manifolds in S whose components serve as attaching curves for the 2-handles of the two sides of a Heegaard splitting for M. The diagram is positive if X and Y can be oriented so that the intersection number <X,Y>_p = +1 at each point p in their intersection. Every (compact, orientable) 3-manifold can be represented by a positive diagram, but the argument for this suggests that the minimal genus, phg(M), for a positive diagram may be much larger than the minimal genus,hg(M), among all diagrams. This paper investigates this situation for the class of closed orientable Seifert manifolds over an orientable base. We show that phg(M) = hg(M) for most of these manifolds with phg(M) never more than hg(M)+2. The cases phg(M) > hg(M) are determined and occur when the minimal genus splitting is horizontal. The arguments provide an alternate proof distinguishing these from vertical splittings.


title: Equivariant K-theory and Equivariant Cohomology

abstract: For T an abelian compact Lie group, we give a description of T-equivariant K-theory with complex coefficients in terms of equivariant cohomology. In the appendix we give applications of this by extending results of Chang-Skjelbred and Goresky-Kottwitz-MacPherson from equivariant cohomology to equivariant K-theory.


title: Equivariant Elliptic Cohomology and Rigidity

abstract: Equivariant elliptic cohomology with complex coefficients was defined axiomatically by Ginzburg, Kapranov and Vasserot and constructed by Grojnowski. We give an invariant definition of S^1-equivariant elliptic cohomology, and use it to give an entirely cohomological proof of the rigidity theorem of Witten for the elliptic genus. We also state and prove a rigidity theorem for families of elliptic genera.


title: A counting method for finding rational approximates to arbitrary order roots of integers

abstract: It is shown that for finding rational approximates to m'th root of any integer to any accuracy one only needs the ability to count and to distinguish between m different classes of objects. To every integer N can be associated a 'replacement rule' that generates a word W* from another word W consisting of symbols belonging to a finite 'alphabet' of size m. This rule applied iteratively on almost any initial word W0, yields a sequence of words {Wi} such that the relative frequency of different symbols in the word Wi approaches powers of the m'th root of N as i tends to infinity


title: Invariant Linear Connections on Homogeneous Symplectic Varieties

abstract: We find all homogeneous symplectic varieties of connected reductive algebraic groups that admit an invariant linear connection.


title: Linear orbits of arbitrary plane curves

abstract: The `linear orbit' of a plane curve of degree $d$ is its orbit in $\P^{d(d+3)/2}$ under the natural action of $\PGL(3)$. In this paper we obtain an algorithm computing the degree of the closure of the linear orbit of an arbitrary plane curve, and give explicit formulas for plane curves with irreducible singularities. The main tool is an intersection@-theoretic study of the projective normal cone of a scheme determined by the curve in the projective space $\P^8$ of $3\times 3$ matrices; this expresses the degree of the orbit closure in terms of the degrees of suitable loci related to the limits of the curve. These limits, and the degrees of the corresponding loci, have been established in previous work.


title: Riemann-Hilbert problem and the discrete Bessel kernel

abstract: We use discrete analogs of Riemann-Hilbert problem's methods to derive the discrete Bessel kernel which describes the poissonized Plancherel measures for symmetric groups. To do this we define discrete analogs of a Riemann-Hilbert problem and of an integrable integral operator and show that computing the resolvent of a discrete integrable operator can be reduced to solving a corresponding discrete Riemann-Hilbert problem. We also give an example, explicitly solvable in terms of classical special functions, when a discrete Riemann-Hilbert problem converges in a certain scaling limit to a conventional one; the example originates from the representation theory of the infinite symmetric group.

categories: math.CO hep-th math-ph math.MP nlin.SI solv-int


title: Ubiquity of Kostka polynomials

abstract: We report about results revolving around Kostka-Foulkes and parabolic Kostka polynomials and their connections with Representation Theory and Combinatorics. It appears that the set of all parabolic Kostka polynomials forms a semigroup, which we call {\it Liskova semigroup}. We show that polynomials frequently appearing in Representation Theory and Combinatorics belong to the Liskova semigroup. Among such polynomials we study rectangular $q$-Catalan numbers; generalized exponents polynomials; principal specializations of the internal product of Schur functions; generalized $q$-Gaussian polynomials; parabolic Kostant partition function and its $q$-analog; certain generating functions on the set of transportation matrices. In each case we apply rigged configurations technique to obtain some interesting and new information about Kostka-Foulkes and parabolic Kostka polynomials, Kostant partition function, MacMahon, Gelfand-Tsetlin and Chan-Robbins polytopes. We describe certain connections between generalized saturation and Fulton's conjectures and parabolic Kostka polynomials; domino tableaux and rigged configurations. We study also some properties of $l$-restricted generalized exponents and the stable behaviour of certain Kostka-Foulkes polynomials.


title: Gau{\ss}-Manin determinant connections and periods for irregular connections

abstract: Gau{\ss}-Manin determinant connections associated to irregular connections on a curve are studied. The determinant of the Fourier transform of an irregular connection is calculated. The determinant of cohomology of the standard rank 2 Kloosterman sheaf is computed modulo 2 torsion. Periods associated to irregular connections are studied in the very basic $\exp(f)$ case, and analogies with the Gau{\ss}-Manin determinant are discussed.


title: Bijections for hook pair identities

abstract: Short, bijective proofs of identities for multisets of `hook pairs' (arm-leg pairs) of the cells of certain diagrams are given. These hook pair identities were originally found by Regev.


title: Geometric Eisenstein series

abstract: The purpose of this of this paper is to develop the theory of Eisenstein series in the framework of geometric Langlands correspondence. Our construction is based on the study of certain relative compactification of the moduli stack of parabolic bundles on a curve suggested by V.Drinfeld. As an application we construct certain automorphic forms for global fields of positive characteristic, whose existence is non-obvious from the point of view of classical tools.


title: Sharp Lorentz space estimates for rough operators

abstract: We demonstrate the $(H^1,L^{1,2})$ or $(L^p,L^{p,2})$ mapping properties of several rough operators. In all cases these estimates are sharp in the sense that the Lorentz exponent 2 cannot be replaced by any lower number.


title: Differential forms on free and almost free divisors

abstract: We introduce a variant of the usual Kahler forms on free and almost free divisors and their deformations, and show that they enjoy the same depth properties as Kahler forms on isolated complete intersection singularities. Using these forms, it is possible to describe analytically the vanishing cohomology in families of free divisors, in precise analogy with the classical description for the Milnor fibration of an ICIS, due to Brieskorn and Greuel. This applies in par- ticular to the family of discriminants of a versal deformation of an unstable map-germ.


title: On the isotriviality of families of elliptic surfaces

abstract: We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kov\'acs, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.


title: Complete surfaces with negative extrinsic curvature

abstract: N. V. Efimov \cite{Ef1} proved that there is no complete, smooth surface in $\R^3$ with uniformly negative curvature. We extend this to isometric immersions in a 3-manifold with pinched curvature: if $M^3$ has sectional curvature between two constants $K_2$ and $K_3$, then there exists $K_1 < \min(K_2, 0)$ such that $M$ contains no smooth, complete immersed surface with curvature below $K_1$. Optimal values of $K_1$ are determined. This results rests on a phenomenon of propagations for degenerations of solutions of hyperbolic Monge-Amp{\`e}re equations.


title: A duality for Spin Verlinde spaces and Prym theta functions

abstract: We prove canonical isomorphisms between Spin Verlinde spaces, i.e, spaces of global sections of a determinant line bundle over the moduli space of semistable Spin-bundles over a smooth projective curve C, and the dual spaces of theta functions over Prym varieties of unramified double covers of C.


title: The distribution of spacings between fractional parts of lacunary sequences

abstract: Given an increasing sequence of integers a(n), it is known (due to Weyl) that for almost all reals t, the fractional parts of the dilated sequence t*a(n) are uniformly distributed in the unit interval. Some effort has been made recently to understand the distribution of the spacings between elements of such sequences (normalized to have unit mean), especially for sequences of polynomials. In this note, we consider lacunary sequences, such as the sequence of of powers of 2 (that is a(n)= 2^n). We show that for almost every t, all local correlation functions of the sequence t*2^n are those of a random sequence (the Poisson model). Among other things, this implies that the spacings between nearest neighbors, normalized to have unit mean, have an exponential distribution.


title: Hilbert schemes, wreath products, and the McKay correspondence

abstract: Various algebraic structures have recently appeared in a parallel way in the framework of Hilbert schemes of points on a surface and respectively in the framework of equivariant K-theory [N1,Gr,S2,W], but direct connections are yet to be clarified to explain such a coincidence. We provide several non-trivial steps toward establishing our main conjecture on the isomorphism between the Hilbert quotient of the affine space $\C^{2n}$ by the wreath product $\G ~ S_n$ and Hilbert schemes of points on the minimal resolution of a simple singularity $\C^2 /\G$. We discuss further various implications of our main conjecture. We obtain a key ingredient toward a direct isomorphism between two forms of McKay correspondence in terms of Hilbert schemes [N1, Gr, N2] and respectively of wreath products [FJW]. We in addition establish a direct identification of various algebraic structures appearing in two different setups of equivariant K-theory [S2, W].


title: Geometric and unipotent crystals

abstract: In this paper we introduce geometric crystals and unipotent crystals which are algebro-geometric analogues of Kashiwara's crystal bases. Given a reductive group G, let I be the set of vertices of the Dynkin diagram of G and T be the maximal torus of G. The structure of a geometric G-crystal on an algebraic variety X consists of a rational morphism \gamma:X-->T and a compatible family e_i:G_m\times X-->X, i\in I of rational actions of the multiplicative group G_m satisfying certain braid-like relations. Such a structure induces a rational action of W on X. Quite surprisingly, many interesting rational actions of the group W come from geometric crystals. Also all the known examples of the action of W which appear in the construction of gamma-functions for the representations of ^LG in the recent work by A. Braverman and D. Kazhdan come from geometric crystals. There are many examples of positive geometric crystals on (G_m)^l, i.e., those geometric crystals for which the actions e_i and the morphism \gamma are given by positive rational expressions. To each positive geometric crystal X we associate a Kashiwara's crystal corresponding to the Langlands dual group ^LG. An emergence of ^LG in the "crystal world" was observed earlier by G. Lusztig. Another application of geometric crystals is a construction of trivialization which is an W-equivariant isomorhism X-->\gamma^{-1}(e) \times T for any geometric SL_n-crystal. Unipotent crystals are geometric analogues of normal Kashiwara crystals. They form a strict monoidal category. To any unipotent crystal built on a variety X we associate a certain gometric crystal.


title: Algebraic structure of the loop space Bockstein spectral sequence

abstract: Let X be a finite, n-dimensional, r-connected CW complex. We prove the following theorem: If p \geq n/r is an odd prime, then the loop space homology Bockstein spectral sequence modulo p is a spectral sequence of universal enveloping algebras over differential graded Lie algebras.


title: Mean values of L-functions and symmetry

abstract: Recently Katz and Sarnak introduced the idea of a symmetry group attached to a family of L-functions, and they gave strong evidence that the symmetry group governs many properties of the distribution of zeros of the L-functions. We consider the mean-values of the L-functions and the mollified mean-square of the L-functions and find evidence that these are also governed by the symmetry group. We use recent work of Keating and Snaith to give a complete description of these mean values. We find a connection to the Barnes-Vign\'eras $\Gamma_2$-function and to a family of self-similar functions.


title: Rigidity and Vanishing Theorems in K-Theory I

abstract: In this paper, we first establish a K-theory version of the equivariant family index theorem for a circle action, then use it to prove several rigidity and vanishing theorems on the equivariant K-theory level.


title: Hypergeometric functions and mirror symmetry in toric varieties

abstract: We study aspects related to Kontsevich's homological mirror symmetry conjecture in the case of Calabi-Yau complete intersections in toric varieties. In a 1996 lecture at Rutgers University, Kontsevich indicated how his proposal implies that the groups of automorphisms of the two types of categories involved in the homological mirror symmetry conjecture should also be identified. Our main results provide an explicit geometric construction of the correspondence between the automorphisms of the two types of categories.


title: Quantized primitive ideal spaces as quotients of affine algebraic varieties

abstract: Given an affine algebraic variety V and a quantization A of its coordinate ring, it is conjectured that the primitive ideal space of A can be expressed as a topological quotient of V. Evidence in favor of this conjecture is discussed, and positive solutions for several types of varieties (obtained in joint work with E. S. Letzter) are described. In particular, explicit topological quotient maps are given in the case of quantum toric varieties.


title: Lectures on complements on log surfaces

abstract: The aim of these notes is to explain main ideas of the theory of complements. Basically we will follow Shokurov's work alg-geom/9711024.


title: Weak $Spin(9)$-Structures on 16-dimensional Riemannian Manifolds

abstract: The aim of the present paper is the investigation of $Spin(9)$-structures on 16-dimensional manifolds from the point of view of topology as well as holonomy theory. First we construct several examples. Then we study the necessary topological conditions resulting from the existence of a $Spin(9)$-reduction of the frame bundle of a 16-dimensional compact manifold (Stiefel-Whitney and Pontrjagin classes). We compute the homotopy groups $\pi_i (X^{84})$ of the space $X^{84}= SO(16) / Spin(9)$ for $i \le 14$. Next we introduce different geometric types of $Spin(9)$-structures and derive the corresponding differential equation for the unique self-dual 8-form $\Omega^8$ assigned to any type of $Spin(9)$-structure. Finally we construct the twistor space of a 16-dimensional manifold with $Spin(9)$-structure and study the integrability conditions for its universal almost complex structure as well as the structure of the holomorphic normal bundle.


title: On the q-convolution on the line

abstract: I continue the investigation of a q-analogue of the convolution on the line started in a joint work with Koornwinder and based on a formal definition due to Kempf and Majid. Two different ways of approximating functions by means of the convolution and convolution of delta functions are introduced. A new family of functions that forms an increasing chain of algebras depending on a parameter s>0 is constructed. The value of the parameter for which the mentioned algebras are well behaved, commutative and unital is found. In particular a privileged algebra of functions belonging to the above family is shown to be the quotient of an algebra studied in the previous article modulo the kernel of a q-analogue of the Fourier transform. This result has an analytic interpretation in terms of analytic functions whose q-moments have a particular behaviour. The same result makes it possible to extend results on invertibility of the q-Fourier transform due to Koornwinder. A few results on invertibility of functions with respect to the q-convolution are also obtained and they are related to solving certain simple linear q-difference equations with polynomial coefficients.


title: Diagonalization of the elliptic Macdonald-Ruijsenaars difference system of type C_2

abstract: We study a pair of commuting difference operators arising from the elliptic solution of the dynamical Yang-Baxter equation of type C_2. The operators act on the space of meromorphic functions on the weight space of sp(4,C). We show that these operators can be identified with the system by van Diejen and by Komori-Hikami with special parameters. It turns out that our case can be related to the difference Lame operator (two-body Ruijsenaars operator) and thereby we diagonalize the system on the finite dimensional space spanned by the level one characters of the C_2^{(1)}-affine Lie algebra.


title: A note on real Killing spinors in Weyl geometry

abstract: This text is dedicated to the real Killing equation on 3-dimensional Weyl manifolds. Any manifold admitting a real Killing spinor of weight 0 satisfies the conditions of a Gauduchon-Tod geometry. Conversely, any simply connected Gauduchon-Tod geometry has a 2-dimensional space of solutions of the real Killing equation on the spinor bundle of weight 0.


title: Symmetry breaking and other phenomena in the optimization of eigenvalues for composite membranes

abstract: We consider the following eigenvalue optimization problem: Given a bounded domain $\Omega\subset\R^n$ and numbers $\alpha\geq 0$, $A\in [0,|\Omega|]$, find a subset $D\subset\Omega$ of area $A$ for which the first Dirichlet eigenvalue of the operator $-\Delta + \alpha \chi_D$ is as small as possible. We prove existence of solutions and investigate their qualitative properties. For example, we show that for some symmetric domains (thin annuli and dumbbells with narrow handle) optimal solutions must possess fewer symmetries than $\Omega$; on the other hand, for convex $\Omega$ reflection symmetries are preserved. Also, we present numerical results and formulate some conjectures suggested by them.


title: The Free Boundary Problem in the Optimization of Composite Membranes

abstract: This is a continuation of the paper 'Symmetry breaking and other phenomena in the optimization of eigenvalues for composite membranes' by S. Chanillo, D. Grieser, M. Imai, K. Kurata, and I. Ohnishi. Again, we consider the following eigenvalue optimization problem: Given a bounded domain $\Omega\subset\R^n$ and numbers $\alpha\geq 0$, $A\in [0,|\Omega|]$, find a subset $D\subset\Omega$ of area $A$ for which the first Dirichlet eigenvalue of the operator $-\Delta + \alpha \chi_D$ is as small as possible. In this paper we focus on the study of the free boundary of optimal solutions on general domains.


title: Twisted Crystalline Differential Operators

abstract: This paper has been withdrawn by the authors.


title: Shape Avoiding Permutations

abstract: Permutations avoiding all patterns of a given shape (in the sense of Robinson-Schensted-Knuth) are considered. We show that the shapes of all such permutations are contained in a suitable thick hook, and deduce an exponential growth rate for their number.


title: Matrices and $\alpha $-Stable Bipartite Graphs

abstract: A square (0,1)-matrix X of order n > 0 is called fully indecomposable if there exists no integer k with 0 < k < n, such that X has a k by n-k zero submatrix. A stable set of a graph G is a subset of pairwise nonadjacent vertices. The stability number of G, denoted by $\alpha (G)$, is the cardinality of a maximum stable set in G. A graph is called $\alpha $-stable if its stability number remains the same upon both the deletion and the addition of any edge. We show that a connected bipartite graph has exactly two maximum stable sets that partition its vertex set if and only if its reduced adjacency matrix is fully indecomposable. We also describe a decomposition structure of $\alpha $-stable bipartite graphs in terms of their reduced adjacency matrices. On the base of these findings we obtain both new proofs for a number of well-known theorems on the structure of matrices due to Brualdi, Marcus and Minc, Dulmage and Mendelsohn, and some generalizations of these statements. Several new results on $\alpha $-stable bipartite graphs and their corresponding reduced adjacency matrices are presented, as well. Two kinds of matrix product are also considered (namely, Boolean product and Kronecker product), and their corresponding graph operations. As a consequence, we obtain a strengthening of one Lewin's theorem claiming that the product of two fully indecomposable matrices is a fully indecomposable matrix.


title: The q-analogue of the alternating groups and its representations

abstract: We construct a subalgebra of the Hecke algebra of type A. This is a generalization of the group algebra of the alternating groups. All the equivalent classes of irreducible representations of the subalgebra and the q-analogue of the branching rule between symmetric groups and alternating groups is obtained.


title: Compactness in the d-bar-Neumann problem

abstract: This paper surveys the theory of compactness of the d-bar-Neumann problem. It also contains several results which improve upon what was previously known.


title: Curvature, Diameter and Bounded Betti Numbers

abstract: Two main theorems are proved in this paper. Theorem 1: There is a constant C(n, D) depending only on n and D such that for a closed Riemannian n-manifold satisfying Ric > -(n-1) and Diam < D, the ith bounded Betti number is bounded by C(n, D). Here the ith bounded Betti number is defined as the dimension of the image of the ith bounded cohomology in the ith real cohomology. Theorem 2: There are only finitely many isometric isomorphism types of bounded cohomology groups among closed Riemannian n-manifolds satisfying K > -1 and Diam < D. The dimension of the ith bounded cohomology might be infinite. It follows from Theorem 2 that if a closed Riemannian n-manifold satiafies K > -1 and Diam < D, then the dimension of the ith bounded cohomology is either infinite or bounded by a constant C(n, D) depending only on n and D.


title: Harmonic functions on multiplicative graphs and interpolation polynomials

abstract: We construct examples of nonnegative harmonic functions on certain graded graphs: the Young lattice and its generalizations. Such functions first emerged in harmonic analysis on the infinite symmetric group. Our method relies on multivariate interpolation polynomials associated with Schur's S and P functions and with Jack symmetric functions. As a by-product, we compute certain Selberg-type integrals.


title: Stratified spaces formed by totally positive varieties

abstract: By a theorem of A.Bj\"orner, for every interval $[u,v]$ in the Bruhat order of a Coxeter group $W$, there exists a stratified space whose strata are labeled by the elements of $[u,v]$, adjacency is described by the Bruhat order, and each closed stratum (resp., the boundary of each stratum) has the homology of a ball (resp., of a sphere). Answering a question posed by Bj\"orner, we suggest a natural geometric realization of these stratified spaces for a Weyl group $W$ of a semisimple Lie group $G$, and prove its validity in the case of the symmetric group. Our stratified spaces arise as links in the Bruhat decomposition of the totally nonnegative part of the unipotent radical of $G$.


title: Finite posets and Ferrers shapes

abstract: A survey on the Greene-Kleitman correspondence, with complete proofs, many of which are new.


title: Orthogonal harmonic analysis and scaling of fractal measures

abstract: We show that certain iteration systems lead to fractal measures admitting exact orthogonal harmonic analysis.


title: Total positivity: tests and parametrizations

abstract: An introduction to total positivity (TP), with the emphasis on efficient TP criteria and parametrizations of TP matrices. Intended for general mathematical audience.


title: Compactly supported wavelets and representations of the Cuntz relations

abstract: We study the harmonic analysis of the quadrature mirror filters coming from multiresolution wavelet analysis of compactly supported wavelets. It is known that those of these wavelets that come from third order polynomials are parametrized by the circle, and we compute that the corresponding filters generate irreducible mutually disjoint representations of of the Cuntz algebra $ O_{2} $ except at two points on the circle. One of the two exceptional points corresponds to the Haar wavelet and the other is the unique point on the circle where the father function defines a tight frame which is not an orthonormal basis. At these two points the representation decomposes into two and three mutually disjoint irreducible representations, respectively, and the two representations at the Haar point are each unitarily equivalent to one of the three representations at the other singular point.


title: Lecture notes on quantum cohomology of the flag manifold

abstract: This is an exposition of some recent developments related to the object in the title, particularly the combinatorial computation of the (genus 0) Gromov-Witten invariants of the flag manifold and the quadratic algebra approach. The notes are largely based on my joint papers with S.Gelfand, A.N.Kirillov, and A.Postnikov. This is by no means an exhaustive survey of the subject, but rather a casual introduction to its combinatorial aspects.


title: Spectral pairs in Cartesian coordinates

abstract: Let $ \Omega \subset R^d $ have finite positive Lebesgue measure, and let $ \mathcal{L}^{2}(\Omega) $ be the corresponding Hilbert space of $ \mathcal{L}^{2} $-functions on $ \Omega $. We shall consider the exponential functions $ e_{\lambda} $ on $ \Omega $ given by $ e_{\lambda}(x)=e^{i2\pi\lambda x} $. If these functions form an orthogonal basis for $ \mathcal{L}^{2}(\Omega) $, when $ \lambda $ ranges over some subset $ \Lambda $ in $ R^d $, then we say that $ (\Omega,\Lambda) $ is a spectral pair, and that $ \Lambda $ is a spectrum. We conjecture that $ (\Omega,\Lambda) $ is a spectral pair if and only if the translates of some set $ \Omega' $ by the vectors of $ \Lambda $ tile $ R^d $. In the special case of $ \Omega=I^d $, the $ d $-dimensional unit cube, we prove this conjecture, with $ \Omega'=I^d $, for $ d \leq 3 $, describing all the tilings by $ I^d $, and for all $ d $ when $ \Lambda $ is a discrete periodic set. In an appendix we generalize the notion of spectral pair to measures on a locally compact abelian group and its dual.


title: A geometric approach to the cascade approximation operator for wavelets

abstract: This paper is devoted to an approximation problem for operators in Hilbert space, that appears when one tries to study geometrically the cascade algorithm in wavelet theory. Let $ H $ be a Hilbert space, and let $ \pi $ be a representation of $ L^\infty(T) $ on $ H $. Let $ R $ be a positive operator in $ L^\infty(T) $ such that $ R(1)=1 $, where $ 1 $ denotes the constant function $ 1 $. We study operators $ M $ on $ H $ (bounded, but non-contractive) such that $ \pi(f)M=M\pi(f(z^2)) $ and $ M^* \pi(f)M=\pi(R^* f) $, $ f \in L^\infty (T) $, where the $ * $ refers to Hilbert space adjoint. We give a complete orthogonal expansion of $ H $ which reduces $ \pi $ such that $ M $ acts as a shift on one part, and the residual part is $ H^{(\infty)}=\bigcap_n[M^n H] $, where $ [M^n H] $ is the closure of the range of $ M^n $. The shift part is present, we show, if and only if $ \ker(M^*) \neq \{0\} $. We apply the operator-theoretic results to the refinement operator (or cascade algorithm) from wavelet theory. Using the representation $ \pi $, we show that, for this wavelet operator $ M $, the components in the decomposition are unitarily, and canonically, equivalent to spaces $ L^2(E_n) \subset L^2(R) $, where $ E_n \subset R $, $ n=0,1,2,...,\infty $, are measurable subsets which form a tiling of $ R $; i.e., the union is $ R $ up to zero measure, and pairwise intersections of different $ E_n $'s have measure zero. We prove two results on the convergence of the cascade algorithm, and identify singular vectors for the starting point of the algorithm.


title: Convergence of the cascade algorithm at irregular scaling functions

abstract: The spectral properties of the Ruelle transfer operator which arises from a given polynomial wavelet filter are related to the convergence question for the cascade algorithm for approximation of the corresponding wavelet scaling function.


title: A tree version of Konig's theorem

abstract: Konig's theorem states that the covering number and the matching number of a bipartite graph are equal. We prove a generalisation of this result, in which each point in one side of the graph is replaced by a subtree of a given tree. The proof uses a recent extension of Hall's theorem to families of hypergraphs, by the first author and P. Haxell.


title: Cesaro mean distribution of group automata starting from measures with summable decay

abstract: Consider a finite Abelian group (G,+), with |G|=p^r, p a prime number, and F: G^N -> G^N the cellular automaton given by {F(x)}_n= A x_n + B x_{n+1} for any n in N, where A and B are integers relatively primes to p. We prove that if P is a translation invariant probability measure on G^Z determining a chain with complete connections and summable decay of correlations, then for any w= (w_i:i<0) the Cesaro mean distribution of the time iterates of the automaton with initial distribution P_w --the law P conditioned to w on the left of the origin-- converges to the uniform product measure on G^N. The proof uses a regeneration representation of P.


title: Poisson approximation for large-contours in low-temperature Ising models

abstract: We consider the contour representation of the infinite volume Ising model at low temperature. Fix a subset V of Z^d, and a (large) N such that calling G_{N,V} the set of contours of length at least N intersecting V, there are in average one contour in G_{N,V} under the infinite volume "plus" measure. We find bounds on the total variation distance between the law of the contours of lenght at least N intersecting V under the "plus" measure and a Poisson process. The proof builds on the Chen-Stein method as presented by Arratia, Goldstein and Gordon. The control of the correlations is obtained through the loss-network space-time representation of contours due to Fernandez, Ferrari and Garcia.


title: The Hilbert scheme parameterizing finite length subschemes of the line with support at the origin

abstract: We introduce symmetrizing operators of the polynomial ring $A[x]$ in the varible $x$ over a ring $A$. When $A$ is an algebra over a field $k$ these operators are used to characterize the monic polynomials $F(x)$ of degree $n$ in $A[x]$ such that $A\otimes_k k[x]_{(x)}/(F(x))$ is a free $A$-module of rank $n$. We use the characterization to determine the Hilbert scheme parameterizing subschemes of length $n$ of $k[x]_{(x)}$.


title: On the representability of ${\Cal Hilb}^nk[x]_{(x)}$

abstract: Let $k[x]_{(x)}$ be the polynomial ring $k[x]$ localized in the maximal ideal $(x)\subseteq k[x]$. We study the Hilbert functor parameterizing ideals of colength $n$ in this ring {\it having support at the origin}. The main result of this article is that this functor is not representable. We also give a complete description of the functor as a limit of representable functors.


title: Multipliers and weighted d-bar estimates

abstract: We study some size estimates for the solution of the equation d-bar u=f in one variable. The new ingredient is the use of holomorphic functions with precise growth restrictions in the construction of explicit solutions to the equation.


title: The Askey-Wilson function transform scheme

abstract: In this paper we present an addition to Askey's scheme of q-hypergeometric orthogonal polynomials involving classes of q-special functions which do not consist of polynomials only. The special functions are q-analogues of the Jacobi and Bessel function, and are Askey-Wilson functions, big q-Jacobi functions and little q-Jacobi functions and the corrresponding q-Bessel functions. The generalised orthogonality relations and the second order q-difference equations for these families are given. Limit transitions between these families are discussed. The quantum group theoretic interpretations are discussed shortly.


title: Symmetric tensors with applications to Hilbert schemes

abstract: Let A[X]_U be a fraction ring of the polynomial ring A[X] in the variable X over a commutative ring A. We show that the Hilbert functor {Hilb}^n_{A[X]_U} is represented by an affine scheme $\text{Symm}^n_A(A[X]_U)$ give as the ring of symmetric tensors of $\otimes_A^nA[X]_U$. The universal family is given as $\text{Symm}^{n-1}_A(A[X]_U)\times_A \text{Spec}(A[X]_U)$.


title: The multiple sum formulas for 9j and 12j coefficients of SU(2) and $u_q$(2)

abstract: Seven different triple sum formulas for $9j$ coefficients of the quantum algebra $u_q(2)$ are derived, using for these purposes the usual expansion of $q$-$9j$ coefficients in terms of $q$-$6j$ coefficients and recent summation formula of twisted $q$-factorial series (resembling the very well-poised basic hypergeometric $_5\phi_4$ series) as a $q$-generalization of Dougall's summation formula of the very well-poised hypergeometric $_4F_3(-1)$ series. This way for $q=1$ the new proof of the known triple sum formula is proposed, as well as six new triple sum formulas for $9j$ coefficients of the SU(2) group, in the angular momentum theory. The mutual rearrangement possibilities of the derived triple sum formulas by means of the Chu--Vandermonde summation formulas are considered and applied to derive several versions of double sum formulas for the stretched $q$-$9j$ coefficients, which give new rearrangement and summation formulas of special Kamp\'e de F\'eriet functions and their $q$-generalizations. Several fourfold sum formulas [with each sum of the $_5F_4(1)$ or $_5\phi_4$ type] for the $12j$ coefficients of the second kind (without braiding) of the SU(2) and $u_q(2)$ are proposed, as well as expressions with five sums [of the $_4F_3(1)$ and $_3F_2(1)$ or $_4\phi_3$ and $_3\phi_2$ type] for the $12j$ coefficients of the first kind (with braiding) instead of the usual expansion in terms of $q$-$6j$ coefficients. Stretched and doubly stretched $q$-$12j$ coefficients [as triple, double or single sums, related to composed or separate hypergeometric $_4F_3(1)$ and $_5F_4(1)$ or $_4\phi_3$ and $_5\phi_4$ series, respectively] are considered.


title: Integrals over classical Groups, Random permutations, Toda and Toeplitz lattices

abstract: Matrix Fourier-like integrals over the classical groups O_+(n), O_-(n), Sp(n) and U(n) are connected with the distribution of the length of the longest increasing sequence in random permutations and random involutions and the spectrum of random matrices. One of the purposes of this paper is to show that all those integrals satisfy the Painlev\'e V equation with specific initial conditions. In this work, we present both, new results and known ones, in a unified way. Our method consists of inserting one set of time variables t=(t_1,t_2,...) in the integrals for the real compact groups and two sets of times (t,s) for the unitary group. The point is that these new time-dependent integrals satisfy integrable hierarchies: (i) O(n) and Sp(n) correspond to the standard Toda lattice. (ii) U(n) corresponds to the Toeplitz lattice, a very special reduction of the discrete sinh-Gordon equation. Both systems, the standard Toda lattice and the Toeplitz lattice are also reductions of the 2-Toda lattice, thus leading to a natural vertex operator, and so, a natural Virasoro algebra, a subalgebra of which annihilates the tau-functions. Combining these equations leads to the Painlev\'e V equation for the integrals.


title: A simple trace formula for arithmetic groups

abstract: We deduce from Arthur's trace formula a formula with only orbital integrals on the geometric side.


title: Symplectic 2-handles and transverse links

abstract: A standard convexity condition on the boundary of a symplectic manifold involves an induced positive contact form (and contact structure) on the boundary; the corresponding concavity condition involves an induced negative contact form. We present two methods of symplectically attaching 2-handles to convex boundaries of symplectic 4-manifolds along links transverse to the induced contact structures. One method results in concave boundaries and depends on a fibration of the link complement over S^1; in this case the handles can be attached with any framing larger than a lower bound determined by the fibration. The other method results in a weaker convexity condition on the new boundary (sufficient to imply tightness of the new contact structure), and in this case the handles can be attached with any framing less than a certain upper bound. These methods supplement methods developed by Weinstein and Eliashberg for attaching symplectic 2-handles along Legendrian knots.


title: Decomposition of the vertex operator algebra V_{\sqrt{2}D_l}

abstract: We determine the decomposition of V_{\sqrt{2}D_l} into a sum of irreducible T-modules for general l where D_l is the root lattice of type D_l and T is the tensor product of l+1 Virasoro vertex operator algebras with central charges c_{1}=1/2, c_{2}=7/10, c_{3}=4/5, and c_{i}=1 for 4\le i\le l+1.


title: Torsion, TQFT, and Seiberg-Witten invariants of 3-manifolds

abstract: We prove a conjecture of Hutchings and Lee relating the Seiberg-Witten invariants of a closed 3-manifold X with b_1 > 0 to an invariant that `counts' gradient flow lines--including closed orbits--of a circle-valued Morse function on the manifold. The proof is based on a method described by Donaldson for computing the Seiberg-Witten invariants of 3-manifolds by making use of a `topological quantum field theory,' which makes the calculation completely explicit. We also realize a version of the Seiberg-Witten invariant of X as the intersection number of a pair of totally real submanifolds of a product of vortex moduli spaces on a Riemann surface constructed from geometric data on X. The analogy with recent work of Ozsvath and Szabo suggests a generalization of a conjecture of Salamon, who has proposed a model for the Seiberg-Witten-Floer homology of X in the case that X is a mapping torus.


title: New Examples of Potential Theory on Bratelli Diagrams

abstract: We consider potential theory on Bratteli diagrams arising from Macdonald polynomials. The case of Hall-Littlewood polynomials is particularly interesting; the elements of the diagram are partitions, the branching multiplicities are integers, the combinatorial dimensions are Green's polynomials, and the Jordan form of a randomly chosen unipotent upper triangular matrix over a finite field gives rise to a harmonic function. The case of Schur functions yields natural deformations of the Young lattice and Plancharel measure. Many harmonic functions are constructed and algorithms for sampling from the underlying probability measures are given.


title: A remark on perturbations of sine and cosine sums

abstract: Consider a collection $\lambda_1<...<\lambda_N$ of distinct positive integers and the quantities $$ M_1 = M_1(\lambda_1,...,\lambda_N) = \max_{0\le x \le 2\pi} |\sum_{j=1}^N \sin{\lambda_j x}| $$ and $$ M_2 = M_2(\lambda_1,...,\lambda_N) = - \min_{0\le x \le 2\pi} \sum_{j=1} \cos{\lambda_j x}. $$ Prompted by a discussion with G. Benke we prove that collections of frequencies $\lambda_j$ which have $M_1 = o(N)$ or $M_2 = o(N)$ are unstable, in the sense that one can perturb the $\lambda_j$ by one each and get $M_1 \ge c N$ and $M_2 \ge c N$.


title: Yang-Mills-Higgs theory for symplectic fibrations

abstract: Our aim in this work is to study a system of equations which generalises at the same time the vortex equations of Yang-Mills-Higgs theory and the holomorphicity equation in Gromov theory of pseudoholomorphic curves. We extend some results and definitions from both theories to a common setting. We introduce a functional generalising Yang-Mills-Higgs functional, whose minima coincide with the solutions to our equations. We prove a Hitchin-Kobayashi correspondence allowing to study the solutions of the equations in the Kaehler case. We give a structure of smooth manifold to the set of (gauge equivalence classes of) solutions to (a perturbation of) the equations (the so-called moduli space). We give a compactification of the moduli space, generalising Gromov's compactification of the moduli of holomorphic curves. Finally, we use the moduli space to define (under certain conditions) invariants of compact symplectic manifolds with a Hamiltonian almost free action of S^1. These invariants generalise Gromov-Witten invariants. This is the author's Ph.D. Thesis. A chapter of it is contained in the paper math.DG/9901076. After submitting his thesis in April 1999, the author knew that K. Cieliebak, A. R. Gaio and D. Salamon had also arrived (from a different point of view) at the same equations, and had developed a very similar programme (see math.SG/9909122).


title: KMS States, Entropy and the Variational Principle in full C*-dynamical systems

abstract: To any periodic, unital and full C*-dynamical system (A, \alpha, R) an invertible operator s acting on the Banach space of trace functionals of the fixed point algebra is canonically associated. KMS states correspond to positive eigenvectors of s. A Perron-Frobenius type theorem asserts the existence of KMS states at inverse temperatures equal the logarithms of the inner and outer spectral radii of s (extremal KMS states). Examples arising from subshifts in symbolic dynamics, self-similar sets in fractal geometry and noncommutative metric spaces are discussed. Certain subshifts are naturally associated to the system and the relationship between their topological entropy and inverse temperatures of extremal KMS states are given. Noncommutative shift maps are considered. It is shown that their entropy is bounded by the sum of the entropy of the associated subshift and a suitable entropy computed in the homogeneous subalgebra. Examples are discussed among Matsumoto algebras associated to certain non finite type subshifts. The CNT entropy is compared to the classical measure-theoretic entropy of the subshift. A noncommutative analogue of the classical variational principle for the entropy of subshifts is obtained for the noncommutative shift of certain Matsumoto algebras. More generally, a necessary condition is discussed. In the case of Cuntz-Krieger algebras an explicit construction of the state with maximal entropy from the unique KMS state is done.


title: An algebraic geometric realization of the Chern character

abstract: Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern character map from the "holomorphic K-theory of X to its morphic cohomology (introduced by Friedlander and Lawson). The holomorphic K-theory of $X$, introduced by Lawson, Lima-Filho and Michelsohn and also by Friedlander and Walker, is defined in terms a group-completion of the space of algebraic morphisms from X into BU. It has been further studied by the authors in a companion paper. Holomorphic K-theory sits between algebraic K-theory and topological K-theory in the same way that morphic cohomology sits between motivic cohomology and ordinary cohomology. Our constructions provide a bridge between these two worlds. We also realize Chern classes in the case where X is smooth, and establish a universal relation between the Chern character and the Chern classes. We use classical constructions with algebraic cycles and infinite symmetric products of projective spaces. The latter can be seen as the classifying space for motivic cohomology, and under this perspective our constructions are essentially motivic.


title: Holomorphic K-theory, algebraic co-cycles, and loop groups

abstract: In this paper we study the "holomorphic K-theory" of a projective variety, which is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory was introduced by Lawson, Lima-Filho and Michelsohn, and also by Friedlander and Walker, and a related theory was considered by Karoubi. Using the Chern character studied by the authors in a companion paper, we give a rational isomorphism between holomorphic $K$-theory and the "morphic cohomology" defined by Lawson and Friedlander. In doing so, we describe a geometric model for rational morphic cohomology groups in terms of algebraic maps from the variety to the "symmetrized loop group" Loops(U(n)/S_n) where the symmetric group S_n acts on U(n) via conjugation. This is equivalent to studying algebraic maps to the quotient of the infinite Grassmannians BU(k) by a similar symmetric group action. We then prove a conjecture of Friedlander and Walker stating that if one localizes holomorphic K-theory by inverting the Bott class, then it is rationally isomorphic to topological K-theory. Finally we produce explicit obstructions to periodicity in holomorphic K-theory, and show that these obstructions vanish for generalized flag manifolds.


title: Algebraic Cycles and the Classical Groups - Part I, Real Cycles

abstract: Algebraic cycles on complex projective space P(V) are known to have beautiful and surprising properties. Therefore, when V carries a real or quaternionic structure, it is natural to ask for the properties of the groups of real or quaternionic algebraic cycles on P(V). In this paper and its sequel the homotopy structure of these cycle groups is determined. They bear a direct relationship to characteristic classes for the classical groups, and functors in K-theory extend directly to these groups. These groups give rise to E-infinity-ring spaces, and the maps extending the K-theory functors are ring maps. The stabilized space of cycles is a product of (Z/2Z)-equivariant Eilenberg-MacLane spaces indexed by the representations R^{n,n} for n > 0. This gives a wide generalization of the results in Boyer, Lawson, Lima-Filho, Mann and Michelsohn on the Segal question. The ring structure on the homotopy groups of these stabilized spaces is explicitly computed. In the real case it is a quotient of a polynomial algebra on two generators corresponding to the first Pontrjagin and first Stiefel-Whitney classes. This yields an interesting total characteristic class for real bundles. It is a mixture of integral and mod 2 classes and has nice multiplicative properties. The class is shown to be the (Z/2Z)-equivariant Chern class on Atiyah's KR-theory.


title: Higher algebraic K-theory of group actions with finite stabilizers

abstract: We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric stabilizers and satisfy a rationality condition together with a technical condition which holds e.g. for G abelian or smooth. We describe in an Appendix various complicial bi-Waldhausen categories (in Thomason's terminology) modelling the equivariant K-theory of regular noetherian separated algebraic spaces.


title: Peak reduction technique in commutative algebra

abstract: The "peak reduction" method is a powerful combinatorial technique with applications in many different areas of mathematics as well as theoretical computer science. It was introduced by Whitehead, a famous topologist and group theorist, who used it to solve an important algorithmic problem concerning automorphisms of a free group. Since then, this method was used to solve numerous problems in group theory, topology, combinatorics, and probably in some other areas as well. In this paper, we give a survey of what seems to be the first applications of the peak reduction technique in commutative algebra and affine algebraic geometry.


title: Derived Categories and Projective Classes

abstract: An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, any set of objects in a complete and cocomplete abelian category A generates a projective class on A, which is exactly the information needed to do homological algebra in A. The main result is that if the generating objects are ``small'' in an appropriate sense, then the category of chain complexes of objects of A has a model category structure which reflects the homological algebra of the projective class. The motivation for this work is the construction of the ``pure derived category'' of a ring R. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class.


title: Quiver varieties and finite dimensional representations of quantum affine algebras

abstract: We study finite dimensional representations of the quantum affine algebra, using geometry of quiver varieties introduced by the author. As an application, we obtain character formulas expressed in terms of intersection cohomologies of quiver varieties.


title: A Holomorphic Point of View about Geodesic Completeness

abstract: We propose to apply the idea of analytical continuation in the complex domain to the problem of geodesic completeness. We shall analyse rather in detail the cases of analytical warped products of real lines, these ones in parallel with their complex counterparts, and of Clifton-Pohl torus, to show that our definition sheds a bit of new light on the behaviour of 'singularities' of geodesics in space-time. We also show that some geodesics, which 'end' at finite time in the classical sense, can be naturally continued besides their ends. As a matter of fact, complex metrics naturally show a meromorphic behaviour, or a degenerating one, so we shall study also this fact in detail.


title: Trivial Jensen measures without regularity

abstract: In this note we construct Swiss cheeses X such that R(X) is non-regular but such that R(X) has no non-trivial Jensen measures. We also construct a non-regular uniform algebra with compact, metrizable character space such that every point of the character space is a peak point.


title: Calogero-Moser systems and Hitchin systems

abstract: We exhibit the elliptic Calogero-Moser system as a Hitchin system of G-principal Higgs pairs. The group G, though naturally associated to any root system, is not semi-simple. We then interpret the Lax pairs with spectral parameter of [dP1] and [BSC1] in terms of equivariant embeddings of the Hitchin system of G into that of GL(N).


title: Scalar curvature, metric degenerations and the static vacuum Einstein equations on 3-manifolds, I

abstract: We study Yamabe metrics, and the moduli space of Yamabe metrics, on an arbitrary closed 3-manifold M. The main focus is on the boundary behavior of the moduli space, i.e. the behavior of degenerating sequences of unit volume Yamabe metrics on M. It is proved that such degenerations, when non-trivial in a certain sense, are described by solutions of the static vacuum Einstein equations. Natural conditions are given for the non-triviality of degenerating sequences and relations with Palais-Smale sequences for the Einstein-Hilbert functional are explored. A number of new examples, both trivial and non-trivial,of degenerating sequences are constructed. It is also proved that the only complete static vacuum solution without horizon is the flat metric, generalizing a classical result of Lichnerowicz.


title: On a question of Grinblat

abstract: We prove the consistency of the following statement: for some kappa<2^{aleph_0}, there is a kappa-complete ideal on kappa such that the Boolean algebra P(kappa)/I is sigma-centered and there are Q-sets of reals.


title: Linear systems attached to cyclic inertia

abstract: We construct inductively an equivariant compactification of the algebraic group ${\mathbb W}_n$ of Witt vectors of finite length over a field of characteristic $p>0$. We obtain smooth projective rational varieties $\bar{\mathbb W}_n$, defined over $\mathbf F_p$; the boundary is a divisor whose reduced subscheme has normal crossings. The Artin-Schreier-Witt isogeny $F-1:{\mathbb W}_n\to {\mathbb W}_n$ extends to a finite cyclic cover ${\mathbf\Psi}_n:\bar{\mathbb W}_n\to \bar{\mathbb W}_n$ of degree $p^n$ ramified at the boundary. This is used to give an extrinsic description of the local behavior of a separable cover of curves in char. $p$ at a wildly ramified point whose inertia group is cyclic. In an appendix, we give an elementary computation of the conductor of such a covering, which can otherwise be determined using class field theory.


title: A continuation of [DjSh:691]

abstract: We continue to investigate club guessing (see [Sh:g, Ch III] and [Sh:e, Ch VI]), continuing Dzamonja and Shelah [DjSh:691]


title: The Toda equations and the Gromov-Witten theory of the Riemann sphere

abstract: Consequences of the Toda equations arising from the conjectural matrix model for the Riemann sphere are investigated. The Toda equations determine the Gromov-Witten descendent potential (including all genera) of the Riemann sphere from the degree 0 part. Degree 0 series computations via Hodge integrals then lead to higher degree predictions by the Toda equations. First, closed series forms for all 1-point invariants of all genera and degrees are given. Second, degree 1 invariants are investigated with new applications to Hodge integrals. Third, a differential equation for the generating function of the classical simple Hurwitz numbers (in all genera and degrees) is found -- the first such equation. All these results depend upon the conjectural Toda equations. Finally, proofs of the Toda equations in genus 0 and 1 are given.


title: Perturbative 3-manifold invariants by cut-and-paste topology

abstract: We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular that they are universally finite type with respect to algebraically split surgery and with respect to Torelli surgery. Torelli surgery is a mutual generalization of blink surgery of Garoufalidis and Levine and clasper surgery of Habiro.


title: Dependence on the spin structure of the eta and rokhlin invariants

abstract: We study the dependence of the eta invariant $\eta_D$ on the spin structure, where $D$ is a twisted Dirac operator on a (4k+3)-dimensional spin manifold. The difference between the eta invariants for two spin structures related by a cohomolgy class which is the reduction of a $H^1(M,\Za)$-class is shown to be a half integer. As an application of the technique of proof the generalized Rokhlin invariant is shown to be equal modulo 8 for two spin structures related in this way.


title: Formal Brauer groups and the moduli of abelian surfaces

abstract: In this paper we consider the stratification on the moduli space of principally polarized abelian surfaces in characteristic $p>0$ defined by the height of the formal group associated to $H^2(X,O_X)$. We compute the cycle classes of the strata and compare these with those of the $p$-rank stratification.


title: Probability laws related to the Jacobi theta and Riemann zeta function and Brownian excursions

abstract: This paper reviews known results which connect Riemann's integral representations of his zeta function, involving Jacobi's theta function and its derivatives, to some particular probability laws governing sums of independent exponential variables. These laws are related to one-dimensional Brownian motion and to higher dimensional Bessel processes. We present some characterizations of these probability laws, and some approximations of Riemann's zeta function which are related to these laws.


title: Connected sums of knots and weakly reducible Heegaard splittings

abstract: This paper studies the question of whether minimal genus Heegaard splittings of exterior spaces of knots which are connected sums are weakly reducible or not. Furthermore it is shown that the Heegaard splittings of the knots used by Morimoto to show that tunnel number can be sub-additive are all strongly irreducible. These are the first examples of strongly irreducible minimal genus Heegaard splittings of composite knots. We also give a characterization of when is a set of primitive annuli on a handlebody simultaneously primitive. This characterization is different from that given in [Go].


title: Notes on G-theory of Deligne-Mumford stacks

abstract: Based on the methods used by the author to prove the Riemann-Roch formula for algebraic stacks, this paper contains a description of the rationnal G-theory of Deligne-Mumford stacks over general bases. We will use these results to study equivariant K-theory, and also to define new filtrations on K-theory of algebraic stacks.


title: On Alexander-Conway Polynomials for Virtual Knots and Links

abstract: A polynomial invariant of virtual links, arising from an invariant of links in thickened surfaces introduced by Jaeger, Kauffman, and Saleur, is defined and its properties are investigated. Examples are given that the invariant can detect chirality and even non-invertibility of virtual knots and links. Furthermore, it is shown that the polynomial satisfies a Conway-type skein relation - in contrast to the Alexander polynomial derived from the virtual link group.


title: Concordance and Mutation

abstract: We provide a framework for studying the interplay between concordance and positive mutation and identify some of the basic structures relating the two. The fundamental result in understanding knot concordance is the structure theorem proved by Levine: for n>1 there is an isomorphism phi from the concordance group C_n of knotted (2n-1)-spheres in S^{2n+1} to an algebraically defined group G_{+-}; furthermore, G__{+-} is isomorphic to the infinite direct sum Z^infty direct sum Z_2^infty direct sum Z_4^infty. It was a startling consequence of the work of Casson and Gordon that in the classical case the kernel of phi on C_1 is infinitely generated. Beyond this, little has been discovered about the pair (C_1,phi). In this paper we present a new approach to studying C_1 by introducing a group, M, defined as the quotient of the set of knots by the equivalence relation generated by concordance and positive mutation, with group operation induced by connected sum. We prove there is a factorization of phi, C_1-->M-->G_-. Our main result is that both maps have infinitely generated kernels. Among geometric constructions on classical knots, the most subtle is positive mutation. Positive mutants are indistinguishable using classical abelian knot invariants as well as by such modern invariants as the Jones, Homfly or Kauffman polynomials. Distinguishing positive mutants up to concordance is a far more difficult problem; only one example has been known until now. The results in this paper provide, among other results, the first infinite families of knots that are distinct from their positive mutants, even up to concordance.


title: On Elliptic Genera and Foliations

abstract: We prove several vanishing theorems for a class of generalized elliptic genera on foliated manifolds, by using classical equivariant index theory. The main techniques are the use of the Jacobi theta-functions and the construction of a new class of elliptic operators associated to foliations.


title: Genus Zero Actions on Riemann Surfaces

abstract: In this paper we determine all finite groups G that can act on some compact Riemann surface M with the property that if H is any non-trivial subgroup of G, then the orbit surface M/H is the Riemann sphere. The idea is to look at the induced action on the vector space of holomorphic differentials on M (in the positive genus case) and then use the old-known (Wolf) classification of groups admitting fixed point-free linear actions. A description of the corresponding group actions is given in terms of Fuchsian representations.


title: Extrema of curvature functionals on the space of metrics on 3-manifolds, II

abstract: Several rigidity results are proved for critical points of natural Riemannian functionals on the space of metrics on 3-manifolds. Two of these results are as follows. Let (N, g) be a complete Riemannian 3-manifold, satisfying one of the following variational conditions: (i) (N, g) has non-negative scalar curvature and is a critical point for the L^2 norm of the full curvature R among compact perturbations of (N, g). (ii) (N, g) has non-negative scalar curvature, a free isometric S^1 action, and is a critical point of the L^2 norm of R among compact volume non-increasing perturbations of (N, g) with non-negative scalar curvature. In either case, (N, g) is flat. The Schwarzschild metric (on the space-like hypersurface) has an isometric S^1 action and satisfies the other assumptions in (ii), showing that this result is sharp.


title: Dynamical Borel-Cantelli lemmas for Gibbs measures

abstract: Let $T: X\mapsto X$ be a deterministic dynamical system preserving a probability measure $\mu$. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsets $A_n\subset X$ and $\mu$-almost every point $x\in X$ the inclusion $T^nx\in A_n$ holds for infinitely many $n$. We discuss here systems which are either symbolic (topological) Markov chain or Anosov diffeomorphisms preserving Gibbs measures. We find sufficient conditions on sequences of cylinders and rectangles, respectively, that ensure the dynamical Borel-Cantelli lemma.


title: Examples of bundles on Calabi-Yau 3-folds for string theory compactifications

abstract: Simple examples are given of bundles on Calabi-Yau 3-folds satisfying 8 out of 9 conditions required for a realistic compactification of string theory to 4 dimensions.


title: On extensions of representations for compact Lie groups

abstract: Let $H$ be a closed normal subgroup of a compact Lie group $G$ such that $G/H$ is connected. This paper provides a necessary and sufficient condition for every complex representation of $H$ to be extendible to $G$, and also for every complex $G$-vector bundle over the homogeneous space $G/H$ to be trivial. In particular, we show that the condition holds when the fundamental group of $G/H$ is torsion free.