title: The Hilbert Function of a Maximal Cohen-Macaulay Module

abstract: We study Hilbert functions of maximal Cohen-Macaulay(=CM) modules over CM local rings. We show that if $A$ is a hypersurface ring with dimension $d > 0$ then the Hilbert function of $M$ \wrt $\m$ is non-decreasing. If $A = Q/(f)$ for some regular local ring $Q$, we determine a lower bound for $e_0(M)$ and $e_1(M)$. We analyze the case when equality holds and prove that in this case $G(M)$ is CM. Furthermore in this case we also determine the Hilbert function of $M$. When $A$ is Gorenstein then $M$ is the first syzygy of $S^A(M) = (\Syz^{A}_{1}(M^*))^*$. A relation between the second Hilbert coefficient of $M$, $A$ and $S^A(M)$ is found when $G(M)$ is \CM and $\depth G(A) \geq d-1$. We give bounds for the first Hilbert coefficients of the canonical module of a CM local ring and analyse when equality holds. We also give good bounds on Hilbert coefficients of $M$ when $M$ is maximal CM and $G(M)$ is CM.


title: Bifurcation of free vibrations for completely resonant wave equations

abstract: We prove existence of small amplitude, 2 pi/omega -periodic in time solutions of completely resonant nonlinear wave equations with Dirichlet boundary conditions for any frequency omega belonging to a Cantor-like set of positive measure and for a generic set of nonlinearities. The proof relies on a suitable Lyapunov-Schmidt decomposition and a variant of the Nash-Moser Implicit Function Theorem.


title: Integrating infinite-dimensional Lie algebras by a Tannaka reconstruction (Part I)

abstract: Let g be a Lie algebra over a field F of characteristic zero, let C be a certain tensor category of representations of g, and C-du a certain category of duals. By a Tannaka reconstruction we associate to C and C-du a monoid M with coordinate ring of matrix coefficients F[M], (which has in general no natural coalgebra structure), as well as a Lie algebra Lie(M). We interprete the monoid M algebraic geometrically as a weak algebraic monoid with Lie algebra Lie(M). The monoid M acts by morphisms of varieties on every object of C, the Lie algebra Lie(M) acts by the differentiated action. If g is in a natural way a subalgebra of Lie(M), we say that C and C-du are good for integrating g. In this situation we treat: The adjoint action of the unit group of M on Lie(M). The relation between g and M-invariant subspaces. The embedding of F[M] in the dual of the universal enveloping algebra of g. A Peter-and-Weyl-type theorem if the category C is semisimple. The Jordan-Chevalley decompositions for certain elements of M and Lie(M). An embedding theorem related to subalgebras of g which act locally finite. Prounipotent subgroups of M, and generalized toric submonoids of M. We show that C and C-du are good for integrating g, if the Lie algebra g is generated by integrable locally finite elements.


title: Torsion in the Matching Complex and Chessboard Complex

abstract: Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Bj\"orner, Lov\'asz, Vr\'ecica and {\v{Z}}ivaljevi\'c established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.


title: An extension of Rais' theorem and seaweed subalgebras of simple Lie algebras

abstract: Let $\g$ be a simple Lie algebra of type A or C. We show that the coadjoint representation of any seaweed subalgebra of $\g$ has some properties similar to that of the adjoint representation of a reductive Lie algebra. Namely, a) the field of invariants is rational and b) there exists a generic stabiliser whose identity component is a torus. Our main tool for this is a result about coadjoint representations of some N-graded Lie algebras, which can be regarded as an extension of Rais' theorem for the index of semi-direct products. For all other simple types, we give a uniform description of a parabolic subalgebra such that its coadjoint representation has no generic stabiliser. The crucial property here is that if $\g$ is not of type A or C, then the highest root is fundamental. We also show that, for any parabolic subgroup, the ring of regular invariants of the coadjoint representation is trivial.


title: On the defining ideal of a set of points in multi-projective space

abstract: We investigate the defining ideal of a set of points X in multi-projective space with a special emphasis on the case that X is in generic position, that is, X has the maximal Hilbert function. When X is in generic position, we determine the degrees of the generators of the associated ideal I_X. Letting \nu(I_X) denote the minimal number of generators of I_X, we use this description of the degrees to construct a function v(s;n_1,...,n_k) with the property that \nu(\Ix) >= v(s;n_1,...,n_k) always holds for s points in generic position in P^{n_1} x ... x P^{n_k}. When k=1, v(s;n_1) equals the expected value for \nu(I_X) as predicted by the Ideal Generation Conjecture. If k >= 2, we show that there are cases with \nu(\Ix) > v(s;n_1,...,n_k). However, computational evidence suggests that in many cases \nu(\Ix) = v(s;n_1,...,n_k).


title: Malliavin calculus and ergodic properties of highly degenerate 2D stochastic Navier--Stokes equation

abstract: The objective of this note is to present the results from the two recent papers. We study the Navier--Stokes equation on the two--dimensional torus when forced by a finite dimensional white Gaussian noise. We give conditions under which both the law of the solution at any time t>0, projected on a finite dimensional subspace, has a smooth density with respect to Lebesgue measure and the solution itself is ergodic. In particular, our results hold for specific choices of four dimensional white Gaussian noise. Under additional assumptions, we show that the preceding density is everywhere strictly positive.


title: Invariance of a length associated to a reduction

abstract: Let $(A, \mathfrak{m})$ be a $d$-dimensional Cohen-Macaulay local ring with infinite residue field and let $J$ be a minimal reduction of $\mathfrak{m}$. We show that $\lambda(\mathfrak{m}^3/J\mathfrak{m}^2)$ is independent of $J$.


title: A short note on the non-negativity of partial Euler characteristics

abstract: Let $(A,\mathfrak{m})$ be a Noetherian local ring, $M$ a finite $A$-module and $x_1,...,x_n\in \m$ such that $\lambda (M/\x M)$ is finite. Serre proved that all partial Euler characteristics of $M$ with respect to $\x$ is non-negative. This fact is easy to show when $A$ contains a field. We give an elementary proof of Serre's result when $A$ does not contain a field.


title: Toric degenerations of toric varieties and tropical curves

abstract: We show that the counting of rational curves on a complete toric variety that are in general position to the toric prime divisors coincides with the counting of certain tropical curves. The proof is algebraic-geometric and relies on degeneration techniques and log deformation theory. This generalizes results of Mikhalkin obtained by different methods in the surface case to arbitrary dimensions.


title: Generic singular continuous spectrum for ergodic Schr\"odinger operators

abstract: We consider Schr\"odinger operators with ergodic potential $V_\omega(n)=f(T^n(\omega))$, $n \in \Z$, $\omega \in \Omega$, where $T:\Omega \to \Omega$ is a non-periodic homeomorphism. We show that for generic $f \in C(\Omega)$, the spectrum has no absolutely continuous component. The proof is based on approximation by discontinuous potentials which can be treated via Kotani Theory.


title: On the Zero Attractor of the Euler Polynomials

abstract: We study the limiting behavior of the zeros of the Euler polynomials. When linearly scaled, they approach a definite curve in the complex plane related to the Szego curve which governs the behavior of the roots of the Taylor polynomials associated to the exponential function. Further, under a conformal transformation, the scaled zeros are uniformly distributed.


title: Potpourri

abstract: These notes, connected to a "potpourri" topics class currently underway, discuss some basic topics in analysis and connections with other areas of mathematics.


title: Harmonic Maps of Surfaces Approaching the Boundary of Moduli Space and Eliminating Bubbling

abstract: The limit of energies of a sequence of harmonic maps as their annular domains approach the boundary of moduli space depends upon the boundary point approached. The infinite energy case is associated with limits of images containing ruled surfaces. The finite energy case yields a limit of images, under a suitable topology, with a union of discs and straight line segments. Generalization to higher numbers of boundary components shows that minimal surfaces union straight line segments can still be achieved, and that the configuration of straight line segments depends on the direction of approach of domain conformal classes to the boundary point of domain moduli space. Bubbling can occur in variable ways according to the metric representatives of the conformal classes of domains. A method is given whereby bubbling can be eliminated yielding a point-wise limit of maps with image limit containing a surface union straight line segments.


title: Mixed Dimensional Compactness with Dimension Collapsing from Sn-1 Bundle Measures

abstract: We provide a measure based topology for certain unions of C2 rectifiable submanifolds of mixed dimensions in Rn. In this topology lower dimensional sets remain in the limit as measures when higher dimensional sets collapse down to them. For example a decreasing sequence of spheres may have a limit consisting of just a point. The n-1 dimensional space of outward pointing vectors can be used for such a measure. It represents all C2 rectifiable sets of codimension at least one of Rn as rectifiable sets in RnXSn-1 with n-1 dimensional Hausdorff measure. When viewed as (n-1)-rectifiable varifolds or currents in RnXSn-1 they come equipped with compactness theorems. The projection of their limits to Rn recovers the rectifiable sets of mixed dimensions giving the limits for the desired topology on subsets of Rn. Both varifold and current compactness are required as there are sequences, such as honeycombs, that converge as varifolds but not as currents. Conversely sequences such as lifts of polyhedral approximations converge as currents but not as varifolds.


title: Local Andr\'{e}-Oort conjecture for the universal abelian variety

abstract: We prove a $p$-adic analogue of the Andr\'{e}-Oort conjecture for subvarieties of the universal abelian varieties containing a dense set of special points. Let $g$ and $n$ be integers with $n \geq 3$ and $p$ a prime number not dividing $n$. Let $R$ be a finite extension of $W[{\mathbb F}_p^{\mathrm alg}]$, the ring of Witt vectors of the algebraic closure of the field of $p$ elements. The moduli space $\cA = \cA_{g,1,n}$ of $g$-dimensional principally polarized abelian varieties with full level $n$-structure as well as the universal abelian variety $\pi:\cX \to \cA$ over $\cA$ may be defined over $R$. We call a point $\xi \in \cX(R)$ \emph{$R$-special} if $\cX_{\pi(\xi)}$ is a canonical lift and $\xi$ is a torsion point of its fibre. We show that an irreducible subvariety of $\cX_R$ containing a dense set of $p$-special points must be a special subvariety in the sense of mixed Shimura varieties. Our proof employs the model theory of difference fields.


title: Foldable cubical complexes of nonpositive curvature

