title: Problems from the workshop on "Automorphisms of Curves" (Leiden, August, 2004)

abstract: Contents: Rational functions with given monodromy on generic curves (I. Bouw & S. Wewers); Can deformation rings of group representations not be local complete intersections? (T. Chinburg); Lifting an automorphism group to finite characteristic (G. Cornelissen); Flat connections and representations of the fundamental group in characteristic p>0 (C. Gasbarri) Questions on p-torsion of hyperelliptic curves (D. Glass & R. Pries); Automorphisms of curves and stable reduction (C. Lehr & M. Matignon); p-groups as automorphism groups of curves in characteristic p; Lifting Galois covers of smooth curves (M. Matignon); Abelian varieties isogenous to a Jacobian (F. Oort); Minimal maximal number of automorphisms of curves (F. Oort)


title: Energy of a knot: variational principles; Mm-energy

abstract: Let $E_f$ be the energy of some knot $\tau$ for any $f$ from certain class of functions. The problem is to find knots with extremal values of energy. We discuss the notion of the locally perturbed knot. The knot circle minimizes some energies $E_f$ and maximizes some others. So, is there any energy such that the circle neither maximizes nor minimizes this energy? Recently it was shown (A.Abrams, J.Cantarella, J.H.G.Fu, M.Ghomu, and R.Howard) that the answer is positive. We prove that nevertheless the circle is a locally extremal knot, i.e. the circle satisfies certain variational equations. We also find these equations. Finally we represent Mm-energy for a knot. The definition of this energy differs with one regarded above. Nevertheless besides its own properties Mm-energy has some similar with M\"obius energy properties.


title: Trace identities from identities for determinants

abstract: We present new identities for determinants of matrices $(A_{i,j})$ with entries $A_{i,j}$ equal to $a_{i,j}$ or $a_{i,0}a_{0,j}-a_{i,j}$, where the $a_{i,j}$'s are indeterminates. We show that these identities are behind trace identities for $SL(2,\Bbb C)$ matrices found earlier by Magnus in his study of trace algebras.


title: On automorphisms of type II Arveson systems (probabilistic approach)

abstract: A counterexample to the conjecture that the automorphisms of an arbitrary Arveson system act transitively on its normalized units.


title: Eigenvalues of Hermitian matrices with positive sum of bounded rank

abstract: We give a minimal list of inequalities characterizing the possible eigenvalues of a set of Hermitian matrices with positive semidefinite sum of bounded rank. This answers a question of A. Barvinok.


title: Coherent Systems on Elliptic curves

abstract: In this paper we consider coherent systems $(E,V)$ on an elliptic curve which are stable with respect to some value of a parameter $\alpha$. We show that the corresponding moduli spaces, if non-empty, are smooth and irreducible of the expected dimenson. Moreover we give precise conditions for non-emptiness of the moduli spaces. Finally we study the variation of the moduli spaces with $\alpha$.


title: Locally unknotted spines of Heegaard splittings

abstract: We show that under reasonable conditions, the spines of the handlebodies of a strongly irreducible Heegaard splitting will intersect a closed ball in a graph which is isotopic into the boundary of the ball. This is in some sense a generalization of the results by Scharlemann on how a strongly irreducible Heegaard splitting surface can intersect a ball.


title: Quantisation of Lie-Poisson manifolds

abstract: In quantum physics, the operators associated with the position and the momentum of a particle are unbounded operators and $C^*$-algebraic quantisation does therefore not deal with such operators. In the present article, I propose a quantisation of the Lie-Poisson structure of the dual of a Lie algebroid which deals with a big enough class of functions to include the above mentioned example. As an application, I show with an example how the quantisation of the dual of the Lie algebroid associated to a Poisson manifold can lead to a quantisation of the Poisson manifold itself. The example I consider is the torus with constant Poisson structure, in which case I recover its usual $C^*$-algebraic quantisation.


title: Banach function algebras with dense invertible group

abstract: In an earlier paper, Dawson and the second author asked whether or not a Banach function algebra with dense invertible group can have a proper Shilov boundary. We give an example of a uniform algebra showing that this can happen, and investigate the properties of such algebras.


title: Singular cotangent bundle reduction and spin Calogero-Moser systems

abstract: We develop a bundle picture for the case that the configuration manifold has only a single isotropy type, and give a formula for the reduced symplectic form in this setting. Furthermore, as an application of this bundle picture we consider Calogero-Moser systems with spin associated to polar representations of compact Lie groups.


title: Random partitions approximating the coalescence of lineages during a selective sweep

abstract: When a beneficial mutation occurs in a population, the new, favored allele may spread to the entire population. This process is known as a selective sweep. Suppose we sample $n$ individuals at the end of a selective sweep. If we focus on a site on the chromosome that is close to the location of the beneficial mutation, then many of the lineages will likely be descended from the individual that had the beneficial mutation, while others will be descended from a different individual because of recombination between the two sites. We introduce two approximations for the effect of a selective sweep. The first one is simple but not very accurate: flip $n$ independent coins with probability $p$ of heads and say that the lineages whose coins come up heads are those that are descended from the individual with the beneficial mutation. A second approximation, which is related to Kingman's paintbox construction, replaces the coin flips by integer-valued random variables and leads to very accurate results.


title: Noether's second theorem in a general setting. Reducible gauge theories

abstract: We prove Noether's direct and inverse second theorems for Lagrangian systems on fiber bundles in the case of gauge symmetries depending on derivatives of dynamic variables of an arbitrary order. The appropriate notions of reducible gauge symmetries and Noether's identities are formulated, and their equivalence by means of certain intertwining operator is proved.


title: A coalescent model for the effect of advantageous mutations on the genealogy of a population

abstract: When an advantageous mutation occurs in a population, the favorable allele may spread to the entire population in a short time, an event known as a selective sweep. As a result, when we sample $n$ individuals from a population and trace their ancestral lines backwards in time, many lineages may coalesce almost instantaneously at the time of a selective sweep. We show that as the population size goes to infinity, this process converges to a coalescent process called a coalescent with multiple collisions. A better approximation for finite populations can be obtained using a coalescent with simultaneous multiple collisions. We also show how these coalescent approximations can be used to get insight into how beneficial mutations affect the behavior of statistics that have been used to detect departures from the usual Kingman's coalescent.


title: A combinatorial proof of the Rogers-Ramanujan and Schur identities

abstract: We give a combinatorial proof of the first Rogers-Ramanujan identity by using two symmetries of a new generalization of Dyson's rank. These symmetries are established by direct bijections.


title: The number of vertices of a Fano polytope

abstract: Let X be a complex, Gorenstein, Q-factorial, toric Fano variety. We prove two conjectures on the maximal Picard number of X in terms of its dimension and its pseudo-index, and characterize the boundary cases. Equivalently, we determine the maximal number of vertices of a simplicial reflexive polytope.


title: Bas du spectre et delta-hyperbolicit\'{e} en g\'{e}om\'{e}trie de Hilbert plane

abstract: We prove that the Hilbert geometry of a convex domain in the plane is Gromov hyperbolic, if, and only if, the bottom of its spectrum is not zero


title: The Amalgamated product of free groups and residual solvability

abstract: In this paper we study residual solvability of the amalgamated product of two finitely generated free groups, in the case of doubles. We find conditions where this kind of structure is residually solvable, and show that in general this is not the case. However this kind of structure is always meta-residually-solvable.


title: A simple proof of a theorem of Karrass and Solitar

abstract: In this note we give a particularly short and simple proof of the following theorem of Karrass and Solitar. Let $H$ be a finitely generated subgroup of a free group $F$ with infinite index $[F:H]$. Then there is a nontrivial normal subgroup $N$ of $F$ such that $N\cap H = \{1\}$.


title: Polycyclic groups: A new platform for cryptology?

abstract: We propose a new cryptosystem based on polycyclic groups. The cryptosystem is based on the fact that the word problem can be solved effectively in polycyclic groups, while the known solutions to the conjugacy problem are far less efficient.


title: Modifying surfaces in 4-manifolds by twist spinning

