title: Caratheodory-Equivalence, Noether Theorems, and Tonelli Full-Regularity in the Calculus of Variations and Optimal Control

abstract: We study, in a unified way, the following questions related to the properties of Pontryagin extremals for optimal control problems with unrestricted controls: i) How the transformations, which define the equivalence of two problems, transform the extremals? ii) How to obtain quantities which are conserved along any extremal? iii) How to assure that the set of extremals include the minimizers predicted by the existence theory? These questions are connected to: i) the Caratheodory method which establishes a correspondence between the minimizing curves of equivalent problems; ii) the interplay between the concept of invariance and the theory of optimality conditions in optimal control, which are the concern of the theorems of Noether; iii) regularity conditions for the minimizers and the work pioneered by Tonelli.


title: Unitaire multiplicatif K-moyennable

abstract: Nous generalisons la theorie de la K-moyennabilite au cas d'un unitaire multiplicatif regulier V. Nous montrons que si (H,V,U) est un systeme de Kac K-moyennable, alors pour toute S-algebre A, les algebres $ A\times_{m}\hat S$ (produit croise maximal) et $ A\times \hat S$ (produit croise reduit) sont KK-equivalentes ou S est la $C^*$-algebre de Hopf reduite associee a V.


title: Phase transition and critical behavior in a model of organized criticality

abstract: We study a model of ``organized'' criticality, where a single avalanche propagates through an \textit{a priori} static (i.e., organized) sandpile configuration. The latter is chosen according to an i.i.d. distribution from a Borel probability measure $\rho$ on $[0,1]$. The avalanche dynamics is driven by a standard toppling rule, however, we simplify the geometry by placing the problem on a directed, rooted tree. As our main result, we characterize which $\rho$ are critical in the sense that they do not admit an infinite avalanche but exhibit a power-law decay of avalanche sizes. Our analysis reveals close connections to directed site-percolation, both in the characterization of criticality and in the values of the critical exponents.


title: Biprojectivity and biflatness for convolution algebras of nuclear operators

abstract: For a locally compact group G, the convolution product on the space N(L^p(G)) of nuclear operators was defined by Neufang. We study homological properties of the convolution algebra N(L^p(G)) and relate them with some properties of the group G, such as compactness, finiteness, discreteness, and amenability.


title: Balanced configurations of 2n+1 plane vectors

abstract: A plane configuration {v_1,...,v_m} of vectors in {\mathbb R}^2 is said to be balanced if for any index i, the set of the det(v_i,v_j) for j\neq i is symmetric around the origin. A plane configuration is said to be uniform if every pair of vectors is linearly independent. E. Cattani and A. Dickenstein conjectured that any uniform balanced configuration is GL_2({\mathbb R})-equivalent to a regular (2n+1)-gon. In this note, we prove this conjecture.


title: On approximation of functions from Sobolev spaces on metric graphs

abstract: Some results on the approximation of functions from the Sobolev spaces on metric graphs by step functions are obtained. The estimates are uniform with respect to all graphs of a given finite length, and the constant factors in the inequalities are sharp.


title: On dense free subgroups of Lie groups

abstract: We give a method for constructing dense and free subgroups in real Lie groups. In particular we show that any dense subgroup of a connected semisimple real Lie group G contains a free group on two generators which is still dense in G, and that any finitely generated dense subgroup in a connected non-solvable Lie group H contains a dense free subgroup of rank < 2 dim(H). This answer a question of Carriere and Ghys, and it gives an elementary proof of a conjecture of Connes and Sullivan on amenable actions, which was first proved by Zimmer.


title: Twisted K-theory and loop groups

abstract: Twisted K-theory has received much attention recently in both mathematics and physics. We describe some models of twisted K-theory, both topological and geometric. Then we state a theorem which relates representations of loop groups to twisted equivariant K-theory. This is joint work with Michael Hopkins and Constantin Teleman.


title: A Peirce decomposition for generalized Jordan triple systems of second order

abstract: A tripotent of a generalized triple system of second order defines a decomposition of the space of the space which consist of 10 components. It gives a generalization of the Peirce decomposition n for the Jordan triple system which consists in general of 4 components.


title: Review of Mathematical Techniques Applicable in Astrophysical Reaction Rate Theory

abstract: An overview is presented on statistical techniques for the analytic evaluation of integrals for non-resonant, non-resonant depleted, non-resonant cut-off, non-resonant sccreened, and resonant thermonuclear reaction rates. The techniques are based on statistical distribution theory and the theory of Meijer's G-function and Fox's H-function. The implementation of Meijer's G-function in Mathematica constituts an additional utility for analytic manipulations and numerical computation of thermonuclear reaction rate integrals. Recent results in the astrophysical literature related to the use of analytic thermonuclear reaction rates are incorporated.


title: On Fractional Kinetic Equations

abstract: The subject of this paper is to derive the solution of generalized fractional kinetic equations. The results are obtained in a compact form containing the Mittag-Leffler function, which naturally occurs whenever one is dealing with fractional integral equations. The results derived in this paper provide an extension of a result given by Haubold and Mathai in a recent paper (Haubold and Mathai, 2000).


title: McKay correspondence for elliptic genera

abstract: We establish a correspondence between orbifold and singular elliptic genera of a global quotient. While the former is defined in terms of the fixed point set of the action, the latter is defined in terms of the resolution of singularities. As a byproduct, the second quantization formula of Dijkgraaf, Moore, Verlinde and Verlinde is extended to arbitrary Kawamata log-terminal pairs.


title: On certain maximal cyclic modules for the quantized special linear algebra at a root of unity

abstract: By properly specializing the parameters irreducible modules of maximal dimension for the De Concini-Kac version of the Drinfeld-Jimbo quantum algebra in type $A$ may be transformed into modules over Lusztig's infinitesimal quantum algeba. Thus obtained modules have a simple socle and a simple head, and share the same dimension as the infinitesimal Verma modules. Despite these common features we find that they are never isomorphic to infinitesimal Verma modules unless they are irreducible. The same carry over to the modular setup for the special linear groups in positive characteristic.


title: Extremal Projectors of q-Boson Algebras

abstract: We define the extremal projector of the $q$-boson Kashiwara algebra $B_q(\ge)$ and study their basic properties. Applying their proerties to the representation theory of the category ${\cal O}(B_q(\ge))$, whose objects are ''upper bounded '' $B_q(\ge)$-modules, we obtain its semi-simplicity and the classification of simple modules.


title: A Simplified Proof of Desingularization and Applications

abstract: This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of desingularization of families of embedded schemes, and a formulation of desingularization which is stronger than Hironaka's). Our proof avoids the use of the Hilbert-Samuel function and Hironaka's notion of normal flatness: First we define a procedure for principalization of ideals (i.e. a procedure to make an ideal invertible), and then we show that desingularization of a closed subscheme $X$ is achieved by using the procedure of principalization for the ideal ${\mathcal I}(X)$ associated to the embedded scheme (X). The paper intends to be an introduction to the subject, focused on the motivation of ideas used in this new approach, and particularly on applications, some of which do not follow from Hironaka's proof.


title: The quantum orbit method for generalized flag manifolds

abstract: Generalized flag manifolds endowed with the Bruhat-Poisson bracket are compact Poisson homogeneous spaces, whose decompositions in symplectic leaves coincide with their stratifications in Schubert cells. In this note it is proved that the irreducible *-representations of the corresponding quantized flag manifolds are also parametrized by their Schubert cells. An important step is the determination of suitable algebraic generators of the quantized flag manifolds. These algebraic generators can be naturally expressed in terms of quantum Plucker coordinates. This note complements the paper of the author and Dijkhuizen in Commun. Math. Phys. 203 (1999), pp. 297-324, in which these results were established for a special subclass of generalized flag manifolds.


title: An analogue of the plactic monoid for binary search trees

abstract: We introduce a monoid structure on a certain set of labelled binary trees, by a process similar to the construction of the plactic monoid. This leads to a new interpretation of the algebra of planar binary trees of Loday-Ronco.


title: Curves of genus g on an abelian variety of dimension g

abstract: In this paper we prove a general theorem concerning the number of translation classes of curves of genus $g$ belonging to a fixed cohomology class in a polarized abelian variety of dimension $g$. For $g = 2$ we recover results of G\"ottsche and Bryan-Leung. For $g = 3$ we deduce explicit numbers for these classes.


title: On the Hilbert scheme of a Prym variety

abstract: To any unramified double cover $\pi:\tilde C \to C$ of projective irreducible and nonsingular curves one associates the Prym variety $P = P(\pi)$. For $C$ nonhyperelliptic of genus $g \geq 6$ we consider the natural embedding $\tilde C \subset P$ (defined up to translation) of $\tilde C$ into $P$ and we study the local structure of the Hilbert scheme $Hilb^P$ of $P$ at the point $[\tilde C]$. We show that this structure is related with the local geometry of the Prym map, or more precisely with the validity of the infinitesimal version of Torelli's theorem for Pryms at $[\pi]$


abstract: In this note, I will discuss a possible relation between the Mahler measure of the colored Jones polynomial and the volume conjecture. In particular, I will study the colored Jones polynomial of the figure-eight knot on the unit circle. I will also propose a method to prove the volume conjecture for satellites of the figure-eight knot.


title: Canonical Big Cohen-Macaulay algebras and rational singularities

abstract: We give a canonical construction of a balanced big Cohen-Macaulay algebra for a domain of finite type over $\mathbb C$ by taking ultraproducts of absolute integral closures in positive characteristic. This yields a new tight closure characterization of rational singularities in characteristic zero.


title: A Relaxation Theorem for Differential Inclusions with Applications to Stability Properties

abstract: The fundamental Filippov-Wazwski Relaxation Theorem states that the solution set of an initial value problem for a locally Lipschitz inclusion is dense in the solution set of the same initial value problem for the corresponding relaxation inclusion on compact intervals. In our recent work, a complementary result was provided for inclusions with finite dimensional state spaces which says that the approximation can be carried out over non-compact or infinite intervals provided one does not insist on the same initial values. This note extends the infinite-time relaxation theorem to the inclusions whose state spaces are Banach spaces. To illustrate the motivations for studying such approximation results, we briefly discuss a quick application of the result to output stability and uniform output stability properties.