abstract: We study finite foldable cubical complexes of nonpositive curvature (in the sense of A.D. Alexandrov). We show that such a complex X admits a graph of spaces decomposition. It is also shown that when dim X=3, X contains a closed rank one geodesic in the 1-skeleton unless the universal cover of X is isometric to the product of two CAT(0) cubical complexes.


title: The combinatorics of tau-covers

abstract: We solve four out of the six open problems concerning critical cardinalities of topological diagonalization properties involving tau-covers, show that the remaining two cardinals are equal, and give a consistency result concerning this remaining cardinal. Consequently, 21 open problems concerning potential implications between these properties are settled. We also give structural results based on the combinatorial techniques.


title: Some new directions in infinite-combinatorial topology

abstract: We give a light introduction to selection principles in topology, a young subfield of infinite-combinatorial topology. Emphasis is put on the modern approach to the problems it deals with. Recent results are described, and open problems are stated. Some results which do not appear elsewhere are also included, with proofs.


title: First-Order Intuitionistic Logic with Decidable Propositional Atoms

abstract: Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as a framework for investigating this extension. Admissibility of cut is retained. Constrained Kripke structures are introduced for modeling intuitionistic logic with decidable propositional atoms. The extent of the disjunction and existence properties is investigated. The latest information about this research can be found at http://sakharov.net/median.html


title: Integrating infinite-dimensional Lie algebras by a Tannaka reconstruction (Part II)

abstract: Let g be a Lie algebra over a field F of characteristic zero, let C be a certain tensor category of representations of g, and C-du a certain category of duals. In arXiv:math.AG/0409053 we associated to C and C-du by a Tannaka reconstruction a monoid M with a coordinate ring F[M] of matrix coefficients, as well as a Lie algebra Lie(M). We interpreted this situation algebraic geometrically. In particular, we showed: If the Lie algebra g is generated by one-parameter elements, then it identifies in a natural way with a subalgebra of Lie(M), and there exists a subgroup of the unit group of M, which is dense in M. We now introduce the coordinate ring of regular functions on this dense subgroup, as well as the algebra of linear regular functions on the universal enveloping algebra of g, and investigate their relation. We investigate and describe various coordinate rings of matrix coefficients associated to categories of integrable representations of g. We specialize to integrable representations of Kac-Moody algebras and free Lie algebras. Some results on coordinate rings of Kac-Moody groups obtained by V. G. Kac and D. Peterson, some coordinate rings of the associated groups of linear algebraic integrable Lie algebras defined by V. G. Kac, and some results on coordinate rings of free Kac-Moody groups obtained by Y. Billig and A. Pianzola fit into this context. We determine the Tannaka monoid associated to the full subcategory of integrable representations in the category O of a Kac-Moody algebra and to its category of full duals. Its Zariski-open dense unit group is the formal Kac-Moody group. We give various descriptions of its coordinate ring of matrix coefficients. We show that its Lie algebra is the formal Kac-Moody algebra.


title: SPM Bulletin 10

abstract: We announce the solution of 4+21+1/2 (!) problems posed in earlier issues of the SPM Bulletin; the ``1/2'' standing for a ``consistently yes'' answer of Zdomsky to the last issue's Problem of the Month.


title: Timelike Minimal Surfaces via Loop Groups

abstract: We study manifolds with split-complex structure and apply some general results to the study of Lorentz surfaces. In particular, we apply our results to timelike minimal immersions. The conformal realization of these surfaces is obtained using a representation based on loop groups. The classical Weierstrass representation (integral formula) is recovered as a byproduct of this general setting.


title: Rectangular loops and rectangular quasigroups

abstract: We solve two problems posed by Krape\v{z} by finding a basis of seven independent axioms for the variety of rectangular loops. Six of these axioms form a basis for the variety of rectangular quasigroups. The proofs of the lemmas showing that the six axioms are sufficient are based on proofs generated by the automated reasoning program OTTER, while most of the models verifying the independence of the axioms were generated by the finite model builder Mace4.


title: Subalgebras of Graph C*-Algebras

abstract: We prove a spectral theorem for bimodules in the context of graph C*-algebras. A bimodule over a suitable abelian algebra is determined by its spectrum (i.e., its groupoid partial order) iff it is generated by the Cuntz-Krieger partial isometries which it contains iff it is invariant under the gauge automorphisms. We study 1-cocycles on the Cuntz-Krieger groupoid associated with a graph C*-algebra, obtaining results on when integer valued or bounded cocycles on the natural AF subgroupoid extend. To a finite graph with a total order, we associate a nest subalgebra of the graph C*-algebra and then determine its spectrum. This is used to investigate properties of the nest subalgebra. We give a characterization of the partial isometries in a graph C*-algebra which normalize a natural diagonal subalgebra and use this to show that guage invariant generating triangular subalgebras are classified by their spectra.


title: Uncertainty relations in models of market microstructure