abstract: In this paper, given a knot K, for any integer m we construct a new surface Sigma_K(m) from a smoothly embedded surface Sigma in a smooth 4-manifold X by performing a surgery on Sigma. This surgery is based on a modification of the `rim surgery' which was introduced by Fintushel and Stern, by doing additional twist spinning. We investigate the diffeomorphism type and the homeomorphism type of (X,Sigma) after the surgery. One of the main results is that for certain pairs (X,Sigma), the smooth type of Sigma_K(m) can be easily distinguished by the Alexander polynomial of the knot K and the homeomorphism type depends on the number of twist and the knot. In particular, we get new examples of knotted surfaces in CP^2, not isotopic to complex curves, but which are topologically unknotted.


title: The First Eigenvalue for Compact Minimal Embedded Hypersurface in $S^{n+1}(1)$ ($n\geq 3$) is $n$

abstract: I'm sorry that there is a gap in this paper.


title: The topology of the category of open and closed strings

abstract: In this paper we study the topology of the cobordism category of open and closed strings. This is a 2-category in which the objects are compact one-manifolds whose boundary components are labeled by an indexing set (the set of "D-branes"), the 1-morphisms are cobordisms of manifolds with boundary, and the 2-morphisms are diffeomorphisms of the surface cobordisms. Our methods and techniques are direct generalizations of those used by U. Tillmann in her study of the category of closed strings. We input the striking theorem of Madsen and Weiss regarding the topology of the stable mapping class group to identify the homotopy type of the geometric realization of the category of open and closed strings as an infinite loop space.


title: Elliptic Genera of Complete Intersections

abstract: We propose a new definition of the elliptic genera for complete intersections, not necessarily nonsingular, in projective spaces. We also prove they coincide with the expressions obtained from Landau-Ginzburg model by an elementary argument.


title: Multiplicities in the mixed trace cocharacter sequence of two $3\times 3$ matrices

abstract: We find explicitly the multiplicities in the (mixed) trace cocharacter sequence of two $3\times 3$ matrices over a field of characteristic 0 and show that asymptotically they behave as polynomials of seventh degree. As a consequence we obtain also the multiplicities of certain irreducible characters in the cocharacter sequence of the polynomial identities of $3\times 3$ matrices.


title: On nonimbeddability of topologically trivial domains and Thin Hartogs figures of $P_2(\mathbb{C})$ into Stein spaces

abstract: A question of Poletsky was to know if there exists a thin Hartogs figure such that any of its neighborhoods cannot be imbedded in Stein spaces. In \cite{chirka}, Chirka and Ivashkovitch gave such an example arising in an open complex manifold. In this paper, we answer to the question of the existence of such a figure in compact surfaces by giving an example arising in $P_2(\mathbb{C})$. By smoothing it, we obtain a smooth (non analytic) disc with boundary $\bar{D} \subset P_2(\mathbb{C})$ having the same property. Consequently, this disc intersects all algebraic curves of $P_2(\mathbb{C})$. Moreover, as $\bar D$ is topologically trivial, it has a neighborhood diffeomorphic to the unit ball of $\mathbb{C}^2$. This gives a negative answer to the following question of S. Ivashkovitch: Is the property for a domain $B$ of $P_2(\mathbb{C})$ to be diffeormorphic to the unit ball of $\mathbb{C}^2$ a sufficient condition for the existence of non-constant holomorphic functions on it?


title: Quelques aspects diophantiens des varietes toriques projectives

abstract: Some diophantine aspects of projective toric varieties: We present several faces of projective toric varieties, of interest from the point of view of diophantine geometry. We make explicit the theory on a number of meaningful examples and we also prove a Bezout type theorem for Chow weight of projective varieties.


title: Formal normal forms for holomorphic maps tangent to the identity

abstract: We describe a procedure for constructing formal normal forms of holomorphic maps with a hypersurface of fixed points, and we apply it to obtain a complete list of formal normal forms for 2-dimensional holomorphic maps tangential to a curve of fixed points.


title: Ritt's theorem and the Heins map in hyperbolic complex manifolds

abstract: Let X be a Kobayashi hyperbolic complex manifold, and assume that X does not contain compact complex submanifolds of positive dimension (e.g., X Stein). We shall prove the following generalization of Ritt's theorem: every holomorphic self-map f of X such that f(X) is relatively compact in X has a unique fixed point p(f) in X, which is attracting. Furthermore, we shall prove that p(f) depends holomorphically on f in a suitable sense, generalizing results by Heins, Joseph-Kwack and the second author.


title: Recurrence relations for the Lerch Phi function and applications

abstract: In this paper we present a simple method for deriving recurrence relations and we apply it to obtain two equations involving the Lerch Phi function and sums of Bernoulli and Euler polynomials. Connections between these results and those obtained in a paper of H.M. Srivastava, M.L. Glasser and V. Adamchik are pointed out, emphasizing the usefulness of this approach with some meaningful examples.


title: On the Kontsevich-Kuperberg-Thurston construction of a configuration-space invariant for rational homology 3-spheres

abstract: M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsevich-Kuperberg-Thurston construction and we provide detailed and elementary proofs for the invariance of Z. This article is the preliminary part of a work that aims to prove splitting formulae for this powerful invariant of rational homology spheres. It contains the needed background for the proof that will appear in the second part.


title: The polynomial analogue of a theorem of Renyi

abstract: Renyi's result on the density of integers whose prime factorizations have excess multiplicity has an analogue for polynomials over a finite field.


title: Stone-Weierstrass Theorem

abstract: It will be shown that the Stone-Weierstrass theorem for Clifford-valued functions is true for the case of even dimension. It remains valid for the odd dimension if we add a stability condition by principal automorphism.


title: Irreducible Complexity in Pure Mathematics

abstract: By using ideas on complexity and randomness originally suggested by the mathematician-philosopher Gottfried Leibniz in 1686, the modern theory of algorithmic information is able to show that there can never be a "theory of everything" for all of mathematics.


title: New polytopes from products

abstract: We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6. The E_t-construction of Paffenholz and Ziegler applied to products of polygons yields cellular spheres with the combinatorial structure of E_mn. Here we prove polytopality of these spheres. More generally, we construct polytopal realisations for spheres obtained from the E_t-construction applied to products of polytopes in any dimension d>=3, if these polytopes satisfy some consistency conditions. We show that the projective realisation space of E_33 is at least nine dimensional and that of E_44 at least four dimensional. This proves that the 24-cell is not projectively unique. All E_mn for relatively prime m,n>= 5 have automorphisms of their face lattice not induced by an affine transformation of any geometric realisation. The group Z_m x Z_n generated by rotations in the two polygons is a subgroup of the automorphisms of the face lattice of E_mn. However, there are only five pairs (m,n) for which this subgroup is geometrically realisable.


title: Coincidences of simplex centers and related facial structures

abstract: We investigate the geometric properties of simplices in Euclidean d-dimensional space for which two or more of the analogues of the classical triangle centers (including the centroid, circumcenter, incenter, orthocenter or Monge point, and the Fermat-Torricelli point) coincide. We also investigate the geometric significance of the cevian line segments through a given center having the same length. We give a unified presentation, including known results for d=2 and d=3.


title: Moduli schemes of generically simple Azumaya modules

abstract: Let A be an Azumaya algebra over a smooth projective variety X or more generally, a torsion free coherent sheaf of algebras over X whose generic fiber is a central simple algebra. We show that generically simple torsion free A-module sheaves have a projective coarse moduli scheme; it is smooth and even symplectic if X is an abelian or K3 surface and A is Azumaya. We explain a relation to the classical theory of the Brandt groupoid.


title: On random $\pm 1$ matrices: Singularity and Determinant

abstract: This papers contains two results concerning random $n \times n$ Bernoulli matrices. First, we show that with probability tending to one the determinant has absolute value $\sqrt {n!} \exp(O(\sqrt(n log n)))$. Next, we prove a new upper bound $.939^n$ on the probability that the matrix is singular. We also give some generalizations to other random matrix models.


title: Root numbers of curves

abstract: We generalize a theorem of D. Rohrlich concerning root numbers of elliptic curves over the field of rational numbers. Our result applies to curves of all higher genera over number fields. Namely, under certain conditions which naturally extend the conditions used by D. Rohrlich, we show that the root number associated to a smooth projective curve over a number field F and a complex finite-dimensional irreducible representation of the absolute Galois group of F with real-valued character is equal to 1. In the case where the ground field is the field of rational numbers, we show that our result is consistent with the refined version of the conjecture of Birch and Swinnerton-Dyer.


title: Real plane algebraic curves with asymptotically maximal number of even ovals

abstract: It is known for a long time that a nonsingular real algebraic curve of degree 2k in the projective plane cannot have more than 7/2*k^2-9/4*k+3/2$ even ovals. We show here that this upper bound is asymptotically sharp, that is to say we construct a family of curves of degree 2k such that p/k^2 tends to 7/4$ as k tends to infinity, where p is the number of even ovals of the curves. We also show that the same kind of result is valid dealing with odd ovals.


title: Simple Permutations Mix Even Better

abstract: We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We improve on the results of Gowers 1996 and Hoory, Magen, Myers and Rackoff 2004, and show that up to a polylogarithmic factor, n^2*k^2 compositions of random permutations from this family suffice. In addition, our results give an explicit construction of a degree O(n^3) Cayley graph of the alternating group of 2^n objects with a spectral gap Omega(2^{-n}/n^2), which is a substantial improvement over previous constructions.


title: The Brauer-Siegel and Tsfasman-Vladut Theorems for Almost Normal Extensions of Number Fields

abstract: The classical Brauer-Siegel theorem states that if $k$ runs through the sequence of normal extensions of $\mathbb{Q}$ such that $n_k/\log|D_k|\to 0,$ then $\log h_k R_k/\log \sqrt{|D_k|}\to 1.$ First, in this paper we obtain the generalization of the Brauer-Siegel and Tsfasman-Vl\u{a}du\c{t} theorems to the case of almost normal number fields. Second, using the approach of Hajir and Maire, we construct several new examples concerning the Brauer-Siegel ratio in asymptotically good towers of number fields. These examples give smaller values of the Brauer-Siegel ratio than those given by Tsfasman and Vl\u{a}du\c{t}


title: Clifton-Pohl torus and geodesic completeness by a 'complex' point of view

abstract: We show that a natural complexification and a mild generalization of the idea of completeness guarantee geodesic completeness of Clifton-Pohl torus; we explicitely compute all of its geodesics.


title: Framed quiver moduli, cohomology, and quantum groups

abstract: Framed quiver moduli parametrize stable pairs consisting of a quiver representation and a map to a fixed graded vector space. Geometric properties and explicit realizations of framed quiver moduli for quivers without oriented cycles are derived, with emphasis on their cohomology. Their use for quantum group constructions is discussed.


title: Theoretical and Experimental Analysis of a Randomized Algorithm for Sparse Fourier Transform Analysis

abstract: We analyze a sublinear RAlSFA (Randomized Algorithm for Sparse Fourier Analysis) that finds a near-optimal B-term Sparse Representation R for a given discrete signal S of length N, in time and space poly(B,log(N)), following the approach given in \cite{GGIMS}. Its time cost poly(log(N)) should be compared with the superlinear O(N log N) time requirement of the Fast Fourier Transform (FFT). A straightforward implementation of the RAlSFA, as presented in the theoretical paper \cite{GGIMS}, turns out to be very slow in practice. Our main result is a greatly improved and practical RAlSFA. We introduce several new ideas and techniques that speed up the algorithm. Both rigorous and heuristic arguments for parameter choices are presented. Our RAlSFA constructs, with probability at least 1-delta, a near-optimal B-term representation R in time poly(B)log(N)log(1/delta)/ epsilon^{2} log(M) such that ||S-R||^{2}<=(1+epsilon)||S-R_{opt}||^{2}. Furthermore, this RAlSFA implementation already beats the FFTW for not unreasonably large N. We extend the algorithm to higher dimensional cases both theoretically and numerically. The crossover point lies at N=70000 in one dimension, and at N=900 for data on a N*N grid in two dimensions for small B signals where there is noise.


title: Generalizations of isoparametric foliations

abstract: Isoparametric submanifolds and hypersurfaces in space forms are geometric objects that have been studied since E. Cartan. Another important class of geometric objects is the orbits of a polar action on a Riemannian manifold,e.g., the orbits of the adjoint action of a Lie group on itself. These two classes of submanifolds share comon properties. For example, they are leaves of a singular Riemannian foliation with sections (s.r.f.s. for short). The purpose of this paper is to review some results of the theory of s.r.f.s., which have been developed by the author. In addition, we give an alternative proof of Toeben's Theorem, who gave a necessary and sufficient condition for an equifocal submanifold to induce a s.r.f.s.


title: Jordan algebras, exceptional groups, and higher composition laws

abstract: We consider an integral version of the Freudenthal construction relating Jordan algebras and exceptional algebraic groups. We show how this construction is related to higher composition laws of M.Bhargava in number theory. We propose an algorithmic approach to studying orbit spaces of groups underlying higher composition laws. Using this method we discover two new examples of spaces sharing similar properties, and indicate several more examples of spaces where such composition laws may be introduced.


title: On two geometric constructions of U(sl_n) and its representations

abstract: Ginzburg and Nakajima have given two different geometric constructions of quotients of the universal enveloping algebra of sl_n and its irreducible finite-dimensional highest weight representations using the convolution product in the Borel-Moore homology of flag varieties and quiver varieties respectively. The purpose of this paper is to explain the precise relationship between the two constructions. In particular, we show that while the two yield different quotients of the universal enveloping algebra, they produce the same representations and the natural bases which arise in both constructions are the same. We also examine how this relationship can be used to translate the crystal structure on irreducible components of quiver varieties, defined by Kashiwara and Saito, to a crystal structure on the varieties appearing in Ginzburg's construction, thus recovering results of Malkin.


title: Hypercubes circumscribed in hyperspheres: a constant growth ratio for volumes at large dimensions

abstract: This note shows that an interesting property arises when considering the relation between the hypersphere volumes at dimensions $n+1$ and $n$, if the hyperspheres circumscribe unitary hypercubes in $n+1$ and $n$ dimensions, respectively . In the limit of large $n$, the ratio $\frac{V_{n+1}}{V_{n}}$ is constant and equal to the irrational number $\sqrt{\frac{\pi e}{2}}$. Some consequences of this result are explored.


title: First Steps in Algorithmic Fewnomial Theory

abstract: Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a real root or not. We describe a phase-transition for when m is large enough to make FEAS_R be NP-hard, when restricted to inputs consisting of a single n-variate polynomial with exactly m monomial terms: polynomial-time for m<=n+2 (for any fixed n) and NP-hardness for m<=n+n^{epsilon} (for n varying and any fixed epsilon>0). Because of important connections between FEAS_R and A-discriminants, we then study some new families of A-discriminants whose signs can be decided within polynomial-time. (A-discriminants contain all known resultants as special cases, and the latter objects are central in algorithmic algebraic geometry.) Baker's Theorem from diophantine approximation arises as a key tool. Along the way, we also derive new quantitative bounds on the real zero sets of n-variate (n+2)-nomials.


title: Whitehead products in symplectomorphism groups and Gromov-Witten invariants

abstract: Consider any symplectic ruled surface $(M^g_{\lambda},\omega_{\lambda})$ given by $(\Sigma_g \times S^2, \lambda \sigma_{\Sigma_g} \oplus \sigma_{S^2})$. We compute all natural equivariant Gromov-Witten invariants $EGW_{g,0}(M^g_{\lambda};H_k, A-kF)$ for all hamiltonian circle actions $H_k$ on $M^g_{\lambda}$, where $A=[\Sigma_g \times pt]$ and $F= [pt \times S^2]$. We use these invariants to show the nontriviality of certain higher order Whitehead products that live in the homotopy groups of the symplectomorphism groups $G_{\lambda}^g$, $g \geq 0$. Our results are sharper when $g=0,1$ and enable us to answer a question posed by D.McDuff in the case $g=1$ and provide a new interpretation of the multiplicative structure in the ring $H^*(BG^0_{\lambda} ;\Q)$ found by Abreu-McDuff.


title: The global stability of the Minkowski space-time in harmonic gauge

abstract: We give a new proof of the global stability of Minkowski space originally established in the vacuum case by Christodoulou and Klainerman. The new approach shows that the Einstein-vacuum and the Einstein-scalar field equations with general asymptotically flat initial data satisfying a global smallness condition produce global (causally geodesically complete) solutions asymptotically convergent to the Minkowski space-time. The proof utilizes the classical harmonic (also known as de Donder or wave coordinate) gauge.


title: Brill-Gordan Loci, Transvectants and an Analogue of the Foulkes Conjecture

abstract: Combining a selection of tools from modern algebraic geometry, representation theory, the classical invariant theory of binary forms, together with explicit calculations with hypergeometric series and Feynman diagrams, we obtain the following interrelated results. A Castelnuovo-Mumford regularity bound and a projective normality result for the locus of hypersufaces that are equally supported on two hyperplanes. The surjectivity of an equivariant map between two plethystic compositions of symmetric powers; a statement which is reminiscent of the Foulkes-Howe conjecture. The nonvanishing of even transvectants of exact powers of generic binary forms. The nonvanishing of a collection of symmetric functions defined by sums over magic squares and transportation matrices with nonnegative integer entries. An explicit set of generators, in degree three, for the ideal of the coincident root locus of binary forms with only two roots of equal multiplicity.


title: Quantum D-modules and generalized mirror transformations

abstract: In the previous paper, the author defined equivariant Floer cohomology for a complete intersection in a toric variety and showed that it is isomorphic to the small quantum D-module after a mirror transformation when the first Chern class c_1(M) of the tangent bundle is nef. In this paper, even when c_1(M) is not nef, we show that the equivariant Floer cohomology reconstructs the big quantum D-module under certain conditions on the ambient toric variety. The proof is based on a mirror theorem by Coates and Givental. The reconstruction procedure here gives a generalized mirror transformation first observed by Jinzenji in low degrees.


title: Fragmentability and representations of flows

abstract: Our aim is to study weak star continuous representations of semigroup actions into the duals of ``good'' (e.g., reflexive and Asplund) Banach spaces. This approach leads to flow analogs of Eberlein and Radon-Nikodym compacta and a new class of functions (Asplund functions) which intimately is connected with Asplund representations and includes the class of weakly almost periodic functions. We show that a flow is weakly almost periodic iff it admits sufficiently many reflexive representations. One of the main technical tools in this paper is the concept of fragmentability (which actually comes from Namioka and Phelps) and widespreadly used in topological aspects of Banach space theory. We explore fragmentability as ``a generalized equicontinuity'' of flows. This unified approach allows us to obtain several dynamical applications. We generalize and strengthen some results of Akin-Auslander-Berg, Shtern, Veech-Troallic-Auslander and Hansel-Troallic. We establish that frequently, for linear G-actions, weak and strong topologies coincide on, not necessarily closed, G-minimal subsets. For instance such actions are ``orbitwise Kadec``.


title: Verma modules and preprojective algebras

abstract: We give a geometric construction of the Verma modules of a symmetric Kac-Moody Lie algebra in terms of constructible functions on the varieties of nilpotent finite-dimensional modules of the corresponding preprojective algebra.


title: Hyperbolic 3-manifolds with geodesic boundary: Enumeration and volume calculation

abstract: We describe a natural strategy to enumerate compact hyperbolic 3-manifolds with geodesic boundary in increasing order of complexity. We show that the same strategy can be employed to analyze simultaneously compact manifolds and finite-volume manifolds having toric cusps. In opposition to this we show that, if one allows annular cusps, the number of manifolds grows very rapidly, and that our strategy cannot be employed to obtain a complete list. We also carefully describe how to compute the volume of our manifolds, discussing formulae for the volume of a tetrahedron with generic dihedral angles in hyperbolic space.


title: Knot theory of complex plane curves

abstract: The primary objects of study in the ``knot theory of complex plane curves'' are C-links: links (or knots) cut out of a 3-sphere in the complex plane by complex plane transverse and totally tangential. Transverse C-links are naturally oriented. There are many natural classes of examples: links of singularities; links at infinity; links of divides, free divides, tree divides, and graph divides; and--most generally--quasipositive links. Totally tangential C-links are unoriented but naturally framed; they turn out to be precisely the real-analytic Legendrian links, and can profitably be investigated in terms of certain closely associated transverse C-links. The knot theory of complex plane curves is attractive not only for its own internal results, but also for its intriguing relationships and interesting contributions elsewhere in mathematics. Within low-dimensional topology, related subjects include braids, concordance, polynomial invariants, contact geometry, fibered links and open books, and Lefschetz pencils. Within low-dimensional algebraic and analytic geometry, related subjects include embeddings and injections of the complex line in the complex plane, line arrangements, Stein surfaces, and Hilbert's 16th problem.


title: Deformation Theory of Asymptotically Conical Coassociative 4-folds

abstract: We study coassociative 4-folds N in R^7 which are asymptotically conical to a cone C with rate lambda<1. If lambda is in the interval [-2,1) and generic, we show that the moduli space of coassociative deformations of N which are also asymptotically conical to C with rate lambda is a smooth manifold, and we calculate its dimension. If lambda<-2 and generic, we show that the moduli space is locally homeomorphic to the kernel of a smooth map between smooth manifolds, and we give a lower bound for its expected dimension. We also derive a test for when N will be planar if lambda<-2 and we discuss examples of asymptotically conical coassociative 4-folds.


title: Continuous Fraisse Conjecture

abstract: We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence classes with respect to this embeddability relation. This is an extension of Laver's 1971 result, who considered (plain) embeddability, which yields coarser equivalence classes. Using this result we show that there are only countably many different Godel logics.


title: Regular functions on the Shilov boundary

abstract: In this paper a quantum analog of the $*$-algebra of regular functions on the Shilov boundary $S(\mathbb D)$ of bounded symmetric domain $\mathbb D$ is constructed. The algebras of regular functions on $S(\mathbb D)$ are described in terms of generators and relations for two particular series of bounded symmetric domains. Also, the degenerate principal series of quantum Harich-Chandra modules related to $S(\mathbb D)=U_n$ is investigated.


title: Variation of parabolic cohomology and Poincare duality

abstract: We continue our study of the variation of parabolic cohomology (math.AG/0310139) and derive an exact formula for the underlying Poincare duality. As an illustration of our methods, we compute the monodromy of the Picard-Euler system and its invariant Hermitian form, reproving a classical theorem of Picard.


title: The $L^p$ Dirichlet Problem for Elliptic Systems on Lipschitz Domains

abstract: We develop a new approach to the $L^p$ Dirichlet problem via $L^2$ estimates and reverse Holder inequalities. We apply this approach to second order elliptic systems and the polyharmonic equation on a bounded Lipschitz domain $\Omega$ in $R^n$. For $n\ge 4$ and $2-\epsilon<p<2(n-1)/(n-3)+\epsilon$, we establish the solvability of the Dirichlet problem with boundary value data in $L^p(\partial\Omega)$. In the case of the polyharmonic equation $\Delta^{\ell}u=0$ with $\ell\ge 2$, the range of $p$ is sharp if $4\le n \le 2\ell +1$.


title: First cohomology, rigidity and deformations of isometric group actions

abstract: There is an error in the proof of Theorem 1.1 that invalidates proofs of other theorems. Theorem 1.5 is unaffected.


title: Minimum Ellipsoid Bounds for Solutions of Polynomial Systems via Sum of Squares

abstract: This paper has been withdrawn by the authors due to its publication


title: A new proof of the local regularity of the eta invariant of a Dirac operator

abstract: In this paper we give a new proof of Bismut-Freed's result on the local regularity of the eta invariant of a Dirac operator in odd dimension.


title: A note on projective modules over real affine algebras

abstract: Let A be an affine algebra over the field of real numbers of dimension d. Let f \in A be an element not belonging to any real maximal ideal of A. Let P be a projective A-module of rank \geq d-1. Let (a,p) \in A_f \oplus P_f be a unimodular element. Then the projective A_f module Q=A_f \oplus P_f/(a,p)A_f is extended from A.


title: Stability result for projective modules over blowup rings

abstract: Let R be an affine algebra of dimension n \geq 3 over an algebraically closed field k. Suppose char k =0 or char k =p \geq n. Let g,f_1,...,f_r be a R-regular sequence and A=R[f_1/g,...,f_r/g]. Let P be a projective A-module of rank n-1 which is extended from R. Let (a,p) \in (A \op P) be a unimodular element and Q=A\op P/(a,p)A. Then, Q is extended from R. A similar result for affine algebras over reals are also proved.


title: New obstructions to doubly slicing knots

abstract: A knot in the 3-sphere is called doubly slice if it is a slice of an unknotted 2-sphere in the 4-sphere. We give a bi-sequence of new obstructions for a knot being doubly slice. We construct it following the idea of Cochran-Orr-Teichner's filtration of the classical knot concordance group. This yields a bi-filtration of the monoid of knots (under the connected sum operation) indexed by pairs of half integers. Doubly slice knots lie in the intersection of this bi-filtration. We construct examples of knots which illustrate non-triviality of this bi-filtration at all levels. In particular, these are new examples of algebraically doubly slice knots that are not doubly slice, and many of these knots are slice. Cheeger-Gromov's von Neumann rho invariants play a key role to show non-triviality of this bi-filtration. We also show that some classical invariants are reflected at the initial levels of this bi-filtration, and obtain a bi-filtration of the double concordance group.


title: On Ideal Generators for Affine Schubert Varieties

abstract: We consider a certain class of Schubert varieties of the affine Grassmannian of type A. By embedding a Schubert variety into a finite-dimensional Grassmannian, we construct an explicit basis of sections of the basic line bundle by restricting certain Pl\"ucker co-ordinates. As a consequence, we write an explicit set of generators for the degree-one part of the ideal of the finite-dimensional embedding. This in turn gives a set of generators for the degree-one part of the ideal defining the affine Grassmannian inside the infinite Grassmannian which we conjecture to be a complete set of ideal generators. We apply our results to the orbit closures of nilpotent matrices. We describe (in a characteristic-free way) a filtration for the coordinate ring of a nilpotent orbit closure and state a conjecture on the SL(n)-module structures of the constituents of this filtration.


title: Why Delannoy numbers?

abstract: This article is not a research paper, but a little note on the history of combinatorics: We present here a tentative short biography of Henri Delannoy, and a survey of his most notable works. This answers to the question raised in the title, as these works are related to lattice paths enumeration, to the so-called Delannoy numbers, and were the first general way to solve Ballot-like problems. These numbers appear in probabilistic game theory, alignments of DNA sequences, tiling problems, temporal representation models, analysis of algorithms and combinatorial structures.

categories: math.CO cs.DS cs.GT math.HO math.PR math.ST q-bio.GN stat.TH


title: Normal Hopf subalgebras, depth two and Galois extensions

abstract: Let $S$ be the left $R$-bialgebroid of a depth two extension with centralizer $R$ as defined in math.QA/0108067. We show that the left endomorphism ring of depth two extension, not necessarily balanced, is a left $S$-Galois extension of $A^{\rm op}$. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We find a class of examples of the alternative Hopf algebroids in math.QA/0302325. We also characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.


title: Super-replicable functions ${\cal N}(j_{1,N})$ and periodically vanishing property

abstract: We find the super-replication formulae which would be a generalization of replication formulae. And we apply the formulae to derive periodically vanishing property in the Fourier coefficients of the Hauptmodul ${\cal N}(j_{1,12})$ as a super-replicable function.


title: More on super-replication formulae

abstract: We extend Norton-Borcherds-Koike's replication formulae to super-replicable ones by working with the congruence groups $\Gamma_1(N)$ and find the product identities which characterize super-replicable functions. These will provide a clue for constructing certain new infinite dimensional Lie superalgebras whose denominator identities coincide with the above product identities. Therefore it could be one way to find a connection between modular functions and infinite dimensional Lie algebras.


title: Curves in abelian varieties over finite fields

abstract: We study the distribution of algebraic points on curves in abelian varieties over finite fields.


title: On continuous extension of grafting maps

abstract: The definition of the grafting operation for quasifuchsian groups is extended by Bromberg to all $b$-groups. Although the grafting maps are not necessarily continuous at boundary groups, in this paper, we show that the grafting maps take every "standard" convergent sequence to a convergent sequence. As a consequence of this result, we extend Goldman's grafting theorem for quasifuchsian groups to all boundary $b$-groups.


title: Algorithmische Konstruktionen von Gittern

abstract: The main objective of this thesis is a classification project for integral lattices. Using Kneser's neighbour method we have developed the computer program tn to classify complete genera of integral lattices. Main results are detailed classifications of modular lattices in dimensions up to 14 with levels 3,5,7, and 11. We present a fast meta algorithm for the computation of a basis of a lattice which is given by a large generating system. A theoretical worst case boundary and practical experiments show important advantages in comparison to traditional methods. Up to small modifications we use this algorithm for the decomposition of a lattice into pairwise orthogonal sublattices. As a further result we prove a covering theorem for the generating system of a lattice. Let S be a minimal generating system of a lattice of rank n with generators not larger than B. Then S has at most n + log_2(n!(B/M)^n) elements. We describe and compute invariants of a lattice L like the spectrum of the discrete Fourier transform of the length function on L/2L. The numerical computation of a lattice quantizer and a quantizer of a union of cosets of a lattice are discussed.


title: The dimensions of spaces of holomorphic second-order automorphic forms and their cohomology

abstract: Second-order automorphic forms are similar to the usual automorphic forms but have a weaker automorphy condition. We answer a question of Zagier and find the dimensions of spaces of holomorphic, even weight, second-order forms. We also establish a cohomological interpretation.


title: Summation formulae for noncommutative hypergeometric series

abstract: We establish several summation formulae for hypergeometric and basic hypergeometric series involving noncommutative parameters and argument. These results were inspired by a recent paper of J. A. Tirao [Proc. Nat. Acad. Sci. 100 (14) (2003), 8138-8141].


title: Generalized Heisenberg groups and Shtern's question

abstract: Let H(X) be the generalized Heisenberg group induced by a normed space X. We prove that X is a relatively minimal subgroup of H(X). We show that the group $G:=H(L_4[0,1])$ is reflexively representable but weakly continuous unitary representations of G in Hilbert spaces do not separate points of G. This answers a question of A. Shtern.


title: Generating Functions For Kernels of Digraphs (Enumeration & Asymptotics for Nim Games)

abstract: In this article, we study directed graphs (digraphs) with a coloring constraint due to Von Neumann and related to Nim-type games. This is equivalent to the notion of kernels of digraphs, which appears in numerous fields of research such as game theory, complexity theory, artificial intelligence (default logic, argumentation in multi-agent systems), 0-1 laws in monadic second order logic, combinatorics (perfect graphs)... Kernels of digraphs lead to numerous difficult questions (in the sense of NP-completeness, #P-completeness). However, we show here that it is possible to use a generating function approach to get new informations: we use technique of symbolic and analytic combinatorics (generating functions and their singularities) in order to get exact and asymptotic results, e.g. for the existence of a kernel in a circuit or in a unicircuit digraph. This is a first step toward a generatingfunctionology treatment of kernels, while using, e.g., an approach "a la Wright". Our method could be applied to more general "local coloring constraints" in decomposable combinatorial structures.


title: The Kodaira dimension of diffeomorphic K\"ahler 3-folds

abstract: We provide infinitely many examples of pairs of diffeomorphic, non simply connected K\" ahler manifolds of complex dimension three with different Kodaira dimensions. Also, in any possible Kodaira dimension we find infinitely many pairs of non deformation equivalent, diffeomorphic K\" ahler threefolds.


title: The 3x+1 Semigroup

abstract: The 3x+1 semigroup is the multiplicative semigroup generated by the rational numbers of form (2k+1)/(3k+2) for non-negative k, together with 2. This semigroup encodes backward iteration under the 3x+1 map, and the 3x+1 conjecture implies that it contains every positive integer. We prove this is the case, and show that this semigroup consists of all positive rational numbers a/b such that 3 does not divide b.


title: Wild and Wooley Numbers

abstract: This paper studies the multiplicative semigroup generated by all rationals of the form (3n+2)/(2n+1) for nonnegative integers n, together with 1/2. The subsemigroup of integers in this semigroup is called the wild integer semigroup, and the wild numbers are the irreducible elements in this subsemigroup. This paper presents evidence that the wild numbers consist of all the prime numbers p except 3. The subsemigroup of integers in the multiplicative semigroup generated by all rationals of the form (3n+2)/(2n+1) for nonnegative integers n is called the Wooley integer semigroup and its irreducible elements are called Wooley numbers. This semigroup is shown to be recursive, and various open problems are formulated about Wooley integers.


title: The Coxeter element and the branching law for the finite subgroups of SU(2)

abstract: Let $\Gamma$ be a finite subgroup of SU(2) and let $\widetilde {\Gamma} = \{\gamma_i\mid i\in J\}$ be the unitary dual of $\Gamma$. The unitary dual of SU(2) may be written $\{\pi_n\mid n\in \Bbb Z_+\}$ where $dim \pi_n = n+1$. For $n\in \Bbb Z_+$ and $j\in J$ let $m_{n,j}$ be the multiplicity of $\gamma_j$ in $\pi_n|\Gamma$. Then we collect this branching data in the formal power series, $m(t)_j = \sum_{n=0}^{\infty}m_{n,j} t^n$. One shows that there exists a polynomial $z(t)_j$ and known positive integers $a,b$ (independent of $j$) such that $m(t)_j = {z(t)_j \over (1-t^a)(1-t^b)}$. The problem is the determination of the polynomial $z(t)_j$. If $o\in J$ is such that $\gamma_o$ is the trivial representation, then it is classical that $z(t)_o = 1 +t^h$ for a known integer $h$. The problem reduces to case where $\gamma_j$ is nontrivial. The McKay correspondence associates to $\Gamma$ a complex simple Lie algebra $\g$ of type A-D-E. We explicitly determine $z(t)_j$ for $j\in J-\{o\}$ using the orbits of a Coxeter element on the set of roots of $\frak{g}$. Mysteriously the polynomial $z(t)_j$ has arisen in a completely different context in some papers of Lusztig. Also Rossmann has recently shown that the polynomial $z(t)_j$ yields the character of $\gamma_j$.


title: Schr\"odinger type eigenvalue problems with polynomial potentials: Asymptotics of eigenvalues

abstract: For integers $m\geq 3$ and $1\leq\ell\leq m-1$, we study the eigenvalue problem $-u^{\prime\prime}(z)+[(-1)^{\ell}(iz)^m-P(iz)]u(z)=\lambda u(z)$ with the boundary conditions that $u(z)$ decays to zero as $z$ tends to infinity along the rays $\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2}$ in the complex plane, where $P(z)=a_1 z^{m-1}+a_2 z^{m-2}+...+a_{m-1} z$ is a polynomial. We provide asymptotic expansions of the eigenvalue counting function and the eigenvalues $\lambda_{n}$. Then we apply these to the inverse spectral problem, reconstructing some coefficients of polynomial potentials from asymptotic expansions of the eigenvalues. Also, we show for arbitrary $\mathcal{PT}$-symmetric polynomial potentials of degree $m\geq 3$ and all symmetric decaying boundary conditions that the eigenvalues are all real and positive, with only finitely many exceptions.


title: On covers of abelian groups by cosets

abstract: Let G be any abelian group and {a_sG_s}_{s=1}^k be a finite system of cosets of subgroups G_1,...,G_k. We show that if {a_sG_s}_{s=1}^k covers all the elements of G at least m times with the coset a_tG_t irredundant then [G:G_t]\le 2^{k-m} and furthermore k\ge m+f([G:G_t]), where f(\prod_{i=1}^r p_i^{alpha_i})=\sum_{i=1}^r alpha_i(p_i-1) if p_1,...,p_r are distinct primes and alpha_1,...,alpha_r are nonnegative integers. This extends Mycielski's conjecture in a new way and implies a conjecture of Gao and Geroldinger. Our new method involves algebraic number theory and characters of abelian groups.


title: Information on some recent applications of umbral extensions to discrete mathematics

abstract: At the first part of the paper we show how specific umbral extensions of the Stirling numbers of the second kind result in new type of Dobinski-like formulas. In the second part among others one recovers how and why Ward solution of uncountable family of extended difference calculus nonhomogeneous equations extends to Ward-Appell polynomials case . Illustrative specifications to q-calculus case and fibonomial calculus case are made explicit due to the usage of the so called upside down notation for objects of extended finite operator calculus .


title: Representations of Centrally-Extended Lie Algebras over Differential Operators and Vertex Algebras

abstract: We construct irreducible modules of centrally-extended classical Lie algebras over left ideals of the algebra of differential operators on the circle, through certain irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries. The structures of vertex algebras associated with the vaccum representations of these algebras are determined. Moreover, we prove that under certain conditions, the highest weight irreducible modules of centrally-extended classical Lie algebras of infinite matrices with finite number of nonzero entries narually give rise to the irreducible modules of the simple quotients of these vertex algebras. Our results are natural generalizations of the well-known WZW models in conformal field theory associated with affine Kac-Moody algebras. They can also be viewed as quadratic generalizations of free field theory.


title: Etingof Trace, Path Hypergeometric Functions and Integrable Systems

abstract: Under a certain condition, we find the explicit formulas for the trace functions of certain intertwining operators among gl(n)-modules, introduced by Etingof in connection with the solutions of the Calogero-Sutherland model. If n=2, the master function of the trace function is exactly the classical Gauss hypergeometric function. When n>2, the master functions of the trace functions are a new family of multiple hypergeometric functions, whose differential property and integral representation are dominated certain polynomials of integral paths connecting pairs of positive integers. Moreover, we define and explicitly find similar trace functions for sp(2n), which give rise to solutions of the Olshanesky-Perelomov model of type C. The master functions of the trace functions for sp(2n) are similar new multiple path hypergeometric functions. Analogous multiple path hypergeometric functions for orthogonal Lie algebras are defined and studied.


title: Stochastic Volterra convolution with L\'evy process

abstract: In the paper we study stochastic convolution appearing in Volterra equation driven by so called L\'evy process. By L\'evy process we mean a process with homogeneous independent increments, continuous in probability and cadlag.


title: Generic Lie Color Algebras

abstract: We describe a type of Lie color algebra, which we call generic, whose universal enveloping algebra is a domain with finite global dimension. Moreover, it is an iterated Ore extension. We provide an application and show Grobner basis methods can be used to study universal enveloping algebras of factors of generic Lie color algebras.


title: Further Remarks on Strict Input-to-State Stable Lyapunov Functions for Time-Varying Systems

abstract: We study the stability properties of a class of time-varying nonlinear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our given Lyapunov functions which guarantee the existence of strict ISS Lyapunov functions for our systems. Next, we provide simple direct constructions of explicit strict ISS Lyapunov functions for our systems by applying an integral smoothing method. We illustrate our constructions using a tracking problem for a rotating rigid body.


title: A Toda lattice in dimension 2 and Nevanlinna theory

abstract: It is shown how to study the 2-D Toda system for SU(n+1) using Nevanlinna theory of meromorphic functions and holomorphic curves. The results generalize recent results of Jost - Wang and Chen - Li.


title: Galois representations modulo $p$ and cohomology of Hilbert modular varieties

abstract: The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main tool is the action of the inertia groups at the primes above $p$. In order to determine this action, we compute the Hodge-Tate (resp. the Fontaine-Laffaille) weights of the $p$-adic (resp. the modulo $p$) etale cohomology of the Hilbert modular variety. The cohomological part of our paper is inspired by the work of Mokrane, Polo and Tilouine on the cohomology of the Siegel modular varieties and builds upon the geometric constructions of math.NT/0212071 and math.NT/0212072.


title: A majorization bound for the eigenvalues of some graph Laplacians

abstract: It is conjectured that the Laplacian spectrum of a graph is majorized by its conjugate degree sequence. In this paper, we prove that this majorization holds for a class of graphs including trees. We also show that a generalization of this conjecture to graphs with Dirichlet boundary conditions is equivalent to the original conjecture.


title: A model structure a la Thomason on 2-Cat

abstract: We exhibit a model structure on 2-Cat, obtained by transfer from sSet across the adjunction C_2 o Sd^2 -| Ex^2 o N_2.


title: Affine Birman-Wenzl-Murakami Algebras and Tangles in the Solid Torus

abstract: The ordinary (or classical) Birman-Wenzl-Murakami algebras were initially conceived as an algebraic framework for the Kauffman link invariant. They also appear as centralizer algebras for representations of quantum universal enveloping algebras of orthogonal or symplectic types. It was shown by Morton and Wassermann that the BMW algebras are isomorphic to algebras of tangles in (disc $\times$ interval), modulo Kauffman skein relations. This isomorphism allows one to see very clearly certain properties of the BMW algebras -- for example existence of Markov traces and conditional expectations and a good basis. In the present work, we establish the correponding results for affine BMW algebras, showing they are isomorphic to algebras of tangles in (annulus $\times$ interval), modulo Kaufffman skein relations. Again, this provides an important foundation for studying these algebras, as the existence of Markov traces and conditional expectations are consequences of the isomorphism. Moreover, we obtain a basis of the affine BMW algebras analogous to a well known basis of the affine Hecke algebras.


title: The number of non-solutions to an equation in a group and non-topologizable torsion-free groups

abstract: It is shown that, for any pair of cardinals with infinite sum, there exist a group and an equation over this group such that the first cardinal is the number of solutions to this equation and the second cardinal is the number of non-solutions to this equation. A countable torsion-free non-topologizable group is constructed.


title: On Gromov-Hausdorff convergence for operator metric spaces

abstract: We introduce an analogue for Lip-normed operator systems of the second author's order-unit quantum Gromov-Hausdorff distance and prove that it is equal to the first author's complete distance. This enables us to consolidate the basic theory of what might be called operator Gromov-Hausdorff convergence. In particular we establish a completeness theorem and deduce continuity in quantum tori, Berezin-Toeplitz quantizations, and theta-deformations from work of the second author. We show that approximability by Lip-normed matrix algebras is equivalent to 1-exactness of the underlying operator space and, by applying a result of Junge and Pisier, that for n greater than or equal to 7 the set of isometry classes of n-dimensional Lip-normed operator systems is nonseparable. We also treat the question of generic complete order structure.


title: Estimates for solutions of Burgers type equations and some applications

abstract: We obtain precise large time asymptotics for the Cauchy problem for Burgers type equations satisfying shock profile condition. The proofs are based on the exact a priori estimates for (local) solutions of these equations and a recent result of the first and second authors.


title: Lame operators with projective octahedral and icosahedral monodromies

abstract: We show that there exists a Lame operator $L_n$ with projective octahedral monodromy for each $n\in{1/2}(\mathbf{N}+{1/2})\cup{1/3}(\mathbf{N}+{1/2}) $, and with projective icosahedral monodromy for each $n\in{1/3}(\mathbf{N}+{1/2})\cup{1/5}(\mathbf{N}+{1/2}) $. To this end, we construct Grothendieck's dessin d'enfants corresponding to the Belyi morphisms which pull-back hypergeometric operators into Lame operators $L_n$ with the desired monodromies.


title: Monoidal Categories of Corings

abstract: We introduce a monoidal category of corings using two different notions of corings morphisms. The first one is the (right) coring extensions recently introduced by T. Brzezi\'nski in [2], and the anther is the usual notion of morphisms defined in [5] by J. G\'omez-Torrecillas.


title: Infinite Dimensional Chern-Simons Theory

abstract: We extend finite dimensional Chern-Simons theory to certain infinite dimensional principal bundles with connections, in particular to the frame bundle $FLM\to LM$ over the loop space of a Riemannian manifold $M$. Chern-Simons forms are defined roughly as in finite dimensions with the invariant polynomials replaced by appropriate Wodzicki residues. This produces odd dimensional $\R/\Z$-valued cohomology classes on $LM$ if $M$ is parallelizable. We compute an example of a metric on the loop space of $S^3\times S^1$ for which the three dimensional Chern-Simons class is nontrivial.


title: Totally Geodesic Seifert Surfaces in Hyperbolic Knot and Link Complements I

abstract: The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.


title: The symbol of a function of an operator

abstract: We give an explicit formula for the symbol of a function of an operator. Given an operator {\hat A} on L^2(R^N) with symbol A, and a function f, we obtain the symbol of f(\hat A) in terms of A. As an application, Bohr-Sommerfeld quantization rules are explicitely calculated at order 4 in hbar.


title: A relative version of Connes' $\chi(M)$ invariant and existence of orbit inequivalent actions

abstract: We consider a new orbit equivalence invariant for measure-preserving actions of groups on the probability space, $\sigma:G\to$ Aut$(X,\mu)$, denoted $\chi_0(\sigma;G)$ and defined as the "intersection" of the 1-cohomology group, H$^1(\sigma,G)$, with Connes' $\chi(M)$ invariant of the cross product von Neumann algebra, $M=L^\infty(X,\mu)\rtimes_\sigma G$. We calculate $\chi_0(\sigma;G)$ for certain actions of groups of the form $G=H\times K$ with $H$ non-amenable and $K$ infinite amenable and we deduce that any such group has uncountably many orbit inequivalent actions.


title: Explicit differential characterization of the Newtonian free particle system in m > 1 dependent variables

abstract: In 1883, as an early result, Sophus Lie established an explicit necessary and sufficient condition for an analytic second order ordinary differential equation y_xx = F(x,y,y_x) to be equivalent, through a point transformation (x,y) --> (X(x,y), Y(x,y)), to the Newtonian free particle equation Y_XX = 0. This result, preliminary to the deep group-theoretic classification of second order analytic ordinary differential equations, was parachieved later in 1896 by Arthur Tresse, a French student of S. Lie. In the present paper, following closely the original strategy of proof of S. Lie, which we firstly expose and restitute in length, we generalize this explicit characterization to the case of several second order ordinary differential equations. Let K=R or C, or more generally any field of characteristic zero equipped with a valuation, so that K-analytic functions make sense. Let x in K, let m > 1, let y := (y^1, ..., y^m) in K^m and let y_xx^j = F^j(x,y,y_x^l), j = 1,...,m be a collection of m analytic second order ordinary differential equations, in general nonlinear. We provide an explicit necessary and sufficient condition in order that this system is equivalent, under a point transformation (x, y^1, ..., y^m) --> (X(x,y), Y^1(x,y),..., Y^m(x, y)), to the Newtonian free particle system Y_XX^1 = ... = Y_XX^m = 0. Strikingly, the (complicated) differential system that we obtain is of first order in the case m > 1, whereas it is of second order in S. Lie's original case m = 1.


title: A context-free and a 1-counter geodesic language for a Baumslag-Solitar group

abstract: We give a language of unique geodesic normal forms for the Baumslag-Solitar group BS(1,2) that is context-free and 1-counter. We discuss the classes of context-free, 1-counter and counter languages, and explain how they are inter-related.


title: Families of unsatisfiable k-CNF formulas with few occurrences per variable

abstract: (k,s)-SAT is the satisfiability problem restricted to instances where each clause has exactly k literals and every variable occurs at most s times. It is known that there exists a function f such that for s\leq f(k) all (k,s)-SAT instances are satisfiable, but (k,f(k)+1)-SAT is already NP-complete (k\geq 3). The best known lower and upper bounds on f(k) are Omega(2^k/k) and O(2^k/k^a), where a=\log_3 4 - 1 = 0.26.... We prove that f(k) = O(2^k \cdot \log k/k), which is tight up to a \log k factor.


title: Regular geodesic languages and the falsification by fellow traveler property

abstract: We furnish an example of a finite generating set for a group that does not enjoy the falsification by fellow traveler property, while the full language of geodesics is regular.


title: Stability and curvature estimates for minimal graphs with flat normal bundles

abstract: It is well-known that a minimal graph of codimension one is stable, i.e. the second variation of the area functional is non-negative. This is no longer true for higher codimensional minimal graphs. In this note, we prove that a minimal graph of any codimension is stable if its normal bundle is flat. We also prove minimal graphs of dimension no greater than six and any codimension is flat if the the normal bundle is flat and the density at infinity is finite. Such a Bernstein type theorem holds in any dimension if we assume additionally growth conditions on the volume element.


title: F-thresholds and Bernstein-Sato polynomials

abstract: We introduce and study invariants of singularities in positive characteristic called F-thresholds. They give an analogue of the jumping coefficients of multiplier ideals in characteristic zero. We discuss the connection between the invariants of an ideal in characteristic zero and the invariants of the different reduction mod p of this ideal. Our main point is that this relation depends on arithmetic properties of p. We also describe a new connection between invariants mod p and the roots of the Bernstein-Sato polynomial.


title: New refinements of the McKay conjecture for arbitrary finite groups

abstract: Let $G$ be an arbitrary finite group and fix a prime number $p$. The McKay conjecture asserts that $G$ and the normalizer in $G$ of a Sylow $p$-subgroup have equal numbers of irreducible characters with degrees not divisible by $p$. The Alperin-McKay conjecture is a version of this as applied to individual Brauer $p$-blocks of $G$. We offer evidence that perhaps much stronger forms of both of these conjectures are true.


title: Grassmannians of two-sided vector spaces

abstract: Let $k \subset K$ be an extension of fields, and let $A \subset M_{n}(K)$ be a $k$-algebra. We study parameter spaces of $m$-dimensional subspaces of $K^{n}$ which are invariant under $A$. The space $\mathbb{F}_{A}(m,n)$, whose $R$-rational points are $A$-invariant, free rank $m$ summands of $R^{n}$, is well known. We construct a distinct parameter space, $\mathbb{G}_{A}(m,n)$, which is a fiber product of a Grassmannian and the projectivization of a vector space. We then study the intersection $\mathbb{F}_{A}(m,n) \cap \mathbb{G}_{A}(m,n)$, which we denote by $\mathbb{H}_{A}(m,n)$. Under suitable hypotheses on $A$, we construct affine open subschemes of $\mathbb{F}_{A}(m,n)$ and $\mathbb{H}_{A}(m,n)$ which cover their $K$-rational points. We conclude by using $\mathbb{F}_{A}(m,n)$, $\mathbb{G}_{A}(m,n)$, and $\mathbb{H}_{A}(m,n)$ to construct parameter spaces of two-sided subspaces of two-sided vector spaces.


title: A Noether Theorem on Unimprovable Conservation Laws for Vector-Valued Optimization Problems in Control Theory

abstract: We obtain a version of Noether's invariance theorem for optimal control problems with a finite number of cost functionals. The result is obtained by formulating E. Noether's result to optimal control problems subject to isoperimetric constraints, and then using the unimprovable (Pareto) notion of optimality. A result of this kind was posed to the author, as a mathematical open question, of great interest in applications of control engineering, by A. Gugushvili.


title: Groups with small Dehn functions and bipartite chord diagrams

abstract: We introduce a new invariant of bipartite chord diagrams and use it to construct the first examples of groups with Dehn function $n^2\log n$ and other small Dehn functions. Some of these groups have undecidable conjugacy problem.


title: A symmetry problem

abstract: The following result is proved: {\bf Theorem.} Let $D\subset \R^3$ be a bounded domain homeomorphic to a ball, $|D|$ be its volume, $|S|$ be the surface area of its smooth boundary $S$, $D\subset B_R:=\{x:|x|\leq R\}$, and $H_R$ is the set of all harmonic in $B_R$ functions. If $$\frac 1 {|D|}\int_Dhdx=\frac 1 {|S|}\int_Shds\quad \forall h\in H_R,$$ then $D$ is a ball.


title: Embedding operators and boundary-value problems for rough domains

abstract: In the first part of the paper boundary-value problems are considered under weak assumptions on the smoothness of the domains. We assume nothing about smoothness of the boundary $\partial D$ of a bounded domain $D$ when the homogeneous Dirichlet boundary condition is imposed; we assume boundedness of the embedding $i_{1}:H^{1}(D)\to L^{2}(D)$ when the Neumann boundary condition is imposed; we assume boundedness of the embeddings $i_{1}$ and of $i_{2}:H^{1}(D)\to L^{2}(\partial D)$ when the Robin boundary condition is imposed, and, if, in addition, $i_{1}$ and $i_{2}$ are compact, then the boundary-value problems with the spectral parameter are of Fredholm type. Several examples of the classes of rough domains for which the embedding $i_2$ is compact are given. Applications to scattering by rough obstacles are mentioned.


title: Modified Rayleigh Conjecture for static problems

abstract: Modified Rayleigh conjecture (MRC) in scattering theory was proposed and justified by the author (J.Phys A, 35 (2002), L357-L361). MRC allows one to develop efficient numerical algorithms for solving boundary-value problems. It gives an error estimate for solutions. In this paper the MRC is formulated and proved for static problems.


title: Compact quantum metric spaces and ergodic actions of compact quantum groups

abstract: We show that for any co-amenable compact quantum group A=C(G) there exists a unique compact Hausdorff topology on the set EA of isomorphism classes of ergodic actions of G such that the following holds: for any continuous field of ergodic actions of G over a locally compact Hausdorff space T the map T->EA sending each t in T to the isomorphism class of the fibre at t is continuous if and only if the function counting the multiplicity of gamma in each fibre is continuous over T for every equivalence class gamma of irreducible unitary representations of G. Generalizations for arbitrary compact quantum groups are also obtained. In the case G is a compact group, the restriction of this topology on the subset of isomorphism classes of ergodic actions of full multiplicity coincides with the topology coming from the work of Landstad and Wassermann. Podles spheres are shown to be continuous in the natural parameter as ergodic actions of the quantum SU(2) group. When A is separable, we also introduce a notion of regular quantum metric on G, and show how to use it to induce a quantum metric on any ergodic action of G in the sense of Rieffel. Furthermore, we introduce a quantum Gromov-Hausdorff distance between ergodic actions and show that it induces the above topology.


title: Nonnegative pinching, moduli spaces and bundles with infinitely many souls

abstract: We show that in each dimension $n\ge 10$ there exist infinite sequences of homotopy equivalent but mutually non-homeomorphic closed simply connected Riemannian $n$-manifolds with $0\le \sec\le 1$, positive Ricci curvature and uniformly bounded diameter. We also construct open manifolds of fixed diffeomorphism type which admit infinitely many complete nonnegatively pinched metrics with souls of bounded diameter such that the souls are mutually non-homeomorphic. Finally, we construct examples of noncompact manifolds whose moduli spaces of complete metrics with $\sec\ge 0$ have infinitely many connected components.


title: Return times of polynomials as meta-Fibonacci numbers

abstract: We consider generalized closest return times of a complex polynomial of degree at least two. Most previous studies on this subject have focused on the properties of polynomials with particular return times, especially the Fibonacci numbers. We study the general form of these closest return times. The main result of this paper is that these closest return times are meta-Fibonacci numbers. This result applies to the return times of a principal nest of a polynomial. Furthermore, we show that an analogous result holds in a tree with dynamics that is associated with a polynomial.


title: On the linear strand of an edge ideal

abstract: Let I(G) be the edge ideal associated to a simple graph G. We study the graded Betti numbers that appear in the linear strand of the minimal free resolution of I(G).


title: A path model for geodesics in Euclidean buildings and its applications to representation theory

abstract: In this paper we give a combinatorial characterization of projections of geodesics in Euclidean buildings to Weyl chambers. We apply these results to the representation theory of complex semisimple Lie groups and to spherical Hecke rings associated with nonarchimedean reductive Lie groups. Our main application is a generalization of the saturation theorem of Knutson and Tao for SL(n) to other complex semisimple Lie groups.


title: A discrete model of $S^1$-homotopy theory

abstract: We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the model structures on the categories of simplicial sets and cyclic sets. We then show that there is a Quillen equivalence between $\sP$ and the model category of $S^1$-spaces in which weak equivalences and fibrations are maps inducing weak equivalences and fibrations on passage to all fixed point sets.


title: Necessary and sufficient conditions for McShane's identity and variations

abstract: Greg McShane introduced a remarkable identity for lengths of simple closed geodesics on the once punctured torus with a complete, finite volume hyperbolic structure. Bowditch later generalized this and gave sufficient conditions for the identity to hold for general type-preserving representations of a free group on two generators \Gamma to SL(2,C). In this note we extend Bowditch's result by giving necessary and sufficient conditions for the identity to hold, and also for the generalized McShane identity to hold for arbitrary (not necessarily type preserving) representations. We also give a version of Bowditch's variation of McShane's identity to once-punctured torus bundles, to the case where the monodromy is generated by a reducible element, and provide necessary and sufficient conditions for the variation to hold.


title: Shape Optimization of Transfer Functions

abstract: This paper has been withdrawn due to its publication


title: On the connection between sets of operator synthesis and sets of spectral synthesis for locally compact groups

abstract: We extend the results by Froelich and Spronk and Turowska on the connection between operator synthesis and spectral synthesis for A(G) to second countable locally compact groups G. This gives us another proof that one-point subset of G is a set of spectral synthesis and that any closed subgroup is a set of local spectral synthesis. Furthermore we show that ``non-triangular'' sets are strong operator Ditkin sets and we establish a connection between operator Ditkin sets and Ditkin sets. These results are applied to prove that any closed subgroup of $G$ is a local Ditkin set.


title: Homology of I-adic towers

abstract: Let R be a commutative ring with unit and let I be an ideal generated by a regular sequence. Then it is known that the natural sequences 0-> Tor_*^R(R/I,I^s)-> Tor_*^R(R/I,I^s/I^{s+1})-> Tor_{*-1}^R(R/I,I^{s+1})-> 0 are short exact sequences of graded free R/I-modules, for any s>=0. The aim of this paper is to give a proof which accounts for the structural simplicity of the statement. It relies on a minimum of technicalities and exposes the phenomenon in a transparent way as a consequence of the regularity assumption. The ideas discussed here are used in math.AT/0411409 to obtain a better qualitative understanding of I-adic towers in algebraic topology.


title: On singular varieties having an extremal secant line

abstract: We correct a mistake in an earlier paper and give a complete classification of singular varieties having an extremal secant line.


title: The Geometry of Focal Sets

abstract: The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral K\"ahler metric which is closely related to the Euclidean metric on ${\Bbb{R}}^3$. In this paper we explore the relationship between the focal set of a line congruence (or 2-parameter family of oriented lines in ${\Bbb{R}}^3$) and the geometry induced on the associated surface in ${\Bbb{L}}$. The physical context of such sets is geometric optics in a homogeneous isotropic medium, and so, to illustrate the method, we compute the focal set of the $k^{th}$ reflection of a point source off the inside of a cylinder. The focal sets, which we explicitly parameterize, exhibit unexpected symmetries, and are found to fit well with observable phenomena.


title: Complete systems of invariants for rank 1 curves in Lagrange Grassmannians

abstract: Curves in Lagrange Grassmannians naturally appear when one studies intrinsically "the Jacobi equations for extremals", associated with control systems and geometric structures. In this way one reduces the problem of construction of the curvature-type invariants for these objects to the much more concrete problem of finding of invariants of curves in Lagrange Grassmannians w.r.t. the action of the linear Symplectic group. In the present paper we develop a new approach to differential geometry of so-called rank 1 curves in Lagrange Grassmannian, i.e., the curves with velocities being rank one linear mappings (under the standard identification of the tangent space to a point of the Lagrange Grassmannian with an appropriate space of linear mappings). The curves of this class are associated with "the Jacobi equations for extremals", corresponding to control systems with scalar control and to rank 2 vector distributions. In particular, we construct the tuple of m principal invariants, where m is equal to half of dimension of the ambient linear symplectic space, such that for a given tuple of arbitrary m smooth functions there exists the unique, up to a symplectic transformation, rank 1 curve having this tuple, as the tuple of the principal invariants. This approach extends and essentially simplifies some results of our previous paper (J. Dynamical and Control Systems, 8, 2002, No. 1, 93-140), where only the uniqueness part was proved and in rather cumbersome way. It is based on the construction of the new canonical moving frame with the most simple structural equation.


title: Potpourri, 10

abstract: These notes, associated with a topics course, are largely concerned with Hausdorff measures and a class of metric spaces which behave like Cantor sets.


title: Profinite completions of some groups acting on trees

abstract: We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms. However, we introduce an infinite series of groups for which that is not so, and describe the kernels of natural homomorphisms of the profinite completions onto the aforementioned closures of respective groups.


title: On a theorem of Artin, II

abstract: This paper is a sequel of [A.M. Cohen, L. Paris, {\it On a theorem of Artin}, J. Group Theory {\bf 6} (2003), 421--441]. Let $A$ be an Artin group, let $W$ be its associated Coxeter group, and let $CA$ be its associated coloured Artin group, that is, the kernel of the standard epimorphism $\mu: A \to W$. We determine the homomorphisms $\f: A \to W$ that verify $\Im \f \cdot Z(W)= W$, for $A$ irreducible and of spherical type, and we prove that $CA$ is a characteristic subgroup of $A$, if $A$ is of spherical type but not necessarily irreducible.


title: Perturbation from symmetry and multiplicity of solutions for elliptic problems with subcritical exponential growth in R^2

abstract: We consider the following boundary value problem -\Delta u= g(x,u) + f(x,u) x\in \Omega u=0 x\in \partial \Omega where $g(x,-\xi)=-g(x,\xi)$ and $g$ has subcritical exponential growth in $\mathbb{R} ^2$. Using the method developed by Bolle, we prove that this problem has infinitely many solutions under suitable conditions on the growth of $g(u)$ and $f(u)$.


title: Average treatment effect estimation via random recursive partitioning

abstract: A new matching method is proposed for the estimation of the average treatment effect of social policy interventions (e.g., training programs or health care measures). Given an outcome variable, a treatment and a set of pre-treatment covariates, the method is based on the examination of random recursive partitions of the space of covariates using regression trees. A regression tree is grown either on the treated or on the untreated individuals {\it only} using as response variable a random permutation of the indexes 1...$n$ ($n$ being the number of units involved), while the indexes for the other group are predicted using this tree. The procedure is replicated in order to rule out the effect of specific permutations. The average treatment effect is estimated in each tree by matching treated and untreated in the same terminal nodes. The final estimator of the average treatment effect is obtained by averaging on all the trees grown. The method does not require any specific model assumption apart from the tree's complexity, which does not affect the estimator though. We show that this method is either an instrument to check whether two samples can be matched (by any method) and, when this is feasible, to obtain reliable estimates of the average treatment effect. We further propose a graphical tool to inspect the quality of the match. The method has been applied to the National Supported Work Demonstration data, previously analyzed by Lalonde (1986) and others.


title: On factors associated with quantum Markov states corresponding to nearest neighbor models on a Cayley tree

abstract: In this paper we consider nearest neighbour models where the spin takes values in the set $\Phi=\{\z_1,\z_2,...,\z_q\}$ and is assigned to the vertices of the Cayley tree ${\G}^k$. The Hamiltonian is defined by some given $\lambda$-function. We find a condition for the function $\lambda$ to determine the type of the von Neumann algebra generated by the GNS - construction associated with the quantum Markov state corresponding to the unordered phase of the $\lambda$-model. Also we give some physical applications of the obtained result.


title: Expected number of inversions after a sequence of random adjacent transpositions

abstract: In the evolution of a genome, the gene sequence is sometimes rearranged, for example by transposition of two adjacent gene blocks. In biocombinatorics, one tries to reconstruct these rearrangement incidents from the resulting permutation. It seems that the algorithms used are too effective and find a shorter path than the real one. For the simplified case of adjacent transpositions, we give expressions for the expected number of inversions after t random moves. This average can be much smaller than t, a fact that has largely been neglected so far.


title: Birationally rigid Fano cyclic covers

abstract: We prove birational superrigidity of Fano cyclic covers of index 1 over hypersurfaces in the projective space.


title: Exact expectations for random graphs and assignments

abstract: For a random graph on n vertices where the edges appear with individual rates, we give exact formulas for the expected time at which the number of components has gone down to k and the expected length of the corresponding minimal spanning forest. For a random bipartite graph we give a formula for the expected time at which a k-assignment appears. This result has bearing upon the random assignment problem.


title: Diagonalizability of non homogeneous quantum Markov states and associated von Neumann algebras

abstract: We clarify the meaning of diagonalizability of quantum Markov states. Then, we prove that each non homogeneous quantum Markov state is diagonalizable. Namely, for each Markov state $\phi$ on the spin algebra $A:={\bar{\otimes_{j\in Z}M_{d_{j}}}^{C^{*}}}$ there exists a suitable maximal Abelian subalgebra $D\subset A$, a Umegaki conditional expectation $E:A\mapsto D$ and a Markov measure $\mu$ on $spec(D)$ such that $\phi=\phi_{\mu}\circ E$, the Markov state $\phi_{\mu}$, being the state on $D$ arising from the measure $\mu$. An analogous result is true for non homogeneous quantum processes based on the forward or the backward chain. Besides, we determine the type of the von Neumann factors generated by GNS representation associated with translation invariant or periodic quantum Markov states.


title: Note on the lamp lighting problem

abstract: We answer some questions concerning the so called sigma-game of Sutner. It is played on a graph where each vertex has a lamp, the light of which is toggled by pressing any vertex with an edge directed to the lamp. For example, we show that every configuration of lamps can be lit if and only if the number of complete matchings in the graph is odd. In the special case of an orthogonal grid one gets a criterion for whether the number of monomer-dimer tilings of an m times n grid is odd or even.


title: Infinite dimensional entangled Markov chains

abstract: We continue the analysis of nontrivial examples of quantum Markov processes. This is done by applying the construction of entangled Markov chains obtained from classical Markov chains with infinite state--space. The formula giving the joint correlations arises from the corresponding classical formula by replacing the usual matrix multiplication by the Schur multiplication. In this way, we provide nontrivial examples of entangled Markov chains on $\bar{\cup_{J\subset Z} \bar{\otimes}_{J}F}^{C^{*}}$, $F$ being any infinite dimensional type $I$ factor, $J$ a finite interval of $Z$, and the bar the von Neumann tensor product between von Neumann algebras. We then have new nontrivial examples of quantum random walks which could play a r\^ole in quantum information theory. In view of applications to quantum statistical mechanics too, we see that the ergodic type of an entangled Markov chain is completely determined by the corresponding ergodic type of the underlying classical chain, provided that the latter admits an invariant probability distribution. This result parallels the corresponding one relative to the finite dimensional case. Finally, starting from random walks on discrete ICC groups, we exhibit examples of quantum Markov processes based on type $II_1$ von Neumann factors.


title: The structure of the $W^{*}$--tensor product over a $W^{*}$--subalgebra and its predual ($\sigma$--finite case)

abstract: Let $M$, $N$, $R$ be $W^{*}$--algebras, with $R$ unitally embedded in both $M$ and $N$. by using Reduction Theory, we extend the previous description of the $W^{*}$--tensor product $M\bar\otimes_{R}N$ over the common $W^{*}$--subalgebra $R$ and its predual $(M\bar\otimes_{R}N)_{*}$ to the $\sigma$--finite case.


title: Complex Asystatic actions of compact Lie Groups

abstract: In the present paper we introduce the notion of complex asystatic Hamiltonian action on a K\"ahler manifold. In the algebraic setting we prove that if a complex linear group $G$ acts complex asystatically on a K\"ahler manifold then the $G$-orbits are spherical. Finally we give the complete classification of complex asystatic irreducible representations.


title: All roots of unity are detected by the A-polynomial

abstract: For an arbitrary positive integer n, we construct infinitely many one-cusped hyperbolic 3-manifolds where each manifold's A-polynomial detects every n-th root of unity. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to which roots of unity arise in this manner.


title: The nonuniqueness of Chekanov polynomials of Legendrian knots

abstract: Examples are given of prime Legendrian knots in the standard contact 3-space that have arbitrarily many distinct Chekanov polynomials, refuting a conjecture of Lenny Ng. These are constructed using a new `Legendrian tangle replacement' technique. This technique is then used to show that the phenomenon of multiple Chekanov polynomials is in fact quite common. Finally, building on unpublished work of Yufa and Branson, a tabulation is given of Legendrian fronts, along with their Chekanov polynomials, representing maximal Thurston-Bennequin Legendrian knots for each knot type of nine or fewer crossings. These knots are paired so that the front for the mirror of any knot is obtained in a standard way by rotating the front for the knot.


