title: New topologically slice knots

abstract: In the early 1980's Mike Freedman showed that all knots with trivial Alexander polynomial are topologically slice (with fundamental group Z). This paper contains the first new examples of topologically slice knots. In fact, we give a sufficient homological condition under which a knot is slice with fundamental group Z semi-direct product Z[1/2]. These two fundamental groups are known to be the only solvable ribbon groups. Our homological condition implies that the Alexander polynomial equals (t-2)(t^{-1}-2) but also contains information about the metabelian cover of the knot complement (since there are many non-slice knots with this Alexander polynomial). Erratum (attached): In Figure 1.5 we gave an incorrect example for Theorem 1.3. We present a correct example.


title: Weighted Fano threefold hypersurfaces

abstract: We study birational transformations into elliptic fibrations and birational automorphisms of quasismooth anticanonically embedded weighted Fano 3-fold hypersurfaces having terminal singularities classified by A.R. Iano-Fletcher, J. Johnson, J. Kollar, and M. Reid.


title: Phantom depth and stable phantom exactness

abstract: Phantom depth, phantom nonzerodivisors, and phantom exact sequences are analogues of the non-"phantom" notions which have been useful in tackling the (very difficult) localization problem in tight closure theory. In the present paper, these notions are developed further and partially reworked. For instance, although no analogue of a long exact sequence arises from a short stably phantom exact sequence of complexes, we provide a method for recovering the kind of information obtainable from such a long sequence. Also, we give alternate characterizations of the notion of phantom depth, including one based on Koszul homology which we use to show that with very mild conditions on a finitely generated module $M$, any two maximal phantom $M$-regular sequences in an ideal $I$ have the same length. In order to do so, we prove a "Nakayama lemma for tight closure" which is of independent interest. We strengthen the connection of phantom depth with minheight, we explore several analogues of "associated prime" in tight closure theory, and we discuss a connection with the problem of when tight closure commutes with localization.


title: Double derivations and Cyclic homology

abstract: We give a new construction of cyclic homology of an associative algebra A that does not involve Connes' differential. Our approach is based on an extended version of the complex \Omega A, of noncommutative differential forms on A, and is similar in spirit to the de Rham approach to equivariant cohomology. Indeed, our extended complex maps naturally to the equivariant de Rham complex of any representation scheme Rep A. We define cyclic homology as the cohomology of the total complex (\Omega A)[t], d+t \cdot i, arising from two anti-commuting differentials, d and i, on \Omega A. The differential d, that replaces the Connes differential B, is the Karoubi-de Rham differential. The differential i that replaces the Hochschild differential b, is a map analogous to contraction with a vector field. This new map has no commutative counterpart.


title: Differential Geometry of Relative Gerbes

abstract: This thesis introduces the notion of "relative gerbes" for smooth maps of manifolds, and discusses their differential geometry. The equivalence classes of relative gerbes are classified by the relative integral cohomology in degree three. Furthermore, by using the concept of relative gerbes, the pre-quantization of Lie group-valued moment maps is developed, and its equivalence with the pre-quantization of infinite-dimensional Hamiltonian loop group spaces is established.


title: Bounds On Triangular Discrimination, Harmonic Mean and Symmetric Chi-square Divergences

abstract: There are many information and divergence measures exist in the literature on information theory and statistics. The most famous among them are Kullback-Leiber relative information and Jeffreys J-divergence. The measures like, Bhattacharya distance, Hellinger discrimination, Chi-square divergence, triangular discrimination and harmonic mean divergence are also famous in the literature on statistics. In this paper we have obtained bounds on triangular discrimination and symmetric chi-square divergence in terms of relative information of type s using Csiszar's f-divergence. A relationship among triangular discrimination and harmonic mean divergence is also given.


title: On the existence of a crepant resolution of some moduli spaces of sheaves on an abelian surface

abstract: Let J be an abelian surface with a generic ample line bundle O(1). For n>0, the moduli space M(2, 0, 2n) of O(1)-semistable sheaves F of rank 2 with Chern classes c_1(F) = 0, c_2(F) = 2n is a singular projective variety, endowed with a holomorphic symplectic structure on the smooth locus. In this paper, we show that there does not exist a crepant resolution of M(2; 0; 2n) for n>1. This certainly implies that there is no symplectic desingularization of M(2, 0, 2n) for n>1.


title: Asymptotic behavior of a metapopulation model

abstract: We study the behavior of an infinite system of ordinary differential equations modeling the dynamics of a metapopulation, a set of (discrete) populations subject to local catastrophes and connected via migration under a mean field rule; the local population dynamics follow a generalized logistic law. We find a threshold below which all the solutions tend to total extinction of the metapopulation, which is then the only equilibrium; above the threshold, there exists a unique equilibrium with positive population, which, under an additional assumption, is globally attractive. The proofs employ tools from the theories of Markov processes and of dynamical systems.


title: On the convergence from discrete to continuous time in an optimal stopping problem

abstract: We consider the problem of optimal stopping for a one-dimensional diffusion process. Two classes of admissible stopping times are considered. The first class consists of all nonanticipating stopping times that take values in [0,\infty], while the second class further restricts the set of allowed values to the discrete grid {nh:n=0,1,2,...,\infty} for some parameter h>0. The value functions for the two problems are denoted by V(x) and V^h(x), respectively. We identify the rate of convergence of V^h(x) to V(x) and the rate of convergence of the stopping regions, and provide simple formulas for the rate coefficients.


title: Chow motives of twisted flag varieties

abstract: Let G be an adjoint simple algebraic group of inner type. We express the Chow motive (with integral coefficients) of some anisotropic projective G-homogeneous varieties in terms of motives of simpler G-homogeneous varieties, namely, those that correspond to maximal parabolic subgroups of G. We decompose the motive of a generalized Severi-Brauer variety SB_2(A), where A is a division algebra of degree 5, into a direct sum of two indecomposable motives. As an application we provide another counter-example to the uniqueness of a direct sum decomposition in the category of motives with integral coefficients.


title: On utility maximization in discrete-time financial market models

abstract: We consider a discrete-time financial market model with finite time horizon and give conditions which guarantee the existence of an optimal strategy for the problem of maximizing expected terminal utility. Equivalent martingale measures are constructed using optimal strategies.


title: Word hyperbolic extensions of surface groups

abstract: Let S be a closed surface of genus at least 2. We show that a finitely generated group G which is an extension of the fundamental group H of S is word hyperbolic if and only the orbit map of the quotient group G/H on the complex of curves is a quasi-isometric embedding.This in turn is equivalent to G/H being convex cocompact in the sense of Farb and Mosher.


title: Accelerating diffusions

abstract: Let U be a given function defined on R^d and \pi(x) be a density function proportional to \exp -U(x). The following diffusion X(t) is often used to sample from \pi(x), dX(t)=-\nabla U(X(t)) dt+\sqrt2 dW(t),\qquad X(0)=x_0. To accelerate the convergence, a family of diffusions with \pi(x) as their common equilibrium is considered, dX(t)=\bigl(-\nabla U(X(t))+C(X(t))\bigr) dt+\sqrt2 dW(t),\qquad X(0)=x_0. Let L_C be the corresponding infinitesimal generator. The spectral gap of L_C in L^2(\pi) (\lambda (C)), and the convergence exponent of X(t) to \pi in variational norm (\rho(C)), are used to describe the convergence rate, where \lambda(C)= Sup{real part of \mu\dvtx\mu is in the spectrum of L_C, \mu is not zero}, {-2.8cm}\rho(C) = Inf\biggl{\rho\dvtx\int | p(t,x,y) -\pi(y)| dy \le g(x) e^{\rho t}\biggr}.Roughly speaking, L_C is a perturbation of the self-adjoint L_0 by an antisymmetric operator C\cdot\nabla, where C is weighted divergence free. We prove that \lambda (C)\le \lambda (0) and equality holds only in some rare situations. Furthermore, \rho(C)\le \lambda (C) and equality holds for C=0. In other words, adding an extra drift, C(x), accelerates convergence. Related problems are also discussed.


title: Cramer's estimate for a reflected Levy process

abstract: The natural analogue for a Levy process of Cramer's estimate for a reflected random walk is a statement about the exponential rate of decay of the tail of the characteristic measure of the height of an excursion above the minimum. We establish this estimate for any Levy process with finite negative mean which satisfies Cramer's condition, and give an explicit formula for the limiting constant. Just as in the random walk case, this leads to a Poisson limit theorem for the number of ``high excursions.''


title: Summation test for gap penalties and strong law of the local alignment score

abstract: A summation test is proposed to determine admissible types of gap penalties for logarithmic growth of the local alignment score. We also define a converging sequence of log moment generating functions that provide the constants associated with the large deviation rate and logarithmic strong law of the local alignment score and the asymptotic number of matches in the optimal local alignment.


title: An elliptic determinant transformation

abstract: We prove a transformation formula relating two determinants involving elliptic shifted factorials. Similar determinants have been applied to multiple elliptic hypergeometric series.


title: The branching process with logistic growth

abstract: In order to model random density-dependence in population dynamics, we construct the random analogue of the well-known logistic process in the branching process' framework. This density-dependence corresponds to intraspecific competition pressure, which is ubiquitous in ecology, and translates mathematically into a quadratic death rate. The logistic branching process, or LB-process, can thus be seen as (the mass of) a fragmentation process (corresponding to the branching mechanism) combined with constant coagulation rate (the death rate is proportional to the number of possible coalescing pairs). In the continuous state-space setting, the LB-process is a time-changed (in Lamperti's fashion) Ornstein-Uhlenbeck type process. We obtain similar results for both constructions: when natural deaths do not occur, the LB-process converges to a specified distribution; otherwise, it goes extinct a.s. In the latter case, we provide the expectation and the Laplace transform of the absorption time, as a functional of the solution of a Riccati differential equation. We also show that the quadratic regulatory term allows the LB-process to start at infinity, despite the fact that births occur infinitely often as the initial state goes to \infty. This result can be viewed as an extension of the pure-death process starting from infinity associated to Kingman's coalescent, when some independent fragmentation is added.


title: Relative K-homology and normal operators