title: Meet Irreducible Ideals and Representations of Limit Algebras

abstract: In this paper we give a criterion for an ideal of a TAF algebra to be meet irreducible. We show that an ideal $J$ of $A$ is meet irreducile if and only if the C$^*$-envelope of the quotient $A/J$ is primitive. In that case, A/J admits a nest representation which extends to a *-representation of the C$^*$-envelope for $A/J.$ We also characterize the meet irreducible ideals as the kernels of nest representations; this settles the question of whether the n-primitive and meet irreducible ideals coincide.


title: Metric Coordinate Systems

abstract: Coordinate systems are defined on general metric spaces with the purpose of generalizing vector fields on a manifold. Conversion formulae are available between metric and Cartesian coordinates on a Hilbert space. Nagumo's Invariance Theorem is invoked to prove the analogue of the classical Cauchy-Lipschitz Theorem for vector fields on a locally compact coordinatized space. A metric space version of Nagumo's Theorem is one consequence. Examples are given throughout.


title: Involutory Hopf group-coalgebras and flat bundles over 3-manifolds

abstract: Given a group G, we use involutary Hopf G-coalgebras to define a scalar invariant of flat G-bundles over 3-manifolds. When G=1, this invariant equals to the one of 3-manifolds constructed by Kuperberg from involutary Hopf algebras. We give examples which show that this invariant is not trivial.


title: Homology Theory for the Set-Theoretic Yang-Baxter Equation and Knot Invariants from Generalizations of Quandles

abstract: A homology theory is developed for set-theoretic Yang-Baxter equations, and knot invariants are constructed by generalized colorings by biquandles and Yang-Baxter cocycles.


title: Orbifold Cohomology as Periodic Cyclic Homology

abstract: It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite group G acting on X the same procedure applied to G-equivariant sheaves gives the orbifold cohomology of X/G. As an application, in some cases we are able to obtain simple proofs of an additive isomorphism between the orbifold cohomology of X/G and the usual cohomology of its crepant resolution (the general equality of Euler and Hodge numbers was obtained earlier by various authors). We also state some conjectures on the product structures, as well as the singular case; and a connection with recent work by Kawamata.


title: Twisted equivariant K-theory with complex coefficients

abstract: Using a global version of the equivariant Chern character, we describe the complexified twisted equivariant K-theory of a space with a compact Lie group action in terms of fixed-point data. We apply this to the case of a compact Lie group acting on itself by conjugation, and relate the result to the Verlinde algebra and to the Kac numerator at q=1. Verlinde's formula is also discussed in this context.


title: Noncommutative knot theory