abstract: This paper presents a new interacting particle system and uses it as a spin model for financial market microstructure. The asymptotic analysis of this stochastic process exhibits a lower bound to the contemporaneous measurement of price and trading volume under the invariant measure in the `frozen' phase of the supercritical regime.


title: On Severi varieties and Moduli spaces of curves in arbitrary characteristic

abstract: This paper has been withdrawn by the author due to the gaps in the proofs of Proposition 2.2 and Proposition 3.2


title: On the projective fourfolds with almost numerically positive canonical divisors

abstract: Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive ($K$ is almost numerically positive) then every very general proper subvariety of $X$ is of general type in the viewpoint of geometric Kodaira dimension. We note that the converse does not hold for simple abelian varieties.


title: Translation invariant Gibbs states for the Ising model

abstract: We prove that all the translation invariant Gibbs states of the Ising model are a linear combination of the pure phases $\mu^+,\mu^-$ in the phase transition regime. This implies that the average magnetization is continuous in the phase transition regime ($\beta > \beta_c$). Furthermore, combined with previous results on the slab percolation threshold this shows the validity of Pisztora's coarse graining up to the critical temperature.


title: The Free product of Matroids

abstract: We introduce a noncommutative binary operation on matroids, called free product. We show that this operation respects matroid duality, and has the property that, given only the cardinalities, an ordered pair of matroids may be recovered, up to isomorphism, from its free product. We use these results to give a short proof of Welsh's 1969 conjecture, which provides a progressive lower bound for the number of isomorphism classes of matroids on an n-element set.


title: The Topological Tverberg Problem and winding numbers

abstract: The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The Topological Tverberg Theorem can be restricted to maps of the d-skeleton of the simplex. We further show that it is equivalent to a ``Winding Number Conjecture'' that concerns only maps of the (d-1)-skeleton of a (q-1)(d+1)-simplex to \R^d. ``Many Tverberg partitions'' arise if and only if there are ``many q-winding partitions.'' The d=2 case of the Winding Number Conjecture is a problem about drawings of the complete graphs K_{3q-2} in the plane. We investigate graphs that are minimal with respect to the winding number condition.


title: 5-dimensional contact SO(3)-manifolds and Dehn twists

abstract: In this paper the 5-dimensional contact SO(3)-manifolds are classified up to equivariant contactomorphisms. The construction of such manifolds with singular orbits requires the use of generalized Dehn twists. We show as an application that all simply connected 5-manifoldswith singular orbits are realized by a Brieskorn manifold with exponents (k,2,2,2). The standard contact structure on such a manifold gives right-handed Dehn twists, and a second contact structure defined in the article gives left-handed twists.


title: A note on the Manin-Mumford conjecture

abstract: In the article [PR1] {\it On Hrushovski's proof of the Manin-Mumford conjecture} (Proceedings of the ICM 2002), R. Pink and the author gave a short proof of the Manin-Mumford conjecture, which was inspired by an earlier model-theoretic proof by Hrushovski. The proof given in [PR1] uses a difficult unpublished ramification-theoretic result of Serre. It is the purpose of this note to show how the proof given in [PR1] can be modified so as to circumvent the reference to Serre's result. J. Oesterl\'e and R. Pink contributed several simplifications and shortcuts to this note.


title: Topological invariance of the sign of the Lyapunov exponents in one-dimensional maps

abstract: We explore some properties of Lyapunov exponents of measures preserved by smooth maps of the interval, and study the behaviour of the Lyapunov exponents under topological conjugacy.


title: Stochastic-like behaviour in nonuniformly expanding maps

abstract: This is a significantly expanded version of the survey paper "Mixing and decay of correlations in non-uniformly expanding maps: a survey of recent results" math/0301319. We discuss recent results on decay of correlations for non-uniformly expanding maps. Throughout the discussion, we address the question of why different dynamical systems have different rates of decay of correlations and how this may reflect underlying geometrical characteristics of the system. We also give detailed sketches of some results such as the existence of absolutely continuous invariant measures for Markov expanding maps, the construction of induced Markov expanding maps in some one-dimensional maps, and the proof of the fact that such a construction can be carried out for a positive probability set of maps in the quadratic family.


title: Links associated with generic immersions of graphs

abstract: As an extension of the class of algebraic links, A'Campo, Gibson, and Ishikawa constructed links associated to immersed arcs and trees in a two-dimensional disk. By extending their arguments, we construct links associated to immersed graphs in a disk, and show that such links are quasipositive.


title: Commutators and squares in free groups

abstract: Let F_2 be the free group generated by x and y. In this article, we prove that the commutator of x^m and y^n is a product of two squares if and only if mn is even. We also show using topological methods that there are infinitely many obstructions for an element in F_2 to be a product of two squares.


title: Normal Approximation in Geometric Probability

abstract: We use Stein's method to obtain bounds on the rate of convergence for a class of statistics in geometric probability obtained as a sum of contributions from Poisson points which are exponentially stabilizing, i.e. locally determined in a certain sense. Examples include statistics such as total edge length and total number of edges of graphs in computational geometry and the total number of particles accepted in random sequential packing models. These rates also apply to the 1-dimensional marginals of the random measures associated with these statistics.


title: Simple tangential families and perestroikas of their envelopes

abstract: Tangential families are 1-parameter families of rays emanating tangentially from smooth curves. We classify tangential family germs up to Left-Right equivalence: we prove that there are two infinite series and four sporadic simple singularities of tangential family germs (in addition to two stable singularities). We give their normal forms and miniversal tangential deformations (i.e., deformations among tangential families), and we describe the corresponding envelope perestroikas of small codimension. We also discuss envelope singularities of non simple tangential families.


title: Powers of complete intersections: graded Betti numbers and applications

abstract: Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s \geq 1. These numbers depend only upon the type and s. We then use this description to: (1) write H_{R/I^s}, the Hilbert function of R/I^s, in terms of H_{R/I}; (2) verify that the k-algebra R/I^s satisfies a conjecture of Herzog-Huneke-Srinivasan; and (3) obtain information about the numerical invariants associated to sets of fat points in P^n whose support is a complete intersection or a complete intersection minus a point.


title: A similarity degree characterization of nuclear $C^*$-algebras

abstract: We show that a $C^*$-algebra $A$ is nuclear iff there is a constant $K$ and $\alpha<3$ such that, for any bounded homomorphism $u\colon A \to B(H)$, there is an isomorphism $\xi\colon H\to H$ satisfying $\|\xi^{-1}\|\|\xi\| \le K\|u\|^\alpha$ and such that $ \xi^{-1} u(.) \xi$ is a $*$-homomorphism. In other words, an infinite dimensional $A$ is nuclear iff its length (in ths sense of our previous work on the Kadison similarity problem) is equal to 2.


title: The LSB theorem implies the KKM lemma

abstract: We prove the lemma of Knaster-Kuratowski-Mazurkiewicz as a consequence of the Lusternik-Schnirelman-Borsuk theorem.


title: Generalized geometry and the Hodge decomposition

abstract: In this lecture, we review some of the concepts of generalized geometry, as introduced by Hitchin and developed in the speaker's thesis. We also prove a Hodge decomposition for the twisted cohomology of a compact generalized K\"ahler manifold, as well as a generalization of the $dd^c$-lemma of K\"ahler geometry.


title: Commensurability invariants for nonuniform tree lattices

abstract: We study nonuniform lattices in the automorphism group G of a locally finite simplicial tree X. In particular, we are interested in classifying lattices up to commensurability in G. We introduce two new commensurability invariants: quotient growth, which measures the growth of the noncompact quotient of the lattice; and stabilizer growth, which measures the growth of the orders of finite stabilizers in a fundamental domain as a function of distance from a fixed basepoint. When X is the biregular tree X_{m,n}, we construct lattices realizing all triples of covolume, quotient growth, and stabilizer growth satisfying some mild conditions. In particular, for each positive real number \nu we construct uncountably many noncommensurable lattices with covolume \nu.


title: Parameterized stratification and piece number of D-semianalytic sets

abstract: We obtain results on the geometry of D-semianalytic and subanalytic subsets over a complete, non-trivially valued non-Archimedean field K, which is not necessarily algebraically closed. Among the results are a parameterized smooth stratification theorem and several results concerning the dimension of the D-semianalytic and subanalytic sets. We also extend Bartenwerfer's definition of piece number for analytic K-varieties to D-semianalytic sets and prove the existence of a uniform bound for the piece number of the fibers of a D-semianalytic set. We also establish a connection between the piece number and complexity of D-semianalytic sets which are subsets of the line and thereby give a simpler proof of the Complexity Theorem of Lipshitz and Robinson. We finish by proving that for each D-semianalytic X, there is a semialgebraic Y such that one dimensional fibers of X are among the one dimensional fibers of Y. This is an analogue of a theorem by van den Dries, Haskell and Macpherson.


title: Multigraded extended Rees algebras of $m$-primary ideals

abstract: In this paper we consider multi-graded extended Rees algebras of zero dimensional ideals which are Cohen-Macaulay (CM) with minimal multiplicity. We show that the minimal multiplicity property can occur only for the ordinary extended Rees algebra and the bigraded extended Rees algebra. For the bigraded extended Rees algebra we find necessary conditions for it to be CM with minimal multiplicity. We also produce bigraded Rees algebras which are Cohen-Macaulay with minimal multiplicity.


title: Cohen-Macaulay Polymatroidal Ideals

abstract: All Cohen--Macaulay polymatroidal ideals are classified. The Cohen--Macaulay polymatroidal ideals are precisely the principal ideals, the Veronese ideals, and the squarefree Veronese ideals.


title: On the absence of rapidly decaying solutions for parabolic operators whose coefficients are non-Lipschitz continuous in time

abstract: We find minimal regularity conditions on the coefficients of a parabolic operator, ensuring that no nontrivial solution tends to zero faster than any exponential.


title: A unique factorization theorem for matroids

abstract: We study the combinatorial, algebraic and geometric properties of the free product operation on matroids. After giving cryptomorphic definitions of free product in terms of independent sets, bases, circuits, closure, flats and rank function, we show that free product, which is a noncommutative operation, is associative and respects matroid duality. The free product of matroids $M$ and $N$ is maximal with respect to the weak order among matroids having $M$ as a submatroid, with complementary contraction equal to $N$. Any minor of the free product of $M$ and $N$ is a free product of a repeated truncation of the corresponding minor of $M$ with a repeated Higgs lift of the corresponding minor of $N$. We characterize, in terms of their cyclic flats, matroids that are irreducible with respect to free product, and prove that the factorization of a matroid into a free product of irreducibles is unique up to isomorphism. We use these results to determine, for K a field of characteristic zero, the structure of the minor coalgebra $\cal C$ of a family of matroids $\cal M$ that is closed under formation of minors and free products: namely, $\cal C$ is cofree, cogenerated by the set of irreducible matroids belonging to $\cal M$.


title: Multiscaled wavelet transforms, ridgelet transforms, and Radon transforms on the space of matrices

abstract: Let $M$ be the space of real $n\times m$ matrices which can be identified with the Euclidean space $R^{nm}$. We introduce continuous wavelet transforms on $M$ with a multivalued scaling parameter represented by a positive definite symmetric matrix. These transforms agree with the polar decomposition on $M$ and coincide with classical ones in the rank-one case $m=1$. We prove an analog of Calderon's reproducing formula for $L^2$-functions and obtain explicit inversion formulas for the Riesz potentials and Radon transforms on $M$. We also introduce continuous ridgelet transforms associated to matrix planes in $M$. An inversion formula for these transforms follows from that for the Radon transform.


title: Arithmetic expressions of Selberg's zeta functions for congruence subgroups

abstract: In Sarnak's paper, it was proved that the Selberg zeta function for SL(2,Z) is expressed in terms of the fundamental units and the class numbers of the primitive indefinite binary quadratic forms. The aim of this paper is to obtain similar arithmetic expressions of the logarithmic derivatives of the Selberg zeta functions for congruence subgroups of SL(2,Z). As applications, we study the Brun-Titchmarsh type prime geodesic theorem, the asymptotic behavior of the sum of the class number.


title: From potential modularity to modularity for integral Galois representations and rigid Calabi-Yau threefolds

abstract: We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" condition is satisfied. As a corollary, this proves that all rigid Calabi-Yau threefolds defined over $\Q$ having good reduction at 3 and satisfying $ 3 \nmid a_3$ are modular.


title: Elliptic curves and Hilbert's tenth problem for algebraic function fields over real and p-adic fields

abstract: Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we prove the Diophantine undecidability of: (1) A, in all cases; (2) K, when k is (formally) real and V has a real point; (3) K, when k is a subfield of a p-adic field, for some odd prime p. To achieve this, we use Denef's method: from an elliptic curve E over Q, without complex multiplication, one constructs a quadratic twist E' of E over Q(t), which has Mordell-Weil rank one. Most of the paper is devoted to proving (using a theorem of R. Noot) that one can choose f in K, vanishing at D, such that the group E'(K) deduced from the field extension K/Q(f)=Q(t) is equal to E'(Q(t)). Then we mimic the arguments of Denef (for the real case) and of Kim and Roush (for the p-adic case).


title: Killing Forms on Symmetric Spaces

abstract: Killing forms on Riemannian manifolds are differential forms whose covariant derivative is totally skew--symmetric. We show that a compact simply connected symmetric space carries a non--parallel Killing $p$--form ($p\ge2$) if and only if it isometric to a Riemannian product $S^k\times N$, where $S^k$ is a round sphere and $k>p$.


title: Tiling Parity Results and the Holey Square Solution

abstract: We prove combinatorially that the parity of the number of domino tilings of a region is equal to the parity of the number of domino tilings of a particular subregion. Using this result we can resolve the holey square conjecture. We furthermore give combinatorial proofs of several other tiling parity results, including that the number of domino tilings of a particular family of rectangles is always odd.


title: Hopf algebroids and Galois extensions

abstract: To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A \o_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain properties of Hopf-Galois extensions with corresponding properties of the coacting Hopf algebra \cite{KT,Doi} to depth two extensions using coring theory math.RA/0002105. Next we show that $T^{\rm op}$ is a Hopf algebroid over the centralizer $R$ via Lu's theorem 5.1 in math.QA/9505024 for smash products with special modules over the Drinfel'd double, the Miyashita-Ulbrich action, the fact that $R$ is a commutative algebra in the pre-braided category of Yetter-Drinfel'd modules \cite[Schauenburg]{Sch} and the equivalence of Yetter-Drinfel'd modules with modules over Drinfel'd double \cite[Majid]{Maj}. In our last section, an exposition of results of Sugano \cite{Su82,Su87} leads us to a Galois correspondence between sub-Hopf algebroids of $S$ over simple subalgebras of the centralizer with finite projective intermediate simple subrings of a finite projective H-separable extension of simple rings $A \supseteq B$.


title: Coinvariants for modular representations of cyclic groups of prime order

abstract: We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gr\"obner basis for the Hilbert ideal and the corresponding monomial basis for the coinvariants. We also describe the decomposition of the coinvariants as a module over the group ring. For one family of representations, we are able to describe the coinvariants despite the fact that an explicit generating set for the invariants is not known. In all cases our results confirm the conjecture of Harm Derksen and Gregor Kemper on degree bounds for generators of the Hilbert ideal. As an incidental result, we identify the coefficients of the monomials appearing in the orbit product of a terminal variable for the three dimensional indecomposable representation.


title: The Hyperradical and The Hopkins-Levitzki Theorem for Modular Lattices

abstract: Many arguments in the Theory of Rings and Modules are, on close inspection, purely Lattice theoretic arguments. Calagareanu} has a long repertoire of such results in his book. The Hopkins-Levitzki Theorem is interesting from this point of view, because a special case of it lends to an obvious lattice theory approach, but the rest is a little more subtle. Albu and Smith have obtained some sufficient conditions for the question of when Artinian implies Noetherian. Here we present a new approach, using the concept of Hyperradical; we obtain necessary and sufficient conditions.


title: Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields

abstract: We develop a dimension theory for D-semianalytic sets over an arbitrary non-Archimedean complete field. Our main results are the equivalence of several notions of dimension and a theorem on additivity of dimensions of projections and fibers in characteristic 0. We also prove a parameterized version of normalization for D-semianalytic sets.


title: The number of translates of a closed nowhere dense set required to cover a Polish group

abstract: For a Polish group G let cov_G be the minimal number of translates of a fixed closed nowhere dense subset of G required to cover G. For many locally compact G this cardinal is known to be consistently larger than cov(meager) which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups cov_G=cov(meager). For example the equality holds for the group of permutations of the integers, the additive group of a separable Banach space with an unconditional basis and the group of homeomorphisms of various compact spaces. Most recent version at: www.math.wisc.edu/~miller


title: Order Reduction of Optimal Control Systems

abstract: The paper presents necessary and sufficient conditions for the order reduction of optimal control systems. Exploring the corresponding Hamiltonian system allows to solve the order reduction problem in terms of dynamical systems, observability and invariant differential forms. The approach is applicable to non-degenerate optimal control systems with smooth integral cost function. The cost function is defined on the trajectories of a smooth dynamical control system with unconstrained controls and fixed boundary conditions. Such systems form a category of Lagrangian systems with morphisms defined as mappings preserving extremality of the trajectories. Order reduction is defined as a factorization in the category of Lagrangian systems.


title: On the Markov chain central limit theorem

abstract: The goal of this expository paper is to describe conditions which guarantee a central limit theorem for functionals of general state space Markov chains. This is done with a view towards Markov chain Monte Carlo settings and hence the focus is on the connections between drift and mixing conditions and their implications. In particular, we consider three commonly cited central limit theorems and discuss their relationship to classical results for mixing processes. Several motivating examples are given which range from toy one-dimensional settings to complicated settings encountered in Markov chain Monte Carlo.


title: Interval Neutrosophic Sets

abstract: Neutrosophic set is a part of neutrosophy which studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. Neutrosophic set is a powerful general formal framework that has been recently proposed. However, neutrosophic set needs to be specified from a technical point of view. To this effect, we define the set-theoretic operators on an instance of neutrosophic set, we call it interval neutrosophic set (INS). We prove various properties of INS, which are connected to the operations and relations over INS. Finally, we introduce and prove the convexity of interval neutrosophic sets.


title: Some Geometric Results arising from the Borel Fixed Property

abstract: In this paper, we will give some geometric results using generic initial ideals for the degree reverse lex order. The first application is to the regularity of a Cohen-Macaulay algebra, and we improve a well-known bound. The main goal of the paper, though, is to improve on results of Bigatti, Geramita and Migliore concerning geometric consequences of maximal growth of the Hilbert function of the Artinian reduction of a set of points. When the points have the Uniform Position Property, the consequences they gave are even more striking. Here we weaken the growth condition, assuming only that the values of the Hilbert function of the Artinian reduction are equal in two consecutive degrees, and that the first of these degrees is greater than the second reduction number of the points. We continue to get nice geometric consequences even from this weaker assumption. However, we have surprising examples to show that imposing the Uniform Position Property on the points does not give the striking consequences that one might expect. This leads to a better understanding of the Hilbert function, and the ideal itself, of a set of points with the Uniform Position Property, which is an important open question. In the last section we describe the role played by the Weak Lefschetz Property (WLP) in this theory, and we show that the general hyperplane section of a smooth curve may fail to have WLP.


title: Elliptic mod \ell Galois representations which are not minimally elliptic

abstract: In a recent preprint, F. Calegari has shown that for $\ell = 2, 3, 5$ and 7 there exist 2-dimensional surjective representations $\rho$ of $\Gal(\bar{\Q}/\Q)$ with values in $\F_\ell$ coming from the $\ell$-torsion points of an elliptic curve defined over $\Q$, but not minimally, i.e., so that any elliptic curve giving rise to $\rho$ has prime-to-$\ell$ conductor greater than the (prime-to-$\ell$) conductor of $\rho$. In this brief note, we will show that the same is true for any prime $\ell >7$, concretely, we will show that for any such $\ell$ the elliptic curve $$E^\ell: \qquad Y^2 = X (X- 3^\ell ) (X - 3^\ell - 1) $$ is semistable, has bad reduction at 3, the associated $\mod \ell$ Galois representation $\rho$ is surjective, unramified at 3, and there is no elliptic curve with good reduction at 3 whose associated $\mod \ell$ representation is isomorphic to $\rho$.


title: The Abel-Jacobi map for higher Chow groups

abstract: We construct a map between Bloch's higher Chow groups and Deligne homology for smooth, complex quasiprojective varieties on the level of complexes. For complex projective varieties this results in a formula which generalizes at the same time the classical Griffiths Abel-Jacobi map and the Borel/Beilinson/Goncharov regulator type maps.


title: Modified regular representations of affine and Virasoro algebras, VOA structure and semi-infinite cohomology

abstract: We identify the algebra of matrix elements of big projective modules in category O with the regular functions on the big Bruhat cell of G. Analogous extensions of the regular representations of the affine Lie and Virasoro algebras yield vertex operator algebras, equipped with two commuting actions with special values of the total central charge. In the generic case, we identify the structure of these VOAs, compute their semi-infinite cohomology. Its superalgebra structure encodes the fusion rules for the associated tensor categories. Full details are provided for the affine sl(2) and Virasoro algebras, and various generalizations and extensions are discussed.


title: Paving Hessenberg varietes by affines

abstract: Regular nilpotent Hessenberg varieties form a family of subvarieties of the flag variety arising in the study of quantum cohomology, geometric representation theory, and numerical analysis. In this paper we construct a paving by affines of regular nilpotent Hessenberg varieties for all classical types, generalizing results of de Concini-Lusztig-Procesi and Kostant. This paving is in fact the intersection of a particular Bruhat decomposition with the Hessenberg variety. The nonempty cells of the paving and their dimensions are identified by combinatorial conditions on roots. We use the paving to prove these Hessenberg varieties have no odd-dimensional homology.


title: Invariant subspaces of $RL^1$

abstract: In this note we extend D. Singh and A. A. W. Mehanna's invariant subspace theorem for $RH^1$ (the real Banach space of analytic functions in $H^1$ with real Taylor coefficients) to the simply invariant subspaces of $RL^1$ (the real Banach space of functions in $L^1$ with real Fourier coefficients).


title: Global approximation of CR functions on Bloom-Graham model graphs in $C^n$

abstract: We define a class of generic CR submanifolds of $C^n$ of real codimension $d$, with $d$ in $1, ..., n-1$, called the Bloom-Graham model graphs, whose graphing functions are partially decoupled in their dependence on the variables in the real directions. We prove a global version of the Baouendi-Treves CR approximation theorem, for Bloom-Graham model graphs with a polynomial growth assumption on their graphing functions.


title: Divergent torus orbits in homogeneous spaces of Q-rank two

abstract: Let G be the real points of a semisimple algebraic Q-group, let H be an arithmetic subgroup of G and let T be the real points of an R-split torus in G. We prove that if there is a divergent T-orbit in G/H, and Q-rank(G) > 1, then the dimension of T is not larger than Q-rank(G). This provides a partial answer to a question of G.Tomanov and B.Weiss.


title: Bi-relative algebraic K-theory and topological cyclic homology

abstract: It is well-known that algebraic K-theory preserves products of rings. However, in general, algebraic K-theory does not preserve fiber-products of rings, and bi-relative algebraic K-theory measures the deviation. It was proved by Cortinas that,rationally, bi-relative algebraic K-theory and bi-relative cyclic homology agree. In this paper, we show that, with finite coefficients, bi-relative algebraic K-theory and bi-relative topological cyclic homology agree. As an application, we show that for a, possibly singular, curve over a perfect field of positive characteristic p, the cyclotomic trace map induces an isomorphism of the p-adic algebraic K-groups and the p-adic topological cyclic homology groups in non-negative degrees. As a further application, we show that the difference between the p-adic K-groups of the integral group ring of a finite group and the p-adic K-groups of a maximal Z-order in the rational group algebra can be expressed entirely in terms of topological cyclic homology.


title: On the V-filtration of D-modules

abstract: In this mostly expository note we give a down-to-earth introduction to the V-filtration of M. Kashiwara and B. Malgrange on D-modules. We survey some applications to generalized Bernstein-Sato polynomials, multiplier ideals, and monodromy of vanishing cycles.


title: Continuous Fields of Kirchberg C*-algebras

abstract: In this paper we study the C*-algebras associated to continuous fields over locally compact metrisable zero dimensional spaces whose fibers are Kirchberg C*-algebras satisfying the UCT. We show that these algebras are inductive limits of finite direct sums of Kirchberg algebras and they are classified up to isomorphism by topological invariants.


title: Courbes elliptiques sur la variete spinorielle de dimension 10

abstract: In this article we answer a question of D. Markushevich and prove the irreducibility of the scheme of morphisms from an elliptic curve to the spinor tenfold.


title: Tropical constructive Pappus' theorem

abstract: In this paper, we state the validity of Cramer's rule in a tropical context and its correspondence with classical Cramer's rule. This correspondence will allow us to prove a constructive version of Pappus' theorem conjectured in the paper First Steps in Tropical Geometry, math.AG/0306366


title: A counterexample to a conjecture on linear systems on P^3

abstract: In this note we give a counterexample to a conjecture proposed by Ciliberto about special linear systems of P^n through multiple base points.


title: A conjecture on special linear systems of P^3

abstract: In this note we consider the behavior of linear systems of P^3 through fat points under a cubo-cubic Cremona transformation. This allows us to produce a class of special systems which we conjecture to be the only ones.


title: On multiples of divisors associated to Veronese embeddings with defective secant variety

abstract: In this note we consider multiples aD, where D is a divisor of the blow-up of P^n along points in general position which appears in the Alexander and Hirschowitz list of Veronese embeddings having defective secant varieties. In particular we show that there is such a D with h^1(X,D) > 0 and h^1(X,2D) = 0.


title: The H-Covariant Strong Picard Groupoid

abstract: The notion of H-covariant strong Morita equivalence is introduced for *-algebras over C = R(i) with an ordered ring R which are equipped with a *-action of a Hopf *-algebra H. This defines a corresponding H-covariant strong Picard groupoid which encodes the entire Morita theory. Dropping the positivity conditions one obtains H-covariant *-Morita equivalence with its H-covariant *-Picard groupoid. We discuss various groupoid morphisms between the corresponding notions of the Picard groupoids. Moreover, we realize several Morita invariants in this context as arising from actions of the H-covariant strong Picard groupoid. Crossed products and their Morita theory are investigated using a groupoid morphism from the H-covariant strong Picard groupoid into the strong Picard groupoid of the crossed products.


title: Periods for holomorphic maps via Lefschetz numbers

abstract: We characterise the set of fixed points of a class of holomorphic maps on complex manifolds with a prescribed homology. Our main tool is the Lefschetz number and the action of maps on the first homology group.


title: The Mathematics of Phylogenomics

abstract: The grand challenges in biology today are being shaped by powerful high-throughput technologies that have revealed the genomes of many organisms, global expression patterns of genes and detailed information about variation within populations. We are therefore able to ask, for the first time, fundamental questions about the evolution of genomes, the structure of genes and their regulation, and the connections between genotypes and phenotypes of individuals. The answers to these questions are all predicated on progress in a variety of computational, statistical, and mathematical fields. The rapid growth in the characterization of genomes has led to the advancement of a new discipline called Phylogenomics. This discipline results from the combination of two major fields in the life sciences: Genomics, i.e., the study of the function and structure of genes and genomes; and Molecular Phylogenetics, i.e., the study of the hierarchical evolutionary relationships among organisms and their genomes. The objective of this article is to offer mathematicians a first introduction to this emerging field, and to discuss specific mathematical problems and developments arising from phylogenomics.


title: Invariant chains and the homology of quotient spaces

abstract: For a finite group G and a finite G-CW-complex X, we construct groups H_\bullet(G,X) as the homology groups of the G-invariants of the cellular chain complex C_\bullet(X). These groups are related to the homology of the quotient space X/G via a norm map, and therefore provide a mechanism for calculating H_\bullet(X/G). We compute several examples and provide a new proof of ``Smith theory": if G=Z/p and X is a mod p homology sphere on which G acts, then the subcomplex X^G is empty or a mod $p$ homology sphere. We also get a new proof of the Conner conjecture: If G=Z/p acts on a Z-acyclic space X, then X/G is Z-acyclic.


title: On the asymptotic value of the choice number of complete multi-partite graphs

abstract: We calculate the asymptotic value of the choice number of complete multi-partite graphs.


title: On the Brownian directed polymer in a Gaussian random environment

abstract: In this paper, we introduce a model of Brownian polymer in a continuous random environment. The asymptotic behavior of the partition function associated to this polymer measure is studied, and we are able to separate a weak and strong disorder regime under some reasonable assumptions on the spatial covariance of the environment. Some further developments, concerning some concentration inequalities for the partition function, are given for the weak disorder regime.


title: A Singularity Theorem for Twistor Spinors

abstract: We study spin structures on orbifolds. In particular, we show that if the singular set has codimension greater than 2, an orbifold is spin if and only if its smooth part is. On compact orbifolds, we show that any non-trivial twistor spinor admits at most one zero which is singular unless the orbifold is conformally equivalent to a round sphere. We show the sharpness of our results through examples.


title: Conformally parallel G_2 structures on a class of solvmanifolds

abstract: Starting from a 6-dimensional nilpotent Lie group N endowed with an invariant SU(3) structure, we construct a homogeneous conformally parallel G_2-metric on an associated solvmanifold. We classify all half-flat SU(3) structures that endow the rank-one solvable extension of N with a conformally parallel G_2 structure. By suitably deforming the SU(3) structures obtained, we are able to describe the corresponding non-homogeneous Ricci-flat metrics with holonomy contained in G_2. In the process we also find a new metric with exceptional holonomy.


title: On quasi-free Hilbert modules

abstract: In this note we settle some technical questions concerning finite rank quasi-free Hilbert modules and develop some useful machinery. In particular, we provide a method for determining when two such modules are unitarily equivalent. Along the way we obtain representations for module maps and study how to determine the underlying holomorphic structure on such modules.


title: A weak-type inequality for non-commutative martingales and applications

abstract: We prove a weak-type (1,1) inequality for square functions of non-commutative martingales that are simultaneously bounded in $L^2$ and $L^1$. More precisely, the following non-commutative analogue of a classical result of Burkholder holds: there exists an absolute constant $K>0$ such that if $\cal{M}$ is a semi-finite von Neumann algebra and $(\cal{M}_n)^{\infty}_{n=1}$ is an increasing filtration of von Neumann subalgebras of $\cal{M}$ then for any given martingale $x=(x_n)^{\infty}_{n=1}$ that is bounded in $L^2(\cal{M})\cap L^1(\cal{M})$, adapted to $(\cal{M}_n)^{\infty}_{n=1}$, there exist two \underline{martingale difference} sequences, $a=(a_n)_{n=1}^\infty$ and $b=(b_n)_{n=1}^\infty$, with $dx_n = a_n + b_n$ for every $n\geq 1$, \[ | (\sum^\infty_{n=1} a_n^*a_n)^{{1}/{2}}|_{2} + | (\sum^\infty_{n=1} b_nb_n^*)^{1/2}|_{2} \leq 2| x |_2, \] and \[ | (\sum^\infty_{n=1} a_n^*a_n)^{{1}/{2}}|_{1,\infty} + | (\sum^\infty_{n=1} b_nb_n^*)^{1/2}|_{1,\infty} \leq K| x |_1. \] As an application, we obtain the optimal orders of growth for the constants involved in the Pisier-Xu non-commutative analogue of the classical Burkholder-Gundy inequalities.


title: Abelianizing vertex algebras

abstract: To every vertex algebra $V$ we associate a canonical decreasing sequence of subspaces and prove that the associated graded vector space $gr(V)$ is naturally a vertex Poisson algebra, in particular a commutative vertex algebra. We establish a relation between this sequence and the sequence $C_{n}$ introduced by Zhu. By using the (classical) algebra $gr(V)$, we prove that for any vertex algebra $V$, $C_{2}$-cofiniteness implies $C_{n}$-cofiniteness for all $n\ge 2$. We further use $gr(V)$ to study generating subspaces of certain types for lower truncated $Z$-graded vertex algebras.


title: On number fields with given ramification

abstract: Let E/F be a CM field split above a finite place v of F, let l be a rational prime number which is prime to v, and let S be the set of places of E dividing lv. If E_S denotes a maximal algebraic extension of E unramified outside S, and if u is a place of E dividing v, we show that any field embedding E_S \to \bar{E_u} has a dense image. The "unramified outside S" number fields we use are cut out from the l-adic cohomology of the "simple" Shimura varieties studied by Kottwitz and Harris-Taylor. The main ingredients of the proof are then the local Langlands correspondence for GL_n, the main global theorem of Harris-Taylor, and the construction of automorphic representations with prescribed local behaviours. We explain how stronger results would follow from the knowledge of some expected properties of Siegel modular forms, and we discuss the case of the Galois group of a maximal algebraic extension of Q unramified outside a single prime p and infinity.


title: Axiomatic Theory of Algorithms: Computability and Decidability in Algorithmic Classes

abstract: Axiomatic approach has demonstrated its power in mathematics. The main goal of this preprint is to show that axiomatic methods are also very efficient for computer science. It is possible to apply these methods to many problems in computer science. Here the main modes of computer functioning and program execution are described, formalized, and studied in an axiomatic context. The emphasis is on three principal modes: computation, decision, and acceptation. Now the prevalent mode for computers is computation. Problems of artificial intelligence involve decision mode, while communication functions of computer demand accepting mode. The main goal of this preprint is to study properties of these modes and relations between them. These problems are closely related to such fundamental concepts of computer science and technology as computability, decidability, and acceptability. In other words, we are concerned with the question what computers and software systems can do working in this or that mode. Consequently, results of this preprint allow one to achieve higher understanding of computations and in such a way, to find some basic properties of computers and their applications. Classes of algorithms, which model different kinds of computers and software, are compared with respect to their computing, accepting or deciding power. Operations with algorithms and machines are introduced. Examples show how to apply axiomatic results to different classes of algorithms and machines in order to enhance their performance.


title: The F-signature of an affine semigroup ring

abstract: We prove that the F-signature of an affine semigroup ring of positive characteristic is always a rational number, and describe a method for computing this number. We use this method to determine the F-signature of Segre products of polynomial rings, and of Veronese subrings of polynomial rings. Our technique involves expressing the F-signature of an affine semigroup ring as the difference of the Hilbert-Kunz multiplicities of two monomial ideals, and then using Watanabe's result that these Hilbert-Kunz multiplicities are rational numbers.


title: Parameter estimation and control for a class of systems with nonlinear parametrization

abstract: We propose novel parameter estimation algorithms for a class of dynamical systems with nonlinear parametrization. The class is initially restricted to smooth monotonic functions with respect to a linear functional of the parameters. We show that under this restriction standard persistent excitation suffices to ensure exponentially fast convergence of the estimates to the actual values of unknown parameters. Subsequently, our approach is extended to cases in which the monotonicity assumption holds only locally. We show that excitation with high-frequency of oscillations is sufficient to ensure convergence. Two practically relevant examples are given in order to illustrate the effectiveness of the approach.


title: Logarithmic connections with vanishing p-curvature

abstract: We examine logarithmic connections with vanishing p-curvature on smooth curves by studying their kernels, describing them in terms of formal local decomposition. We then apply our results in the case of connections of rank 2 on P^1, classifying such connections in terms of self-maps of P^1 with prescribed ramification.


title: The Kervaire-Laudenbach conjecture and presentations of simple groups

abstract: The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar comotion. AMS MSC: 20E32, 20F05, 20F06.


title: Proof of a conjecture of Hadwiger

abstract: Error in proof of theorem 10.


title: A cotangent bundle slice theorem

abstract: This article concerns cotangent-lifted Lie group actions; our goal is to find local and ``semi-global'' normal forms for these and associated structures. Our main result is a constructive cotangent bundle slice theorem that extends the Hamiltonian slice theorem of Marle, Guillemin and Sternberg. The result applies to all proper cotangent-lifted actions, around points with fully-isotropic momentum values. We also present a ``tangent-level'' commuting reduction result and use it to characterise the symplectic normal space of any cotangent-lifted action. In two special cases, we arrive at splittings of the symplectic normal space, which lead to refinements of the reconstruction equations (bundle equations) for a Hamiltonian vector field. We also note local normal forms for symplectic reduced spaces of cotangent bundles.


title: Cohomology of Drinfeld symmetric spaces and Harmonic cochains

abstract: Let K be a non-archimedean local field. This paper gives an explicit isomorphism between the dual of the special representation of GL_{n+1}(K)$and the space of harmonic cochains defined on the Bruhat-Tits building of GL_{n+1}(K), the definition of harmonic cochains is in the sense of E. de Shalit [Residues on buildings and de Rham cohomology of p-adic symmetric domains, Duke Math. J., 106, 123-191, (2000)]. We deduce, applying a work of P. Schneider and U. Stuhler, [The cohomology of p-adic symmetric spaces, Inv. Math. 105, 47-122, (1991)], that for K of any characteristic, there exists a GL_{n+1}(K)-equivariant isomorphism between the cohomology group of the Drinfeld symmetric space and the space of harmonic cochains.


title: Wakamatsu Tilting Modules, $U$-Dominant Dimension and $k$-Gorenstein Modules

abstract: Let $\Lambda$ and $\Gamma$ be left and right noetherian rings and $_{\Lambda}U$ a Wakamatsu tilting module with $\Gamma ={\rm End}(_{\Lambda}T)$. We introduce a new definition of $U$-dominant dimensions and show that the $U$-dominant dimensions of $_{\Lambda}U$ and $U_{\Gamma}$ are identical. We characterize $k$-Gorenstein modules in terms of homological dimensions and the property of double homological functors preserving monomorphisms. We also study a generalization of $k$-Gorenstein modules, and characterize it in terms of some similar properties of $k$-Gorenstein modules.


title: Autoequivalences of derived categories on the minimal resolutions of $A_n$-singularities on surfaces

abstract: In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.


title: On curvatures and focal points of dynamical Lagrangian distributions and their reductions by first integrals

abstract: Pairs (Hamiltonian system, Lagrangian distribution), called dynamical Lagrangian distributions, appear naturally in Differential Geometry, Calculus of Variations and Rational Mechanics. The basic differential invariants of a dynamical Lagrangian distribution w.r.t. the action of the group of symplectomorphisms of the ambient symplectic manifold are the curvature operator and the curvature form. These invariants can be seen as generalizations of the classical curvature tensor in Riemannian Geometry. In particular, in terms of these invariants one can localize the focal points along extremals of the corresponding variational problems. In the present paper we study the behavior of the curvature operator, the curvature form and the focal points of a dynamical Lagrangian distribution after its reduction by arbitrary first integrals in involution. The interesting phenomenon is that the curvature form of so-called monotone increasing Lagrangian dynamical distributions, which appear naturally in mechanical systems, does not decrease after reduction. It also turns out that the set of focal points to the given point w.r.t. the monotone increasing dynamical Lagrangian distribution and the corresponding set of focal points w.r.t. its reduction by one integral are alternating sets on the corresponding integral curve of the Hamiltonian system of the considered dynamical distributions. Moreover, the first focal point corresponding to the reduced Lagrangian distribution comes before any focal point related to the original dynamical distribution. We illustrate our results on the classical $N$-body problem.


title: Bubble towers for supercritical semilinear elliptic equations

abstract: We construct positive solutions of the semilinear elliptic problem $\Delta u+ \lambda u + u^p = 0$ with Dirichet boundary conditions, in a bounded smooth domain $\Omega \subset \R^N$ $(N\geq 4)$, when the exponent $p$ is supercritical and close enough to $\frac{N+2}{N-2}$ and the parameter $\lambda\in\R$ is small enough. As $p\to \frac{N+2}{N-2}$, the solutions have multiple blow up at finitely many points which are the critical points of a function whose definition involves Green's function. Our result extends the result of Del Pino, Dolbeault and Musso \cite{DDM} when $\Omega$ is a ball and the solutions are radially symmetric.


title: Spectral problems with mixed Dirichlet-Neumann boundary conditions: isospectrality and beyond

abstract: Consider a bounded domain with the Dirichlet condition on a part of the boundary and the Neumann condition on its complement. Does the spectrum of the Laplacian determine uniquely which condition is imposed on which part? We present some results, conjectures and problems related to this variation on the isospectral theme.


title: Chernoff's Theorem and Discrete Time Approximations of Brownian Motion on Manifolds

abstract: Let (S(t)) be a one-parameter family S = (S(t)) of positive integral operators on a locally compact space L. For a possibly non-uniform partition of [0,1] define a measure on the path space C([0,1],L) by using a) S(dt) for the transition between cosecutive partition times of distance dt, and b) a suitable continuous interpolation scheme (e.g. Brownian bridges or geodesics). If necessary normalize to get a probability measure. We prove a version of Chernoff's theorem of semigroup theory and tighness results which together yield convergence in law of such measures as the partition gets finer. In particular let L be a closed smooth submanifold of a Riemannian manifold M. We prove convergence of Brownian motion on M, conditioned to visit L at all partition times, to a process on L whose law has a Radon-Nikodym density with repect to Brownian motion on L which contains scalar, mean and sectional curvature terms. Various approximation schemes for Brownian motion are also given. These results substantially extend earlier work by the authors and by Andersson and Driver.


title: A formula for the multiplicity of the multi-graded extended Rees algebra

abstract: Our aim in this paper is to obtain a formula for the multiplicity of the maximal homogeneous ideal of the multi-graded extended Rees algebra. This formula generalizes the one obtained in [8] by Katz and Verma for the ordinary extended Rees algebra.


title: Polynomial poly-vector fields

abstract: In this text we give a decomposition result on polynomial poly-vector fields generalizing a result on the decomposition of homogeneous Poisson structures. We discuss consequences of this decomposition result in particular for low dimensions and low degrees. We provide the tools to calculate simple cubic Poisson structures in dimension three and quadratic Poisson structures in dimension four. Our decomposition result has a nice effect on the relation between Poisson structures and Jacobi structures.


title: Non-well-founded trees in categories

abstract: Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data-structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. In order to reason about trees, we need the notion of path, which can be formalised in the internal logic of any locally cartesian closed pretopos with a natural number object. In such categories, we derive existence results about M-types, leading to stability of locally cartesian closed pretoposes with a natural number object and M-types under slicing, formation of coalgebras (for a cartesian comonad), and sheaves for an internal site.


title: Comodules of $U_q(sl_2)$ and modules of $SL_q(2)$ via quiver

abstract: The aim of this paper is to construct comodules of $U_q(sl_2)$ and modules of $SL_q(2)$ via quiver, where $q$ is not a root of unity. By embedding the quantized algebra $U_q(sl_2)$ into the path coalgebra $k\mathcal{D}^c$, where $\mathcal{D}$ is the Gabriel quiver of $U_q(sl_2)$ as a coalgebra, we obtain a basis of $U_q(sl_2)$ in terms of combinations of paths in the quiver $\mathcal{D}$; this special basis enable us to describe the category of $U_q(sl_2)$-comodules by certain representations of $\mathcal{D}$; and this description further permits us to construct a class of modules of the quantum special linear group $SL_q(2)$, from certain representations of $\mathcal{D}$, via the duality between $U_q(sl_2)$ and $SL_q(2)$.


title: Milnor open books and Milnor fillable contact 3-manifolds

abstract: We say that a contact manifold is Milnor fillable if it is contactomorphic to the contact boundary of an isolated complex-analytic singularity (X,x). Generalizing results of Milnor and Giroux, we associate to each holomorphic function f defined on X, with isolated singularity at x, an open book which supports the contact structure. Moreover, we prove that any 3-dimensional oriented manifold admits at most one Milnor fillable contact structure up to contactomorphism. * * * * * * * * In the first version of the paper, we showed that the open book associated to f carries the contact structure only up to an isotopy. Here we drop this restriction. Following a suggestion of Janos Kollar, we also give a simplified proof of the algebro-geometrical theorem 4.1, central for the uniqueness result.


title: Homological behavior of Auslander's $k$-Gorenstein rings

abstract: In this paper we mainly study the homological properties of dual modules over $k$-Gorenstein rings. For a right quasi $k$-Gorenstein ring $\Lambda$, we show that the right self-injective dimension of $\Lambda$ is at most $k$ if and only if each $M \in$mod $\Lambda$ satisfying the condition that Ext$_{\Lambda}^i(M, \Lambda)=0$ for any $1\leq i \leq k$ is reflexive. For an $\infty$-Gorenstein ring, we show that the big and small finitistic dimensions and the self-injective dimension of $\Lambda$ are identical. In addition, we show that if $\Lambda$ is a left quasi $\infty$-Gorenstein ring and $M\in$mod $\Lambda$ with grade$M$ finite, then Ext$_{\Lambda}^i($Ext$_{\Lambda ^{op}}^i($Ext$_{\Lambda}^{{\rm grade}M}(M, \Lambda), \Lambda), \Lambda)=0$ if and only if $i\neq$grade$M$. For a 2-Gorenstein ring $\Lambda$, we show that a non-zero proper left ideal $I$ of $\Lambda$ is reflexive if and only if $\Lambda /I$ has no non-zero pseudo-null submodule.


title: Resolutions over Koszul algebras

abstract: In this paper we show that if $\Lambda=\amalg_{i\geq 0}\Lambda_i$ is a Koszul algebra with $\Lambda_0$ isomorphic to a product of copies of a field, then the minimal projective resolution of $\Lambda_0$ as a right $\Lambda$-module provides all the information necessary to construct both a minimal projective resolution of $\Lambda_0$ as a left $\Lambda$-module and a minimal projective resolution of $\Lambda$ as a right module over the enveloping algebra of $\Lambda$. The main tool for this is showing that there is a comultiplicative structure on a minimal projective resolution of $\Lambda_0$ as a right $\Lambda$-module.


title: On the grade of modules over Noetherian rings

abstract: Let $\Lambda$ be a left and right noetherian ring and $\mod \Lambda$ the category of finitely generated left $\Lambda$-modules. In this paper we show the following results: (1) For a positive integer $k$, the condition that the subcategory of $\mod \Lambda$ consisting of $i$-torsionfree modules coincides with the subcategory of $\mod \Lambda$ consisting of $i$-syzygy modules for any $1\leq i \leq k$ is left-right symmetric. (2) If $\Lambda$ is an Auslander ring and $N$ is in $\mod \Lambda ^{op}$ with $\grade N=k<\infty$, then $N$ is pure of grade $k$ if and only if $N$ can be embedded into a finite direct sum of copies of the $(k+1)$st term in a minimal injective resolution of $\Lambda$ as a right $\Lambda$-module. (3) Assume that both the left and right self-injective dimensions of $\Lambda$ are $k$. If $\grade {\rm Ext}_{\Lambda}^k(M, \Lambda)\geq k$ for any $M\in\mod \Lambda$ and $\grade {\rm Ext}_{\Lambda}^i(N, \Lambda)\geq i$ for any $N\in\mod \Lambda ^{op}$ and $1\leq i \leq k-1$, then the socle of the last term in a minimal injective resolution of $\Lambda$ as a right $\Lambda$-module is non-zero.


title: Entire cyclic homology of Schatten ideals

abstract: Certain cocycles constructed by Connes are characters of $p$-summable Fredholm modules. In this article, we establish some consequences of the universal properties which these characters enjoy. Our main technical result is that the entire cyclic cohomology of the p-th Schatten ideal L^p (respectively, homology) is independent of p and isomorphic to the entire cyclic cohomology (respectively, homology) of the ideal of trace class operators L^1.


title: Estimating the causal effect of a time-varying treatment on time-to-event using structural nested failure time models

abstract: In this paper we review an approach to estimating the causal effect of a time-varying treatment on time to some event of interest. This approach is designed for the situation where the treatment may have been repeatedly adapted to patient characteristics, which themselves may also be time-dependent. In this situation the effect of the treatment cannot simply be estimated by conditioning on the patient characteristics, as these may themselves be indicators of the treatment effect. This so-called time-dependent confounding is typical in observational studies. We discuss a new class of failure time models, structural nested failure time models, which can be used to estimate the causal effect of a time-varying treatment, and present methods for estimating and testing the parameters of these models.


title: The geometric complex of a Morse-Bott-Smale pair and an extension of a theorem by Bismut-Zhang

abstract: We define the geometric complex associated to a Morse-Bott-Smale vector field, cf. [Austin-Braam, 1995], and its associated spectral sequence. We prove an extension of the Bismut-Zhang theorem to Morse-Bott-Smale functions. The proof is based on the Bismut-Zhang theorem for Morse-Smale functions, see [Bismut-Zhang, 1992].


title: Special almost Hermitian geometry

abstract: We study the classification of special almost hermitian manifolds in Gray and Hervella's type classes. We prove that the exterior derivatives of the symplectic form and the complex volume form contain all the information about the intrinsic torsion of the $\SUn(n)$-structure. Furthermore, we apply the obtained results to almost hyperhermitian geometry. Thus, we show that the exterior derivatives of the three K{\"a}hler forms of an almost hyperhermitian manifold are sufficient to determine the three covariant derivatives of such forms, i.e., the three mentioned exterior derivatives determine the intrinsic torsion of the ${\sl Sp}(n)$-structure.


title: Stable and real rank for crossed products by automorphisms with the tracial Rokhlin property

abstract: We introduce the tracial Rokhlin property for automorphisms of stably finite simple unital C*-algebras containing enough projections. This property is formally weaker than the various Rokhlin properties considered by Herman and Ocneanu, Kishimoto, and Izumi. Our main results are as follows. Consider a stably finite simple unital C*-algebra, and an automorphism of it which has the tracial Rokhlin property. Suppose the algebra has real rank zero and stable rank one, and suppose that the order on projections over the algebra is determined by traces. Then the crossed product by the automorphism also has these three properties. We also present examples of C*-algebras and automorphisms which satisfy the above assumptions, but such that crossed product algebras do not have tracial rank zero.


title: Furstenberg transformations on irrational rotation algebras

abstract: We introduce a general class of automorphisms of rotation algebras, the noncommutative Furstenberg transformations. We prove that fully irrational noncommutative Furstenberg transformations have the tracial Rokhlin property, which is a strong form of outerness. We conclude that crossed products by these automorphisms have stable rank one, real rank zero, and order on projections determined by traces (Blackadar's Second Fundamental Comparability Question). We also prove that several classes of simple quotients of the C*-algebras of discrete subgroups of five dimensional nilpotent Lie groups, considered by Milnes and Walters, are crossed products of simple C*-algebras (C*-algebras of minimal ordinary Furstenberg transformations) by automorphisms which have the tracial Rokhlin property. It follows that these algebras also have stable rank one, real rank zero, and order on projections determined by traces.


title: $L^2$ Extension for Jets of Holomorphic Sections of a Hermitian Line Bundle

abstract: Let $(X, \omega)$ be a weakly pseudoconvex K\"ahler manifold, $Y \subset X$ a closed submanifold defined by some holomorphic section of a vector bundle over $X,$ and $L$ a Hermitian line bundle satisfying certain positivity conditions. We prove that for any integer $k\geq 0,$ any section of the jet sheaf $L\otimes {\cal O}_X/{\cal I}_Y^{k+1},$ which satisfies a certain $L^2$ condition, can be extended into a global holomorphic section of $L$ over $X$ whose $L^2$ growth on an arbitrary compact subset of $X$ is under control. In particular, if $Y$ is merely a point, this gives the existence of a global holomorphic function with an $L^2$ norm under control and with prescribed values for all its derivatives up to order $k$ at a point. This result generalizes the $L^2$ extension theorems of Ohsawa-Takegoshi and of Manivel to the case of jets of sections of a line bundle. A technical difficulty is to achieve uniformity in the constant appearing in the final estimate. In this respect, we make use of the exponential map and of a Rauch-type comparison theorem for complete Riemannian manifolds.


title: Density of normal binary covering codes

abstract: A binary code with covering radius $R$ is a subset $C$ of the hypercube $Q_n=\{0,1\}^n$ such that every $x\in Q_n$ is within Hamming distance $R$ of some codeword $c\in C$, where $R$ is as small as possible. For a fixed coordinate $i\in[n]$, define $C(b,i)$, for $b=0,1$, to be the set of codewords with a $b$ in the $i$th position. Then $C$ is normal if there exists an $i\in[n]$ such that for any $v\in Q_n$, the sum of the Hamming distances from $v$ to $C(0,i)$ and $C(1,i)$ is at most $2R+1$. We newly define what it means for an asymmetric covering code to be normal, and consider the worst case asymptotic densities $\nu^*(R)$ and $\nu^*_+(R)$ of constant radius $R$ symmetric and asymmetric normal covering codes, respectively. Using a probabilistic deletion method, and analysis adapted from previous work by Krivelevich, Sudakov, and Vu, we show that both are bounded above by $e(R\log R + \log R + \log\log R+4)$, giving evidence that minimum size constant radius covering codes could still be normal.


title: Quenching and Propagation of Combustion Without Ignition Temperature Cutoff

abstract: We study a reaction-diffusion equation in the cylinder $\Omega = \mathbb{R}\times\mathbb{T}^m$, with combustion-type reaction term without ignition temperature cutoff, and in the presence of a periodic flow. We show that if the reaction function decays as a power of $T$ larger than three as $T\to 0$ and the initial datum is small, then the flame is extinguished -- the solution quenches. If, on the other hand, the power of decay is smaller than three or initial datum is large, then quenching does not happen, and the burning region spreads linearly in time. This extends results of Aronson-Weinberger for the no-flow case. We also consider shear flows with large amplitude and show that if the reaction power-law decay is larger than three and the flow has only small plateaux (connected domains where it is constant), then any compactly supported initial datum is quenched when the flow amplitude is large enough (which is not true if the power is smaller than three or in the presence of a large plateau). This extends results of Constantin-Kiselev-Ryzhik for combustion with ignition temperature cutoff. Our work carries over to the case $\Omega = \mathbb{R}^n\times\mathbb{T}^m$, when the critical power is $1 + 2/n$, as well as to certain non-periodic flows.


title: Descent of the Definition Field of a Tower of Function Fields and Applications

abstract: Let us consider an algebraic function field defined over a finite Galois extension $K$ of a perfect field $k$. We give some conditions allowing the descent of the definition field of the algebraic function field from $K$ to $k$. We apply these results to the descent of the definition field of a tower of function fields.We give explicitly the equations of the intermediate steps of an Artin-Schreier type extension reduced from $\F_{q^2}$ to $\F_q$. By applying these results to a completed Garcia-Stichtenoth's tower we improve the upper bounds and the upper asymptotic bounds of the bilinear complexity of the multiplication in finite fields.


title: Syzygy modules for quasi $k$-Gorenstein rings

abstract: Let $\Lambda$ be a quasi $k$-Gorenstein ring. For each $d$th syzygy module $M$ in mod $\Lambda$ (where $0 \leq d \leq k-1$), we obtain an exact sequence $0 \to B \to M \bigoplus P \to C \to 0$ in mod $\Lambda$ with the properties that it is dual exact, $P$ is projective, $C$ is a $(d+1)$st syzygy module, $B$ is a $d$th syzygy of Ext$_{\Lambda}^{d+1}(D(M), \Lambda)$ and the right projective dimension of $B^*$ is less than or equal to $d-1$. We then give some applications of such an exact sequence as follows. (1) We obtain a chain of epimorphisms concerning $M$, and by dualizing it we then get the spherical filtration of Auslander and Bridger for $M^*$. (2) We get Auslander and Bridger's Approximation Theorem for each reflexive module in mod $\Lambda ^{op}$. (3) We show that for any $0 \leq d \leq k-1$ each $d$th syzygy module in mod $\Lambda$ has an Evans-Griffith representation. As an immediate consequence of (3), we have that, if $\Lambda$ is a commutative noetherian ring with finite self-injective dimension, then for any non-negative integer $d$, each $d$th syzygy module in mod $\Lambda$ has an Evans-Griffith representation, which generalizes an Evans and Griffith's result to much more general setting.


title: Approximation presentations of modules and homological conjectures

abstract: In this paper we give a sufficient condition of the existence of ${\rm \mathbb{W}}^{t}$-approximation presentations. We also introduce property (W$^{k}$). As an application of the existence of ${\rm \mathbb{W}}^{t}$-approximation presentations we give a connection between the finitistic dimension conjecture, the Auslander-Reiten conjecture and property (W$^{k}$).


title: On $U$-Dominant Dimension

abstract: Let $\Lambda$ and $\Gamma$ be artin algebras and $_{\Lambda}U_{\Gamma}$ a faithfully balanced selforthogonal bimodule. We show that the $U$-dominant dimensions of $_{\Lambda}U$ and $U_{\Gamma}$ are identical. As applications to the results obtained, we give some characterizations of double dual functors (with respect to $_{\Lambda}U_{\Gamma}$) preserving monomorphisms and being left exact respectively.


title: $k$-Gorenstein Modules

abstract: Let $\Lambda$ and $\Gamma$ be artin algebras and $_{\Lambda}U_{\Gamma}$ a faithfully balanced selforthogonal bimodule. In this paper, we first introduce the notion of $k$-Gorenstein modules with respect to $_{\Lambda}U_{\Gamma}$ and then characterize it in terms of the $U$-resolution dimension of some special injective modules and the property of the functors ${\rm Ext}^{i}({\rm Ext}^{i}(-, U), U)$ preserving monomorphisms, which develops a classical result of Auslander. As an application, we study the properties of dual modules relative to Gorenstein bimodules. In addition, we give some properties of $_{\Lambda}U_{\Gamma}$ with finite left or right injective dimension.


title: The depth of powers of an ideal

abstract: We study the limit and initial behavior of the numerical function $f(k)=\depth S/I^k$. General properties of this function together with concrete examples arising from combinatorics are discussed.


title: $\mathbf Z_2$-graded Cech Cohomology in Noncommutative Geometry

abstract: The Z_2-graded Cech cohomology theory is considered in the framework of noncommutative geometry over complex number field and in particular the homotopy invariance and Morita invariance are proven.


title: Estimating marginal survival function by adjusting for dependent censoring using many covariates

abstract: One goal in survival analysis of right-censored data is to estimate the marginal survival function in the presence of dependent censoring. When many auxiliary covariates are sufficient to explain the dependent censoring, estimation based on either a semiparametric model or a nonparametric model of the conditional survival function can be problematic due to the high dimensionality of the auxiliary information. In this paper, we use two working models to condense these high-dimensional covariates in dimension reduction; then an estimate of the marginal survival function can be derived nonparametrically in a low-dimensional space. We show that such an estimator has the following double robust property: when either working model is correct, the estimator is consistent and asymptotically Gaussian; when both working models are correct, the asymptotic variance attains the efficiency bound.


title: Spectrality of ordinary differential operators

abstract: We prove the long standing conjecture in the theory of two-point boundary value problems that completeness and Dunford's spectrality imply Birkhoff regularity. In addition we establish the even order part of S.G.Krein's conjecture that dissipative differential operators are Birkhoff-regular and give sharp estimate of the norms of spectral projectors in the odd case. Considerations are based on a new direct method, exploiting \textit{almost orthogonality} of Birkhoff's solutions of the equation $l(y)=\lambda y$, which was discovered earlier by the author.


title: Local units versus local projectivity. Dualisations: Corings with local structure maps

abstract: We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits and rings with local multiplications.


title: Completing the operadic butterfly

abstract: We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for Koszul duality.


title: Multi-valued graphs in embedded constant mean curvature disks

abstract: In this paper we prove that an embedded and simply connected constant mean curvature surface with curvature large at a point contains a multi-valued graph around that point on the scale of $|A|^2$, where $|A|^2$ is the norm squared of the second fundamental form. This generalizes Colding and Minicozzi's result for minimal surfaces.


title: An invariant for open virtual strings

abstract: Extended Alexander groups are used to define an invariant for open virtual strings. Examples of non-commuting open strings and a ribbon-concordance obstruction are given. An example is given of a slice virtual open string that is not ribbon. Definitions are extended to open n-strings.


title: Robust Uncertainty Principles: Exact Signal Reconstruction from Highly Incomplete Frequency Information

abstract: This paper considers the model problem of reconstructing an object from incomplete frequency samples. Consider a discrete-time signal $f \in \C^N$ and a randomly chosen set of frequencies $\Omega$ of mean size $\tau N$. Is it possible to reconstruct $f$ from the partial knowledge of its Fourier coefficients on the set $\Omega$? A typical result of this paper is as follows: for each $M > 0$, suppose that $f$ obeys $$ # \{t, f(t) \neq 0 \} \le \alpha(M) \cdot (\log N)^{-1} \cdot # \Omega, $$ then with probability at least $1-O(N^{-M})$, $f$ can be reconstructed exactly as the solution to the $\ell_1$ minimization problem $$ \min_g \sum_{t = 0}^{N-1} |g(t)|, \quad \text{s.t.} \hat g(\omega) = \hat f(\omega) \text{for all} \omega \in \Omega. $$ In short, exact recovery may be obtained by solving a convex optimization problem. We give numerical values for $\alpha$ which depends on the desired probability of success; except for the logarithmic factor, the condition on the size of the support is sharp. The methodology extends to a variety of other setups and higher dimensions. For example, we show how one can reconstruct a piecewise constant (one or two-dimensional) object from incomplete frequency samples--provided that the number of jumps (discontinuities) obeys the condition above--by minimizing other convex functionals such as the total-variation of $f$.


title: Prescribing symmetric functions of the eigenvalues of the Ricci tensor

abstract: We study the problem of conformally deforming a metric to a prescribed symmetric function of the eigenvalues of the Ricci tensor. We prove an existence theorem for a wide class of symmetric functions on manifolds with positive Ricci curvature, provided the conformal class admits an admissible metric.


title: Modules and Cohomology over Group Algebras: One Commutative Algebraist's Perspective

abstract: This article explains basic constructions and results on group algebras and their cohomology, starting from the point of view of commutative algebra. It provides the background necessary for a novice in this subject to begin reading Dave Benson's article in the same MSRI volume that this article is slated to appear in.


title: Locally Isotropic Pseudo-Riemannian Manifolds

abstract: Locally isotropic pseudo-Riemannian manifolds are known to be locally symmetric; this result is due to Wolf. In the Riemannian setting one proof, due to Szab\'o, uses spectral properties of the so-called Szab\'o operator. In this paper we extend Szab\'o's method to the pseudo-Riemannian setting, obtaining results comparable to those of Wolf. Most results concerning the Szab\'o operator in the pseudo-Riemannian setting are presented using methods of algebraic topology. This paper exploits the polynomial nature of the Szab\'o operator along with its behavior over the nullcone, both of which have received little attention this far.


title: A Residue Theorem for Malcev-Neumann Series

abstract: In this paper, we establish a residue theorem for Malcev-Neumann series that requires few constraints, and includes previously known combinatorial residue theorems as special cases. Our residue theorem identifies the residues of two formal series that are related by a change of variables. We obtain simple conditions for when a change of variables is possible, and find that the two related formal series in fact belong to two different fields of Malcev-Neumann series. The multivariate Lagrange inversion formula is easily derived and Dyson's conjecture is given a new proof and generalized.


title: Bialgebra Cyclic Homology with Coefficients, Part II

abstract: This is the second part of the article [math.KT/0408094]. In the first paper, we used the underlying coalgebra structure to develop a cyclic theory. In this paper we define a dual theory by using the algebra structure. We define a cyclic homology theory for triples $(X,B,Y)$ where $B$ is a bialgebra, $X$ is a $B$--comodule algebra and $Y$ is just a stable $B$--module/comodule. We recover the main result of [math.KT/0310088] that these homology theories are dual to each other in the appropriate sense when the bialgebra is a Hopf algebra and the stable coefficient module satisfies anti-Yetter-Drinfeld condition. We also compute this particular homology for the quantum deformation of an arbitrary semi-simple Lie algebra and the Hopf algebra of foliations of codimension $N$ with stable but non-anti-Yetter-Drinfeld coefficients.


title: Notes on commutative algebra and harmonic analysis

abstract: Fourier series with absolutely summable coefficients provide a classical example of a commutative Banach algebra, and these notes are concerned with this and related matters.


title: On the Cycle Spaces Associated to Orbits of Semi-simple Lie Groups

abstract: Let G be a semi-simple Lie group and Q a parabilic subgroup of its complexification G^\mathbb C, then Z:=G^\mathbb C/Q is a compact complex homogeneous manifold. Moreover, G as well as K^\mathbb C, the complexification of the maximal compact subgroup of G, acts naturally on Z with finitely many orbits. For any G-orbit, there exist a K^\mathbb C-orbit so that their intersection is non-empty and compact. This duality relation with consideration of cycle intersection at the boundary of a G-orbit lead to the definition of the cycle space associated to any G-orbit. Methods involving Schubert varieties, transversal Schubert slices together with geometric properties of a certain complementary incidence hypersurface and results about the open orbits yield a complete characterisation of the cycle space associated to an arbitrary G-orbit. In particular, it is shown that all the cycle spaces except in a few Hermitian cases are equivalent to the domain $\Omega_{AG}$. In the exceptional Hermitian cases, the cycle spaces are equivalent to the associated bounded domain.


title: On Recent Progress for the Stochastic Navier Stokes Equations

abstract: We give an overview of the ideas central to some recent developments in the ergodic theory of the stochastically forced Navier Stokes equations and other dissipative stochastic partial differential equations. Since our desire is to make the core ideas clear, we will mostly work with a specific example: the stochastically forced Navier Stokes equations. To further clarify ideas, we will also examine in detail a toy problem. A few general theorems are given. Spatial regularity, ergodicity, exponential mixing, coupling for a SPDE, and hypoellipticity are all discussed.


title: Fire containment in grids of dimension three and higher

abstract: We consider a deterministic discrete-time model of fire spread introduced by Hartnell [1995] and the problem of minimizing the number of burnt vertices when deploying a limited number of firefighters per timestep. We consider the process occurring on the d-dimensional square lattice for d>=3, and we prove several results, including two conjectures of Wang and Moeller [2002].