abstract: Let $A$ be a C*-algebra, $J \subset A$ a C*-subalgebra, and let $B$ be a stable C*-algebra. Under modest assumptions we organize invertible C*-extensions of $A$ by $B$ that are trivial when restricted onto $J$ to become a group $Ext_J^{-1}(A,B)$, which can be computed by a six-term exact sequence which generalizes the excision six-term exact sequence in the first variable of $KK$-theory. Subsequently we investigate the relative K-homology which arises from the group of relative extensions by specializing to abelian C*-algebras. It turns out that this relative K-homology carries substantial information also in the operator theoretic setting from which the BDF theory was developed and we conclude the paper by extracting some of this information on approximation of normal operators.


title: Contractive and completely contractive maps over planar algebras

abstract: We consider contractive homomorphisms of a planar algebra ${\mathcal A}(\Omega)$ over a finitely connected bounded domain $\Omega \subseteq \C$ and ask if they are necessarily completely contractive. We show that a homomorphism $\rho:{\mathcal A}(\Omega) \to {\mathcal B}(\mathcal H)$ for which $\dim({\mathcal A}(\Omega)/\ker \rho) = 2$ is the direct integral of homomorphisms $\rho_T$ induced by operators on two dimensional Hilbert spaces via a suitable functional calculus $\rho_T: f \mapsto f(T), f\in {\mathcal A}(\Omega)$. It is well-known that contractive homomorphisms $\rho_T$, induced by a linear transformation $T:\C^2 \to \C^2$ are necessarily completely contractive. Consequently, using Arveson's dilation theorem for completely contractive homomorphisms, one concludes that such a homomorphism $\rho_T$ possesses a dilation. In this paper, we construct this dilation explicitly. In view of recent examples discovered by Dritschel and McCullough, we know that not all contractive homomorphisms $\rho_T$ are completely contractive even if $T$ is a linear transformation on a finite-dimensional Hilbert space. We show that one may be able to produce an example of a contractive homomorphism $\rho_T$ of ${\mathcal A}(\Omega)$ which is not completely contractive if an operator space which is naturally associated with the problem is not the MAX space. Finally, within a certain special class of contractive homomorphisms $\rho_T$ of the planar algebra ${\mathcal A}(\Omega)$, we construct a dilation.


title: Classification of the Irreducible Representations of Affine Hecke Algebras of Type B_2 with unequal parameters

abstract: We classify the finite dimensional irreducible representations of affine Hecke algebras of type B_2 with unequal parameters.


title: Generalized plane wave manifolds

abstract: We show that generalized plane wave manifolds are complete, strongly geodesically convex, Osserman, Szabo, and Ivanov-Petrova. We show their holonomy groups are nilpotent and that all the local Weyl scalar invariants of these manifolds vanish. We construct isometry invariants on certain families of these manifolds which are not of Weyl type. Given k, we exhibit manifolds of this type which are k-curvature homogeneous but not locally homogeneous. We also construct a manifold which is weakly 1-curvature homogeneous but not 1-curvature homogeneous.


title: Asymptotic enumeration of permutations avoiding generalized patterns

abstract: Motivated by the recent proof of the Stanley-Wilf conjecture, we study the asymptotic behavior of the number of permutations avoiding a generalized pattern. Generalized patterns allow the requirement that some pairs of letters must be adjacent in an occurrence of the pattern in the permutation, and consecutive patterns are a particular case of them. We determine the asymptotic behavior of the number of permutations avoiding a consecutive pattern, showing that they are an exponentially small proportion of the total number of permutations. For some other generalized patterns we give partial results, showing that the number of permutations avoiding them grows faster than for classical patterns but more slowly than for consecutive patterns.


title: Symmetric inclusion-exclusion

abstract: One form of the inclusion-exclusion principle asserts that if A and B are functions of finite sets then A(S) is the sum of B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|S-T| A(T) over all subsets T of S. If we replace B(S) with (-1)^|S| B(S), we get a symmetric form of inclusion-exclusion: A(S) is the sum of (-1)^|T| B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|T| A(T) over all subsets T of S. We study instances of symmetric inclusion-exclusion in which the functions A and B have combinatorial or probabilistic interpretations. In particular, we study cases related to the Polya-Eggenberger urn model in which A(S) and B(S) depend only on the cardinality of S.


title: Comparison of certain complexes of modules of generalized fractions and Cech complexes

abstract: We establish an explicit quasi-isomophism of complexes, which is homogeneous in graded situation, from a given Cech complex of modules of generalized fractions.


title: On a fully nonlinear Yamabe problem

abstract: We solve the $\sigma_2$-Yamabe problem for a non locally conformally flat manifold of dimension $n>8$.


title: Markov shift in Non-commutative Probability-II

abstract: We study asymptotic behavior of a Markov semigroup on a von-Neumann algebra by exploring a maximal von-Neumann subalgebra where the Markov semigroup is an automorphism. This enables us to prove that strong mixing is equivalent to ergodic property for continuous time Markov semigroup on a type-I von-Neumann algebra with center completely atomic. For discrete time dynamics we prove that an aperiodic ergodic Markov semigroup on a type-I von-Neumann algebra with center completely atomic is strong mixing. There exists a tower of isomorphic von-Neumann algebras generated by the weak Markov process and a unique up to isomorphism minimal dilated quantum dynamics of endomorphisms associated with the Markov semigroup. The dilated endomorphism is pure in the sense of Powers if and only if the adjoint Markov semigroup satisfies Kolmogorov property. As an application of our general results we find a necessary and sufficient condition for a translation invariant state on a quantum spin chain to be pure. We also find a tower of type-II$_1$ factors canonically associated with the canonical conditional expectation on a sub-factor of a type-II$_1$ factor. This tower of factors unlike Jones's tower do not preserve index. This gives a sequence of Jones's numbers as an invariance for the inclusion of a finite sub-factor of a type-II$_1$ factor.


title: The oscillatory distribution of distances in random tries

abstract: We investigate \Delta_n, the distance between randomly selected pairs of nodes among n keys in a random trie, which is a kind of digital tree. Analytical techniques, such as the Mellin transform and an excursion between poissonization and depoissonization, capture small fluctuations in the mean and variance of these random distances. The mean increases logarithmically in the number of keys, but curiously enough the variance remains O(1), as n\to\infty. It is demonstrated that the centered random variable \Delta_n^*=\Delta_n-\lfloor2\log_2n\rfloor does not have a limit distribution, but rather oscillates between two distributions.


title: Subgeometric ergodicity of strong Markov processes

abstract: We derive sufficient conditions for subgeometric f-ergodicity of strongly Markovian processes. We first propose a criterion based on modulated moment of some delayed return-time to a petite set. We then formulate a criterion for polynomial f-ergodicity in terms of a drift condition on the generator. Applications to specific processes are considered, including Langevin tempered diffusions on R^n and storage models.


title: K-teoria de operadores pseudodiferenciais na reta com simbolos semiperiodicos (in Portuguese)

abstract: Let A denote the smallest C*-subalgebra of the algebra of all bounded operators on L^2(R) containing: (i) all multiplications a(M) by functions a in C[-\infty,+\infty], (ii) all multiplications e^{ijM}, j in Z, and (iii) all operators of the form F^{-1}b(M)F, where F denotes the Fourier transform and b is in C[-\infty,+\infty]. It is known that the principal symbol mapping extends to a surjective C*-homomorphism \sigma from A into C(M), where M is a certain compactification of two copies of R. It is also known that E, the kernel of \sigma, contains the compact ideal K and that the quotient of E by K, is isomorphic to the direct sum of two copies of C(S^1,K). Using the explicit form of these two isomorphisms, we are able to compute the connecting mappings in the cyclic exact sequence in K-theory associated to the homomorphism \sigma and to proof that K_0(A) is isomorphic to Z and that K_1(A) is isomorphic to Z^2. The isomorphism from E/K into C(S^1,K) can be to extended to a C*-homomorphism \gamma from A into the direct sum of two copies of C(S^1,B), where B denotes the algebra of all bounded operators on L^2(Z). We prove that the image of \gamma is isomorphic to the direct sum of two copies of the crossed product of C[-\infty,+\infty] by the translation-by-one automorphism. Using the Pimsner-Voiculescu exact sequence, we then compute the K-theory of the image of \gamma. That leads to a second proof that K_0(A) is isomorphic to Z and that K_1(A) is isomorphic to Z^2.


title: Saturated chains in composition posets