abstract: The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G^(1)/G^(2) as a module over G/G^(1) (here G^(n) is the n-th term of the derived series of G). Hence any phenomenon associated to G^(2) is invisible to abelian invariants. This paper begins the systematic study of invariants associated to solvable covering spaces of knot exteriors, in particular the study of what we call the n-th higher-order Alexander module, G^(n+1)/G^(n+2), considered as a Z[G/G^(n+1)$-module. We show that these modules share almost all of the properties of the classical Alexander module. They are torsion modules with higher-order Alexander polynomials whose degrees give lower bounds for the knot genus. The modules have presentation matrices derived either from a group presentation or from a Seifert surface. They admit higher-order linking forms exhibiting self-duality. There are applications to estimating knot genus and to detecting fibered, prime and alternating knots. There are also surprising applications to detecting symplectic structures on 4-manifolds. These modules are similar to but different from those considered by the author, Kent Orr and Peter Teichner and are special cases of the modules considered subsequently by Shelly Harvey for arbitrary 3-manifolds.


title: Hypothesis of the Functional Semantic Constructions and Mathematics in the Functional Semantic Aspect

abstract: This essay contains three parts. The first part of essay focuses on the hypothesis of the functional semantic constructions (FSC-Hypothesis). This hypothesis explains that a language, a number, a money are the functional semantic constructions. In the second part the author considers the Mathematics with respect to the FSC-Hypothesis. Author turns in the solution for the following problems: Ontology of Mathematics, Objects of Mathematics, Number, Classification of the numbers. Last part contains the critical remarks to the axiomatic allocation of the real numbers to the linear point continuum and to the countability / uncountability of the set of rational and of the set of real numbers.


title: The Beckman-Quarles theorem for continuous mappings from R^2 to C^2

abstract: Let \phi((x_1,x_2),(y_1,y_2))=(x_1-y_1)^2+(x_2-y_2)^2. We say that f:R^2 -> C^2 preserves distance d>=0 if for each x,y \in R^2 \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^2 and |x-y|=(2\sqrt{2}/3)^k \cdot (\sqrt{3})^l (k,l are non-negative integers) then there exists a finite set {x,y} \subseteq S(x,y) \subseteq R^2 such that each unit-distance preserving mapping from S(x,y) to C^2 preserves the distance between x and y. It implies that each continuous map from R^2 to C^2 preserving unit distance preserves all distances.


title: Hasse-Schmidt Derivations and Coefficient Fields in Positive Characteristics

abstract: We show how to express any Hasse-Schmidt derivation of an algebra in terms of a finite number of them under natural hypothesis. As an application, we obtain coefficient fields of the completion of a regular local ring of positive characteristic in terms of Hasse-Schmidt derivations


title: The module $D f^s$ for locally quasi-homogeneous free divisors

abstract: We find explicit free resolutions for the $\scr D$-modules ${\scr D} f^s$ and ${\scr D}[s] f^s/{\scr D}[s] f^{s+1}$, where $f$ is a reduced equation of a locally quasi-homogeneous free divisor. These results are based on the fact that every locally quasi-homogeneous free divisor is Koszul free, which is also proved in this paper


title: Littelmann's path crystal and combinatorics of certain sl_{l+1}^ modules of level zero

abstract: We construct a subcrystal of the Littelmann's path crystal whose formal character coincides with that of a certain simple integrable module of level zero over the untwisted affine Lie algebra associated to sl_n. We also establish an analogue of the Littlewood-Richardson rule for the tensor product of that crystal with a highest weight crystal.


title: On the Bernstein-Gel'fand-Gel'fand correspondence and a result of Eisenbud, Fl{\o}ystad, and Schreyer

abstract: We show that a combination between a remark from the well known note of I.N. Bernstein, I.M. Gel'fand and S.I. Gel'fand and the idea, systematically investigated in a recent work of D. Eisenbud, G. Fl{\o}ystad and F.-O. Schreyer, of taking Tate resolution over exterior algebras leads to quick proofs of the main results of these two papers. This combination is expressed by a lemma which we prove directly using the cohomology of invertible sheaves on a projective space.


title: Some amazing properties of spherical nilpotent orbits

abstract: Let $\g$ be simple Lie algebra. We give a conceptual proof for the fact that the nilpotent orbits of height 3 are spherical. It is shown that if the highest root of $\g$ is fundamental, then $\g$ has a specific nilpotent orbit of height 3. This orbit satisfies several interesting relations. Moreover, it can be used for an intrinsic construction of a $G_2$ grading in $\g$. We also discuss an approach to describing the algebra of covariants on a nilpotent orbit. For the nilpotent orbits of height 2, it is shown that the algebra of regular functions is a free module over the algebra of covariants. For the nilpotent orbits of height 3, a conjectural description of the algebra of covariants is given. This description is compatible with all previously known examples.


title: An Orchard Theorem

abstract: We describe a natural way to plant cherry- and plumtrees at prescribed generic locations in an orchard.


title: Long Range Scattering and Modified Wave Operators for the Maxwell-Schr"odinger system I.The case of vanishing asymptotic magnetic field

abstract: We study the theory of scattering for the Maxwell-Schr"odinger system in space dimension 3,in the Coulomb gauge.In the special case of vanishing asymptotic magnetic field,we prove the existence of modified wave operators for that system with no size restriction on the Schr"odinger data and we determine the asymptotic behaviour in time of solutions in the range of the wave operators.The method consists in partially solving the Maxwell equations for the potentials,substituting the result into the Schr"odinger equation,which then becomes both nonlinear and nonlocal in time,and treating the latter by the method previously used for the Hartree equation and for the Wave-Schr"odinger system.


title: Maximally inflected real rational curves

abstract: We introduce and begin the topological study of real rational plane curves, all of whose inflection points are real. The existence of such curves is a corollary of results in the real Schubert calculus, and their study has consequences for the important Shapiro and Shapiro conjecture in the real Schubert calculus. We establish restrictions on the number of real nodes of such curves and construct curves realizing the extreme numbers of real nodes. These constructions imply the existence of real solutions to some problems in the Schubert calculus. We conclude with a discussion of maximally inflected curves of low degree.


title: Coherent State Transforms and Vector Bundles on Elliptic Curves

abstract: We extend the coherent state transform (CST) of Hall to the context of the moduli spaces of semistable holomorphic vector bundles with fixed determinant over elliptic curves. We show that by applying the CST to appropriate distributions, we obtain the space of level k, rank n and genus one non-abelian theta functions with the unitarity of the CST transform being preserved. Furthermore, the shift k -> k+n appears in a natural way in this finite-dimensional framework.


title: Existence of Chaos for a Singularly Perturbed NLS Equation

abstract: The work [Li,99] is generalized to the singularly perturbed nonlinear Schr\"odinger (NLS) equation of which the regularly perturbed NLS studied in [Li,99] is a mollification. Specifically, the existence of Smale horseshoes and Bernoulli shift dynamics is established in a neighborhood of a symmetric pair of Silnikov homoclinic orbits under certain generic conditions, and the existence of the symmetric pair of Silnikov homoclinic orbits has been proved in [Li,01]. The main difficulty in the current horseshoe construction is introduced by the singular perturbation $\e \pa_x^2$ which turns the unperturbed reversible system into an irreversible system. It turns out that the equivariant smooth linearization can still be achieved, and the Conley-Moser conditions can still be realized.


title: A covariant Poisson deformation quantization with separation of variables up to the third order

abstract: We give a simple formula for the operator C_3 of the standard deformation quantization with separation of variables on a K\"ahler manifold M. Unlike C_1 and C_2, this operator can not be expressed in terms of the K\"ahler-Poisson tensor on M. We modify C_3 to obtain a covariant deformation quantization with separation of variables up to the third order which is expressed in terms of the Poisson tensor on M and thus can be defined on an arbitrary complex manifold endowed with a Poisson bivector field of type (1,1).


title: Melnikov Analysis for Singularly Perturbed DSII Equation

abstract: Rigorous Melnikov analysis is accomplished for Davey-Stewartson II equation under singular perturbation. Unstable fiber theorem and center-stable manifold theorem are established. The fact that the unperturbed homoclinic orbit, obtained via a Darboux transformation, is a classical solution, leads to the conclusion that only local well-posedness is necessary for a Melnikov measurement.


title: Average-case complexity and decision problems in group theory

abstract: We investigate the average-case complexity of decision problems for finitely generated groups, in particular the word and membership problems. Using our recent results on ``generic-case complexity'' we show that if a finitely generated group $G$ has the word problem solvable in subexponential time and has a subgroup of finite index which possesses a non-elementary word-hyperbolic quotient group, then the average-case complexity of the word problem for $G$ is linear time, uniformly with respect to the collection of all length-invariant measures on $G$. For example, the result applies to all braid groups $B_n$.


title: The b-functions for prehomogeneous vector spaces of commutative parabolic type and generalized universal Verma modules

abstract: We shall give a uniform expression and a uniform calculation for the b-functions of prehomogeneous vector spaces of commutative parabolic type, which were previously calculated by case-by-case analysis. Our method is a generalization of Kashiwara's approach using the universal Verma modules. We shall also give a new proof for the criterion of the irreducibility of the generalized Verma module in terms of b-functions due to Suga, Gyoja, Wachi.


title: Segal-Bargmann transform on Hermitian symmetric spaces and Orthogonal Polynomials

abstract: Let $\mathcal{D}=G/K$ be a complex bounded symmetric domain of tube type in a complex Jordan algebra $V$ and let $\mathcal{D}_{\mathbb{R}}=H/L\subset \mathcal{D}$ be its real form in a formally real Euclidean Jordan algebra $J\subset V$. We consider representations of $H$ that are gotten by the generalized Segal-Bargmann transform from a unitary $G$-space of holomorphic functions on $\mathcal{D}$ to an $L^2$-space on $\mathcal{D_{\mathbf{R}}}$. We prove that in the unbounded realization the inverse of the unitary part of the restriction map is actually the Laplace transform. We find the extension to $\mathcal{D}$ of the spherical functions on $\mathcal{D}_{\mathbb{R}}$ and find the expansion in terms of the $L$-spherical polynomials on $\mathcal{D}$, which are Jack symmetric polynomials. We prove that the coefficients are orthogonal polynomials in an $L^2$-space, the measure being the Harish-Chandra Plancherel measure multiplied by the symbol of the Berezin transform. We prove the difference equation and recurrence relation for those polynomials by considering the action of the Lie algebra and the Cayley transform on the polynomials on $\mathcal D$.


title: Swendsen-Wang dynamics on Z^d for disordered non ferromagnetic systems

abstract: We study the Swendsen-Wang dynamics for disordered non ferromagnetic Ising models on cubic subsets of the hypercubic lattice Z^d and we show that for all small values of the temperature parameter T the dynamics has a slow relaxation to equilibrium (it is torpid). Looking into this dynamics from the point of view of the Markov chains theory we can prove that the spectral radius goes to one when the size of the system goes to infinity. This means that, if we want to use the Swendsen-Wang dynamics for a computer simulation, we have a slow convergence to the stationary measure in low temperature. Also it is a good example of a non-local dynamics that relaxes slowly to the equilibrium measure.


title: Moduli space of principal sheaves over projective varieties

abstract: Let G be a connected reductive group. The late Ramanathan gave a notion of (semi)stable principal G-bundle on a complex projective curve and constructed a projective moduli space of such objects. We generalize Ramanathan's notion and construction to the case of higher dimension, allowing also objects which we call semistable principal G-sheaves.


title: On 2D Euler Equations: III. A Line Model

abstract: The spectral theorem of the linear 2D Euler operator in Sobolev spaces is presented as a corollary of the spectral theorem in $\ell_2$ space in [Li,00]. Study on the (dashed) line model introduced in [Li,01] is continued. Specifically, invariant manifolds for the line model is established. The corresponding line model for 2D Navier-Stokes equation is also introduced.

categories: math.AP math-ph math.DS math.FA math.MP math.SP


title: An exponential function on the set of varieties

abstract: Let $\cal R$ be either the Grothendieck semiring (semiring with multiplication) of complex algebraic varieties, or the Grothendieck ring of these varieties, or the Grothendieck ring localized by the class of the complex affine line. We introduce a construction which defines operations of taking powers of series over these (semi)rings. This means that, for a power series $A(t)=1+\sum\limits_{i=1}^\infty A_i t^i$ with the coefficients $A_i$ from $\cal R$ and for $M\in {\cal R}$, there is defined a series $(A(t))^M$ (with coefficients from $\cal R$ as well) so that all the usual properties of the exponential function hold.We also express in these terms the generating function of the Hilbert scheme of points (0-dimensional subschemes) on a surface.


title: A methodological exhibition of the theory of the identification of Lineal Dynamic systems

abstract:
038
The identification theory and realization of the dynamic systems is a medullary aspect in the modern control theory that consists fundamentally in that, starting from the knowledge of the behavior entrance-exit, obtained experimentally in the case of the identification, or given previously in the case of the realization, to build a state model that carries out this behavior. This content is not generally treated in the pre-graduate courses, for the systems of multiple entrances and multiple exits. 038
In this work it is demonstrated that the identification theory and realization of the lineal dynamic systems can be imparted in the technical careers starting from the results of Mathematical Analysis and Lineal Algebra received by the students in pre-graduate studies, without necessity of adding new contents in the programs of this subjects 038
. 038
We propose a new form of imparting the theory of identification and realization of the lineal dynamic systems based on the intuition and the physical interpretation of the concepts.


title: Large time behavior of the heat kernel

abstract: In this paper we study the large time behavior of the (minimal) heat kernel $k_P^M(x,y,t)$ of a general time independent parabolic operator $L=u_t+P(x, \partial_x)$ which is defined on a noncompact manifold $M$. More precisely, we prove that $$\lim_{t\to\infty} e^{\lambda_0 t}k_P^{M}(x,y,t)$$ always exists. Here $\lambda_0$ is the generalized principal eigenvalue of the operator $P$ in $M$.


title: The Legacy of the IST

abstract: We provide a brief review of some of the major research results arising from the method of the Inverse Scattering Transform.


title: Obstructions to trivializing a knot

abstract: The recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between the faithfulness of the Krammer-Lawrence representation and the problem of recognizing when the conjugacy class of a closed braid admits an exchange move or a reducing move.


title: Asymptotic variation of L functions of one-variable exponential sums

abstract: Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number field generated by coefficients of f in Qbar. Let A^d be the dimension-d affine space over Qbar, identified with the space of coefficients of degree-d monic polynomials. Let NP(f mod P) denote the p-adic Newton polygon of L(f mod P;T). Let HP(A^d) denote the p-adic Hodge polygon of A^d. We prove that there is a Zariski dense open subset U defined over Q in A^d such that for every geometric point f(x) in U(Qbar) we have lim_{p-->oo} NP(f mod P) = HP(A^d), where P is any prime ideal in the ring of integers of Q(f) lying over p. This proves a conjecture of Daqing Wan.


title: Algebraic Solutions of the Lam\'e Equation, Revisited

abstract: A minor error in the necessary conditions for the algebraic form of the Lam\'e equation to have a finite projective monodromy group, and hence for it to have only algebraic solutions, is pointed out. [See F. Baldassarri, "On algebraic solutions of Lam\'e's differential equation", J. Differential Equations 41 (1981), 44-58.] It is shown that if the group is the octahedral group S_4, then the degree parameter of the equation may differ by +1/6 or -1/6 from an integer; this possibility was missed. The omission affects a recent result on the monodromy of the Weierstrass form of the Lam\'e equation. [See R. C. Churchill, "Two-generator subgroups of SL(2,C) and the hypergeometric, Riemann, and Lam\'e equations", J. Symbolic Computation 28 (1999), 521-545.] The Weierstrass form, which is a differential equation on an elliptic curve, may have, after all, an octahedral projective monodromy group.


title: Minimal spheres of arbitrarily high Morse index

abstract: We construct a smooth Riemannian metric on any 3-manifold with the property that there are genus zero embedded minimal surfaces of arbitrarily high Morse index.


title: Finite jet determination of CR embeddings

abstract: We prove finite jet determination results for smooth CR embeddings which are of constant degeneracy, using the method of complete systems. As an application, we derive a reflection principle for mappings between a Levi-nondegenerate hypersurface in C^N and a Levi-nondegenerate hypersurface in C^{N+1}. We also give an independent proof of the reflection principle for mappings between strictly pseudoconvex hypersurfaces in any codimension due to Forstneric.


title: Symplectic Resolutions for Quotient Singularities

abstract: We give some necessary conditions for the existence of a symplectic resolution for quotient singularities. The McKay correspondence is also worked out for these resolutions.


title: Mock-Gaussian Behaviour for Linear Statistics of Classical Compact Groups

abstract: We consider the scaling limit of linear statistics for eigenphases of a matrix taken from one of the classical compact groups. We compute their moments and find that the first few moments are Gaussian, whereas the limiting distribution is not. The precise number of Gaussian moments depends upon the particular statistic considered.


title: Projective normality of complete symmetric varieties

abstract: We prove that in characteristic zero the multiplication of sections of dominant line bundles on a complete symmetric variety $X=\bar{G/H}$ is a surjective map. As a consequence the cone defined by a complete linear system over $X$, or over a closed $G$ stable subvariety of $X$ is normal. This gives an affirmative answer to a question raised by Faltings. A crucial point of the proof is a combinatorial property of root systems.


title: Exotic smooth structures on nonpositively curved symmetric spaces

abstract: We construct series of examples of exotic smooth structures on compact locally symmetric spaces of noncompact type. In particular, we obtain higher rank examples, which do not support Riemannian metric of nonpositive curvature. The examples are obtained by taking the connected sum with an exotic sphere. To detect the change of the smooth structure we use a tangential map from the locally symmetric space its dual compact type twin.


title: More precise pair correlation of zeros and primes in short intervals

abstract: Goldston and Montgomery [3] proved that the Strong Pair Correlation Conjecture and two second moments of primes in short intervals are equivalent to each other under Riemann Hypothesis. In this paper, we get the second main terms for each of the above and show that they are almost equivalent to each other.


title: More precise Pair Correlation Conjecture

abstract: In this paper, we derive a more precise version of the Strong Pair Correlation Conjecture on the zeros of the Riemann zeta function under Riemann Hypothesis and Twin Prime Conjecture.


title: How to regularize singular vectors and kill the dynamical Weyl group

abstract: We study the meromorphic family of intertwining operators between Verma modules and their products with finite-dimensional ones. A regularizing operator, acting in a finite dimensional module U, makes this family holomorphic, and conjugates the dynamical Weyl group operators to constant operators. We prove uniqueness property for regularizing operators, and construct them explicitly for the Lie algebra sl_3.


title: Derived categories of coherent sheaves

abstract: We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.


title: $\mathbb Z_n$--graded Independence

abstract: We generalize results of Mingo and Nica on graded independence from the context of $\mathbb Z_2$--graded (Fermionic) noncommutative probability spaces to that of $\mathbb Z_n$--graded noncommutative probability spaces. We show that for $q$ a primitive $n$-th root of unity, the $q$-cumulants defined by Nica linearize the addition of homogeneous $\mathbb Z_n$--graded independent random variables.


title: Descent of coherent sheaves and complexes to geometric invariant theory quotients

abstract: Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admissible subcategory of the equivariant derived category of $X$.


title: The Deligne-Simpson problem -- a survey

abstract: The Deligne-Simpson problem (DSP) (resp. the weak DSP) is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ or $c_j\subset gl(n,{\bf C})$ so that there exist irreducible (resp. with trivial centralizer) $(p+1)$-tuples of matrices $M_j\in C_j$ or $A_j\in c_j$ satisfying the equality $M_1... M_{p+1}=I$ or $A_1+... +A_{p+1}=0$}. The matrices $M_j$ and $A_j$ are interpreted as monodromy operators of regular linear systems and as matrices-residua of Fuchsian ones on Riemann's sphere. The present paper offers a survey of the results known up to now concerning the DSP.