title: Computing the period of an Ehrhart quasi-polynomial

abstract: If P is a rational polytope in R^d, then $i_P(t):=#(tP\cap Z^d)$ is a quasi-polynomial in t, called the Ehrhart quasi-polynomial of P. A period of i_P(t) is D(P), the smallest positive integer D such that D*P has integral vertices. Often, D(P) is the minimum period of i_P(t), but, in several interesting examples, the minimum period is smaller. We prove that, for fixed d, there is a polynomial time algorithm which, given a rational polytope P in R^d and an integer n, decides whether n is a period of i_P(t). In particular, there is a polynomial time algorithm to decide whether i_P(t) is a polynomial. We conjecture that, for fixed d, there is a polynomial time algorithm to compute the minimum period of i_P(t). The tools we use are rational generating functions.


title: A class of tight contact structures on Sigma_2 x I

abstract: We employ cut and paste contact topological techniques to classify some tight contact structures on the closed, oriented genus-2 surface times the interval. A boundary condition is specified so that the Euler class of the of the contact structure vanishes when evaluated on each boundary component. We prove that there exists a unique, non-product tight contact structure in this case.


title: Essential representations of C*-correspondences

abstract: Let E be a C*-correspondence over a C*-algebra \A with non-degenerate faithful left action. We show that E admits sufficiently many essential representations (i.e. representations \psi such that \psi(E)H = H to recover the Cuntz-Pimsner algebra O_E.


title: Quantum cohomology of the Hilbert scheme of points in the plane

abstract: We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.


title: Symbolic Computation in the Calculus of Variations: Determination of Symmetries and Conservation Laws (in Portuguese)

abstract: English version of abstract: The dynamic optimization problems treated by the calculus of variations are usually solved with the help of the 2nd order Euler-Lagrange differential equations. These equations are, generally speaking, nonlinear, and very hard to solve. One way to address the problem is to obtain conservation laws of lower order than those of the corresponding Euler-Lagrange equations. While in Physics and Economics the question of existence of conservation laws is treated in a rather natural way, because the application itself suggest the conservation laws (e.g., conservation of energy, income/health law), from a strictly mathematical point of view, given a problem of the calculus of variations, it is not obvious how one might derive a conservation law or, for that matter, if it even has a conservation law. The question we address is thus to develop computational facilities, based on a systematic method, which permits to identify functionals that have conservation laws. The central result we use is the celebrated Noether's theorem. This theorem links conservation laws with the invariance properties of the problem (with symmetries), and provides an algorithm for finding conservation laws. Thus the problem is reduced to the one of finding the variational symmetries. We show how a Computer Algebra System can help to find the symmetries and the conservation laws in the calculus of variations. Several illustrative examples are given.


title: Optimal stopping in a two-sided secretary problem

abstract: In the "secretary problem", well-known in the theory of optimal stopping, an employer is about to interview a maximum of N secretaries about which she has no prior information. Chow et al. proved that with an optimal strategy the expected rank of the chosen secretary tends to approximately 3.87. We study a two-sided game-theoretic version of this optimal stopping problem, where men search for a woman to marry at the same time as women search for a man to marry. We find that in the unique subgame perfect equilibrium, the expected rank grows as the square root of N and that, surprisingly, the leading coefficient is exactly 1. We also discuss some possible variations.


title: Nonabelian localization in equivariant K-theory and Riemann-Roch for quotients

abstract: We prove a localization formula in equivariant algebraic $K$-theory for an arbitrary complex algebraic group acting with finite stabilizer on a smooth algebraic space. This extends to non-diagonalizable groups the localization formulas H.A. Nielsen in equivariant $K$-theory of vector bundles and R.W. Thomason for higher $K$-theory of equivariant coherent sheaves. As an application we give a Riemann-Roch formula for quotients of smooth algebraic spaces by proper group actions. This formula extends previous work of B. Toen for stacks with quasi-projective moduli spaces and the authors for quotients by diagonalizable groups.


title: On the Modularity of Wildly Ramified Galois Representations

abstract: We show that an infinite family of odd complex 2-dimensional Galois representations ramified at 5 having nonsolvable projective image are modular, thereby verifying Artin's conjecture for a new case of examples. Such a family contains the original example studied by Buhler. In the process, we prove that an infinite family of residually modular Galois representations are modular by studying $\Lambda$-adic Hecke algebras.


title: Explicit Descent via 4-Isogeny on an Elliptic Curve

abstract: We work out the complete descent via 4-isogeny for a family of rational elliptic curves with a rational point of order 4; such a family is of the form $y^2 + x y + a y = x^3 + a x^2$ where $\sqrt{-a} \in \mathbb Q^\times$. In the process we exhibit the 4-isogeny and the isogenous curve, explicitly present the principal homogeneous spaces, and discuss examples by computing the rank.


title: Form boundedness of the general second order differential operator

abstract: We give explicit necessary and sufficient conditions for the boundedness of the general second order differential operator L with real- or complex-valued distributional coefficients acting from the Sobolev space W^{1,2}(R^n) to its dual W^{-1,2}(R^n). This enables us to obtain analytic criteria for the fundamental notions of relative form boundedness, compactness, and infinitesimal form boundedness of L with respect to the Laplacian on L^2(R^n). In particular, we establish a complete characterization of the form boundedness of the Schroedinger operator (i \nabla + a)^2 + q with magnetic vector potential a \in L^2_{loc} and q \in D'(\R^n).


title: Existence of Engel structures

abstract: We develop a construction of Engel stuctures on 4-manifolds based on decompositions of manifolds into round handles. This allows us to show that all parallelizable 4-manifolds admit an Engel structure. We also show that, given two Engel manifolds M_1,M_2 satisfying a certain condition on the characteristic foliation, there is an Engel structure on M_1#M_2#(S^2xS^2) which is closely related to the original Engel structures.