abstract: We study three different poset structures on the set of all compositions. In the first case, the covering relation consists of inserting a part of size one to the left or to the right, or increasing the size of some part by one. The resulting poset was studied by the author in "A poset classifying non-commutative term orders", and then in "Standard paths in another composition poset" where some results about generating functions for standard paths in this poset was established. The latter article was inspired by the work of Bergeron, Bousquet-M{\'e}lou and Dulucq on "Standard paths in the composition poset", where they studied a poset where there are additional cover relations which allows the insertion of a part of size one anywhere in the composition. Finally, following a suggestion by Richard Stanley we study yet a third which is an extension of the previous two posets. This poset is related to quasi-symmetric functions. For these posets, we study generating functions for saturated chains of fixed width k. We also construct ``labeled'' non-commutative generating functions and their associated languages.


title: Regularity of volume-minimizing flows on 3-manifolds

abstract: In this article, we show that, for any compact 3-manifold, there is a $C^{1}$ volume-minimizing one-dimensional foliation. More generally, we show the existence of mass-minimizing rectifiable sections of sphere bundles without isolated "pole points" in the base manifold. This same analysis is used to show that the examples, due to Sharon Pedersen, of potentially volume-minimizing rectifiable sections (rectifiable foliations) of the unit tangent bundle to $S^{2n+1}$ are not, in fact, volume minimizing.


title: A Burns-Krantz type theorem for domains with corners

abstract: The goal of this paper is twofold. First, to give purely local boundary uniqueness results for maps defined only on one side as germs at a boundary point and hence not necessarily sending any domain to itself and also under the weaker assumption that $f(z)=z+o(|z-p|^3)$ holds only for $z$ in a proper cone in $D$ with vertex $p$. Such results have no analogues in one complex variable in contrast to the situation when a domain is preserved. And second, to extend the above results from boundaries of domains to submanifolds of higher codimension.


title: Asymptotic results on the moments of the ratio of the random sum of squares to the square of the random sum

abstract: Let \{X_1, X_2, ...\} be a sequence of positive independent and identically distributed random variables of Pareto-type with index \alpha>0 and let \{N(t); t\geq 0\} be a mixed Poisson process independent of the X_i's. For t\geq 0, define T_{N(t)}:=\frac{X_1^2 + X_2^2 + ... + X_{N(t)}^2} {(X_1 + X_2 + ... + X_{N(t)})^2} if N(t)\geq 1 and T_{N(t)}:=0 otherwise. We derive the limiting behavior of the k-th moment of T_{N(t)}, k\in\mathbb{N}, by using the theory of functions of regular variation and an integral representation for \mathbb{E}\{T_{N(t)}^k\}. We also point out the connection between T_{N(t)} and the sample coefficient of variation which is a popular risk measure in practical applications.


title: Singular curves on a K3 surface and linear series on their normalizations

abstract: In this paper, we study the Brill-Noether theory of the normalizations of singular, irreducible curves on a $K3$ surface. We introduce a {\em singular} Brill-Noether number $\rho_{sing}$ and show that if the Picard group of the K3 surface is ${\mathbb Z} [L]$, there are no $g^r_d$'s on the normalizations of irreducible curves in $|L|$, provided that $\rho_{sing} <0$. We give examples showing the sharpness of this result. We then focus on the case of {\em hyperelliptic normalizations}, and classify linear systems $|L|$ containing irreducible nodal curves with hyperelliptic normalizations, for $\rho_{sing}<0$, without any assumption on its Picard group.


title: Chern character for twisted K-theory of orbifolds

abstract: For an orbifold X and $\alpha \in H^3(X, Z)$, we introduce the twisted cohomology $H^*_c(X, \alpha)$ and prove that the Connes-Chern character establishes an isomorphism between the twisted K-groups $K_\alpha^* (X) \otimes C$ and twisted cohomology $H^*_c(X, \alpha)$. This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern character establishes an isomorphism between the K-groups of X tensored with C, and the compactly-supported cohomology of the inertia orbifold. On the other hand, it also generalizes a recent result of Adem-Ruan regarding the Chern character isomorphism of twisted orbifold K-theory when the orbifold is a global quotient by a finite group and the twist is a special torsion class, as well as Mathai-Stevenson's theorem regarding the Chern character isomorphism of twisted K-theory of a compact manifold.


title: Classification of multiplicity free symplectic representations

abstract: Let G be a connected reductive group acting on a finite dimensional vector space V. Assume that V is equipped with a G-invariant symplectic form. Then the ring C[V] of polynomial functions becomes a Poisson algebra. The ring C[V]^G of invariants is a sub-Poisson algebra. We call V multiplicity free if C[V]^G is Poisson commutative, i.e., if {f,g}=0 for all invariants f and g. Alternatively, G also acts on the Weyl algebra W(V) and V is multiplicity free if and only if the subalgebra W(V)^G of invariants is commutative. In this paper we classify all multiplicity free symplectic representations.


title: Amoebas, tropical varieties and compactification of Teichmuller spaces

abstract: In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via tropical varieties. When we apply this construction to the Teichmuller spaces we see that they can be mapped in a real algebraic hypersurface in such a way that the cone over the boundary is a subpolyhedron of a tropical hypersurface. We want to show how some properties of the boundary becomes straightforward if looked at from this point of view. For example there is a PL structure that appears naturally on the boundary, and it is shown to be equivalent to the one defined by Thurston. Also we may see easily that every polynomial relation among trace functions on Teichmuller space may be turned automatically in a tropical relation among intersection forms over the boundary.


title: Experimental determination of Apery-like identities for zeta(2n+2)

abstract: We document the discovery of two generating functions for the Riemann zeta values zeta(2n+2), analogous to earlier work for zeta(2n+1) and zeta(4n+3). This continues work initiated by Koecher and pursued further by Borwein, Bradley and others.


title: A cooperative system which does not satisfy the limit set dichotomy

abstract: The fundamental property of strongly monotone systems, and strongly cooperative systems in particular, is the limit set dichotomy due to Hirsch: if x(0) < y(0), then either omega(x) < omega(y), or omega(x) = omega(y) and both sets consist of equilibria. We provide here a counterexample showing that this property need not hold for (non-strongly) cooperative systems.


title: Mirror Symmetry and Integral Variations of Hodge Structure Underlying One Parameter Families of Calabi-Yau Threefolds

abstract: This proceedings note introduces aspects of the authors' work relating mirror symmetry and integral variations of Hodge structure. The emphasis is on their classification of the integral variations of Hodge structure which can underly families of Calabi-Yau threefolds over the thrice-punctured sphere with b^3 = 4, or equivalently h^{2,1} = 1, and the related issues of geometric realization of these variations. The presentation parallels that of the first author's talk at the BIRS workshop.


title: Cell transfer and monomial positivity

abstract: We give combinatorial proofs that certain families of differences of products of Schur functions are monomial-positive. We show in addition that such monomial-positivity is to be expected of a large class of generating functions with combinatorial definitions similar to Schur functions. These generating functions are defined on posets with labelled Hasse diagrams and include for example generating functions of Stanley's $(P,\omega)$-partitions.


title: A Capture Problem in Brownian Motion and Eigenvalues of Spherical Domains

abstract: We resolve a question of Bramson and Griffeath by showing that the expected capture time of four independent Brownian predators pursuing one Brownian prey on a line is finite. Our main tool is an eigenvalue estimate for a particular spherical domain, which we obtain by a coning construction and domain perturbation.


title: Indigenous bundles with nilpotent $p$-curvature

abstract: We study indigenous bundles in characteristic p>0 with nilpotent p-curvature, and show that they correspond to so-called deformation data. Using this equivalence, we translate the existence problem for deformation data into the existence of polynomial solutions of certain differential equations with additional properties. As in application, we show that P^1 minus four points is hyperbolically ordinary (in the sense of Mochizuki. We also give a concrete application to existence of deformation data with fixed local invariants.


title: Nilfactors of R^m-actions and configurations in sets of positive upper density in R^m

abstract: We use ergodic theoretic tools to solve a classical problem in geometric Ramsey theory. Let E be a measurable subset of R^m, with positive upper density. Let V={0,v_1,...,v_k} be a subset of R^m. We show that for r large enough, we can find an isometric copy of rV arbitrarily close to E. This is a generalization of a theorem of Furstenberg, Katznelson and Weiss showing a similar property for m=k=2.


title: Non-intersection bodies all of whose central sections are intersection bodies

abstract: We construct symmetric convex bodies that are not intersection bodies, but all of their central hyperplane sections are intersection bodies. This result extends the studies by Weil in the case of zonoids and by Neyman in the case of subspaces of $L_p$.


title: The Ariki-Terasoma-Yamada tensor space and the blob-algebra

abstract: We show that the Ariki-Terasoma-Yamada tensor module and its permutation submodules $ M(\lambda) $ are modules for the blob algebra when the Ariki-Koike algebra is a Hecke algebra of type $B$. We show that $ M(\lambda)$ and the standard modules $ \Delta(\lambda) $ have the same dimensions, the same localization and similar restriction properties and are equal in the Grothendieck group. Still we find that the universal property for $ \Delta(\lambda) $ fails for $ M(\lambda) $, making $ M(\lambda) $ and $ \Delta(\lambda) $ different modules in general. Finally, we prove that $ M(\lambda) $ is isomorphic to the dual Specht module for the Ariki-Koike algebra.


title: On the Slicing Genus of Legendrian Knots

abstract: We apply Heegaard-Floer homology theory to establish generalized slicing Bennequin inequalities closely related to a recent result of T. Mrowka and Y. Rollin proved using Seiberg-Witten monopoles.


title: Modules over the small quantum group and semi-infinite flag manifold

abstract: We develop a theory of perverse sheaves on the semi-infinite flag manifold $G((t))/N((t))\cdot T[[t]]$, and show that the subcategory of Iwahori-monodromy perverse sheaves is equivalent to the regular block of the category of representations of the small quantum group at an even root of unity.


title: Poisson integrators for Volterra lattice equations

abstract: The Volterra lattice equations are completely integrable and possess bi-Hamiltonian structure. They are integrated using partitioned Lobatto IIIA-B methods which preserve the Poisson structure. Modified equations are derived for the symplectic Euler and second order Lobatto IIIA-B method. Numerical results confirm preservation of the corresponding Hamiltonians, Casimirs, quadratic and cubic integrals in the long-term with different orders of accuracy.


title: Some Fr\'echet algebras for which the Chern character is an isomorphism

abstract: Using similarities between topological $K$-theory and periodic cyclic homology we show that, after tensoring with $\mathbb C$, for certain Fr\'echet algebras the Chern character provides an isomorphism between these functors. This is applied to prove that the Hecke algebra and the Schwartz algebra of a reductive $p$-adic group have isomorphic periodic cyclic homology. The main theorem in the first version was incorrect for algebras related to noncompact manifolds. This has no effect on the results concerning p-adic groups. In the appendix we show that an analogous cohomological result does hold in the noncompact case.


title: Lindstedt series for periodic solutions of beam equations with quadratic and velocity dependent nonlinearities

abstract: We prove the existence of small amplitude periodic solutions, for a large Lebesgue measure set of frequencies, in the nonlinear beam equation with a weak quadratic and velocity dependent nonlinearity and with Dirichlet boundary conditions. Such nonlinear PDE can be regarded as a simple model describing oscillations of flexible structures like suspension bridges in presence of an uniform wind flow. The periodic solutions are explicitly constructed by means of a perturbative expansion which can be considered the analogue of the Lindstedt series expansion for the invariant tori in classical mechanics. The periodic solutions are not analytic but defined only in a Cantor set, and resummation techniques of divergent powers series are used in order to control the small divisors problem.


title: On the holomorphicity of isometries of intrinsic metrics in complex analysis

abstract: Let $\1$ and $\2$ be $\s$ domains in $\Cn$ and $f: \1 \rt \2$ an isometry for the Kobayashi or Carath\'eodory metrics. Suppose that $f$ extends as a $C^1$ map to $ \bar \om_1$. We then prove that $f|_{\partial \1}: \partial \1 \rt \partial \2$ is a CR or anti-CR diffeomorphism. It follows that $\1$ and $\2$ must be biholomorphic or anti-biholomorphic. The main tool is a metric version of the Pinchuk rescaling technique.


title: Natural Central Extensions of Groups

abstract: Given a group $G$ and an integer $n\geq2$ we construct a new group $\tilde{{\cal K}}(G,n)$. Although this construction naturally occurs in the context of finding new invariants for complex algebraic surfaces, it is related to the theory of central extensions and the Schur multiplier. A surprising application is that Abelian groups of odd order possess naturally defined covers that can be computed from a given cover by a kind of warped Baer sum.


title: Stable determination of the surface impedance of an obstacle by far field measurements

abstract: We deal with the inverse scattering problem of determining the surface impedance of a partially coated obstacle. We prove a stability estimate of logarithmic type for the impedance term by the far field measurements.


title: H-minimal graphs of low regularity in the Heisenberg group

abstract: In this paper we investigate H-minimal graphs of lower regularity. We show that noncharactersitic C^1 H-minimal graphs whose components of the unit horizontal Gauss map are in W^{1,1} are ruled surfaces with C^2 seed curves. In a different direction, we investigate ways in which patches of C^1 H-minimal graphs can be glued together to form continuous piecewise C^1 H-minimal surfaces. We apply these description of H-minimal graphs to the question of the existence of smooth solutions to the Dirichlet problem with smooth data. We find a necessary condition for the existence of smooth solutions and produce examples where the conditions are satisfied and where they fail. In particular we illustrate the failure of the smoothness of the data to force smoothness of the solution to the Dirichlet problem by producing a class of smooth curves whoses H-minimal spanning graphs cannot be C^2.


title: Distortion of wreath products in some finitely presented groups

abstract: Wreath products such as Z wr Z are not finitely-presentable yet can occur as subgroups of finitely presented groups. Here we compute the distortion of Z wr Z as a subgroup of Thompson's group F and as a subgroup of Baumslag's metabelian group G. We find that Z wr Z is undistorted in F but is at least exponentially distorted in G.


title: H_T Vertex Algebras and the Infinite Toda Lattice

abstract: Let H_T=C[T,T^{-1}] be the Hopf algebra of symmetries of a lattice of rank 1, or equivalently, H_T is the group algebra of a free Abelian group with one generator T. We construct conformal algebras, vertex Poisson algebras and vertex algebras with H_T as symmetry. For example, the Hamiltonian structure for the infinite Toda lattice gives rise to an H_T-vertex Poisson structure on a free difference algebra. Examples of H_T-vertex algebras are constructed from representations of a class of infinite dimensional Lie algebras related to H_T in the same way loop algebras are related to the Hopf algebra H_D=C[D] of infinitesimal translations used in the usual vertex algebras.


title: Cokernel bundles and Fibonacci bundles

abstract: We are interested in those bundles $C$ on $\mathbb{P}^N$ which admit a resolution of the form $$ 0 \to \mathbb{C}^s \otimes E \xrightarrow{\mu} \mathbb{C}^t \otimes F \to C \to 0.$$ In this paper we prove that, under suitable conditions on $(E,F)$, a generic bundle with this form is either simple or canonically decomposable. As applications we provide an easy criterion for the stability of such bundles on $\mathbb{P}^2$ and we prove the stability when $E = \mathcal{O}$, $F = \mathcal{O}(1)$ and $C$ is an exceptional bundle on $\mathbb{P}^N$ for $N \geq 2$.


title: Seven views on approximate convexity and the geometry of K-spaces

abstract: As in Hokusai's series of paintings "Thirty six views of mount Fuji" in which mount Fuji's is sometimes scarcely visible, the central topic of this paper is the geometry of $K$-spaces although in some of the seven views presented $K$-spaces are not easily visible. We study the interplay between the behaviour of approximately convex (and approximately affine) functions on the unit ball of a Banach space and the geometry of Banach K-spaces.


title: A note on multitype branching processes with immigration in a random environment

abstract: We consider a multitype branching process with immigration in a random environment introduced by Key in [Ann. Probab. 15 (1987) 344--353]. It was shown by Key that, under the assumptions made in [Ann. Probab. 15 (1987) 344--353], the branching process is subcritical in the sense that it converges to a proper limit law. We complement this result by a strong law of large numbers and a central limit theorem for the partial sums of the process. In addition, we study the asymptotic behavior of oscillations of the branching process, that is, of the random segments between successive times when the extinction occurs and the process starts again with the next wave of the immigration.


title: Constructing quantum vertex algebras

abstract: This is a sequel to \cite{li-qva}. In this paper, we focus on the construction of quantum vertex algebras over $\C$, whose notion was formulated in \cite{li-qva} with Etingof and Kazhdan's notion of quantum vertex operator algebra (over $\C[[h]]$) as one of the main motivations. As one of the main steps in constructing quantum vertex algebras, we prove that every countable-dimensional nonlocal (namely noncommutative) vertex algebra over $\C$, which either is irreducible or has a basis of PBW type, is nondegenerate in the sense of Etingof and Kazhdan. Using this result, we establish the nondegeneracy of better known vertex operator algebras and some nonlocal vertex algebras. We then construct a family of quantum vertex algebras closely related to Zamolodchikov-Faddeev algebras.


title: On the Hasse principle for zero-cycles on Severi-Brauer fibrations

abstract: The Abstract for this revised version is the following: Let k be a number field, let C be a smooth, projective and geometrically integral k-curve and let p:X --> C be a Severi-Brauer k-fibration of squarefree index. Various authors have studied the cokernel of the natural map CH_{0}(X/C)-->\bigoplus_{v}CH_{0}(X_{v}/C_{v}), where CH_{0}(X/C) is the kernel of p_{*}:CH_{0}(X)-->CH_{0}(C). In this paper I obtain an exact sequence which relates the Tate-Shafarevich group of the kernel of the above map to the Tate-Shafarevich group of the Neron-Severi torus of X. I then obtain conditions under which these two groups agree.


title: Sloping Binary Numbers: A New Sequence Related to the Binary Numbers

abstract: If the list of binary numbers is read by upward-sloping diagonals, the resulting ``sloping binary numbers'' 0, 11, 110, 101, 100, 1111, 1010, ... (or 0, 3, 6, 5, 4, 15, 10, ...) have some surprising properties. We give formulae for the n-th term and the n-th missing term, and discuss a number of related sequences.


title: Pointed trees of projective spaces

abstract: We introduce a smooth projective variety $T_{d,n}$ which compactifies the space of configurations of $n$ distinct points on affine $d$-space modulo translation and homothety. The points in the boundary correspond to $n$-pointed stable rooted trees of $d$-dimensional projective spaces, which for $d = 1$, are $(n+1)$-pointed stable rational curves. In particular, $T_{1,n}$ is isomorphic to $\bar{M}_{0,n+1}$, the moduli space of such curves. The variety $T_{d,n}$ shares many properties with $\bar{M}_{0,n}$. For example, as we prove, the boundary is a smooth normal crossings divisor whose components are products of $T_{d,i}$ for $i < n$, it has an inductive construction analogous to but differing from Keel's for $\bar{M}_{0,n}$ which can be used to describe its Chow groups, Chow motive and Poincar\'e polynomials, generalizing \cite{Keel,Man:GF}. We give a presentation of the Chow rings of $T_{d,n}$, exhibit explicit dual bases for the dimension 1 and codimension 1 cycles. The variety $T_{d,n}$ is embedded in the Fulton-MacPherson spaces $X[n]$ for \textit{any} smooth variety $X$ and we use this connection in a number of ways. For example, to give a family of ample divisors on $T_{d,n}$ and to give an inductive presentation of the Chow groups and the Chow motive of $X[n]$ analogous to Keel's presentation for $\bar{M}_{0,n}$, solving a problem posed by Fulton and MacPherson.


title: On transverse Hopf links

abstract: We classify transverse Hopf links in the standard contact 3-space up to transverse isotopy in terms of their components' self-linking number.


title: Regular and oscillatory parts for basic functions of prime numbers. I Regular parts

abstract: We consider the regular parts for basic functions of prime numbers with Riemann approximation accuracy.


title: Algorithmic Reduction and Rational General Solutions of First Order Algebraic Differential Equations

abstract: First order algebraic differential equations are considered. An necessary condition for a first order algebraic differential equation to have a rational general solution is given: the algebraic genus of the equation should be zero. Combining with Fuchs' conditions for algebraic differential equations without movable critical point, an algorithm is given for the computation of rational general solutions of these equations if they exist under the assumption that a rational parametrization is provided. It is based on an algorithmic reduction of first order algebraic differential equations with algebraic genus zero and without movable critical point to classical Riccati equations.


title: Small Gaps between Primes Exist

abstract: In the recent preprint [3], Goldston, Pintz, and Y{\i}ld{\i}r{\i}m established, among other things, $$ \liminf_{n\to\infty}{p_{n+1}-p_n\over\log p_n}=0,\leqno(0) $$ with $p_n$ the $n$th prime. In the present article, which is essentially self-contained, we shall develop a simplified account of the method used in [3]. While [3] also includes quantitative versions of $(0)$, we are concerned here solely with proving the qualitative $(0)$, which still exhibits all the essentials of the method. We also show here that an improvement of the Bombieri--Vinogradov prime number theorem would give rise infinitely often to bounded differences between consecutive primes. We include a short expository last section. Detailed discussions of quantitative results and a historical review will appear in the publication version of [3] and its continuations.


title: A Note on the Size of the Largest Ball Inside a Convex Polytope

abstract: Let $m>1$ be an integer, $B_m$ the set of all unit vectors of $\Bbb R^m$ pointing in the direction of a nonzero integer vector of the cube $[-1, 1]^m$. Denote by $s_m$ the radius of the largest ball contained in the convex hull of $B_m$. We determine the exact value of $s_m$ and obtain the asymptotic equality $s_m\sim\frac{2}{\sqrt{\log m}}$.


title: Khintchine type inequalities for reduced free products and Applications

abstract: We prove Khintchine type inequalities for words of a fixed length in a reduced free product of $C^*$-algebras (or von Neumann algebras). These inequalities imply that the natural projection from a reduced free product onto the subspace generated by the words of a fixed length $d$ is completely bounded with norm depending linearly on $d$. We then apply these results to various approximation properties on reduced free products. As a first application, we give a quick proof of Dykema's theorem on the stability of exactness under the reduced free product for $C^*$-algebras. We next study the stability of the completely contractive approximation property (CCAP) under reduced free product. Our first result in this direction is that a reduced free product of finite dimensional $C^*$-algebras has the CCAP. The second one asserts that a von Neumann reduced free product of injective von Neumann algebras has the weak-$*$ CCAP. In the case of group $C^*$-algebras, we show that a free product of weakly amenable groups with constant 1 is weakly amenable.


title: Vector-valued Littlewood-Paley-Stein theory for semigroups

abstract: We develop a generalized Littlewood-Paley theory for semigroups acting on $L^p$-spaces of functions with values in uniformly convex or smooth Banach spaces. We characterize, in the vector-valued setting, the validity of the one-sided inequalities concerning the generalized Littlewood-Paley-Stein $g$-function associated with a subordinated Poisson symmetric diffusion semigroup by the martingale cotype and type properties of the underlying Banach space. We show that in the case of the usual Poisson semigroup and the Poisson semigroup subordinated to the Ornstein-Uhlenbeck semigroup on ${\mathbb R}^n$, this general theory becomes more satisfactory (and easier to be handled) in virtue of the theory of vector-valued Calder\'on-Zygmund singular integral operators.


title: On the maximality of subdiagonal algebras

abstract: We consider Arveson's problem on the maximality of subdiagonal algebras. We prove that a subdiagonal algebra is maximal if it is invariant under the modular group of a faithful normal state which is preserved by the conditional expectation associated with the subdiagonal algebra.


title: A description of $(C_p[L_p(M)], R_p[L_p(M)])_\theta$

abstract: We give a simple explicit description of the norm in the complex interpolation space $(C_p[L_p(M)], R_p[L_p(M)])_\theta$ for any von Neumann algebra $M$ and any $1\le p\le\infty$.


title: Operator space Grothendieck inequalities for noncommutative $L_p$-spaces

abstract: We prove the operator space Grothendieck inequality for bilinear forms on subspaces of noncommutative $L_p$-spaces with $2<p<\infty$. One of our results states that given a map $u: E\to F^*$, where $E, F\subset L_p(M)$ ($2<p<\infty$, $M$ being a von Neumann algebra), $u$ is completely bounded iff $u$ factors through a direct sum of a $p$-column space and a $p$-row space. We also obtain several operator space versions of the classical little Grothendieck inequality for maps defined on a subspace of a noncommutative $L_p$-space ($2<p<\infty$) with values in a $q$-column space for every $q\in [p', p]$ ($p'$ being the index conjugate to $p$). These results are the $L_p$-space analogues of the recent works on the operator space Grothendieck theorems by Pisier and Shlyakhtenko. The key ingredient of our arguments is some Khintchine type inequalities for Shlyakhtenko's generalized circular systems. One of our main tools is a Haagerup type tensor norm, which turns out particularly fruitful when applied to subspaces of noncommutative $L_p$-spaces ($2<p<\infty$). In particular, we show that the norm dual to this tensor norm, when restricted to subspaces of noncommutative $L_p$-spaces, is equal to the factorization norm through a $p$-row space.


title: Embedding of $C_q$ and $R_q$ into noncommutative $L_p$-spaces, $1\le p<q\le 2$

abstract: We prove that a quotient of subspace of $C_p\oplus_pR_p$ ($1\le p<2$) embeds completely isomorphically into a noncommutative $L_p$-space, where $C_p$ and $R_p$ are respectively the $p$-column and $p$-row Hilbertian operator spaces. We also represent $C_q$ and $R_q$ ($p<q\le2$) as quotients of subspaces of $C_p\oplus_pR_p$. Consequently, $C_q$ and $R_q$ embed completely isomorphically into a noncommutative $L_p(M)$. We further show that the underlying von Neumann algebra $M$ cannot be semifinite.


title: Noncommutative maximal ergodic theorems

abstract: This paper is devoted to the study of various maximal ergodic theorems in noncommutative $L_p$-spaces. In particular, we prove the noncommutative analogue of the classical Dunford-Schwartz maximal ergodic inequality for positive contractions on $L_p$ and the analogue of Stein's maximal inequality for symmetric positive contractions. We also obtain the corresponding individual ergodic theorems. We apply these results to a family of natural examples which frequently appear in theory of von Neumann algebras and in quantum probability.


title: On the best constants in some non-commutative martingale inequalities

abstract: We determine the optimal orders for the best constants in the non-commutative Burkholder-Gundy, Doob and Stein inequalities obtained recently in the non-commutative martingale theory.


title: On a Gauss-Givental Representation of Quantum Toda Chain Wave Function

abstract: We propose group theory interpretation of the integral representation of the quantum open Toda chain wave function due to Givental. In particular we construct the representation of $U((\mathfrak{gl}(N))$ in terms of first order differential operators in Givental variables. The construction of this representation turns out to be closely connected with the integral representation based on the factorized Gauss decomposition. We also reveal the recursive structure of the Givental representation and provide the connection with the Baxter $Q$-operator formalism. Finally the generalization of the integral representation to the infinite and periodic quantum Toda wave functions is discussed.


title: Evans-Kishimoto type argument for actions of discrete amenable groups on McDuff factors

abstract: We apply the Evans-Kishimoto type argument for centrally free actions of discrete amenable groups on McDuff factors, and classify them. Especially, we present a different proof that the Connes-Takesaki modules are complete cocycle conjugacy invariants for centrally free actions of discrete amenable groups on injective factors.


title: Fibered Multilinks and singularities $f \bar g$

abstract: In this article we extend Milnor's fibration theorem for complex singularities to the case of singularities $f \bar g:(X,P) \to (C,0))$ defined on a complex analytic singularity germ $(X,P)$, with $f, g$ holomorphic and $f \bar g$ having an isolated critical value at $0 \in C$. This can also be regarded as a result for meromorphic germs. Then we strenghten this fibration theorem when $X$ has complex dimension 2, obtaining a fibration theorem for multilinks that extends previous work by Pichon. We prove that the multilink $L_{f \bar g}$ in $L_X$ (the link of $X$), is fibred iff the map $f \bar g$ has an isolated critical value at $0 \in C$, and in this case the map $\frac{f \bar g}{|f \bar g|}$ defined on $L_X \setminus L_{f \bar g}$ is a multilink fibration.We also give a combinatorial criterium, easy to verify, to decide when is $L_{f \bar g}$ a fibred multilink. We finally prove a realization theorem for fibred multilinks.


title: Estimates of moments and tails of Gaussian chaoses

abstract: We derive two-sided estimates on moments and tails of Gaussian chaoses, that is, random variables of the form $\sum a_{i_1,...,i_d}g_{i_1}... g_{i_d}$, where $g_i$ are i.i.d. ${\mathcal{N}}(0,1)$ r.v.'s. Estimates are exact up to constants depending on $d$ only.


title: A proof of a generalization of Deligne's conjecture

abstract: The goal of this paper is to give a simple proof of Deligne's conjecture (proven by Fujiwara) and to generalize it to the situation appearing in our joint project with David Kazhdan on the global Langlands correspondence over function fields. Our proof holds in the realm of ordinary algebraic geometry and does not use rigid geometry.


title: Factoring the Adjoint and Maximal Cohen--Macaulay Modules over the Generic Determinant

abstract: A question of Bergman asks whether the adjoint of the generic square matrix over a field can be factored nontrivially as a product of square matrices. We show that such factorizations indeed exist over any coefficient ring when the matrix has even size. Establishing a correspondence between such factorizations and extensions of maximal Cohen--Macaulay modules over the generic determinant, we exhibit all factorizations where one of the factors has determinant equal to the generic determinant. The classification shows not only that the Cohen--Macaulay representation theory of the generic determinant is wild in the tame-wild dichotomy, but that it is quite wild: even in rank two, the isomorphism classes cannot be parametrized by a finite-dimensional variety over the coefficients. We further relate the factorization problem to the multiplicative structure of the $\Ext$--algebra of the two nontrivial rank-one maximal Cohen--Macaulay modules and determine it completely.


title: Non Stopping Times and Stopping Theorems

abstract: Given a random time, we characterize the set of martingales for which the stopping theorems still hold. We also investigate how the stopping theorems are modified when we consider arbitrary random times. To this end, we introduce some families of martingales with remarkable properties. We also investigate, in the Brownian setting, the relationships between a given random time and the underlying Brownian Motion in the progressively enlarged filtration with respect to this random time.


title: An explicit form for Kerov's character polynomials

abstract: Kerov considered the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as a polynomial in free cumulants. Biane has proved that this polynomial has integer coefficients, and made various conjectures. Recently, Sniady has proved Biane's conjectured explicit form for the first family of nontrivial terms in this polynomial. In this paper, we give an explicit expression for all terms in Kerov's character polynomials. Our method is through Lagrange inversion.


title: Automorphism groups of maps, surfaces and Smarandache geometries

abstract: A combinatorial map is a connected topological graph cellularly embedded in a surface. This monograph concentrates on the automorphism group of a map, which is related to the automorphism group of a Klein surface and a Smarandache manifold, also applied to the enumeration of unrooted maps on orientable and non-orientable surfaces. A number of results for the enumeration of unrooted maps underlying a graph on orientable and non-orientable surfaces are discovered. An elementary classification for the closed s-manifolds is found. Open problems related the combinatorial maps with the differential geometry, Riemann geometry and Smarandache geometries are also presented in this monograph for the further application of the combinatorial maps to the classical mathematics.


title: $\sigma$-Derivations in Banach Algebras

abstract: Introducing the notions of (inner) $\sigma$-derivation, (inner) $\sigma$-endomorphism and one-parameter group of $\sigma$-endomorphisms ($\sigma$-dynamics) on a Banach algebra, we correspond to each $\sigma$-dynamics a $\sigma$-derivation named as its $\sigma$-infinitesimal generator. We show that the $\sigma$-infinitesimal generator of a $\sigma$-dynamics of inner $\sigma$-endomorphisms is an inner $\sigma$-derivation and deal with the converse. We also establish a nice generalized Leibniz formula and extend the Kleinenckr--Sirokov theorem for $\sigma$-derivations under certain conditions.


title: Invariant Tensors Formulae via Chord Diagrams

abstract: We provide an explicit algorithm to calculate invariant tensors for the adjoint representation of the simple Lie algebra $sl(n)$, as well as arbitrary representation in terms of roots. We also obtain explicit formulae for the adjoint representations of the orthogonal and symplectic Lie algebras $so(n)$ and $sp(n)$.


title: On the explicit reconstruction of a Riemann surface from its Dirichlet-Neumann operator

abstract: This article gives a complex analysis lighting on the problem which consists in restoring a bordered connected riemaniann surface from its boundary and its Dirichlet-Neumann operator. The three aspects of this problem, unicity, reconstruction and characterization are approached.


title: All integral slopes can be Seifert fibered slopes for hyperbolic knots

abstract: Which slopes can or cannot appear as Seifert fibered slopes for hyperbolic knots in the 3-sphere S^3? It is conjectured that if r-surgery on a hyperbolic knot in S^3 yields a Seifert fiber space, then r is an integer. We show that for each integer n, there exists a tunnel number one, hyperbolic knot K_n in S^3 such that n-surgery on K_n produces a small Seifert fiber space.


title: Endomorphism rings of finite global dimension

abstract: For a commutative local ring $R$, consider (noncommutative) $R$-algebras $\Lambda$ of the form $\Lambda = End_R(M)$ where $M$ is a reflexive $R$-module with nonzero free direct summand. Such algebras $\Lambda$ of finite global dimension can be viewed as potential substitutes for, or analogues of, a resolution of singularities of $Spec R$. For example, Van den Bergh has shown that a three-dimensional Gorenstein normal $C$-algebra with isolated terminal singularities has a crepant resolution of singularities if and only if it has such an algebra $\Lambda$ with finite global dimension and which is maximal Cohen--Macaulay over $R$ (a ``noncommutative crepant resolution of singularities''). We produce algebras $\Lambda=End_R(M)$ having finite global dimension in two contexts: when $R$ is a reduced one-dimensional complete local ring, or when $R$ is a Cohen--Macaulay local ring of finite Cohen--Macaulay type. If in the latter case $R$ is Gorenstein, then the construction gives a noncommutative crepant resolution of singularities in the sense of Van den Bergh.


title: Hodge metrics and positivity of direct images

abstract: Building on Fujita-Griffiths method of computing metrics on Hodge bundles, we show that the direct image of an adjoint semi-ample line bundle by a projective submersion has a continuous metric with Griffiths semi-positive curvature. This shows that for every holomorphic semi-ample vector bundle $E$ on a complex manifold, and every positive integer $k$, the vector bundle $S^kE\otimes\det E$ has a continuous metric with Griffiths semi-positive curvature. If $E$ is ample on a projective manifold, the metric can be made smooth and Griffiths positive.


title: The Decomposition of Lie Powers

abstract: Let G be a group, F a field of prime characteristic p and V a finite-dimensional FG-module. Let L(V) denote the free Lie algebra on V regarded as an FG-submodule of the free associative algebra (or tensor algebra) T(V). For each positive integer r, let L^r(V) and T^r(V) be the rth homogeneous components of L(V) and T(V), respectively. Here L^r(V) is called the rth Lie power of V. Our main result is that there are submodules B_1, B_2, ... of L(V) such that, for all r, B_r is a direct summand of T^r(V) and, whenever m \geq 0 and k is not divisible by p, $$ L^{p^mk}(V) = L^{p^m}(B_k) \oplus L^{p^{m-1}}(B_{pk}) \oplus ... \oplus L^p(B_{p^{m-1}k}) \oplus L^1(B_{p^mk}). $$ Thus every Lie power is a direct sum of Lie powers of p-power degree. The approach builds on an analysis of T^r(V) as a bimodule for G and the Solomon descent algebra.


title: On the distribution of r-tuples of squarefree numbers in short intervals

abstract: We cosider the number of r-tuples of squarefree numbers in a short interval. We prove that it cannot be much bigger than the expected value and we also estabish an asymptotic formula if the interval is not very short.


title: Uniruled varieties with split tangent bundle

abstract: Beauville asked if a compact K\"ahler manifold with split tangent bundle has a universal covering that is a product of manifolds. We use Mori theory and elementary results about holomorphic foliations to study this problem for projective uniruled varieties. In particular we obtain an affirmative answer for rationally connected varieties in any dimension and uniruled varieties in dimension 4.


title: T-homotopy and refinement of observation (II) : Adding new T-homotopy equivalences

abstract: This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of observation. And it is proved that up to weak S-homotopy, a old T-homotopy equivalence is a new T-homotopy equivalence. The left-properness of the weak S-homotopy model category of flows is also established in this second part. The latter fact is used several times in the next papers of this series.


title: T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies

abstract: This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this third part, it is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. These homology theories are of interest in computer science since they detect the non-deterministic branching and merging areas of execution paths in the time flow of a higher dimensional automaton. The proof is based on Reedy model category techniques.


title: A Generalized Macaulay Theorem and Generalized Face Rings

abstract: We prove that the $f$-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the "diamond property", discussed by Wegner, as spacial cases. Specializing the proof to that later family, one obtains the Kruskal-Katona inequalities and their proof as in Wegner's. For geometric meet semi lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which include also multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.


title: T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type

abstract: This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and the associated cofibrations of flows. In this fourth part, it is proved that the generalized T-homotopy equivalences preserve the underlying homotopy type of a flow. The proof is based on Reedy model category techniques.


title: Limiting behavior of a diffusion in an asymptotically stable environment

abstract: Let $V$ be a two sided random walk and let $X$ denote a real valued diffusion process with generator ${1/2}e^{V([x])}\frac{d}{dx}(e^{-V([x])}\frac{d}{dx})$. This process is known to be the continuous equivalent of the one dimensional random walk in random environment with potential $V$. Hu and Shi (1997) described the L\'evy classes of $X$ in the case where $V$ behaves approximately like a Brownian motion. In this paper, based on some fine results on the fluctuations of random walks and stable processes, we obtain an accurate image of the almost sure limiting behavior of $X$ when $V$ behaves asymptotically like a stable process. These results also apply for the corresponding random walk in random environment.


title: Recursive Aggregation of Estimators by Mirror Descent Algorithm with Averaging

abstract: We consider a recursive algorithm to construct an aggregated estimator from a finite number of base decision rules in the classification problem. The estimator approximately minimizes a convex risk functional under the l1-constraint. It is defined by a stochastic version of the mirror descent algorithm (i.e., of the method which performs gradient descent in the dual space) with an additional averaging. The main result of the paper is an upper bound for the expected accuracy of the proposed estimator. This bound is of the order $\sqrt{(\log M)/t}$ with an explicit and small constant factor, where $M$ is the dimension of the problem and $t$ stands for the sample size. A similar bound is proved for a more general setting that covers, in particular, the regression model with squared loss.


title: Rigidity and the Lower Bound Theorem for Doubly Cohen-Macaulay Complexes

abstract: We prove that for $d\geq 3$, the 1-skeleton of any $(d-1)$-dimensional doubly Cohen Macaulay (abbreviated 2-CM) complex is generically $d$-rigid. This implies the following two corollaries (by Kalai and Lee respectively): Barnette's lower bound inequalities for boundary complexes of simplicial polytopes hold for every 2-CM complex (of dimension $\geq 2$). Moreover, the initial part $(g_0,g_1,g_2)$ of the $g$-vector of a 2-CM complex (of dimension $\geq 3$) is an $M$-sequence. It was conjectured by Bj\"{o}rner and Swartz that the entire $g$-vector of a 2-CM complex is an $M$-sequence.


title: On limits of finite graphs

abstract: We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.


title: What scalars should we use ?

abstract: There are compelling historical and mathematical reasons why we ended up, among others in Physics, with using the scalars given by the real or the complex numbers. Recently, however, infinitely many easy to construct and use other algebras of scalars have quite naturally emerged in a number of branches of Applied Mathematics. These algebras of scalars can deal with the long disturbing difficulties encountered in Physics, related to such phenomena as "infinities in Physics", "re-normalization", the "Feynman path integral", and so on. Specifically, as soon as one is dealing with scalars in algebras which - unlike the reals R and complex numbers C - are no longer Archimedean, one can deal with a large variety of "infinite" quantities and do so within the usual rules and with the usual operations of algebra. Here we present typical constructions of these recently emerged algebras of scalars, most of them non-Archimedean.


title: Hilbert's 14th Problem and Cox Rings

abstract: Our main result is the description of generators of the total coordinate ring of the blow-up of $P^n$ in any number of points that lie on a rational normal curve. As a corollary we show that the algebra of invariants of the action of a two-dimensional vector group introduced by Nagata is finitely generated by certain explicit determinants. We also prove the finite generation of the algebras of invariants of actions of vector groups related to T-shaped Dynkin diagrams introduced by Mukai.


title: Non-Subelliptic estimates for the tangential Cauchy-Riemann system

abstract: We prove non-subelliptic estimates for the tangential Cauchy-Riemann system over a weakly "$q$-pseudoconvex" higher codimensional submanifold $M$ of $\C^n$. Let us point out that our hypotheses do not suffice to guarantee subelliptic estimates, in general. Even more: hypoellipticity of the tangential C-R system is not in question (as shows the example by Kohn in case of a Levi-flat hypersurface). However our estimates suffice for existence of smooth solutions to the inhomogeneous C-R equations in certain degree. The main ingredients in our proofs are the weighted $L^2$ estimates by H\"ormander and Kohn and the tangential $\bar\partial$-Neumann operator by Kohn. As for the notion of $q$ pseudoconvexity we follow closely Zampieri. The main technical result is a version for "perturbed" $q$-pseudoconvex domains of a similar result by Ahn who generalizes in turn Chen-Shaw.


title: A Fake Projective Plane with an order 7 automorphism

abstract: A fake projective plane is a compact complex manifold of dimension 2 which has the same Betti numbers as the complex projective plane, but not isomorphic to the complex projective plane. As was shown by D. Mumford, there exists at least one such surface. In this paper we prove the existence of a fake projective plane which is birational to a cyclic cover of degree 7 of a Dolgachev surface.


title: Solvable Lie algebras, products by generators and some of its applications

abstract: In this work we generalize the concept of product by generators to the class of solvable Lie algebras. We analyze the number of invariants by the coadjoint representation by means of Maurer-Cartan equations and give some applications to product structures on Lie algebras.


title: Grothendieck rings of o-minimal expansions of ordered abelian groups

abstract: We will calculate completely the Grothendieck rings, in the sense of first order logic, of o-minimal expansions of ordered abelian groups by introducing the notion of the bounded Euler characteristic.


title: Topology of the Generic Hamiltonian Foliations on the Riemann Surface

abstract: Topology of the Generic Hamiltonian Dynamical Systems on the Riemann Surfaces given by the real part of the generic holomorphic 1-forms, is studied. Our approach is based on the notion of Transversal Canonical Basis of Cycles (TCB). This approach allows us to present a convenient combinatorial model of the whole topology of the flow, especially effective for g=2. A maximal abelian covering over the Riemann Surface is needed here. The complete combinatorial model of the flow is constructed. It consists of the Plane Diagram and g straight line flows in the 2-tori ''with obstacles''. The Fundamental Semigroup of positive closed paths transversal to foliation, and the topological characteristics of trajectories, are studied. This work contains an improved exposition of the results presented in the authors recent preprint (arXiv math.GT/0105338) and new results calculating all TCB in the 2-torus with obstacle, in terms of Continued Fractions.


title: Circle actions on simply connected 5--manifolds

abstract: The aim of this paper is to study compact 5--manifolds which admit fixed point free circle actions. The first result implies that the torsion in the second homology and the second Stiefel--Whitney class have to satisfy strong restrictions. We then show that for simply connected 5--manifolds these restrictions are necessary and sufficient.


title: The Efficient Evaluation of the Hypergeometric Function of a Matrix Argument

abstract: We present new algorithms that efficiently approximate the hypergeometric function of a matrix argument through its expansion as a series of Jack functions. Our algorithms exploit the combinatorial properties of the Jack function, and have complexity that is only linear in the size of the matrix.


title: Existential questions in (relatively) hyperbolic groups {\it and} Finding relative hyperbolic structures

abstract: This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in (relatively) hyperbolic groups". We study there the existential theory of torsion free hyperbolic and relatively hyperbolic groups, in particular those with virtually abelian parabolic subgroups. We show that the satisfiability of systems of equations and inequations is decidable in these groups. In the second part, called "Finding relative hyperbolic structures", we provide a general algorithm that recognizes the class of groups that are hyperbolic relative to abelian subgroups.


title: $CR$ Extension from manifolds of higher type

abstract: In this paper, a generalization of the "sector property" theorem first pioneered by Baouendi, Rothschild and Treves is given. The main contribution consists in showing that if a submanifold of $\C^n$ with higher codimension is locally presented in a weighted normal form, similar to that described by Bloom and Graham, then a characterization is given as to when a vector in the tangent space belongs to the analytic wave front set for the set of locally defined CR functions on the submanifold. This characterization is described in terms of the sign of the inner product of this vector with the local graphing functions for the submanifold on sectors of suitable size along complex lines in its tangent space. Examples are given to show that under certain circumstances, the results are sharp. Previous results by Baouendi et. al. contained a semi-rigidity assumption which is not assumed in the present paper. The hypoanalytic wave front set determines the cone of directions in which CR functions extend analytically to the ambient space and thus provides an explicit description of the local hull of holomorphy of a submanifold of $\C^n$.


title: Minimal free resolutions of projective subschemes of small degree

abstract: We discuss the minimal free resolution of an irreducible projective subscheme X. If X is also reduced, we focus on the case when its degree equals two plus the codimension. The set of all possible graded Betti numbers is described if the codimension is two. In general, there are only partial results. Then we discuss Cohen-Macaulay structures on a linear subspace. For such curves of degree two, the classification has been obtained by Notari, Spreafico, and the author. In general, the classification problem seems rather difficult. Vatne has shown that such a classification of structures whose degree is at most three, is equivalent to Hartshorne's conjecture on smooth varieties of codimension two.


title: On the trace map between absolutely abelian number fields of equal conductor

abstract: Let L/K be an extension of absolutely abelian number fields of equal conductor, n. The image of the ring of integers of L under the trace map from L to K is an ideal in the ring of integers in K. We compute the absolute norm of this ideal exactly for any such L/K, thereby sharpening an earlier result of Kurt Girstmair. Furthermore, we define an "adjusted trace map" that allows the proof of Leopoldt's Theorem to be reduced to the cyclotomic case.


title: On Plumbed L-spaces

abstract: L-spaces were introduced by Ozsvath and Szabo using the Heegaard Floer Homology. In the quest for L-spaces we consider links of isolated complete intersection surface singularities. We show that if such a manifold is an L-space, then it is a link of a rational singularity. We also prove that if it is not an L-space then it admits a symplectic filling with $b_2^+>0$. Based on these results we pin down all integral homology sphere L-spaces in this realm.


title: Stokes Matrix for the Quantum Cohomology of Cubic Surfaces

abstract: We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric degeneration of cubic surfaces, the Givental's mirror theorem for toric manifolds, and the Picard-Lefschetz theory.


title: On the geometry of toric arrangements

abstract: We introduce toric arrangements, essentially finite families of codimension 1 subtori of a torus or of their cosets, as a periodic generalization of hyperplane arrangements, compute cohomology of the complement of such an arrangement and apply the theory to give a geometric interpretation of the formulas of Brion--Szenes--Vergne counting the number of integral points in polytopes.


title: On the maximal order of numbers in the "factorisatio numerorum" problem

abstract: Let m(n) be the number of ordered factorizations of n in factors larger than 1. We prove that for every eps>0 n^{rho} m(n) < exp[(log n)^{1/rho}/(loglog n)^{1+eps}] holds for all integers n>n_0, while, for a constant c>0, n^{rho} m(n) > exp[c(log n)^{1/\rho}/(loglog n)^{1/rho}] holds for infinitely many positive integers n, where rho=1.72864... is the real solution to zeta(rho)=2. We investigate also arithmetic properties of m(n) and the number of distinct values of m(n).


title: Non-Uniform in Time Robust Global Asymptotic Output Stability for Discrete-Time Systems

abstract: In this paper the notions of non-uniform in time Robust Blobal Asymptotic Output Stability (RGAOS) and Input-to-Output Stability (IOS) for discrete-time systems are studied. Characterizations as well as links between these notions are provided. Particularly, it is shown that a discrete-time system with continuous dynamics satisfies the non-uniform in time IOS property if and only if the corresponding unforced system is non-uniformly in time RGAOS. Necessary and sufficient conditions for the solvability of the Robust Output Feedback Stabilization (ROFS) problem are also given.


title: Arithmetic Geometry and Analysis on Foliated Spaces

abstract: This report on the topics in the title was written for a lecture series at the Southwestern Center for Arithmetic Algebraic Geometry at the University of Arizona.It may serve as an introduction to certain conjectural relations between number theory and the theory of dynamical systems on foliated spaces. The material is based on streamlined and updated versions of earlier papers on this subject.


title: A kernel type nonparametric density estimator for decompounding

abstract: Given a sample from a discretely observed compound Poisson process, we consider estimation of the density of the jump sizes. We propose a kernel type nonparametric density estimator and study its asymptotic properties. An order bound for the bias and an asymptotic expansion of the variance of the estimator are given. Pointwise weak consistency and asymptotic normality are established. The results show that, asymptotically, the estimator behaves very much like an ordinary kernel estimator.


title: Rokhlin actions and self-absorbing C*-algebras

abstract: Let A be a unital separable C*-algebra, and D a K_1-injective strongly self-absorbing C*-algebra. We show that if A is D-absorbing, then the crossed product of A by a compact second countable group or by Z or by R is D-absorbing as well, assuming the action satisfying a Rokhlin property. In the case of a compact Rokhlin action we prove a similar statement about approximate divisibility.


title: On the Hodge conjecture for products of certain surfaces

abstract: In this paper we prove the Hodge conjecture for products of the form $S_1 \times ... S_n$, where $S_i$ are smooth projective surfaces such that $p_g(S_i)=1, q(S_i)=2$. We also prove the Hodge conjecture for arbitrary self-products of a K3 surface $X$ such that $End_{hodge}(T(X))$ is a CM number field.


title: Equation-Free Dynamic Renormalization: Self-Similarity in Multidimensional Particle System Dynamics

abstract: We present an equation-free dynamic renormalization approach to the computational study of coarse-grained, self-similar dynamic behavior in multidimensional particle systems. The approach is aimed at problems for which evolution equations for coarse-scale observables (e.g. particle density) are not explicitly available. Our illustrative example involves Brownian particles in a 2D Couette flow; marginal and conditional Inverse Cumulative Distribution Functions (ICDFs) constitute the macroscopic observables of the evolving particle distributions.


title: On vanishing of Abelian integrals and contraction of genus two curves

abstract: The paper is withdrawn.


title: On large-sample estimation and testing via quadratic inference functions for correlated data

abstract: Hansen (1982) proposed a class of "generalized method of moments" (GMMs) for estimating a vector of regression parameters from a set of score functions. Hansen established that, under certain regularity conditions, the estimator based on the GMMs is consistent, asymptotically normal and asymptotically efficient. In the generalized estimating equation framework, extending the principle of the GMMs to implicitly estimate the underlying correlation structure leads to a "quadratic inference function" (QIF) for the analysis of correlated data. The main objectives of this research are to (1) formulate an appropriate estimated covariance matrix for the set of extended score functions defining the inference functions; (2) develop a unified large-sample theoretical framework for the QIF; (3) derive a generalization of the QIF test statistic for a general linear hypothesis problem involving correlated data while establishing the asymptotic distribution of the test statistic under the null and local alternative hypotheses; (4) propose an iteratively reweighted generalized least squares algorithm for inference in the QIF framework; and (5) investigate the effect of basis matrices, defining the set of extended score functions, on the size and power of the QIF test through Monte Carlo simulated experiments.


title: Ozsvath-Szabo and Rasmussen invariants of doubled knots

abstract: Let \nu be any integer-valued additive knot invariant that bounds the smooth 4-genus of a knot K, |\nu(K)| <= g_4(K), and determines the 4-ball genus of positive torus knots, \nu(T_{p,q}) = (p-1)(q-1)/2. Either of the knot concordance invariants of Ozsvath-Szabo or Rasmussen, suitably normalized, have these properties. Let D_{\pm}(K,t) denote the positive or negative t-twisted double of K. We prove that if \nu(D_{+}(K,t)) = \pm 1, then \nu(D_{-}(K,t)) = 0. It is also shown that \nu(D_{+}(K,t))= 1 for all t <= TB(K) and \nu(D_{+}(K, t)) = 0 for all t \ge -TB(-K), where TB(K) denotes the Thurston-Bennequin number. A realization result is also presented: for any 2g \times 2g Seifert matrix A and integer a, |a| <= g, there is a knot with Seifert form A and \nu(K) = a.


title: Intersection pairings on singular moduli spaces of bundles over a Riemann surface and their partial desingularisations

abstract: This paper studies intersection theory on the compactified moduli space M(n,d) of holomorphic bundles of rank n and degree d over a fixed compact Riemann surface of genus g > 1 where n and d may have common factors. Because of the presence of singularities we work with the intersection cohomology groups defined by Goresky and MacPherson and the ordinary cohomology groups of a certain partial resolution of singularities of M(n,d). Based on our earlier work, we give a precise formula for the intersection cohomology pairing and provide a method to calculate pairings on the partial resolution of singularities of M(n,d). The case when n=2 is discussed in detail. Finally Witten's integral is considered for this singular case.


title: Counting maps from a surface to a graph

abstract: Let F be a non-abelian finite rank free group, and let H_g be the fundamental group of a surface of genus g with one boundary component represented by D_g in H_g. So, H_g is the free group <a_1,b_1,...,a_g,b_g> and D_g is the product of commutators [a_1,b_1]...[a_g,b_g]. Given x in F, we are interested in the number num(x) of primitive, i.e. root-free, images of monomorphisms (H_g,D_g) -> (F,x). Our main result is that f(g) >= 2^g where f(g)=sup num(x), where sup is taken over all elements x in F. This answers a question of Zlil Sela that is related to his work on the Tarski problem. We also show that f is independent of F and go on to obtain similar results where the monomorphisms considered are additionally required to have minimal genus.


title: Fields of Definition of Rational Points on Varieties

abstract: Let $X$ be a scheme over a field $K$ and let $M_X$ be the intersection of all subfields $L$ of $\bar K$ such that $X$ has a $L$-valued point. In this note we prove that for a variety $X$ over a field $K$ finitely generated over its prime field one has that $M_X = K$


title: A lattice-ordered skew-field is totally ordered if squares are positive

abstract: We show that a lattice-ordered field (not necessarily commutative) is totally ordered if and only if each square is positive, answering a generalized question of Conrad and Dauns (Pacific J. Math. 30 (1969), 385--398) in the affirmative. As a consequence, any lattice-ordered skew field in (Brumfiel, Partially ordered rings and semi-algebraic geometry. Cambridge University Press, 1979) is totally ordered. Furthermore, we note that every lattice order determined by a {\it pre-positive cone} $P$ on a skew-filed $F$ is linearly ordered since $F^2\subseteq P$ (see P restel, Lectures on formally real fields, Lecture Notes in mathematics, 1093, Springer-Verlag, 1984).


title: Symplectic Geometry

abstract: This is an overview article on selected topics in symplectic geometry written for the Handbook of Differential Geometry (volume 2, edited by F.J.E. Dillen and L.C.A. Verstraelen).


title: Mirror extensions of local nets

abstract: In this paper we prove a general theorem on the extensions of local nets which was inspired by recent examples of exotic extensions for Virasoro nets with central charge less than one and earlier work on cosets and conformal inclusions. When applying the theorem to conformal inclusions and diagonal inclusions, we obtain infinite series of new examples of completely rational nets.


title: SLE coordinate changes

abstract: The purpose of this note is to describe a framework which unifies radial, chordal and dipolar SLE. When the definition of SLE(kappa;rho) is extended to the setting where the force points can be in the interior of the domain, radial SLE(kappa) becomes chordal SLE(kappa;rho), with rho=kappa-6, and vice versa. We also write down the martingales describing the Radon-Nykodim derivative of SLE(kappa;rho_1,...,rho_n) with respect to SLE(kappa).


title: Delzant-type classification of near-symplectic toric 4-manifolds

abstract: Delzant's theorem for symplectic toric manifolds says that there is a one-to-one correspondence between certain convex polytopes in $\mathbb{R}^n$ and symplectic toric $2n$-manifolds, realized by the image of the moment map. I review proofs of this theorem and the convexity theorem of Atiyah-Guillemin-Sternberg on which it relies. Then, I describe Honda's results on the local structure of near-symplectic 4-manifolds, and inspired by recent work of Gay-Symington, I describe a generalization of Delzant's theorem to near-symplectic toric 4-manifolds. One interesting feature of the generalization is the failure of convexity, which I discuss in detail. The first three chapters are primarily expository, duplicate material found elsewhere, and may be skipped by anyone familiar with the material, but are included for completeness.


title: On the Ext groups between Weyl modules for GL_n

abstract: This paper studies extension groups between certain Weyl modules for the algebraic group GL_n over the integers. Main results include: (1) A complete determination of Ext groups between Weyl modules whose highest weights differ by a single root and (2) Determination of Ext^1 between an exterior power of the defining representation and any Weyl module. The significance of these results for modular representation theory of GL_n is discussed in several Remarks. Notably the first result leads to a calculation of Ext groups between neighboring Weyl modules for GL_n and also recovers the GL_n case of a recent result of Andersen. Some generalities about Ext groups between Weyl modules and a brief overview of known results about these groups are also included.


title: A homological interpretation of Jantzen's sum formula

abstract: For a split reductive algebraic group, this paper observes a homological interpretation for Weyl module multiplicities in Jantzen's sum formula. This interpretation involves an Euler characteristic built from Ext groups between integral Weyl modules. The new interpretation makes transparent For GL_n (and conceivable for other classical groups) a certain invariance of Jantzen's sum formula under "Howe duality" in the sense of Adamovich and Rybnikov. For GL_n a simple and explicit general formula is derived for the Euler characteristic between an arbitrary pair of integral Weyl modules. In light of Brenti's work on certain R-polynomials, this formula raises interesting questions about the possibility of relating Ext groups between Weyl modules to Kazhdan-Lusztig combinatorics.


title: The Dirichlet problem in Lipschitz domains with boundary data in Besov spaces for higher order elliptic systems with rough coefficients

abstract: We settle the issue of well-posedness for the Dirichlet problem for a higher order elliptic system ${\mathcal L}(x,D_x)$ with complex-valued, bounded, measurable coefficients in a Lipschitz domain $\Omega$, with boundary data in Besov spaces. The main hypothesis under which our principal result is established is in the nature of best possible and requires that, at small scales, the mean oscillations of the unit normal to $\partial\Omega$ and of the coefficients of the differential operator ${\mathcal L}(x,D_x)$ are not too large.


title: On the remarkable properties of the pentagonal numbers

abstract: In this paper Euler considers the properties of the pentagonal numbers, those numbers of the form $\frac{3n^2 \pm n}{2}$. He recalls that the infinite product $(1-x)(1-x^2)(1-x^3)...$ expands into an infinite series with exponents the pentagonal numbers, and tries substituting the roots of this infinite product into this infinite series. I am not sure what he is doing in some parts: in particular, he does some complicated calculations about the roots of unity and sums of them, their squares, reciprocals, etc., and also sums some divergent series such as 1-1-1+1+1-1-1+1+..., and I would appreciate any suggestions or corrections about these parts.


title: Adapting to Unknown Sparsity by controlling the False Discovery Rate

abstract: We attempt to recover an $n$-dimensional vector observed in white noise, where $n$ is large and the vector is known to be sparse, but the degree of sparsity is unknown. We consider three different ways of defining sparsity of a vector: using the fraction of nonzero terms; imposing power-law decay bounds on the ordered entries; and controlling the $\ell_p$ norm for $p$ small. We obtain a procedure which is asymptotically minimax for $\ell^r$ loss, simultaneously throughout a range of such sparsity classes. The optimal procedure is a data-adaptive thresholding scheme, driven by control of the {\it False Discovery Rate} (FDR). FDR control is a relatively recent innovation in simultaneous testing, ensuring that at most a certain fraction of the rejected null hypotheses will correspond to false rejections. In our treatment, the FDR control parameter $q_n$ also plays a determining role in asymptotic minimaxity. If $q = \lim q_n \in [0,1/2]$ and also $q_n > \gamma/\log(n)$ we get sharp asymptotic minimaxity, simultaneously, over a wide range of sparse parameter spaces and loss functions. On the other hand, $ q = \lim q_n \in (1/2,1]$, forces the risk to exceed the minimax risk by a factor growing with $q$. To our knowledge, this relation between ideas in simultaneous inference and asymptotic decision theory is new. Our work provides a new perspective on a class of model selection rules which has been introduced recently by several authors. These new rules impose complexity penalization of the form $2 \cdot \log({potential model size} / {actual model size})$. We exhibit a close connection with FDR-controlling procedures under stringent control of the false discovery rate.


title: Enumeration of uni-singular algebraic hypersurfaces

abstract: We enumerate complex algebraic hypersurfaces in $P^n$, of a given (high) degree with one singular point of a given singularity type. Our approach is to compute the (co)homology classes of the corresponding equi-singular strata in the parameter space of hypersurfaces. We suggest an inductive procedure, based on intersection theory combined with liftings and degenerations. The procedure computes the (co)homology class in question, whenever a given singularity type is properly defined and the stratum possesses good geometric properties. We consider in details the generalized Newton-non-degenerate singularities. We give also examples of enumeration in some other cases.


title: On the theory of spaces of constant curvature

abstract: Some examples of three-dimensional metrics of constant curvature defined by solutions of nonlinear integrable differential equations and their generalizations are constructed. The properties of Riemann extensions of the metrics of constant curvature are studied. The connection with the theory of normal Riemann spaces are discussed.


title: Equisingularity in $R^2$ As Morse Stability

abstract: Two seemingly unrelated problems are intimately connected. The first is the equsingularity problem in $\R^2$: For an analytic family $f_t:(\R^2,0)\rar (\R,0)$, when should it be called an ``equisingular deformation"? This amounts to finding a suitable trivialization condition (as strong as possible) and, of course, a criterion. The second is on the Morse stability. We define $\R_*$, which is $\R$ "enriched" with a class of infinitesimals. How to generalize the Morse Stability Theorem to polynomials over $\R_*$?


title: Lowering and raising operators for some special orthogonal polynomials

abstract: This paper discusses operators lowering or raising the degree but preserving the parameters of special orthogonal polynomials. Results for one-variable classical (q-)orthogonal polynomials are surveyed. For Jacobi polynomials associated with root system BC_2 a new pair of lowering and raising operators is obtained.


title: A conjecture for q-decomposition matrices of cyclotomic v-Schur algebras

abstract: The Jantzen sum formula for cyclotomic v-Schur algebras yields an identity for some q-analogues of the decomposition matrices of these algebras. We prove a similar identity for matrices of canonical bases of higher-level Fock spaces. We conjecture then that those matrices are actually identical for a suitable choice of parameters. In particular, we conjecture that decomposition matrices of cyclotomic v-Schur algebras are obtained by specializing at q=1 some transition matrices between the standard basis and the canonical basis of a Fock space.


title: On the definition of some Banach spaces over bounded domains with irregular boundary

abstract: This note aims to clarify the interrelations of certain inequivalently defined Banach spaces denoted by C^i(\bar\Omega) for a natural number i and a bounded open set \Omega. We give some sufficient conditions for the equality of these spaces, and present examples to show that the spaces indeed can be unequal for \Omega having irregular boundary.