title: Aperiodic Lorentz gas: recurrence and ergodicity

abstract: We prove that any generic (i.e., possibly aperiodic) Lorenz gas in two dimensions, with finite horizon and non-degenerate geometrical features, is ergodic if it is recurrent. We also give examples of aperiodic recurrent gases.


title: Structure of Group Invariants of a Quasiperiodic Flow

abstract: The multiplier representation of the generalized symmetry group of a quasiperiodic flow on the n-torus defines, for each subgroup of the multiplier group of the flow, a group invariant of the smooth conjugacy class of that flow. This group invariant is the internal semidirect product of a subgroup isomorphic to the n-torus by a subgroup isomorphic to that subgroup of the multiplier group. Each subgroup of the multiplier group is a multiplicative group of algebraic integers of degree at most n, which group is isomorphic to an abelian group of n by n unimodular matrices.


title: Ideals in the Temperley Lieb Category

abstract: We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(\pi/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.


title: Omega-inconsistency in Goedel's formal system: a constructive proof of the Entscheidungsproblem

abstract: If we apply an extension of the Deduction meta-Theorem to Goedel's meta-reasoning of "undecidability", we can conclude that Goedel's formal system of Arithmetic is not omega-consistent. If we then take the standard interpretation "(Ax)(F(x)" of the PA-formula [(Ax)F(x)] to mean "There is a general, x-independent, routine to establish that F(x) holds for all x", instead of "F(x) holds for all x", it follows that a constructively interpreted omega-inconsistent system proves Hilbert's Entscheidungsproblem negatively.


title: An invariant of link cobordisms from Khovanov homology

abstract: In [Duke Math. J. 101 (1999) 359-426], Mikhail Khovanov constructed a homology theory for oriented links, whose graded Euler characteristic is the Jones polynomial. He also explained how every link cobordism between two links induces a homomorphism between their homology groups, and he conjectured the invariance (up to sign) of this homomorphism under ambient isotopy of the link cobordism. In this paper we prove this conjecture, after having made a necessary improvement on its statement. We also introduce polynomial Lefschetz numbers of cobordisms from a link to itself such that the Lefschetz polynomial of the trivial cobordism is the Jones polynomial. These polynomials can be computed on the chain level.


title: Hilbert coefficients and depth of fiber cones

abstract: Criteria are given in terms of certain Hilbert coefficients for the fiber cone F(I) of an m-primary ideal I in a Cohen-Macaulay local ring (R,m) so that it is Cohen-Macaulay or has depth at least dim(R)-1. A version of Huneke's fundamental lemma is proved for fiber cones. S. Goto's results concerning Cohen-Macaulay fiber cones of ideals with minimal multiplicity are obtained as consequences.


title: Central symmetries of periodic billiard orbits in right triangles

abstract: This paper had a serious error. In fixing the error the emphasis of the paper has changed completely, thus meriting a new name: ``Periodic orbits in right triangles''. I have made a new submission to arXiv with this name.


title: Quantum loop modules

abstract: We classify the simple infinite dimensional integrable modules with finite dimensional weight spaces over the quantized enveloping algebra of an untwisted affine algebra. We prove that these are either highest (lowest) weight integrable modules or simple submodules of a loop module of a finite-dimensional simple integrable module and describe the latter class. Their characters and crystal bases theory are discussed in a special case.


title: HKR-type invariants of 4-thickenings of 2-dimensional CW complexes

abstract: The HKR (Hennings-Kauffman-Radford) framework is used to construct invariants of 4-thickenings of 2-dimensional CW complexes under 2-deformations (1- and 2- handle slides and creations and cancellations of 1-2 handle pairs). The input of the invariant is a finite dimensional unimodular ribbon Hopf algebra A and an element in a quotient of its center, which determines a trace function on A. We study the subset T^4 of trace elements which define invariants of 4-thickenings under 2-deformations. In T^4 two subsets are identified : T^3, which produces invariants of 4-thickenings normalizable to invariants of the boundary, and T^2, which produces invariants of 4-thickenings depending only on the 2-dimensional spine and the second Whitney number of the 4-thickening. The case of the quantum sl(2) is studied in details. We conjecture that sl(2) leads to four HKR-type invariants and describe the corresponding trace elements. Moreover, the fusion algebra of the semisimple quotient of the category of representations of the quantum sl(2) is identified as a subalgebra of a quotient of its center.


title: Polynomial hulls and positive currents

abstract: Let T be a positive plurisubharmonic current of bidimension (p,p) and let $\delta>0$. Assume that the Lelong number of T satisfies $\nu(T,a)\geq \delta$ on a dense subset of supp(T) (rectifiable currents satisfy this condition). Then $T=\phi[X]$, where X is a complex subvariety of pure dimension p and $\phi$ is a weakly plurisubharmonic function on X. We have an analogous result for plurisuperharmonic currents. We also introduce and study a notion of polynomial p-hull.


title: Plancherel transform criteria for Weyl-Heisenberg frames with integer oversampling

abstract: We investigate the relevance of admissibility criteria based on Plancherel measure for the characterization of tight Weyl-Heisenberg frames with integer oversampling. For this purpose we observe that functions giving rise to such Weyl-Heisenberg frames are admissible with respect to the action of suitably defined type-I discrete group G. This allows to relate the construction of Weyl-Heisenberg frames to the Plancherel measure of G, which provides an alternative proof and a new interpretation of the well-known Zak transform based criterion for tight Weyl-Heisenberg frames with integer oversampling.


title: Optimal reduction

abstract: We generalize various symplectic reduction techniques to the context of the optimal momentum map. Our approach allows the construction of symplectic point and orbit reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a momentum map. We construct an orbit reduction procedure for canonical actions on a Poisson manifold that exhibits an interesting interplay with the von Neumann condition previously introduced by the author in his study of singular dual pairs. This condition ensures that the orbits in the momentum space of the optimal momentum map (we call them polar reduced spaces) admit a presymplectic structure that generalizes the Kostant--Kirillov--Souriau symplectic structure of the coadjoint orbits in the dual of a Lie algebra. Using this presymplectic structure, the optimal orbit reduced spaces are symplectic with a form that satisfies a relation identical to the classical one obtained by Marle, Kazhdan, Kostant, and Sternberg for free Hamiltonian actions on a symplectic manifold. In the symplectic case we provide a necessary and sufficient condition for the polar reduced spaces to be symplectic. In general, the presymplectic polar reduced spaces are foliated by symplectic submanifolds that are obtained through a generalization to the optimal context of the so called Sjamaar Principle, already existing in the theory of Hamiltonian singular reduction. We use these ideas in the construction of a family of presymplectic homogeneous manifolds and of its symplectic foliation and we show that these reduction techniques can be implemented in stages in total analogy with the case of free globally Hamiltonian proper actions.


title: Quotient curves of the Deligne-Lusztig curve of Suzuki type

abstract: Inspired by a recent paper of Garcia, Stichtenoth and Xing [2000, Compositio Math. 120, 137--170], we investigate the quotient curves of the Deligne-Lusztig curve associated to the Suzuki group.


title: Adjoint Jordan Blocks

abstract: Let G be a quasisimple algebraic group over an algebraically closed field of characteristic p>0. We suppose that p is very good for G; since p is good, there is a bijection between the nilpotent orbits in the Lie algebra and the unipotent classes in G. If the nilpotent X in Lie(G) and the unipotent u in G correspond under this bijection, and if u has order p, we show that the partitions of ad(X) and Ad(u) are the same. When G is classical or of type G_2, we prove this result with no assumption on the order of u. In the cases where u has order p, the result is achieved through an application of results of Seitz concerning good A_1 subgroups of G. For classical groups, the techniques are more elementary, and they lead also to a new proof of the following result of Fossum: the structure constants of the representation ring of a 1-dimensional formal group law F are independent of F.


title: A model for the quasi-static growth of brittle fractures based on local minimization

abstract: We study a variant of the variational model for the quasi-static growth of brittle fractures proposed by Francfort and Marigo. The main feature of our model is that, in the discrete-time formulation, in each step we do not consider absolute minimizers of the energy, but, in a sense, we look for local minimizers which are sufficiently close to the approximate solution obtained in the previous step. This is done by introducing in the variational problem an additional term which penalizes the $L^2$-distance between the approximate solutions at two consecutive times. We study the continuous-time version of this model, obtained by passing to the limit as the time step tends to zero, and show that it satisfies (for almost every time) some minimality conditions which are slightly different from those considered in Francfort and Marigo and in our previous paper, but are still enough to prove (under suitable regularity assumptions on the crack path) that the classical Griffith's criterion holds at the crack tips. We prove also that, if no initial crack is present and if the data of the problem are sufficiently smooth, no crack will develop in this model, provided the penalization term is large enough.


title: Flying Higher Than a Box-Kite: Kite-Chain Middens, Sand Mandalas, and Zero-Divisor Patterns in the 2n-ions Beyond the Sedenions

abstract: Methods for studying zero-divisors (ZD's) in 2n-ions generated by Cayley-Dickson process beyond the Sedenions are explored. Prior work showed a ZD system in the Sedenions, based on 7 octahedral lattices ("Box-Kites"), whose 6 vertices collect and partition the "42 Assessors" (pairs of diagonals in planes spanned by pure imaginaries, one a pure Octonion, hence of subscript < 8, the other a Sedenion of subscript > 8 and not the XOR with 8 of the chosen Octonion). Potential connections to fundamental objects in physics (e.g., the curvature tensor and pair creation) are suggested. Structures found in the 32-ions ("Pathions") are elicited next. Harmonics of Box-Kites, called here "Kite-Chain Middens," are shown to extend indefinitely into higher forms of 2n-ions. All non-Midden-collected ZD diagonals in the Pathions, meanwhile, are seen belonging to a set of 15 "emanation tables," dubbed "sand mandalas." Showcasing the workings of the DMZ's (dyads making zero) among the products of each of their 14 Assessors with each other, they house 168 fillable cells each (the number of elements in the simple group PSL(2,7) governing Octonion multiplication). 7 of these emanation tables, whose "inner XOR" of their axis-pairs' indices exceed 24, indicate modes of collapsing from higher to lower 2n-ion forms, as they can be "folded up" in a 1-to-1 manner onto the 7 Sedenion Box-Kites. These same 7 also display surprising patterns of DMZ sparsity (with but 72 of 168 available cells filled), with the animation-like sequencing obtaining between these 7 "still-shots" indicating an entry-point for cellular-automata-like thinking into the foundations of number theory.


title: Canonical models and stable reduction for plurifibered varieties

abstract: A cheap method for constructing canonical models and complete moduli for complex projective varieties with a structure called "rational plurifibration" is given. A result about semistable reduction (whose nature is slightly different from alg-geom/9707012) is deduced. The method involves recursive application of moduli stacks of twisted stable maps (math.AG/9908167) and a systematic circumvention of any difficult MMP issues.


title: Popa algebras in free group factors

abstract: For each 1<s<\infty, a Popa algebra A_s is constructed that embeds as a weakly dense C*-subalgebra of the interpolated free group factor L(F_s). Certain approximation properties for A_s are shown. It follows that L(F_s) has the weak expectation property of Lance with respect to A_s. In the course of the demonstration, it is proved that under certain conditions, full amalgamated free products of matrix algebras are residually finite dimensional.


title: Exponentially long time stability for non--linearizable analytic germs of $(\C^n,0)$

abstract: We study the Siegel--Schr\"oder center problem on the linearization of analytic germs of diffeomorphisms in several complex variables, in the Gevrey--$s$, $s>0$ category. We introduce a new arithmetical condition of Bruno type on the linear part of the given germ, which ensures the existence of a Gevrey--$s$ formal linearization. We use this fact to prove the effective stability, i.e. stability for finite but long time, of neighborhoods of the origin for the analytic germ.


title: On Vafa's theorem for tensor categories

abstract: In this note we prove two main results. 1. In a rigid braided finite tensor category over C (not necessarily semisimple), some power of the Casimir element and some even power of the braiding is unipotent. 2. In a (semisimple) modular category, the twists are roots of unity dividing the algebraic integer D^{5/2}, where D is the global dimension of the category (the sum of squares of dimensions of simple objects). Both results generalize Vafa's theorem, saying that in a modular category twists are roots of unity, and square of the braiding has finite order. We also discuss the notion of the quasi-exponent of a finite rigid tensor category, which is motivated by results 1 and 2 and the paper math/0109196 of S.Gelaki and the author.


title: On the dynamical Yang-Baxter equation

abstract: This talk is inspired by two previous ICM talks, by V.Drinfeld (1986) and G.Felder (1994). Namely, one of the main ideas of Drinfeld's talk is that the quantum Yang-Baxter equation (QYBE), which is an important equation arising in quantum field theory and statistical mechanics, is best understood within the framework of Hopf algebras, or quantum groups. On the other hand, in Felder's talk, it is explained that another important equation of mathematical physics, the star-triangle relation, may (and should) be viewed as a generalization of QYBE, in which solutions depend on additional ``dynamical'' parameters. It is also explained there that to a solution of the quantum dynamical Yang-Baxter equation one may associate a kind of quantum group. These ideas gave rise to a vibrant new branch of ``quantum algebra'', which may be called the theory of dynamical quantum groups. My goal in this talk is to give a bird's eye review of some aspects of this theory and its applications.


title: Some non-linear s.p.d.e.'s that are second order in time

abstract: We extend Walsh's theory of martingale measures in order to deal with hyperbolic stochastic partial differential equations that are second order in time, such as the wave equation and the beam equation, and driven by spatially homogeneous Gaussian noise. For such equations, the fundamental solution can be a distribution in the sense of Schwartz, which appears as an integrand in the reformulation of the s.p.d.e. as a stochastic integral equation. Our approach provides an alternative to the Hilbert space integrals of Hilbert-Schmidt operators. We give several examples, including the beam equation and the wave equation, with nonlinear multiplicative noise terms.


title: Cochain operations defining Steenrod $\cup_i$-products in the bar construction

abstract: The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction.


title: On Tverberg's conjecture

abstract: In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal theorems. It implies or contains as the special cases many classical "coincidence" results such as Radon's theorem, Rado's theorem, the Ham-sandwich theorem, the nonembeddability results (of graphs in the plane) etc. The main goal of this note is to verify this conjecture in one new, non-trivial case. We obtain the continuous version of the conjecture. So, it is not surprising that we use topological methods, or more precisely the methods of equivaiant topology and the characteristic classes.


title: Properties of the residual circle action on a toric hyperkahler variety

abstract: We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M is a toric hyperkahler manifold, as defined by Bielawski-Dancer, and further studied by Konno and Hausel-Sturmfels. The manifold M carries a natural action of S^1, induced by the scalar action of S^1 on the fibers of T^*C^n. In this paper we study this action, computing its fixed points and its equivariant cohomology. As an application, we use the associated Z/2 action on the real locus of M to compute a deformation of the Orlik-Solomon algebra of a smooth, generic, real hyperplane arrangement, depending nontrivially on the affine structure of the arrangement. This deformation is given by the Z/2-equivariant cohomology of the complement of the complexification, where Z/2 acts by complex conjugation.


title: A simple proof of a result of A. Novikov

abstract: We give simple proofs that for a continuous local martingale M_t: 1) \liminf_{\epsilon->0} \epsilon \log Ee^{(1-\epsilon) <M>_\infty /2} < \infty ==> E\exp(M_\infty - <M>_\infty /2) = 1, 2) \liminf_{\epsilon->0} \epsilon \log\sup_{t>=0} Ee^{(1-\epsilon)M_t/2} < \infty ==> E\exp(M_\infty - <M>_\infty /2) = 1 .


title: Higher-Order Polynomial Invariants of 3-Manifolds Giving Lower Bounds for the Thurston Norm

abstract: We define an infinite sequence of new invariants, delta_n, of a group G that measure the size of the successive quotients of the derived series of G. In the case that G is the fundamental group of a 3-manifold, we obtain new 3-manifold invariants. These invariants are closely related to the topology of the 3-manifold. They give lower bounds for the Thurston norm which provide better estimates than the bound established by McMullen using the Alexander norm. We also show that the delta_n give obstructions to a 3-manifold fibering over S^1 and to a 3-manifold being Seifert fibered. Moreover, we show that the delta_n give computable algebraic obstructions to a 4-manifold of the form X x S^1 admitting a symplectic structure even when the obstructions given by the Seiberg-Witten invariants fail. There are also applications to the minimal ropelength and genera of knots and links in S^3.


title: Field of moduli and field of definition for curves of genus 2

abstract: Let M_2 be the moduli space that classifies genus 2 curves. If a curve C is defined over a field k, the corresponding moduli point P=[C] is defined over k. Mestre solved the converse problem for curves with Aut(C) isomorphic to C_2. Given a moduli point defined over k, Mestre finds an obstruction to the existence of a corresponding curve defined over k, that is an element in Br_2(k) not always trivial. In this paper we prove that for all the other possibilities of Aut(C), every moduli point defined over k is represented by a curve defined over k. We also give an explicit construction of such a curve in terms of the coordinates of the moduli point.


title: Standard Tractors and the Conformal Ambient Metric Construction

abstract: In this paper we relate the Fefferman-Graham ambient metric construction for conformal manifolds to the approach to conformal geometry via the canonical Cartan connection. We show that from any ambient metric that satisfies a weakening of the usual normalisation condition, one can construct the conformal standard tractor bundle and the normal standard tractor connection, which are equivalent to the Cartan bundle and the Cartan connection. This result is applied to obtain a procedure to get tractor formulae for all conformal invariants that can be obtained from the ambient metric construction. We also get information on ambient metrics which are Ricci flat to higher order than guaranteed by the results of Fefferman-Graham.


title: The graded Jacobi algebras and (co)homology

abstract: Jacobi algebroids (i.e. `Jacobi versions' of Lie algebroids) are studied in the context of graded Jacobi brackets on graded commutative algebras. This unifies varios concepts of graded Lie structures in geometry and physics. A method of describing such structures by classical Lie algebroids via certain gauging (in the spirit of E.Witten's gauging of exterior derivative) is developed. One constructs a corresponding Cartan differential calculus (graded commutative one) in a natural manner. This, in turn, gives canonical generating operators for triangular Jacobi algebroids. One gets, in particular, the Lichnerowicz-Jacobi homology operators associated with classical Jacobi structures. Courant-Jacobi brackets are obtained in a similar way and use to define an abstract notion of a Courant-Jacobi algebroid and Dirac-Jacobi structure. All this offers a new flavour in understanding the Batalin-Vilkovisky formalism.


title: Seiberg-Witten invariants and surface singularities III. Splicings and cyclic covers

abstract: We verify the conjecture formulated in math.AG/0111298 for suspension singularities of type $g(x,y,z)= f(x,y)+z^n$, where $f$ is an irreducible plane curve singularity. More precisely, we prove that the modified Seiberg-Witten invariant of the link $M$ of $g$, associated with the canonical $spin^c$ structure, equals $-\sigma(F)/8$, where $\sigma(F)$ is the signature of the Milnor fiber of $g$. In order to do this, we prove general splicing formulae for the Casson-Walker invariant and for the sign refined Reidemeister-Turaev torsion (in particular, for the modified Seiberg-Witten invariant too). These provide results for some cyclic covers as well. As a by-product, we compute all the relevant invariants of $M$ in terms of the Newton pairs of $f$ and the integer $n$.


title: A remark on well-posedness for hyperbolic equations with singular coefficients

abstract: We prove some $C^\infty$ and Gevrey well-posedness results for hyperbolic equations with singular coefficients.


title: Computing roots of directed graphs is graph isomorphism hard

abstract: The k-th power D^k of a directed graph D is defined to be the directed graph on the vertices of D with an arc from a to b in D^k iff one can get from a to b in D with exactly k steps. This notion is equivalent to the k-fold composition of binary relations or k-th powers of Boolean matrices. A k-th root of a directed graph D is another directed graph R with R^k = D. We show that for each k >= 2, computing a k-th root of a directed graph is at least as hard as the graph isomorphism problem.


title: Dirichlet branes, homological mirror symmetry, and stability

abstract: We discuss some mathematical conjectures which have come out of the Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes in Calabi-Yau compactification. This has led to the formulation of a notion of stability for objects in a derived category, contact with Kontsevich's homological mirror symmetry conjecture, and "physics proofs" for many of the subsequent conjectures based on it, such as the representation of Calabi-Yau monodromy by autoequivalences of the derived category.


title: Varieties over a finite field with trivial Chow group of 0-cycles have a rational point

abstract: Smooth projective varieties $X$ over a finite field $k$ with $CH_0(X\otimes \bar{k(X)})=\mathbb Z$ have a rational point, in particular Fano varieties. We also refer to http://link.springer.de/link/service/journals/00222/tocs.htm where the last version, cleaned from some typos, should be published online.


title: Explicit models for perverse sheaves

abstract: We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing $t$-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular, we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict ourselves to the two-strata case, but our results extend to the general case.


title: Kazhdan-Lusztig polynomials and character formulae for the Lie superalgebra q(n)

abstract: The problem of computing the characters of the finite dimensional irreducible representations of the Lie superalgebra $\mathfrak q(n)$ over $\C$ was solved in 1996 by I. Penkov and V. Serganova. In this article, we give a different approach relating the character problem to canonical bases of the quantized enveloping algebra $U_q(\mathfrak b_{\infty})$. We also formulate for the first time a conjecture for the characters of the infinite dimensional irreducible representations in the analogue of category $\mathcal O$ for the Lie superalgebra $\mathfrak{q}(n)$.


title: The equivariant Toda lattice, I

abstract: We study a reduction of the Toda lattice in the limit of infintesimal lattice spacing. Using this reduction, we formulate a conjecture for the equivariant Gromov-Witten invariants of the sphere, which we prove in genus 0. This conjecture follows from recent work of Okounkov and Pandharipande (math.AG/0207233), combined with results from the sequel to this paper.


title: Integrability, hyperbolic flows and the Birkhoff normal form

abstract: We prove that a Hamiltonian $p\in C^\infty(T^*{\bf R}^n)$ is locally integrable near a non-degenerate critical point $\rho_0$ of the energy, provided that the fundamental matrix at $\rho_0$ has no purely imaginary eigenvalues. This is done by using Birkhoff normal forms, which turn out to be convergent in the $C^\infty$ sense. We also give versions of the Lewis-Sternberg normal form near a hyperbolic fixed point of a canonical transformation. Then we investigate the almost holomorphic case.


title: Universal Covers for Hausdorff Limits of Noncompact Spaces

abstract: We prove that if $Y$ is the Gromov-Hausdorff limit of a sequence of complete manifolds, $M^n_i$, with a uniform lower bound on Ricci curvature then $Y$ has a universal cover.


title: Homotopical Algebraic Geometry I: Topos theory

abstract: This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of \infty-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of A. Joyal and R. Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by C. Rezk, and we relate it to our model categories of stacks over S-sites. In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. We also prove a Giraud's style theorem characterizing model topoi internally. As an example of application, we propose a definition of etale K-theory of ring spectra, extending the etale K-theory of commutative rings.


title: Hilbert's Tenth Problem for algebraic function fields of characteristic 2

abstract: Let K be an algebraic function field of characteristic 2 with constant field C_K. Let C be the algebraic closure of a finite field in K. Assume that C has an extension of degree 2. Assume that there are elements u,x of K with u transcendental over C_K and x algebraic over C(u) and such that K=C_K(u,x). Then Hilbert's Tenth Problem over K is undecidable. Together with Shlapentokh's result for odd characteristic this implies that Hilbert's Tenth Problem for any such field K of finite characteristic is undecidable. In particular, Hilbert's Tenth Problem for any algebraic function field with finite constant field is undecidable.


title: The Bailey lemma and Kostka polynomials

abstract: Using the theory of Kostka polynomials, we prove an A_{n-1} version of Bailey's lemma at integral level. Exploiting a new, conjectural expansion for Kostka numbers, this is then generalized to fractional levels, leading to a new expression for admissible characters of A_{n-1}^{(1)} and to identities for A-type branching functions.


title: The Bochner identities for the K\"ahlerian gradients

abstract: We discuss algebraic properties for the symbols of geometric first order differential operators on almost Hermitian manifolds and K\"ahler manifolds. Through study on the universal enveloping algebra and higher Casimir elements, we know algebraic relations for the symbols like the Clifford algebra. From the relations, we have all the Bochner identities for the operators. As applications, we have vanishing theorems, the Bochner-Weitzenb\"ock formula, and eigenvalue estimates for the operators on K\"ahler manifolds.


title: Inertial manifolds for reaction-diffusion equations on genuinely high-dimensional thin domains

abstract: In this paper we study a family of semilinear reaction-diffusion equations on thin spatial domains, lying close to a lower dimensional submanifold $M$. As the thickness tends to zero, the domains collapse onto (a subset of) $M$. As it was proved in a previous paper (M. Prizzi, M. Rinaldi and K. P. Rybakowski, Curved thin domains and parabolic equations, Stud. Math. 151), the above family has a limit equation, which is an abstract semilinear parabolic equation defined on a certain abstract limit phase space. One of the objectives of this paper is to give more manageable characterizations of the limit phase space. Under additional hypotheses, we also give a simple description of the limit equation. If, in addition, $M$ is a sphere and the nonlinearity of the above equations is dissipative, we prove that, if the thickness is small enough, the corresponding equation possesses an inertial manifold, i.e. an invariant manifold containing the attractor of the equation. We thus obtain the existence of inertial manifolds for reaction-diffusion equations on certain classes of thin domains of genuinely high dimension.


title: Stochastic apportionment

abstract: The problem of how to allocate to states the seats in the US House of Representatives is the most studied instance of what is termed the `apportionment problem'. We propose a new method of apportionment which is stochastic, which meets the quota condition, and which is fair in the sense of expectations. Two sources of systematic unfairness are identified, firstly the lower bound condition (every state shall receive at least one seat), and secondly the lower quota condition (every state shall receive at least the integer part of its quota).


title: Equivariant compactifications of reductive groups

abstract: We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under the action of the doubled group by left/right multiplications, the local structure in a neighborhood of a closed orbit, and obtain some conditions of normality and smoothness of a compactification. Our methods of research use the theory of equivariant embeddings of spherical homogeneous spaces and of reductive algebraic semigroups.


title: The planar algebra of a coaction

abstract: We study actions of ``compact quantum groups'' on ``finite quantum spaces''. According to Woronowicz and to general $\c^*$-algebra philosophy these correspond to certain coactions $v:A\to A\otimes H$. Here $A$ is a finite dimensional $\c^*$-algebra, and $H$ is a certain special type of Hopf *-algebra. If $v$ preserves a positive linear form $\phi :A\to\c$, a version of Jones' ``basic construction'' applies. This produces a certain $\c^*$-algebra structure on $A^{\otimes n}$, plus a coaction $v_n :A^{\otimes n}\to A^{\otimes n}\otimes H$, for every $n$. The elements $x$ satisfying $v_n(x)=x\otimes 1$ are called fixed points of $v_n$. They form a $\c^*$-algebra $Q_n(v)$. We prove that under suitable assumptions on $v$ the graded union of the algebras $Q_n(v)$ is a spherical $\c^*$-planar algebra.


title: Polylogarithms, regulators and Arakelov motivic complexes

abstract: We construct an explicit regulator map from the weigh n Bloch Higher Chow group complexto the weight n Deligne complex of a regular complex projective algebraic variety X. We define the Arakelovweight n motivic complex as the cone of this map shifted by one. Its last cohomology group is (a version of) the Arakelov Chow group defined by H. Gillet. and C.Soule. We relate the Grassmannian n-logarithms (defined as in [G5]) to geometry of the symmetric space for GL_n(C). For n=2 we recover Lobachevsky's formula for the volume of an ideal geodesic tetrahedron via the dilogarithm. Using the relationship with symmetric spaces we construct the Borel regulator on K_{2n-1}(C) via the Grassmannian n-logarithms. We study the Chow dilogarithm and prove a reciprocity law which strengthens Suslin's reciprocity law for Milnor's K_3 on curves.


title: Crossed complexes, and free crossed resolutions for amalgamated sums and HNN-extensions of groups

abstract: The category of crossed complexes gives an algebraic model of CW-complexes and cellular maps. Free crossed resolutions of groups contain information on a presentation of the group as well as higher homological information. We relate this to the problem of calculating non-abelian extensions. We show how the strong properties of this category allow for the computation of free crossed resolutions for amalgamated sums and HNN-extensions of groups, and so obtain computations of higher homotopical syzygies in these cases.


title: Factor Representations of Diffeomorphism Groups

abstract: General semifinite factor representations of the diffeomorphism group of euclidean space are constructed by means of a canonical correspondence with the finite factor representations of the inductive limit unitary group. This construction includes the quasi-free representations of the canonical commutation and anti-commutation relations. To establish this correspondence requires a non-linear form of complete positivity as developed by Arveson. We also compare the asymptotic character formula for the unitary group with the thermodynamic ($N/V$) limit construction for diffeomorphism group representations.


title: Exterior Differential Systems and Euler-Lagrange Partial Differential Equations

abstract: We use methods from exterior differential systems (EDS) to develop a geometric theory of scalar, first-order Lagrangian functionals and their associated Euler-Lagrange PDEs, subject to contact transformations. The first chapter contains an introduction of the classical Poincare-Cartan form in the context of EDS, followed by proofs of classical results, including a solution to the relevant inverse problem, Noether's theorem on symmetries and conservation laws, and several aspects of minimal hypersurfaces. In the second chapter, the equivalence problem for Poincare-Cartan forms is solved, giving the differential invariants of such a form, identifying associated geometric structures (including a family of affine hypersurfaces), and exhibiting certain "special" Euler-Lagrange equations characterized by their invariants. In the third chapter, we discuss a collection of Poincare-Cartan forms having a naturally associated conformal geometry, and exhibit the conservation laws for non-linear Poisson and wave equations that result from this. The fourth and final chapter briefly discusses additional PDE topics from this viewpoint--Euler-Lagrange PDE systems, higher order Lagrangians and conservation laws, identification of local minima for Lagrangian functionals, and Backlund transformations. No previous knowledge of exterior differential systems or of the calculus of variations is assumed.


title: Free resolutions fo rmultigraded modules: a generalization of Taylor's construction

abstract: Let $Q=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ with the standard $N^n$-grading. Let $\phi$ be a morphism of finite free $N^n$-graded $Q$-modules. We translate to this setting several notions and constructions that appear originally in the context of monomial ideals. First, using a modification of the Buchsbaum-Rim complex, we construct a canonical complex $T_\bullet(\phi)$ of finite free $N^n$-graded $Q$-modules that generalizes Taylor's resolution. This complex provides a free resolution for the cokernel $M$ of $\phi$ when $\phi$ satisfies certain rank criteria. We also introduce the Scarf complex of $\phi$, and a notion of ``generic'' morphism. Our main result is that the Scarf complex of $\phi$ is a minimal free resolution of $M$ when $\phi$ is minimal and generic. Finally, we introduce the LCM-lattice for $\phi$ and establish its significance in determining the minimal resolution of $M$.


title: Spectral distributions and isospectral sets of tridiagonal matrices

abstract: We analyze the correspondence between finite sequences of finitely supported probability distributions and finite-dimensional, real, symmetric, tridiagonal matrices. In particular, we give an intrinsic description of the topology induced on sequences of distributions by the usual Euclidean structure on matrices. Our results provide an analytical tool with which to study ensembles of tridiagonal matrices, important in certain inverse problems and integrable systems. As an application, we prove that the Euler characteristic of any generic isospectral set of symmetric, tridiagonal matrices is a tangent number.


title: Combinatorial Miller-Morita-Mumford classes and Witten cycles

abstract: We obtain a combinatorial formula for the Miller-Morita-Mumford classes for the mapping class group of punctured surfaces and prove Witten's conjecture that they are proportional to the dual to the Witten cycles. The proportionality constant is shown to be exactly as conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705-749]. We also verify their conjectured formula for the leading coefficient of the polynomial expressing the Kontsevich cycles in terms of the Miller-Morita-Mumford classes.


title: On quasi-invariant transverse measures for the horospherical foliation of a negatively curved manifold

abstract: If $M$ is a compact or convex-cocompact negatively curved manifold, we associate to any Gibbs measure on $\tm$ a quasi-invariant transverse measure for the horospherical foliation, and prove that this measure is uniquely determined by its Radon-Nikodym cocycle. (This extends the Bowen-Marcus unique ergodicity result for this foliation.) We shall also prove equidistribution properties for the leaves of the foliation w.r.t. these Gibbs measures. We use these results in the study of invaiant meausres for horospherical foliations on regular covers of $M$.


title: On-line tracking of a smooth regression function

abstract: We construct an on-line estimator with equidistant design for tracking a smooth function from Stone-Ibragimov-Khasminskii class. This estimator has the optimal convergence rate of risk to zero in sample size. The procedure for setting coefficients of the estimator is controlled by a single parameter and has a simple numerical solution. The off-line version of this estimator allows to eliminate a boundary layer. Simulation results are given.


title: Eigenvalues and Holonomy

abstract: We estimate the eigenvalues of connection Laplacians in terms of the non-triviality of the holonomy.


title: Elliptic hypergeometric series on root systems

abstract: We derive a number of summation and transformation formulas for elliptic hypergeometric series on the root systems A_n, C_n and D_n. In the special cases of classical and q-series, our approach leads to new elementary proofs of the corresponding identities.


title: Quantization and Intrinsic Dynamics

abstract: A dynamical scheme of quantization of symplectic manifolds is described. It is based on intrinsic Schr\"odinger and Heisenberg type nonlinear evolutionary equations with multidimensional time running over the manifold. This is the restricted version of the original article to be published in ``Asymptotic Methods for Wave and Quantum Problems'' (M. Karasev, ed.), Advances in Math. Sci., AMS.


title: On the local version of the Severi problem

abstract: For a given singularity of a plane curve we consider the locus of nodal deformations of the singularity with the given number of nodes and describe possible components of the locus. As applications, we solve the local symplectic isotopy for nodal curves in a neighborhood of a given pseudoholomorphic curve without multiple components and prove the uniqueness of the symplectic isotopy class for nodal pseudoholomorphic curves of low genus in $\CP^2$ and $\CP^2 # \bar\CP^2$.


title: Estimates for the volume of a Lorentzian manifold

abstract: We prove new estimates for the volume of a Lorentzian manifold and show especially that cosmological spacetimes with crushing singularities have finite volume.


title: Foliations in moduli spaces of abelian varieties

abstract: Consider all moduli points corresponding with polarized abelian varieties in characteristic p such that the associated quasi-polarized p-divisible group is geometrically isomorphic with a given one. This defines a subset C of the moduli space. We show that C is closed in the corresponding open Newton polygon stratum. In this way the stratum is the disjoint union of such "central leaves". Under local-local isogenies we consider the orbit of one point: we obtain a second type of leaves. Every stratum, up to a finite map, is the product of one of its central leaves and one of its isogeny leaves. We expect that these central leaves describe Hecke actions prime to p.


title: Reconstruction of functions from their triple correlations

abstract: Suppose that A is a subset of an abelian group G. To know the 3-deck of A is to know the number of occurences in A of translates of each possible multiset {0,a,b}. The concept of the 3-deck is naturally extended to integrable functions on G. In this paper we study when the 3-deck of a function determines the function up to translations. The method is to look at the Fourier Transform of the function. Our emphasis is on the real line and the cyclic groups.


title: Symplectic surfaces and generic J-holomorphic structures on 4-manifolds

abstract: It is a well known fact that every embedded symplectic surface $\Sigma$ in a symplectic 4-manifold $(X^4,\omega)$ can be made $J$-holomorphic for some almost-complex structure $J$ compatible with $\omega$. In this paper we investigate when such a $J$ can be chosen from a generic set of almost-complex structures. As an application we give examples of smooth and non-empty Seiberg-Witten and Gromov-Witten moduli spaces whose associated invariants are zero.


title: Closed Weingarten hypersurfaces in semi-riemannian manifolds

abstract: The existence of closed hypersurfaces of prescribed curvature in semi-riemannian manifolds is proved provided there are barriers.


title: Hypersurfaces of prescribed scalar curvature in Lorentzian manifolds

abstract: The existence of closed hypersurfaces of prescribed scalar curvature in globally hyperbolic Lorentzian manifolds is proved provided there are barriers.


title: About Calculation of the Hankel Transform Using Preliminary Wavelet Transform

abstract: The purpose of this paper is to present an algorithm for evaluating Hankel transform of the null and the first kind. The result is the exact analytical representation as the series of the Bessel and Struve functions multiplied by the wavelet coefficients of the input function. Numerical evaluation of the test function with known analytical Hankel transform illustrates the proposed algorithm.


title: A note on hamiltonian Lie group actions and Massey products

abstract: In this note we show that the property of having only vanishing triple Massey products in the equivariant cohomology is inherited by the set of fixed points of hamiltonian circle actions on closed symplectic manifolds. This result can be considered in a more general context of characterizing homotopic properties of Lie group actions. In particular, it can be viewed as a partial answer to the Allday-Puppe question about finding conditions ensuring the "formality" of G-actions.


title: Finiteness and Quasi-Simplicity for Symmetric K3-Surfaces

abstract: We compare the smooth and deformation equivalence of actions of finite groups on K3-surfaces by holomorphic and anti-holomorphic transformations. We prove that the number of deformation classes is finite and, in a number of cases, establish the expected coincidence of the two equivalence relations. More precisely, in these cases we show that an action is determined by the induced action in the homology. On the other hand, we construct two examples to show that, first, in general the homological type of an action does not even determine its topological type, and second, that K3-surfaces $X$ and $\bar X$ with the same Klein action do not need to be equivariantly deformation equivalent even if the induced action on $H^{2,0}(X)$ is real, i.e., reduces to multiplication by $\pm 1$.


title: On moduli of pointed real curves of genus zero

abstract: We introduce the moduli space $R \bar{M}_{2k,l}$ of pointed real curves of genus zero and give its natural stratification. The strata of $R \bar{M}_{2k,l}$ correspond to real curves of genus zero with different degeneration types and are encoded by their dual trees with certain decorations. By using this stratification, we calculate the first Stiefel-Whitney class of $R \bar{M}_{2k,l}$ and construct the orientation double cover $R \widetilde{M}_{2k,l}$$ of $R \bar{M}_{2k,l}$.


title: The Picard-Lefschetz formula and a conjecture of Kato, the case of Lefschetz fibrations

abstract: A conjecture of Kato says that the monodromy operator on the cohomology of a semi-stable degeneration of projective varieties is represented by an algebraic cycle on the special fiber of a normal crossing model of the fiber product degeneration. We prove this conjecture in the simple case of a semi-stable degeneration arising from a Lefschetz fibration.


title: A new invariant on hyperbolic Dehn surgery space

abstract: In this paper we define a new invariant of the incomplete hyperbolic structures on a 1-cusped finite volume hyperbolic 3-manifold M, called the ortholength invariant. We show that away from a (possibly empty) subvariety of excluded values this invariant both locally parameterises equivalence classes of hyperbolic structures and is a complete invariant of the Dehn fillings of M which admit a hyperbolic structure. We also give an explicit formula for the ortholength invariant in terms of the traces of the holonomies of certain loops in M. Conjecturally this new invariant is intimately related to the boundary of the hyperbolic Dehn surgery space of M.


title: A Simple Proof of the Four-Color Theorem

abstract: A simpler proof of the four color theorem is presented. The proof was reached using a series of equivalent theorems. First the maximum number of edges of a planar graph is obatined as well as the minimum number of edges for a complete graph. Then it is shown that for the theorem to be false there must exist a complete planar graph of $h$ edges such that $h>4$. Finally the theorem is proved to be true by showing that there does not exist a complete planar graph with $h>4$.


title: Maximal Hamiltonian tori for polygon spaces

abstract: We study the poset of Hamiltonian tori for polygon spaces. We determine some maximal elements and give examples where maximal Hamiltonian tori are not all of the same dimension.


title: Closed similarity lorentzian affine manifolds

abstract: A Sim(n-1,1) affine manifold is an affine manifold whose linear holonomy is contained in the similarity lorentzian group but not in the lorentzian group. The class of similarity lorentzian affine manifolds is a small part in the nice class of conformally lorentzian flat manifolds. In this paper we show that a compact Sim(n-1,1) affine manifold is incomplete. We characterize the universal cover of radiant compact Sim(n-1,1) affine manifolds whose developing map is injective. Let q be the quadratic form which define the Sim(n-1,1) structure, using riemannian foliation theory, we classify compact radiant Sim(n-1,1) affine manifolds M such that D(M') the image of the universal cover M' of M by the developing map D is contained in the upper cone defined q


title: Weyl's theorem, a-Weyl's theorem, and local spectral theory

abstract: We give necessary and sufficient conditions for a Banach space operator with the single valued extension property (SVEP) to satisfy Weyl's theorem and $a$-Weyl's theorem. We show that if $T$ or $T^{\ast}$ has SVEP and $T$ is transaloid, then Weyl's theorem holds for $f(T)$ for every $f\in H(\sigma (T))$. When $T^{\ast}$ has SVEP, $T$ is transaloid and $T$ is $a$-isoloid, then $a$-Weyl's theorem holds for $f(T)$ for every $f\in H(\sigma (T))$. We also prove that if $T$ or $T^{\ast}$ has SVEP, then the spectral mapping theorem holds for the Weyl spectrum and for the essential approximate point spectrum.


title: A duality proof of Tchakaloff's theorem

abstract: Tchakaloff's Theorem establishes the existence of a quadrature rule of prescribed degree relative to a positive, compactly supported measure that is absolutely continuous with respect to Lebesgue measure on $\mathbb{R}^{d}$. Subsequent extensions were obtained by Mysovskikh and by Putinar. We provide new proofs and partial extensions of these results, based on duality techniques utilized by Stochel. We also obtain new uniqueness criteria in the Truncated Complex Moment Problem.


title: k-hyponormality of powers of weighted shifts via Schur products

abstract: We characterize $k$-hyponormality and quadratic hyponormality of powers of weighted shifts using Schur product techniques.


title: Quelques calculs de la cohomologie de GL_N(Z) et de la K-theorie de Z

abstract: For N=5 and N=6, we compute the Voronoi cell complex attached to real N-dimensional quadratic forms, and we obtain the homology of GL_N(Z) with trivial coefficients, up to small primes. We also prove that K_5(Z) = Z and K_6(Z) has only 3-torsion.


title: On symbolic powers of prime ideals

abstract: Let (R,m) be a regular local ring with prime ideals p and q such that p+q is m-primary and dim(R/p)+dim(R/q)=dim(R). It has been conjectured by Kurano and Roberts that p^{(n)} \cap q \subseteq m^{n+1} for all positive integers n. We discuss this conjecture and related conjectures. In particular, we prove that this conjecture holds for all regular local rings if and only if it holds for all localizations of polynomial algebras over complete discrete valuation rings. In addition, we give examples showing that certain generalizations to nonregular rings do not hold.


title: Two characterizations of finite quasi-Hopf algebras

abstract: Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show that a dual structure theorem for Hopf modules over a coquasibialgebra H holds if and only if the category of finite-dimensional right H-comodules is rigid; this is not equivalent to H being a coquasi-Hopf algebra.


title: A Comparison of Hofer's Metrics on Hamiltonian Diffeomorphisms and Lagrangian Submanifolds

abstract: We compare Hofer's geometries on two spaces associated with a closed symplectic manifold M. The first space is the group of Hamiltonian diffeomorphisms. The second space L consists of all Lagrangian submanifolds of $M \times M$ which are exact Lagrangian isotopic to the diagonal. We show that in the case of a closed symplectic manifold with $\pi_2(M) = 0$, the canonical embedding of Ham(M) into L, f $\mapsto$ graph(f) is not an isometric embedding, although it preserves Hofer's length of smooth paths.


title: A dual polytope from the SYZ construction

abstract: For a particular toric variety, I explore to what extent the SYZ conjecture applied to the orbits of the torus action gives the mirror manifold, in the sense of Batyrev's mirror construction using reflexive polytopes.


title: Central twisted transformation groups and group $C^*$-algebras of central group extensions

abstract: We examine the structure of central twisted transformation group \cs-algebras $C_{0}(X)\rtimes_{\id,u}G$, and apply our results to the group \cs-algebras of central group extensions. Our methods require that we study Moore's cohomology group $H^{2}\bigl(G,C(X,\T)\bigr)$, and, in particular, we prove an inflation result for pointwise trivial cocyles which may be of use elsewhere.


title: Homologie et cohomologie de Hochschild de certaines algebres polynomiales classiques et quantiques

abstract: We study Hochschild homology and cohomology for some polynomial algebras mixing both ``classical'' relations ($XY-YX=1$) and ``quantum'' relations ($XY={\l}YX$). More specifically, we prove that the algebra of differential operators on any quantum affine space (quantum Weyl algebra) have the same Hochschild homology, and satisfy the same duality relation, as the classical Weyl algebra does.


title: Two applications of instanton numbers

abstract: The two applications are: 1. sometimes instanton numbers stratify moduli of bundles better than Chern numbers. 2. sometimes instanton numbers distinguish singularities better than the classical numerical invariants.


title: Parameter Estimation of Sigmoid Superpositions: Dynamical System Approach

abstract: Superposition of sigmoid function over a finite time interval is shown to be equivalent to the linear combination of the solutions of a linearly parameterized system of logistic differential equations. Due to the linearity with respect to the parameters of the system, it is possible to design an effective procedure for parameter adjustment. Stability properties of this procedure are analyzed. Strategies shown in earlier studies to facilitate learning such as randomization of a learning sequence and adding specially designed disturbances during the learning phase are requirements for guaranteeing convergence in the learning scheme proposed.


title: Deformations of polynomials, boundary singularities and monodromy

abstract: We study the topology of polynomial functions by deforming them generically. We explain how the non-conservation of the total ``quantity'' of singularity in the neighbourhood of infinity is related to the variation of topology in certain families of boundary singularities along the hyperplane at infinity.


title: Separable bimodules and approximation

abstract: Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Auslander algebra, tame or wild representation type.


title: Travaux de Frenkel, Gaitsgory et Vilonen sur la correspondance de Drinfeld-Langlands

abstract: In 1967, Langlands conjectured a natural correspondence between automorphic representations and Galois representations, over number fields as well as over function fields. In 1983, Drinfeld discovered a geometric analog of the Langlands correspondence in the function field case, which extends the geometric class field theory of Lang and Rosenlicht. The so called Drinfeld-Langlands correspondence is a conjectural duality between two moduli spaces that are naturally associated to an algebraic curve X and a reductive group G. When X is projective and G is the full linear group GL(n), a large part of this correspondence has recently been established by E. Frenkel, D. Gaitsgory et K. Vilonen.