title: Positivity and strong ellipticity

abstract: We consider second-order partial differential operators $H$ in divergence form on $\Ri^d$ with a positive-semidefinite, symmetric, matrix $C$ of real $L_\infty$-coefficients and establish that $H$ is strongly elliptic if and only if the associated semigroup kernel satisfies local lower bounds, or, if and only if the kernel satisfies Gaussian upper and lower bounds.


title: On an identity due to ((Bump and Diaconis) and (Tracy and Widom))

abstract: A classical question for a Toeplitz matrix with given symbol is to compute asymptotics for the determinants of its reductions to finite rank. One can also consider how those asymptotics are affected when shifting an initial set of rows and columns (or, equivalently, asymptotics of their minors). Bump and Diaconis (Toeplitz minors, J. Combin. Theory Ser. A, 97 (2002), pp. 252--271) obtained a formula for such shifts involving Laguerre polynomials and sums over symmetric groups. They also showed how the Heine identity extends for such minors, which makes this question relevant to Random Matrix Theory. Independently, Tracy and Widom (On the limit of some Toeplitz-like determinants, SIAM J. Matrix Anal. Appl., 23 (2002), pp. 1194--1196) used the Wiener-Hopf factorization to express those shifts in terms of products of infinite matrices. We show directly why those two expressions are equal and uncover some structure in both formulas that was unknown to their authors. We introduce a mysterious differential operator on symmetric functions that is very similar to vertex operators. We show that the Bump-Diaconis-Tracy- Widom identity is a differentiated version of the classical Jacobi-Trudi identity.


title: Dirichlet forms and degenerate elliptic operators

abstract: It is shown that the theory of real symmetric second-order elliptic operators in divergence form on $\Ri^d$ can be formulated in terms of a regular strongly local Dirichlet form irregardless of the order of degeneracy. The behaviour of the corresponding evolution semigroup $S_t$ can be described in terms of a function $(A,B) \mapsto d(A ;B)\in[0,\infty]$ over pairs of measurable subsets of $\Ri^d$. Then \[ |(\phi_A,S_t\phi_B)|\leq e^{-d(A;B)^2(4t)^{-1}}\|\phi_A\|_2\|\phi_B\|_2 \] for all $t>0$ and all $\phi_A\in L_2(A)$, $\phi_B\in L_2(B)$. Moreover $S_tL_2(A)\subseteq L_2(A)$ for all $t>0$ if and only if $d(A ;A^c)=\infty$ where $A^c$ denotes the complement of $A$.


title: Small time asymptotics of diffusion processes

abstract: We establish the short-time asymptotic behaviour of the Markovian semigroups associated with strongly local Dirichlet forms under very general hypotheses. Our results apply to a wide class of strongly elliptic, subelliptic and degenerate elliptic operators. In the degenerate case the asymptotics incorporate possible non-ergodicity.


title: Degenerate elliptic operators: capacity, flux and separation

abstract: Let $S=\{S_t\}_{t\geq0}$ be the semigroup generated on $L_2(\Ri^d)$ by a self-adjoint, second-order, divergence-form, elliptic operator $H$ with Lipschitz continuous coefficients. Further let $\Omega$ be an open subset of $\Ri^d$ with Lipschitz continuous boundary $\partial\Omega$. We prove that $S$ leaves $L_2(\Omega)$ invariant if, and only if, the capacity of the boundary with respect to $H$ is zero or if, and only if, the energy flux across the boundary is zero. The global result is based on an analogous local result.


title: Flop invariance of the topological vertex

abstract: We prove transformation formulae for generating functions of Gromov-Witten invariants on general toric Calabi-Yau threefolds under flops. Our proof is based on a combinatorial identity on the topological vertex and analysis of fans of toric Calabi-Yau threefolds.


title: On sl(2)-equivariant quantizations

abstract: By computing certain cohomology of Vect(M) of smooth vector fields we prove that on 1-dimensional manifolds M there is no quantization map intertwining the action of non-projective embeddings of the Lie algebra sl(2) into the Lie algebra Vect(M). Contrariwise, for projective embeddings sl(2)-equivariant quantization exists.


title: Radon--Nikodym representations of Cuntz--Krieger algebras and Lyapunov spectra for KMS states

abstract: We study relations between $(H,\beta)$--KMS states on Cuntz--Krieger algebras and the dual of the Perron--Frobenius operator $\mathcal{L}_{-\beta H}^{*}$. Generalising the well--studied purely hyperbolic situation, we obtain under mild conditions that for an expansive dynamical system there is a one--one correspondence between $(H,\beta)$--KMS states and eigenmeasures of $\mathcal{L}_{-\beta H}^{*}$ for the eigenvalue 1. We then consider representations of Cuntz--Krieger algebras which are induced by Markov fibred systems, and show that if the associated incidence matrix is irreducible then these are $\ast$--isomorphic to the given Cuntz--Krieger algebra. Finally, we apply these general results to study multifractal decompositions of limit sets of essentially free Kleinian groups $G$ which may have parabolic elements. We show that for the Cuntz--Krieger algebra arising from $G$ there exists an analytic family of KMS states induced by the Lyapunov spectrum of the analogue of the Bowen--Series map associated with $G$. Furthermore, we obtain a formula for the Hausdorff dimensions of the restrictions of these KMS states to the set of continuous functions on the limit set of $G$. If $G$ has no parabolic elements, then this formula can be interpreted as the singularity spectrum of the measure of maximal entropy associated with $G$.


title: Universal homotopy associative, homotopy commutative H-spaces and the EHP spectral sequence

abstract: Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces in the sense that any map f:X->Y to a homotopy associative, homotopy commutative H-space extends to a uniquely determined H-map F: U(X)->Y. Developing a method for recognising certain universal spaces, we show the existence of the universal space F_2(n) of a certain three-cell complex L. Using this specific example, we derive some consequences for the calculation of the unstable homotopy groups of spheres, namely, we obtain a formula for the d_1-differential of the EHP-spectral sequence valid in a certain range.


title: The cohomology of exotic 2-local finite groups

abstract: There exist spaces BSol(q) which are the classifying spaces of a family of 2-local finite groups based on certain fusion system over the Sylow 2-subgroups of Spin_7(q). In this paper we calculate the cohomology of BSol(q) as an algebra over the Steenrod algebra A_2. We also provide the calculation of the cohomology algebra over A_2 of the finite group of Lie type G_2(q).


title: On phylogenetic trees - a geometer's view

abstract: We investigate projective varieties which are geometric models of binary symmetric phylogenetic 3-valent trees. We prove that these varieties have Gorenstein terminal singularities (with small resolution) and they are Fano varieties of index 4. Moreover any two such varieties associated to trees with the same number of leaves are deformation equivalent, that is, they are in the same connected component of the Hilbert scheme of the projective space. As an application we provide a simple formula for computing their Hilbert-Ehrhard polynomial.


title: Invariants for Normal Completely Positive Maps on the Hyperfinite $II_1$ Factor

abstract: We investigate certain classes of normal completely positive (CP) maps on the hyperfinite $II_1$ factor $\mathcal A$. Using the representation theory of a suitable irrational rotation algebra, we propose some computable invariants for such CP maps.


title: The maximum distinguishing number of a group

abstract: Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we show that if G is nilpotent of class c or supersolvable of length c then G always acts with distinguishing number at most c+1. We obtain that all metacyclic groups act with distinguishing number at most 3; these include all groups of squarefree order. We also prove that the distinguishing number of the action of the general linear group over a field K on the vector space K^n is 2 if K has at least n+1 elements.


title: The Mordell-Lang Theorem for finitely generated subgroups of a semiabelian variety defined over a finite field

abstract: We determine the structure of the intersection of a finitely generated subgroup of a semiabelian variety $G$ defined over a finite field with a closed subvariety $X\subset G$.


title: The distinguishing number of the augmented cube and hypercube powers

abstract: The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 < p < n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.


title: Spaces of geometrically generic configurations

abstract: Let X denote either CP^m or C^m. We study certain analytic properties of the space E^n of ordered geometrically generic n-point configurations in X. This space consists of all q=(q_1,...,q_n) in X^n such that no m+1 of the points q_1,...,q_n belong to a hyperplane in X. In particular, we show that for X=CP^m and n big enough any holomorphic map f:E^n-->E^n commuting with the natural action of the symmetric group S(n) in E^n is of the form f(q)=t(q)q=(t(q)q_1,...,t(q)q_n), for q in E^n, where t:E^n-->PSL(m+1,C) is an S(n)-invariant holomorphic map. A similar result holds true for mappings of the space of ordered geometrically generic n-point configurations in C^m.


title: When is the commutant of a Bol loop a subloop?

abstract: A left Bol loop is a loop satisfying $x(y(xz)) = (x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd order or of order $2k$, $k$ odd, the commutant is a subloop. We investigate conditions under which the commutant of a Bol loop is not a subloop. In a finite Bol loop of order relatively prime to 3, the commutant generates an abelian group of order dividing the order of the loop. This generalizes a well-known result for Moufang loops. After describing all extensions of a loop $K$ such that $K$ is in the left and middle nuclei of the resulting loop, we show how to construct classes of Bol loops with non-subloop commutant. In particular, we obtain all Bol loops of order 16 with non-subloop commutant.


title: On Teichmuller Space of Surface with Boundary

abstract: We characterization hyperbolic metrics on compact surfaces with boundary using a variational principle. As a consequence, a new parametrization of the Teichmuller space of compact surface with boundary is produced. In the new parametrization, the Teichmuller space becomes an open convex polytope. It is conjectured that the Weil-Petersson symplectic form can be expressed explicitly in terms of the new coordinate.


title: Surface distance on knots

abstract: This paper has been withdrawn by the author. The author found that the main results here were already obtained by K. Taniyama and A. Yasuhara `On $C$-distance of knots. Kobe J. Math. 11 (1994), no. 1, 117--127. MR1309997 (95j:57010)'. He would like to thank M. Ozawa for the information.


title: Semiclassical asymptotics and gaps in the spectra of periodic Schr\"odinger operators with magnetic wells

abstract: We show that, under some very weak assumption of effective variation for the magnetic field, a periodic Schr\"odinger operator with magnetic wells on a noncompact Riemannian manifold $M$ such that $H^1(M, \R)=0$ equipped with a properly disconnected, cocompact action of a finitely generated, discrete group of isometries has an arbitrarily large number of spectral gaps in the semi-classical limit.


title: The Lempert function of the symmetrized polydisc in higher dimensions is not a distance

abstract: We prove that the Lempert function of the symmetrized polydisc in dimension greater than two is not a distance.


title: On Fox spaces and Jacobi identities

abstract: In 1945, R. Fox introduced the so-called Fox torus homotopy groups in which the usual homotopy groups are embedded and their Whitehead products are expressed as commutators. A modern treatment of Fox torus homotopy groups and their generalization has been given and studied. In this note, we further explore these groups and their properties. We discuss co-multiplications on Fox spaces and a Jacobi identity for the generalized Whitehead products and the $\Gamma$-Whitehead products.


title: Polynomial bounds for large Bernoulli sections of $\ell_1^N$

abstract: We prove a quantitative version of the bound on the smallest singular value of a Bernoulli covariance matrix (due to Bai and Yin). Then we use this bound, together with several recent developments, to show that the distance from a random (1-delta) n - dimensional section of ell_1^n, realised as an image of a sign matrix, to an Euclidean ball is polynomial in 1/delta (and independent of n), with high probability.


title: Szego projections and new invariants for CR and contact manifolds

abstract: In this paper we give a survey of the constructions in math.DG/0510061 of several new invariants for CR and contact manifolds. The latter extend previous constructions of Hirachi and Boutet de Monvel. In addition, we give simple algebro-geometric arguments proving that Hirachi's invariant vanishes on strictly pseudoconvex CR manifolds of dimension 4m+1.


title: On functions of Jacobi and Weierstrass (I)

abstract: We present some new results in theory of classical theta-functions of Jacobi and sigma-functions of Weierstrass: ordinary differential equations (dynamical systems) and series expansions. The paper is basically organized as a stream of new formulas.


title: Recurrence matrices

abstract: We define recurrence matrices and study a few properties (links with automatic sequences, branch groups etc.) of them.


title: On the irreducibility of Deligne-Lusztig varieties

abstract: Let $G$ be a connected reductive algebraic group defined over an algebraic closure of a finite field and let $F : G \to G$ be an endomorphism such that $F^d$ is a Frobenius endomorphism for some $d \geq 1$. Let $P$ be a parabolic subgroup of $G$ admitting an $F$-stable Levi subgroup. We prove that the Deligne-Lusztig variety $\{gP | g^{-1}F(g)\in P\cdot F(P)\}$ is irreducible if and only if $P$ is not contained in a proper $F$-stable parabolic subgroup of $G$.


title: Upper Bounds for the Davenport Constant

abstract: We prove that for all but a certain number of abelian groups of order n its Davenport constant is atmost n/k+k-1 for k=1,2,..,7. For groups of order three we improve on the existing bound involving the Alon-Dubiner constant.


title: Generating facets for the cut polytope of a graph by triangular elimination

abstract: The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science requires knowledge of the facets of the cut polytope of the complete bipartite graph or, more generally, the complete k-partite graph. Lifting is a central tool to prove certain inequalities are facet inducing for the cut polytope. In this paper we introduce a lifting operation, named triangular elimination, applicable to the cut polytope of a wide range of graphs. Triangular elimination is a specific combination of zero-lifting and Fourier-Motzkin elimination using the triangle inequality. We prove sufficient conditions for the triangular elimination of facet inducing inequalities to be facet inducing. The proof is based on a variation of the lifting lemma adapted to general graphs. The result can be used to derive facet inducing inequalities of the cut polytope of various graphs from those of the complete graph. We also investigate the symmetry of facet inducing inequalities of the cut polytope of the complete bipartite graph derived by triangular elimination.


title: Generalised Swan modules and the D(2) problem

abstract: We give a detailed proof that, for any natural number n, each algebraic two complex over C_n \times C_\infty is realised up to congruence by a geometric complex arising from a presentation for the group.


title: A formula for ideal lattices of general commutative rings

abstract: Let S be a set of n ideals of a commutative ring A. Let G_{even} (respectively G_{odd}) denote the product of all the sums of even (respectively odd) number of ideals of S. If n<7 the product of G_{even} and the intersection of all ideals of S is included in G_{odd}. In the case A is an Noetherian integral domain, this inclusion is replaced by equality if and only if A is a Dedekind domain.


title: The Hilbert-uniformization is real-analytic

abstract: In \cite{Boed}, C.-F. B\"odigheimer constructed a finite cell-complex $\mf{Par}_{g,n,m}$ and a bijective map $\cH: \mf{Dip}_{g,n,m} \to \mf{Par}_{g,n,m}$ (the Hilbert-uniformization) from the moduli space of dipole functions on Riemann surfaces with $n$ directions and $m$ punctures to $\mf{Par}_{g,n,m}$. In \cite{Boed} and \cite{Eb}, it is proven that $\cH$ is a homeomorphism. The first result of this note is that the space $\mf{Dip}_{g,n,m}$ carries a natural structure of a real-analytic manifold. Our second result is that $\cH$ is real-analytic, at least on the preimage of the top-dimensional open cells of $\mf{Par}_{g,n,m}$.


title: IFSM representation of Brownian motion with applications to simulation

abstract: Several methods are currently available to simulate paths of the Brownian motion. In particular, paths of the BM can be simulated using the properties of the increments of the process like in the Euler scheme, or as the limit of a random walk or via L2 decomposition like the Kac-Siegert/Karnounen-Loeve series. In this paper we first propose a IFSM (Iterated Function Systems with Maps) operator whose fixed point is the trajectory of the BM. We then use this representation of the process to simulate its trajectories. The resulting simulated trajectories are self-affine, continuous and fractal by construction. This fact produces more realistic trajectories than other schemes in the sense that their geometry is closer to the one of the true BM's trajectories. The IFSM trajectory of the BM can then be used to generate more realistic solutions of stochastic differential equations.


title: Classification of finite dimensional simple Lie algebras in prime characteristics

abstract: We give a comprehensive survey of the theory of finite dimensional Lie algebras over an algebraically closed field of characteristic p>0 and announce that for p>3 the classification of finite dimensional simple Lie algebras is complete. Any such Lie algebra is up to isomorphism either classical (i.e. comes from characteristic 0) or a filtered Lie algebra of Cartan type or a Melikian algebra of characteristic 5.


title: Eigenvalue asymptotics for randomly perturbed non-selfadjoint operators

abstract: We consider quite general $h$-pseudodifferential operators on $R^n$ with small random perturbations and show that in the limit of small $h$ the eigenvalues are distributed according to a Weyl law with a probabality that tends to 1. The first author has previously obtained a similar result in dimension 1. Our class of perturbations is different.


title: Nonintegrability of the two-body problem in constant curvature spaces

abstract: We consider the reduced two-body problem with the Newton and the oscillator potentials on the sphere ${\bf S}^{2}$ and the hyperbolic plane ${\bf H}^{2}$. For both types of interaction we prove the nonexistence of an additional meromorphic integral for the complexified dynamic systems.


title: Orientals

abstract: The orientals or oriented simplexes are a family of strict omega-categories constructed by Ross Street. We show that the category of orientals is isomorphic to a subcategory of the category of chain complexes. This leads to a very simple combinatorial description of the morphisms between orientals. We also show that the category of orientals is the closure of the category of simplexes under certain filler operations which represent complicial operations.


title: Integral Criteria for Transportation-Cost Inequalities

abstract: In this paper, we provide a characterization of a large class of transportation-cost inequalities in terms of exponential integrability of the cost function under the reference probability measure. Our results completely extend the previous works by Djellout, Guilin and Wu and Bolley and Villani.


title: On a general similarity boundary layer equation

abstract: In this paper we are concerned with the solutions of the differential equation $f'''+ff''+g(f')=0$ on $[0,\infty)$, satisfying the boundary conditions $f(0)=\alpha$, $f'(0)=\beta\geq 0$, $f'(\infty)=\l$, and where $g$ is some given continuous function. This general boundary value problem includes the Falkner-Skan case, and can be applied, for example, to free or mixed convection in porous medium, or flow adjacent to stretching walls in the context of boundary layer approximation. Under some assumptions on the function $g$, we prove existence and uniqueness of a concave or a convex solution. We also give some results about nonexistence and asymptotic behaviour of the solution.


title: Thin fillers in the cubical nerves of omega-categories

abstract: It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of this type is the cubical nerve of a strict omega-category unique up to isomorphism; the cubical nerve functor is therefore an equivalence of categories. The sequences of sets involved are in effect the analogues of cubical T-complexes appropriate for strict omega-categories. Degeneracies are not required in the definition of these sequences, but can in fact be constructed as thin fillers. The proof of the thin filler conditions uses chain complexes and chain homotopies.


title: The blocks of the Brauer algebra in characteristic zero

abstract: We determine the blocks of the Brauer algebra in characteristic zero. We also give information on the submodule structure of standard modules for this algebra.


title: On almost-sure versions of classical limit theorems for dynamical systems

abstract: The purpose of this article is to construct a toolbox, in Dynamical Systems, to support the idea that ``whenever we can prove a limit theorem in the classical sense for a dynamical system, we can prove a suitable almost-sure version based on an empirical measure with log-average''. We follow three different approaches: martingale methods, spectral methods and induction arguments. Our results apply among others to Axiom A maps or flows, to systems inducing a Gibbs-Markov map and to the stadium billiard.


title: The polynomial method for random matrices

abstract: We define a class of "algebraic" random matrices. These are random matrices for which the Stieltjes transform of the limiting eigenvalue distribution function is algebraic, i.e., it satisfies a (bivariate) polynomial equation. The Wigner and Wishart matrices whose limiting eigenvalue distributions are given by the semi-circle law and the Marcenko-Pastur law are special cases. Algebraicity of a random matrix sequence is shown to act as a certificate of the computability of the limiting eigenvalue density function. The limiting moments of algebraic random matrix sequences, when they exist, are shown to satisfy a finite depth linear recursion so that they may often be efficiently enumerated in closed form. In this article, we develop the mathematics of the polynomial method which allows us to describe the class of algebraic matrices by its generators and map the constructive approach we employ when proving algebraicity into a software implementation that is available for download in the form of the RMTool random matrix "calculator" package. Our characterization of the closure of algebraic probability distributions under free additive and multiplicative convolution operations allows us to simultaneously establish a framework for computational (non-commutative) "free probability" theory. We hope that the tools developed allow researchers to finally harness the power of the infinite random matrix theory.


title: On Chern-Simons Matrix Models

abstract: The contribution of reducible connections to the U(N) Chern-Simons invariant of a Seifert manifold $M$ can be expressed in some cases in terms of matrix integrals. We show that the U(N) evaluation of the LMO invariant of any rational homology sphere admits a matrix model representation which agrees with the Chern-Simons matrix integral for Seifert spheres and the trivial connection.


title: Geometric and unipotent crystals II: From unipotent bicrystals to crystal bases

abstract: For each reductive algebraic group G we introduce and study unipotent bicrystals which serve as a regular version of birational geometric and unipotent crystals introduced earlier by the authors. The framework of unipotent bicrystals allows, on the one hand, to study systematically such varieties as Bruhat cells in G and their convolution products and, on the other hand, to give a new construction of many normal Kashiwara crystals including those for G^\vee-modules, where G^\vee is the Langlands dual groups. In fact, our analogues of crystal bases (which we refer to as crystals associated to G^\vee-modules) are associated to G^\vee-modules directly, i.e., without quantum deformations. One of the main results of the present paper is an explicit construction of the crystal B_0 for the coordinate ring of the (Langlands dual) flag variety based on the positive unipotent bicrystal on the open Bruhat cell. Our general tropicalization procedure assigns to each strongly positive unipotent bicrystal a normal Kashiwara crystal B equipped with the multiplicity erasing homomorphism B--> B_0 and the combinatorial central charge B--> Z which is invariant under all crystal operators.


title: Equivariant evaluation subgroups and Rhodes groups

abstract: In this paper, we define equivariant evaluation subgroups of the higher Rhodes groups and study their relations with Gottlieb-Fox groups.


title: Factorizations of birational extensions of local rings

abstract: We give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this Theorem by Karu. Our proof uses only linear algebra, and is in the spirit of Christensen's proof of this result in dimension 3.


title: Solving the heptic in two dimensions: Geometry and dynamics under Klein's group of order 168

abstract: There is a family of seventh-degree polynomials $H$ whose members possess the symmetries of a simple group of order 168. This group has an elegant action on the complex projective plane. Developing some of the action's rich algebraic and geometric properties rewards us with a special map that also realizes the 168-fold symmetry. The map's dynamics provides the main tool in an algorithm that solves "heptic" equations in $H$.


title: New calculations in Gromov-Witten theory

abstract: We use a topological framework to study descendent Gromov-Witten theory in higher genus, non-toric settings. Two geometries are considered: surfaces of general type and the Enriques Calabi-Yau threefold. We conjecture closed formulas for surfaces of general type in classes K and 2K. For the Enriques Calabi-Yau, Gromov-Witten invariants are calculated in genus 0, 1, and 2. In genus 2, the holomorphic anomaly equation is found.


title: Kahler decomposition of 4-manifolds

abstract: In this article we show that every closed oriented smooth 4-manifold can be decomposed into two codimension zero submanifolds (one with reversed orientation) so that both pieces are exact Kahler manifolds with strictly pseudoconvex boundaries and that induced contact structures on the common boundary are isotopic. Meanwhile, matching pairs of Lefschetz fibrations with bounded fibers are offered as the geometric counterpart of these structures. We also provide a simple topological proof of the existence of folded symplectic forms on 4-manifolds.


title: Galois groups of prime degree polynomials with nonreal roots

abstract: In the process of computing the Galois group of a prime degree polynomial $f(x)$ over $\mathbb Q$ we suggest a preliminary checking for the existence of non-real roots. If $f(x)$ has non-real roots, then combining a 1871 result of Jordan and the classification of transitive groups of prime degree which follows from CFSG we get that the Galois group of $f(x)$ contains $A_p$ or is one of a short list. Let $f(x)\in \mathbb Q [x] $ be an irreducible polynomial of prime degree $p \geq 5$ and $r=2s$ be the number of non-real roots of $f(x)$. We show that if $s$ satisfies $s (s \log s + 2 \log s + 3) \leq p $ then $Gal (f)= A_p, S_p$.


title: Computational algebra and algebraic curves

abstract: The development of computational techniques in the last decade has made possible to attack some classical problems of algebraic geometry. In this survey, we briefly describe some open problems related to algebraic curves which can be approached from a computational viewpoint.


title: Computational Aspects of Hyperelliptic Curves

abstract: We introduce a new approach of computing the automorphism group and the field of moduli of points $\p=[C]$ in the moduli space of hyperelliptic curves $\H_g$. Further, we show that for every moduli point $\p \in \H_g(L)$ such that the reduced automorphism group of $\p$ has at least two involutions, there exists a representative $C$ of the isomorphism class $\p$ which is defined over $L$.


title: The Steinberg group of a monoid ring, nilpotence, and algorithms

abstract: For a regular ring R and an affine monoid M the homotheties of M act nilpotently on the Milnor unstable groups of R[M]. This strengthens the K_2 part of the main result of [G5] in two ways: the coefficient field of characteristic 0 is extended to any regular ring and the stable K_2-group is substituted by the unstable ones. The proof is based on a polyhedral/combinatorial techniques, computations in Steinberg groups, and a substantially corrected version of an old result on elementary matrices by Mushkudiani [Mu]. A similar stronger nilpotence result for K_1 and algorithmic consequences for factorization of high Frobenius powers of invertible matrices are also derived.


title: On p-adic intermediate Jacobians

abstract: For an algebraic variety $X$ of dimension $d$ with totally degenerate reduction over a $p$-adic field (definition recalled below) and an integer $i$ with $1\leq i\leq d$, we define a rigid analytic torus $J^i(X)$ together with an Abel-Jacobi mapping to it from the Chow group $CH^i(X)_{hom}$ of codimension $i$ algebraic cycles that are homologically equivalent to zero modulo rational equivalence. These tori are analogous to those defined by Griffiths using Hodge theory over the complex numbers. We compare and contrast the complex and $p$-adic theories. Finally, we examine a special case of a $p$-adic analogue of the Generalized Hodge Conjecture


title: Normal generation and Clifford index

abstract: Let $C$ be a smooth curve of genus $g\ge 4$ and Clifford index $c$. In this paper, we prove that if $C$ is neither hyperelliptic nor bielliptic with $g\ge 2c+5$ and $\mathcal M$ computes the Clifford index of $C$, then either $\deg \mathcal M\le \frac{3c}{2}+3$ or $|\mathcal M|=|g^1_{c+2}+h^1_{c+2}|$ and $g=2c+5$. This strengthens the Coppens and Martens' theorem (\cite{CM}, Corollary 3.2.5). Furthermore, for the latter case (1) $\mathcal M$ is half-canonical unless $C$ is a $\frac{c+2}{2}$-fold covering of an elliptic curve, (2) $\mathcal M(F)$ fails to be normally generated with $\cli(\mathcal M(F))=c$, $h^1(\mathcal M(F))=2$ for $F\in g^1_{c+2}$. Such pairs $(C,\mathcal M)$ can be found on a $K3$-surface whose Picard group is generated by a hyperplane section in $\mathbb P^r$. For such a $(C, \mathcal M)$ on a K3-surface, $\mathcal M$ is normally generated while $\mathcal M(F)$ fails to be normally generated with $\cli(\mathcal M)=\cli(\mathcal M(F))=c$.


title: Skein Algebras of the solid torus and symmetric spatial graphs

abstract: We use the topological invariant of spatial graphs introduced by S. Yamada to find necessary conditions for a spatial graph to be periodic with a prime period. The proof of the main result is based on computing the Yamada skein algebra of the solid torus then proving that this algebra injects into the Kauffman bracket skein algebra of the solid torus.


title: Reversals of chance in paradoxical games

abstract: We present two collective games with new paradoxical features when they are combined. Besides reproducing the so--called Parrondo effect, where a winning game is obtained from the alternation of two fair games, a new effect appears, i.e., there exists a current inversion when varying the mixing probability between the games. We present a detailed study by means of a discrete--time Markov chain analysis, obtaining analytical expressions for the stationary probabilities for a finite number of players. We also provide some qualitatively insight into this new current inversion effect.


title: The graded ring of quantum theta functions for noncommutative torus with real multiplication

abstract: For quantum torus generated by unitaries $UV = e(\theta)VU$ there exist nontrivial strong Morita autoequivalences in case when $\theta$ is real quadratic irrationality. A.Polishchuk introduced and studied the graded ring of holomorphic sections of powers of the respective bimodule (depending on the choice of a complex structure). We consider a Segre square of this ring whose graded components are spanned by Rieffel scalar products of Polishchuk's holomorphic vectors. These graded components are linear spaces of quantum theta functions in sense of Yu.Manin.


title: Corrigendum to ``Determining a sound-soft polyhedral scatterer by a single far-field measurement''

abstract: In the paper, G. Alessandrini and L. Rondi, ``Determining a sound-soft polyhedral scatterer by a single far-field measurement'', Proc. Amer. Math. Soc. 133 (2005), pp. 1685-1691, on the determination of a sound-soft polyhedral scatterer by a single far-field measurement, the proof of Proposition 3.2 is incomplete. In this corrigendum we provide a new proof of the same proposition which fills the previous gap.


title: Totally reflexive modules constructed from smooth projective curves of genus g \geq 2

abstract: In this paper, from an arbitrary smooth projective curve of genus at least two, we construct a non-Gorenstein Cohen-Macaulay normal domain and a nonfree totally reflexive module over it.


title: L^2-Betti numbers for subfactors

abstract: We study L^2-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes, in the presence of a bi-finite correspondence and prove a proportionality formula.


title: Determination of the two-color Rado number for $a_1x_1+...+a_mx_m=x_0$

abstract: For positive integers $a_1,a_2,...,a_m$, we determine the least positive integer $R(a_1,...,a_m)$ such that for every 2-coloring of the set $[1,n]={1,...,n}$ with $n\ge R(a_1,...,a_m)$ there exists a monochromatic solution to the equation $a_1x_1+...+a_mx_m=x_0$ with $x_0,...,x_m\in[1,n]$. The precise value of $R(a_1,...,a_m)$ is shown to be $av^2+v-a$, where $a=min{a_1,...,a_m}$ and $v=\sum_{i=1}^{m}a_i$. This confirms a conjecture of B. Hopkins and D. Schaal.


title: Compactness results and applications to some "zero mass" elliptic problems

abstract: In this paper we present some compactness results, showing how they can be applied in dealing with "zero mass" problems by a variational approach. In particular we use our results in two different situations: we look for complex valued solutions of a very classical elliptic equation, and we study an elliptic problem on an axially symmetric unbounded domain.


title: Analytic torsion for Calabi-Yau threefolds

abstract: After Bershadsky-Cecotti-Ooguri-Vafa, we introduce an invariant of Calabi-Yau threefolds, which we call the BCOV invariant and which we obtain using analytic torsion. We give an explicit formula for the BCOV invariant as a function on the compactified moduli space, when it is isomorphic to a projective line. As a corollary, we prove the formula for the BCOV invariant of quintic mirror threefolds conjectured by Bershadsky-Cecotti-Ooguri-Vafa.


title: A partial solution of the isoperimetric problem for the Heisenberg group

abstract: We provide a partial solution to the isoperimetric problem in the Heisenberg group.


title: Lie algebras of small dimension

abstract: We present a list of all isomorphism classes of nonsolvable Lie algebras of dimension less than 7 over a finite field.


title: The distinguishing number of the direct product and wreath product action

abstract: Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we consider the distinguishing number of two important product actions, the wreath product and the direct product. Given groups G and H acting on sets X and Y respectively, we characterize the distinguishing number of the wreath product of G and H in terms of the number of distinguishing colorings of X with respect to G and the distinguishing number of the action of H on Y. We also prove a recursive formula for the distinguishing number of the action of the Cartesian product of two symmetric groups S_m x S_n on [m] x [n].


title: Properties of the solutions of the conjugate heat equation

abstract: In this paper we consider the class $\mathcal{A}$ of those solutions $u(x,t)$ to the conjugate heat equation $\frac{d}{dt}u = -\Delta u + Ru$ on compact K\"ahler manifolds $M$ with $c_1 > 0$ (where $g(t)$ changes by the unnormalized K\"ahler Ricci flow, blowing up at $T < \infty$), which satisfy Perelman's differential Harnack inequality on $[0,T)$. We show $\mathcal{A}$ is nonempty. If $|\ric(g(t))| \le \frac{C}{T-t}$, which is alaways true if we have type I singularity, we prove the solution $u(x,t)$ satisfies the elliptic type Harnack inequlity, with the constants that are uniform in time. If the flow $g(t)$ has a type I singularity at $T$, then $\mathcal{A}$ has excatly one element.


title: Amplitude inequalities for Differential Graded modules

abstract: Differential Graded Algebras can be studied through their Differential Graded modules. Among these, the compact ones attract particular attention. This paper proves that over a suitable chain Differential Graded Algebra R, each compact Differential Graded module M satisfies amp M >= amp R, where amp denotes amplitude which is defined in a straightforward way in terms of the homology of a DG module. In other words, the homology of each compact DG module M is at least as long as the homology of R itself. Conversely, DG modules with shorter homology than R are not compact, and so in general, there exist DG modules with finitely generated homology which are not compact. Hence, in contrast to ring theory, it makes no sense to define finite global dimension of DGAs by the condition that each DG module with finitely generated homology must be compact.


title: Horocyclic products of trees

abstract: Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation. In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases. On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers. The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.


title: Classification of abelian hereditary directed categories satisfying Serre duality

abstract: In an ongoing project to classify all hereditary abelian categories, we provide a classification of Ext-finite directed hereditary abelian categories satisfying Serre duality up to derived equivalence. In order to prove the classification, we will study the shapes of the Auslander-Reiten components extensively and use appropriate generalisations of tilting objects and coordinates, namely partial tilting sets and probing of objects by quasi-simples.


title: Anti-self-dual conformal structures with null Killing vectors from projective structures

abstract: Using twistor methods, we explicitly construct all local forms of four--dimensional real analytic neutral signature anti--self--dual conformal structures $(M,[g])$ with a null conformal Killing vector. We show that $M$ is foliated by anti-self-dual null surfaces, and the two-dimensional leaf space inherits a natural projective structure. The twistor space of this projective structure is the quotient of the twistor space of $(M,[g])$ by the group action induced by the conformal Killing vector. We obtain a local classification which branches according to whether or not the conformal Killing vector is hyper-surface orthogonal in $(M, [g])$. We give examples of conformal classes which contain Ricci--flat metrics on compact complex surfaces and discuss other conformal classes with no Ricci--flat metrics.

categories: math.DG gr-qc hep-th math-ph math.MP nlin.SI


title: Deformations of Asymptotically Cylindrical Coassociative Submanifolds with Moving Boundary

abstract: In an earlier paper, we proved that given an asymptotically cylindrical G_2-manifold M with a Calabi-Yau boundary X, the moduli space of coassociative deformations of an asymptotically cylindrical coassociative 4-fold C in M with a fixed special Lagrangian boundary L in X is a smooth manifold of dimension dim(V_+), where V_+ is the positive subspace of the image of H^2_{cs}(C,R) in H^2(C,R). In order to prove this we used the powerful tools of Fredholm Theory for noncompact manifolds which was developed by Lockhart and McOwen, and independently by Melrose. In this paper, we extend our result to the moving boundary case. Let Upsilon:H^2(L,R)--> H^3_{cs}(C,R) be the natural projection, so that ker(Upsilon) is a vector subspace of H^2(L,R). Let F be a small open neighbourhood of 0 in ker(Upsilon) and L_s denote the special Lagrangian submanifolds of X near L for some s in F and with phase i. Here we prove that the moduli space of coassociative deformations of an asymptotically cylindrical coassociative submanifold C asymptotic to L_s x (R,infinity), s in F, is a smooth manifold of dimension equal to dim V_++dim(ker(Upsilon))=dim V_+ +b^2(L)-b^0(L)+b^3(C)-b^1(C)+b^0(C).


title: Cell attachments and the homology of loop spaces and differential graded algebras

abstract: The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell attachments on loop space homology. It generalizes previous work by D. Anick on spherical 2-cones, and S. Halperin, J.-M. Lemaire and others on inert attaching maps. It is assumed that the loop space homology of the base space is torsion-free. Two classes of attaching maps are introduced: free and semi-inert attaching maps. For these cases, the loop space homology is calculated as a module and as an algebra, respectively, and is shown to have a surprisingly simple form. These results are also presented in terms of extensions of differential graded algebras. The second part of the thesis uses Adams-Hilton models and the previous results to prove that the loop space homology of certain CW complexes is generated by Hurewicz images. This can sometimes be used to show that the loop space of a finite complex is, after localizing away from finitely many primes, homotopy equivalent to a product of spheres and loops on spheres. A lemma, which may of independent interest, generalizes the Schreier property, which states that a Lie subalgebra of a free (graded) Lie algebra is also a free Lie algebra.


title: Bounds on supremum norms for Hecke eigenfunctions of quantized cat maps

abstract: We study extreme values of desymmetrized eigenfunctions (so called Hecke eigenfunctions) for the quantized cat map, a quantization of a hyperbolic linear map of the torus. In a previous paper it was shown that for prime values of the inverse Planck constant N=1/h, such that the map is diagonalizable (but not upper triangular) modulo N, the Hecke eigenfunctions are uniformly bounded. The purpose of this paper is to show that the same holds for any prime N provided that the map is not upper triangular modulo N. We also find that the supremum norms of Hecke eigenfunctions are << N^epsilon for all epsilon>0 in the case of N square free.


title: Implementation of Kumar's correspondence

abstract: In 1997, N.M. Kumar published a paper which introduced a new tool of use in the construction of algebraic vector bundles. Given a vector bundle on projective n-space, a well known theorem of Quillen-Suslin guarantees the existence of sections which generate the bundle on the complement of a hyperplane in projective n-space. Kumar used this fact to give a correspondence between vector bundles on projective n-space and vector bundles on projective (n-1)-space satisfying certain conditions. He then applied this correspondence to establish the existence of many, previously unknown, rank two bundles on projective fourspace in positive characteristic. The goal of the present paper is to give an explicit homological description of Kumar's correspondence in a setting appropriate for implementation in a computer algebra system.


title: Optimal Attitude Control of a Rigid Body using Geometrically Exact Computations on SO(3)

abstract: An efficient and accurate computational approach is proposed for optimal attitude control of a rigid body. The problem is formulated directly as a discrete time optimization problem using a Lie group variational integrator. Discrete necessary conditions for optimality are derived, and an efficient computational approach is proposed to solve the resulting two point boundary value problem. The use of geometrically exact computations on SO(3) guarantees that this optimal control approach has excellent convergence properties even for highly nonlinear large angle attitude maneuvers. Numerical results are presented for attitude maneuvers of a 3D pendulum and a spacecraft in a circular orbit.


title: Unitary representations of the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$

abstract: We present modules for the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$ by using the idea of free fields. A necessary and sufficient condition for the modules being unitary is given.


title: On the singularity of Quillen metrics

abstract: We study the singularity of Quillen metrics for one-parameter degenerations of compact Kaehler manifolds.


title: Level Set Dynamics and the Non-blowup of the 2D Quasi-geostrophic Equation

abstract: In this article we apply the technique proposed in Deng-Hou-Yu (Comm. PDE, 2005) to study the level set dynamics of the 2D quasi-geostrophic equation. Under certain assumptions on the local geometric regularity of the level sets of $\theta$, we obtain global regularity results with improved growth estimate on $| \nabla^{\bot} \theta |$. We further perform numerical simulations to study the local geometric properties of the level sets near the region of maximum $| \nabla^{\bot} \theta |$. The numerical results indicate that the assumptions on the local geometric regularity of the level sets of $\theta$ in our theorems are satisfied. Therefore these theorems provide a good explanation of the double exponential growth of $| \nabla^{\bot} \theta |$ observed in this and past numerical simulations.


title: Real $K3$ surfaces without real points, equivariant determinant of the Laplacian, and the Borcherds Phi-function

abstract: We consider an equivariant analogue of a conjecture of Borcherds. Let $Y$ be a real $K3$ surface without real points. Let $g$ be a Ricci-flat Kaehler metric on $Y$ invariant under the complex conjugation. We shall prove that the equivariant determinant of the Laplacian of $(Y,g)$ with respect to the complex conjugation is expressed as the norm of the Borcherds Phi-function at the "period point". Here the period is not the one in algebraic geometry.


title: Large and moderate deviations principles for recursive kernel estimators of a multivariate density and its partial derivatives

abstract: In this paper we prove large and moderate deviations principles for the recursive kernel estimator of a probability density function and its partial derivatives. Unlike the density estimator, the derivatives estimators exhibit a quadratic behavior not only for the moderate deviations scale but also for the large deviations one. We provide results both for the pointwise and the uniform deviations.


title: On mild mixing of special flows over irrational rotations under piecewise smooth functions

abstract: It is proved that all special flows over the rotation by an irrational $\alpha$ with bounded partial quotients and under $f$ which is piecewise absolutely continuous with a non-zero sum of jumps are mildly mixing. Such flows are also shown to enjoy a condition which emulates the Ratner condition introduced in \cite{Rat}. As a consequence we construct a smooth vector--field on $\T^2$ with one singularity point such that the corresponding flow $(\phi_t)_{t\in\R}$ preserves a smooth measure, its set of ergodic components consists of a family of periodic orbits and one component of positive measure on which $(\phi_t)_{t\in\R}$ is mildly mixing and is spectrally disjoint from all mixing flows.


title: Product set estimates for non-commutative groups

abstract: We develop the Pl\"unnecke-Ruzsa and Balog-Szemer\'edi-Gowers theory of sum set estimates in the non-commutative setting, with discrete, continuous, and metric entropy formulations of these estimates. We also develop a Freiman-type inverse theorem for a special class of 2-step nilpotent groups, namely the Heisenberg groups with no 2-torsion in their centre.


title: Averaging sequences and abelian rank in amenable groups

abstract: We investigate the connection between the abelian rank of a countable amenable group and the existence of good averaging sequences (e.g. for the pointwise ergodic theorem). We show that if $G$ is a group of abelian rank $r(G)$ then any Tempel'man sequence must have constant at least $2^{r(G)}$ and if $G$ is abelian this constant is achieved. On the other hand, infinite rank excludes the existence of Tempel'man sequences and forces all tempered sequences to grow super-exponentially.


title: A pasting lemma and some applications for conservative systems

abstract: We prove that in a compact manifold of dimension $n\geq 2$, a $C^{1+\alpha}$ volume-preserving diffeomorphisms that are robustly transitive in the $C^1$-topology have a dominated splitting. Also we prove that for 3-dimensional compact manifolds, an isolated robustly transitive invariant set for a divergence-free vector field can not have a singularity. In particular, we prove that robustly transitive divergence-free vector fields in 3-dimensional manifolds are Anosov. For this, we prove some ``pasting'' lemma, which allows to make perturbations in conservative systems.


title: On the symmetry breaking phenomenon

abstract: We investigate the problem of symmetry breaking in the framework of dynamical systems with symmetry on a smooth manifold. Two cases will be analyzed: general and Hamiltonian dynamical systems. We give sufficient conditions for symmetry breaking in both cases.


title: Trace estimates and invariance of the essential spectrum

abstract: We provide sufficient conditions under which the difference of the resolvents of two higher-order operators acting in $\R^N$ belongs to trace classes $\cC^p$. We provide explicit estimates on the norm of the resolvent difference in terms of $L^p$ norms of the difference of the coefficients. Such inequalities are useful in estimating the effect of localized perturbations of the coefficients.


title: On periodic boundary value problem for the Sturm-Liouville operator

abstract: We consider the Sturm-Liouville operator Lu=u''-q(x)u with periodic or antiperiodic boundary conditions. It is shown that depending of Fourier coefficients of the potential q(x) the system of root functions may have or may not have the basis property.


title: Return times, recurrence densities and entropy for actions of some discrete amenable groups

abstract: Results of Wyner and Ziv and of Ornstein and Weiss show that if one observes the first k outputs of a finite-valued ergodic process, then the waiting time until this block appears again is almost surely asymptotic to $2^{hk}$, where $h$ is the entropy of the process. We examine this phenomenon when the allowed return times are restricted to some subset of times, and generalize the results to processes parameterized by other discrete amenable groups. We also obtain a uniform density version of the waiting time results: For a process on $s$ symbols, within a given realization, the density of the initial $k$-block within larger $n$-blocks approaches $2^{-hk}$, uniformly in $n>s^k$, as $k$ tends to infinity. Again, similar results hold for processes with other indexing groups.


title: Point counting in families of hyperelliptic curves

abstract: Let E_G be a family of hyperelliptic curves defined by Y^2=Q(X,G), where Q is defined over a small finite field of odd characteristic. Then with g in an extension degree n field over this small field, we present a deterministic algorithm for computing the zeta function of the curve E_g by using Dwork deformation in rigid cohomology. The time complexity of the algorithm is O(n^(2.667)) and it needs O(n^(2.5)) bits of memory. A slight adaptation requires only O(n^2) space, but costs time O(n^3). An implementation of this last result turns out to be quite efficient for n big enough.


title: Indices of vector fields and 1-forms on singular varieties

abstract: We discuss different generalizations of the classical notion of the index of a singular point of a vector field to the case of vector fields or 1-forms on singular varieties, describe relations between them and formulae for their computation.


title: Around Vogt's theorem

abstract: Vogt's theorem, concerning boundary angles of a convex arc with monotonic curvature (spiral arc), is taken as a starting point to establish basic properties of spirals. The theorem is expanded by removing requirements of convexity and curvature continuity; the cases of inflection and multiple windings are considered. Positional restrictions for a spiral arc with two given curvature elements at the endpoints are established, as well as the necessary and sufficient conditions for the existence of such spiral. Keywords: Vogt's theorem, spiral, inversive invariant, monotonic curvature, lense, biarc, bilense.


title: Odd-primary homotopy exponents of compact simple Lie groups

abstract: We note that a recent result of the second author yields upper bounds for odd-primary homotopy exponents of compact simple Lie groups which are often quite close to the lower bounds obtained from v_1-periodic homotopy theory.


title: Generic initial ideals and squeezed spheres

abstract: In 1988 Kalai construct a large class of simplicial spheres, called squeezed spheres, and in 1991 presented a conjectured about generic initial ideals of Stanley--Reisner ideals of squeezed spheres. In the present paper this conjecture will be proved. In order to prove Kalai's conjecture, based on the fact that every squeezed $(d-1)$-sphere is the boundary of a certain $d$-ball, called a squeezed $d$-ball, generic initial ideals of Stanley--Reisner ideals of squeezed balls will be determined. In addition, generic initial ideals of exterior face ideals of squeezed balls are determined. On the other hand, we study the squeezing operation, which assigns to each Gorenstein* complex $\Gamma$ having the weak Lefschetz property a squeezed sphere $\mathrm{Sq}(\Gamma)$, and show that this operation increases graded Betti numbers.


title: Holomorphic discs and sutured manifolds

abstract: In this paper we construct a Floer-homology invariant for a natural and wide class of sutured manifolds that we call balanced. This generalizes the Heegaard Floer hat theory of closed three-manifolds and links. Our invariant is unchanged under product decompositions and is zero for nontaut sutured manifolds. As an application, an invariant of Seifert surfaces is given and is computed in a few interesting cases.


title: Two-parameter Quantum Group of Exceptional Type G_2 and Lusztig's Symmetries

abstract: We give the defining structure of two-parameter quantum group of type G_2 defined over a field {\Bbb Q}(r,s) (with r\ne s), and prove the Drinfel'd double structure as its upper and lower triangular parts, extending an earlier result of [BW1] in type A and a recent result of [BGH1] in types B, C, D. We further discuss the Lusztig's Q-isomorphisms from U_{r,s}(G_2) to its associated object U_{s^{-1},r^{-1}}(G_2), which give rise to the usual Lusztig's symmetries defined not only on U_q(G_2) but also on the centralized quantum group U_q^c(G_2) only when r=s^{-1}=q. (This also reflects the distinguishing difference between our newly defined two-parameter object and the standard Drinfel'd-Jimbo quantum groups). Some interesting (r,s)-identities holding in U_{r,s}(G_2) are derived from this discussion.


title: Closed Quasi-Fuchsian Surfaces In Hyperbolic Knot Complements

abstract: We show that every hyperbolic knot complement contains a closed quasi-Fuchsian surface.


title: Fixed-width output analysis for Markov chain Monte Carlo

abstract: Markov chain Monte Carlo is a method of producing a correlated sample in order to estimate features of a target distribution via ergodic averages. A fundamental question is when should sampling stop? That is, when are the ergodic averages good estimates of the desired quantities? We consider a method that stops the simulation when the width of a confidence interval based on an ergodic average is less than a user-specified value. Hence calculating a Monte Carlo standard error is a critical step in assessing the simulation output. We consider the regenerative simulation and batch means methods of estimating the variance of the asymptotic normal distribution. We give sufficient conditions for the strong consistency of both methods and investigate their finite sample properties in a variety of examples.


title: L^2-cohomology for von Neumann algebras

abstract: We study L^2-Betti numbers for von Neumann algebras, as defined by D. Shlyakhtenko and A. Connes. We give a definition of L^2-cohomology and show how the study of the first L^2-Betti number can be related with the study of derivations with values in a bi-module of affiliated operators. We show several results about the possibility of extending derivations from sub-algebras and about uniqueness of such extensions. Along the way, we prove some results about the dimension function of modules over rings of affiliated operators which are of independent interest.


title: On the Quality of a Semidefinite Programming Bound for Sparse Principal Component Analysis

abstract: We examine the problem of approximating a positive, semidefinite matrix $\Sigma$ by a dyad $xx^T$, with a penalty on the cardinality of the vector $x$. This problem arises in sparse principal component analysis, where a decomposition of $\Sigma$ involving sparse factors is sought. We express this hard, combinatorial problem as a maximum eigenvalue problem, in which we seek to maximize, over a box, the largest eigenvalue of a symmetric matrix that is linear in the variables. This representation allows to use the techniques of robust optimization, to derive a bound based on semidefinite programming. The quality of the bound is investigated using a technique inspired by Nemirovski and Ben-Tal (2002).


title: Large deviations for non-uniformly expanding maps

abstract: We obtain large deviation results for non-uniformly expanding maps with non-flat singularities or criticalities and for partially hyperbolic non-uniformly expanding attracting sets. That is, given a continuous function we consider its space average with respect to a physical measure and compare this with the time averages along orbits of the map, showing that the Lebesgue measure of the set of points whose time averages stay away from the space average decays to zero exponentially fast with the number of iterates involved. As easy by-products we deduce escape rates from subsets of the basins of physical measures for these types of maps. The rates of decay are naturally related to the metric entropy and pressure function of the system with respect to a family of equilibrium states. The corrections added to the published version of this text appear in bold; see last section for a list of changes


title: Transitivity properties for group actions on buildings

abstract: We study two transitivity properties for group actions on buildings, called Weyl transitivity and strong transitivity. Following hints by Tits, we give examples involving anisotropic algebraic groups to show that strong transitivity is strictly stronger than Weyl transitivity. A surprising feature of the examples is that strong transitivity holds more often than expected.


title: Dirac Operators on Non-Compact Orbifolds

abstract: In this paper we prove that Dirac operators on non-compact complete orbifolds which are sufficiently regular at infinity, admit a unique extension. Additonally, we prove a generalized orbifold Stokes'/Divergence theorem.


title: On the ideals and singularities of secant varieties of Segre varieties

abstract: We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.


title: Classes de Chern des varietes singulieres, revisitees

abstract: We introduce a notion of `proChow group' of varieties, agreeing with the notion of Chow group for complete varieties and covariantly functorial with respect to arbitrary morphisms. We construct a natural transformation from the functor of constructible functions to the proChow functor, extending MacPherson's natural transformation. We illustrate the result by providing very short proofs of (a generalization of) two well-known facts on Chern-Schwartz-MacPherson classes: Kwiecinski's product formula, and the Ehlers-Barthel-Brasselet-Fieseler computation of Chern-Schwartz-MacPherson classes of toric varieties.


title: Fundamental groups of some special quadric arrangements

abstract: In this work we obtain presentations of fundamental groups of the complements of three families of quadric arrangements in $\mathbb{P}^2$. The first arrangement is a union of $n$ quadrics, which are tangent to each other at two common points. The second arrangement is composed of $n$ quadrics which are tangent to each other at one common point. The third arrangement is composed of $n$ quadrics, $n-1$ of them are tangent to the $n$'th one and each one of the $n-1$ quadrics is transversal to the other $n-2$ ones.


title: Breaking the duality in the return times theorem

abstract: We prove Bourgain's Return Times Theorem for a range of exponents $p$ and $q$ that are outside the duality range. An oscillation result is used to prove hitherto unknown almost everywhere convergence for the signed average analog of Bourgain's averages. As an immediate corollary we obtain a Wiener-Wintner type of result for the ergodic Hilbert series.


title: Hyperelliptic curves with extra involutions

abstract: The purpose of this paper is to study hyperelliptic curves with extra involutions. The locus $\L_g$ of such genus $g$ hyperelliptic curves is a $g$-dimensional subvariety of the moduli space of hyperelliptic curves $\H_g$. We discover a birational parametrization of $\L_g$ via dihedral invariants and show how these invariants can be used to determine the field of moduli of points $\p \in \L_g$. We conjecture that for $\p\in \H_g$ with $|\Aut(\p)| > 2$ the field of moduli is a field of definition and prove this conjecture for any point $\p\in \L_g$ such that the Klein 4-group is embedded in the reduced automorphism group of $\p$. Further, for $g=3$ we show that for every moduli point $\p \in \H_3$ such that $| \Aut (\p) | > 4$, the field of moduli is a field of definition and provide a rational model of the curve over its field of moduli.


title: How many entries of a typical orthogonal matrix can be approximated by independent normals?

abstract: We solve an open problem of Diaconis that asks what are the largest orders of $p_n$ and $q_n$ such that $Z_n,$ the $p_n\times q_n$ upper left block of a random matrix $\boldsymbol{\Gamma}_n$ which is uniformly distributed on the orthogonal group O(n), can be approximated by independent standard normals? This problem is solved by two different approximation methods. First, we show that the variation distance between the joint distribution of entries of $Z_n$ and that of $p_nq_n$ independent standard normals goes to zero provided $p_n=o(\sqrt{n})$ and $q_n=o(\sqrt{n})$. We also show that the above variation distance does not go to zero if $p_n=[x\sqrt{n} ]$ and $q_n=[y\sqrt{n} ]$ for any positive numbers $x$ and $y$. This says that the largest orders of $p_n$ and $q_n$ are $o(n^{1/2})$ in the sense of the above approximation. Second, suppose $\boldsymbol{\Gamma}_n=(\gamma_{ij})_{n\times n}$ is generated by performing the Gram--Schmidt algorithm on the columns of $\bold{Y}_n=(y_{ij})_{n\times n}$, where $\{y_{ij};1\leq i,j\leq n\}$ are i.i.d. standard normals. We show that $\epsilon_n(m):=\max_{1\leq i\leq n,1\leq j\leq m}|\sqrt{n}\cdot\gamma_{ij}-y_{ij}|$ goes to zero in probability as long as $m=m_n=o(n/\log n)$. We also prove that $\epsilon_n(m_n)\to 2\sqrt{\alpha}$ in probability when $m_n=[n\alpha/\log n]$ for any $\alpha>0.$ This says that $m_n=o(n/\log n)$ is the largest order such that the entries of the first $m_n$ columns of $\boldsymbol{\Gamma}_n$ can be approximated simultaneously by independent standard normals.


title: Categorified Algebra and Quantum Mechanics

abstract: Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding a combinatorial model for some mathematical entity is a particular instance of the process called ``categorification''. Examples include the interpretation of N as the Burnside rig of the category of finite sets with product and coproduct, and the interpretation of N[x] as the category of combinatorial species. This has interesting applications to quantum mechanics, and in particular the quantum harmonic oscillator, via Joyal's ``species'', a new generalization called ``stuff types'', and operators between these, which can be represented as rudimentary Feynman diagrams for the oscillator. In quantum mechanics, we want to represent states in an algebra over the complex numbers, and also want our Feynman diagrams to carry more structure than these ``stuff operators'' can do, and these turn out to be closely related. We will show how to construct a combinatorial model for the quantum harmonic oscillator in which the group of phases, U(1), plays a special role. We describe a general notion of ``M-Stuff Types'' for any monoid M, and see that the case M=U(1) provides an interpretation of time evolution in the combinatorial setting, as well as other quantum mechanical features of the harmonic oscillator.

categories: math.QA math-ph math.CO math.CT math.MP quant-ph


title: Stability of a Time-varying Fishing Model with Delay

abstract: We introduce a delay nonlinear differential equation model which describes how fish are harvested. In our previous studies we investigated the persistence of that equation and existence of a periodic solution for this equation. Here we study the stability (local and global) of the periodic solutions of that equation.


title: Integers with a large smooth divisor

abstract: We study the function $\Theta(x,y,z)$ that counts the number of positive integers $n\le x$ which have a divisor $d>z$ with the property that $p\le y$ for every prime $p$ dividing $d$. We also indicate some cryptographic applications of our results.


title: About one singularity of the property of disturbed differential systems, that equivalents to linear differential equations

abstract: This paper is devoted to the study of the family of morphisms of vector bundle, defined by the systems equivalence to linear differential equations. It is proved, that the specified families of the morphisms of vector bundle is not saturated.


title: Jacquet modules of principal series generated by the trivial $K$-type

abstract: We propose a new approach for the study of the Jacquet module of a Harish-Chandra module of a real semisimple Lie group. Using this method, we investigate the structure of the Jacquet module of principal series representation generated by the trivial $K$-type.


title: Overpartitions, lattice paths and Rogers-Ramanujan identities

abstract: We extend partition-theoretic work of Andrews, Bressoud, and Burge to overpartitions, defining the notions of successive ranks, generalized Durfee squares, and generalized lattice paths, and then relating these to overpartitions defined by multiplicity conditions on the parts. This leads to many new partition and overpartition identities, and provides a unification of a number of well-known identities of the Rogers-Ramanujan type. Among these are Gordon's generalization of the Rogers-Ramanujan identities, Andrews' generalization of the G\"ollnitz-Gordon identities, and Lovejoy's ``Gordon's theorems for overpartitions."


title: Morita theory for coring extensions and cleft bicomodules

abstract: A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $\Sigma$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $\Sigma$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $\Sigma$ -- implying strictness of the associated Morita context -- is introduced. It is shown to be equivalent to being a Galois $\cC$-comodule and isomorphic to $\End^\cC(\Sigma)\otimes_{L} \cD$, in the category of left modules for the ring $\End^\cC(\Sigma)$ and right comodules for the coring $\cD$, i.e. satisfying the normal basis property. Algebra extensions, that are cleft extensions by a Hopf algebra, a coalgebra or a pure Hopf algebroid, as well as cleft entwining structures (over commutative or non-commutative base rings) and cleft weak entwining structures, are shown to provide examples of cleft bicomodules. Cleft extensions by arbitrary Hopf algebroids are described in terms of Morita contexts that do not necessarily correspond to coring extensions.


title: Equivalence of energy methods in stability theory

abstract: We will prove the equivalence of three methods, the so called energy methods, for establishing the stability of an equilibrium point for a dynamical system. We will illustrate by examples that this result simplifies enormously the amount of computations especially when the stability can not be decided with one of the three methods.


title: Determining a magnetic Schroedinger operator from partial Cauchy data

abstract: In this paper we show, in dimension n >=3, that knowledge of the Cauchy data for the Schroedinger equation in the presence of a magnetic potential, measured on possibly very small subsets of the boundary, determines uniquely the magnetic field and the electric potential.


title: The symmetry axiom in Minkowski planes

abstract: The aim of the paper is to give a synthetic proof that in a symmetric Minkowski plane the Benz's (G) axiom holds (without using the algebraic representation).


title: Error bounds and convergence for American put option pricing based on translation-invariant Markov chains

abstract: Consider a discrete finite-dimensional, Markovian market model. In this setting, discretely sampled American options can be priced using the so-called ``non-recombining'' tree algorithm. By successively increasing the number of exercise times, the American option price itself can be computed; for combinatorial reasons, we shall consider a recursive algorithm that doubles the number of exercise times at each recursion step. First we prove, by elementary arguments, error bounds for the first order differences in this recursive algorithm. From this, bounds on the higher order differences can be obtained using combinatorial arguments that are motivated by the theory of rough paths. We shall obtain an explicit $L^1(C)$ convergence estimate for the recursive algorithm that prices a discretely sampled American $\max$-put option (on a basket of size $d$) at each recursion step, $C$ belonging to a certain class of compact subset of $\RR^d$, in under the assumption of sufficiently small volatilities. In case $d=1$, $L^1(C)$-bounds for an even more natural choice of $C$ will be derived.


title: Crossing and alignments of permutations

abstract: We introduce the notion of crossings and nestings of a permutation. We compute the generating function of permutations with a fixed number of weak exceedances, crossings and nestings. We link alignments and permutation patterns to these statistics. We generalize to the case of decorated permutations. Finally we show how this is related to the stationary distribution of the Partially ASymmetric Exclusion Process (PASEP) model.


title: Lorentzian foliations on 3-manifolds

abstract: We study transversely Lorentzian foliations on the closed 3-manifolds. We classify them under a completeness hypothesis and we deduce the dual classification of codimension 1 geodesically complete timelike totally geodesic foliations. Besides we provide an example of a Lorentzian foliation on a compact 3-manifold which is equicontinuous on a proper dense open subset of the manifold, and hence not transversely complete.


title: Structure of Intermediate Wakimoto Modules

abstract: We show that our construction of boson type realizations of affine $\mathfrak{sl}(n+1)$ in terms of intermediate Wakimoto modules gives representations that are generically isomorphic to certain Verma type modules. We then use this identification to obtain information about the submodule structure of intermediate Wakimoto modules


title: Representations of quantum groups defined over commutative rings II

abstract: In this article we study the structure of highest weight modules for quantum groups defined over a commutative ring with particular emphasis on the structure theory for invariant bilinear forms on these modules.


title: Affine actions of a free semigroup on the real line

abstract: We consider actions of the free semigroup with two generators on the real line, where the generators act as affine maps, one contracting and one expanding, with distinct fixed points. Then every orbit is dense in a half-line, which leads to the question whether it is, in some sense, uniformly distributed. We present answers to this question for various interpretations of the phrase ``uniformly distributed''.


title: Paraproducts with flag singularities I. A case study

abstract: We prove L^p estimates for a tri-linear operator, whose symbol is given by the product of two standard symbols, satisfying the well known Marcinkiewicz-Hormander-Mihlin condition. Our main result contains in particular the classical Coifman-Meyer theorem. This tri-linear operator is the simplest example of a large class of multi-linear operators, which we called "paraproducts with flag singularities".


title: Isoperimetry between exponential and Gaussian

abstract: We study in details the isoperimetric profile of product probability measures with tails between the exponential and the Gaussian regime. In particular we exhibit many examples where coordinate half-spaces are approximate solutions of the isoperimetric problem.


title: Affine configurations and pure braids

abstract: We show that the fundamental group of the space of ordered affine-equivalent configurations of at least five points in the real plane is isomorphic to the pure braid group modulo its centre. In the case of four points this fundamental group is free with eleven generators.


title: Families of Artinian and one-dimensional algebras

abstract: The purpose of this paper is to study families of Artinian or one dimensional quotients of a polynomial ring $R$ with a special look to level algebras. Let $\GradAlg^H(R)$ be the scheme parametrizing graded quotients of $R$ with Hilbert function $H$. Let $B \to A$ be any graded surjection of quotients of $R$ with Hilbert function $H_B$ and $H_A$, and h-vectors $h_B=(1,h_1,...,h_j,...)$ and $h_A$, respectively. If $\depth A = \dim A \leq 1$ and $A$ is a ``truncation'' of $B$ in the sense that $h_A=(1,h_1,...,h_{j-1},\alpha,0,0,...)$ for some $\alpha \leq h_j$, then we show there is a close relationship between $\GradAlg^{H_A}(R)$ and $\GradAlg^{H_B}(R)$ concerning e.g. smoothness and dimension at the points $(A)$ and $(B)$ respectively, provided $B$ is a complete intersection or provided the Castelnuovo-Mumford regularity of $A$ is at least 3 (sometimes 2) larger than the regularity of $B$. In the complete intersection case we generalize this relationship to ``non-truncated'' Artinian algebras $A$ which are compressed or close to being compressed. For more general Artinian algebras we describe the dual of the tangent and obstruction space of deformations in a manageable form which we make rather explicit for level algebras of Cohen-Macaulay type 2. This description and a linkage theorem for families allow us to prove a conjecture of Iarrobino on the existence of at least two irreducible components of $\GradAlg^H(R)$, $H=(1,3,6,10,14,10,6,2)$, whose general elements are Artinian level algebras of type 2.


title: Recasting the Elliott conjecture

abstract: Let A be a simple, unital, exact, and finite C*-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomorphism, and prove the conjecture in several cases. In these same cases -- Z-stable algebras all -- we prove that the Elliott conjecture in its strongest form is equivalent to a conjecture which appears much weaker. Outside the class of Z-stable algebras, this weaker conjecture has no known counterexamples, and it is plausible that none exist. Thus, we reconcile the still intact principle of Elliott's classification conjecture -- that K-theoretic invariants will classify separable and nuclear C*-algebras -- with the recent appearance of counterexamples to its strongest concrete form.


title: Interpolation of numbers of Catalan type in a local field of positive characteristic

abstract: Let $k$ be a local field of positive characteristic. Let $L$ be a cocompact discrete subgroup of $k$. Let $U$ be an open compact subgroup of $k$. Let $\ell$, $u$ and $a$ be elements of $k$, with $a$ nonzero. We study the behavior of the product $\prod_{0\neq x\in (\ell+L)\cap a(u+U)}x$ as $a$ varies. Our main result, which blends harmonic analysis and local class field theory, provides local confirmation of a conjecture concerning global function fields recently made by the author (math.NT/0407535).


title: A Note on Existence and Non-existence of Minimal Surfaces in Some Asymptotically Flat 3-manifolds

abstract: Motivated by problems on apparent horizons in general relativity, we prove the following theorem on minimal surfaces: Let $g$ be a metric on the three-sphere $S^3$ satisfying $Ric(g) \geq 2 g$. If the volume of $(S^3, g)$ is no less than one half of the volume of the standard unit sphere, then there are no closed minimal surfaces in the asymptotically flat manifold $(S^3 \setminus \{P \}, G^4 g)$. Here $G$ is the Green's function of the conformal Laplacian of $(S^3, g)$ at an arbitrary point $P$. We also give an example of $(S^3, g)$ with $Ric(g) > 0$ where $(S^3 \setminus \{P \}, G^4 g)$ does have closed minimal surfaces.


title: Hopf bifurcation analysis for a mathematical model of P53-MDM2 interaction

abstract: In this paper we analyze a simple mathematical model which describes the interaction between the proteins p53 and Mdm2. For the stationary state we discuss the local stability and the existence of the Hopf bifurcation. Choosing the delay as a bifurcation parameter we study the direction and stability of the bifurcating periodic solutions. Some numerical examples and the conclusions are finally made.


title: On growth types of quotients of Coxeter groups by parabolic subgroups

abstract: The principal objects studied in this note are Coxeter groups $W$ that are neither finite nor affine. A well known result of de la Harpe asserts that such groups have exponential growth. We consider quotients of $W$ by its parabolic subgroups and by a certain class of reflection subgroups. We show that these quotients have exponential growth as well. To achieve this, we use a theorem of Dyer to construct a reflection subgroup of $W$ that is isomorphic to the universal Coxeter group on three generators. The results are all proved under the restriction that the Coxeter diagram of $W$ is simply laced, and some remarks made on how this restriction may be relaxed.


title: A Little bijection for affine Stanley symmetric functions

abstract: David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Sch\"{u}tzenberger tree. We generalize this algorithm to affine Stanley symmetric functions.


title: Plurisubharmonic Functions in Calibrated Geometries

abstract: In this paper we introduce and study the notion of plurisubharmonic functions in calibrated geometry. These functions generalize the classical plurisubharmonic functions from complex geometry and enjoy many of their important properties. Moreover, they exist in abundance whereas the corresponding pluriharmonics are generally quite scarce. A number of the results established in complex analysis via plurisubharmonic functions are extended to calibrated manifolds. This paper investigates, in depth, questions of: pseudo-convexity and cores, positive phi-currents, Duval-Sibony Duality, and boundaries of phi-submanifolds, all in the context of a general calibrated manifold (X,phi). Analogues of totally real submanifolds are used to construct enormous families of strictly phi-convex spaces with every topological type allowed by Morse Theory. Specific calibrations are used as examples throughout. Analogues of the Hodge Conjecture in calibrated geometry are considered.


title: Vortex type equations and canonical metrics

abstract: We introduce a notion of Gieseker stability for a filtered holomorphic vector bundle $F$ over a projective manifold. We relate it to an analytic condition in terms of hermitian metrics on $F$ coming from a construction of the Geometric Invariant Theory (G.I.T). These metrics are balanced in the sense of S.K. Donaldson. We prove that if there is a $\tau$-Hermite-Einstein metric $h_{HE}$ on $F$, then there exists a sequence of such balanced metrics that converges and its limit is $h_{HE}$. As a corollary, we obtain an approximation theorem for coupled Vortex equations that cover in particular the cases of Hermite-Einstein equations, Garcia-Prada and Bradlows's coupled Vortex equations and special Vafa-Witten equations.


title: Geometric angle structures on triangulated surfaces

abstract: In this paper we characterize a function defined on the set of edges of a triangulated surface such that there is a spherical angle structure having the function as the edge invariant (or Delaunay invariant). We also characterize a function such that there is a hyperbolic angle structure having the function as the edge invariant.


title: Constructing pairing-friendly elliptic curves with embedding degree 10

abstract: We present a general framework for constructing families of elliptic curves of prime order with prescribed embedding degree. We demonstrate this method by constructing curves with embedding degree k = 10, which solves an open problem posed by Boneh, Lynn, and Shacham. We show that our framework incorporates existing constructions for k = 3, 4, 6, and 12, and we give evidence that the method is unlikely to produce infinite families of curves with embedding degree k > 12.


title: On Hyperfocused Arcs in PG(2,q)

abstract: A k-arc in a Dearguesian projective plane whose secants meet some external line in k-1 points is said to be hyperfocused. Hyperfocused arcs are investigated in connection with a secret sharing scheme based on geometry due to Simmons. In this paper it is shown that point orbits under suitable groups of elations are hyperfocused arcs with the significant property of being contained neither in a hyperoval, nor in a proper subplane. Also, the concept of generalized hyperfocused arc, i.e. an arc whose secants admit a blocking set of minimum size, is introduced: a construction method is provided, together with the classification for size up to 10.


title: Quotient triangulated categories

abstract: For a self-orthogonal module $T$, the relation between the quotient triangulated category $D^b(A)/K^b({\rm add} T)$ and the stable category of the Frobenius category of $T$-Cohen-Macaulay modules is investigated. In particular, for a Gorenstein algebra, we get a relative version of the description of the singularity category due to Happel. Also, the derived category of a Gorenstein algebra is explicitly given, inside the stable category of the graded module category of the corresponding trivial extension algebra, via Happel's functor $F: D^b(A) \longrightarrow T(A)^{\mathbb{Z}}{-}\underline{\rm mod}$.


title: Equality of Proofs for Linear Equality

abstract: This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation, those of an equivalence relation, and other properties appropriate for an equality relation in linear logic. The guiding idea is that equality of proofs is induced by coherence, understood as the existence of a faithful functor from a syntactical category into a category whose arrows correspond to diagrams. Edges in these diagrams join occurrences of variables that must remain the same in every generalization of the proof. It is found that assumptions about equality of proofs for equality are parallel to standard assumptions about equality of arrows in categories. They reproduce standard categorial assumptions on a different level. It is also found that assumptions for a preordering relation involve an adjoint situation.


title: Descent cohomology and corings

abstract: A coring approach to non-Abelian descent cohomology of [P Nuss and M Wambst, Non-Abelian Hopf cohomology, Preprint arXiv:math.KT/0511712, (2005)] is described and a definition of a Galois cohomology for partial group actions is proposed.


title: About estimations of difference for the partial integro-differential equation with small parameter at the leading derivative

abstract: This paper is devoted to the study of the singularly perturbed second order partial integro-differential equations. The estimation of the solutions of Cauchy problem is obtained.


title: Three examples of three-dimensional continued fractions in the sense of Klein

abstract: The problem of investigation of the simplest n-dimensional continued fraction in the sense of Klein for n>2 was posed by V.Arnold. The answer for the case of n=2 can be found in the works of E.Korkina and G.Lachaud. In present work we study the case of n=3.


title: Smectic Liquid Crystals: Materials with One-Dimensional, Periodic Order

abstract: Smectic liquid crystals are materials formed by stacking deformable, fluid layers. Though smectics prefer to have flat, uniformly-spaced layers, boundary conditions can impose curvature on the layers. Since the layer spacing and curvature are intertwined, the problem of finding minimal configurations for the layers becomes highly nontrivial. We discuss various topological and geometrical aspects of these materials and present recent progress on finding some exact layer configurations. We also exhibit connections to the study of certain embedded minimal surfaces and briefly summarize some important open problems.


title: Inverse spectral problem for singular AKNS operator on [0,1]

abstract: We consider an inverse spectral problem for a class of singular AKNS operators $H\_a, a\in\N$ with an explicit singularity. We construct for each $a\in\N$, a standard map $\lambda^a\times\kappa^a$ with spectral data $\lambda^a$ and some norming constant $\kappa^a$. For $a=0$, $\lambda^a\times\kappa^a$ was known to be a local coordinate system on $\lr\times\lr$. Using adapted transformation operators, we extend this result to any non-negative integer $a$, give a description of isospectral sets and we obtain a Borg-Levinson type theorem.


title: Baker domains for Newton's method

abstract: We show that there exists an entire function without finite asymptotic values for which the associated Newton function tends to infinity in some invariant domain. The question whether such a function exists had been raised by Douady.


title: Isolated fixed point sets for holomorphic maps

abstract: We study discrete fixed point sets of holomorphic self-maps of complex manifolds. The main attention is focused on the cardinality of this set and its configuration. As a consequence of one of our observations, a bounded domain in ${\Bbb C}^n$ with no non-trivial holomorphic retractions is constructed.


title: Lower bounds for moments of L-functions: symplectic and orthogonal examples

abstract: We give lower bounds of the conjectured order of magnitude for an orthogonal and a symplectic family of L-functions.


title: Nakajima's problem: convex bodies of constant width and constant brightness

abstract: For a convex body $K\subset\R^n$, the $k$th projection function of $K$ assigns to any $k$-dimensional linear subspace of $\R^n$ the $k$-volume of the orthogonal projection of $K$ to that subspace. Let $K$ and $K_0$ be convex bodies in $\R^n$, and let $K_0$ be centrally symmetric and satisfy a weak regularity and curvature condition (which includes all $K_0$ with $\f K_0$ of class $C^2$ with positive radii of curvature). Assume that $K$ and $K_0$ have proportional 1st projection functions (i.e., width functions) and proportional $k$th projection functions. For $2\le k<(n+1)/2$ and for $k=3, n=5$ we show that $K$ and $K_0$ are homothetic. In the special case where $K_0$ is a Euclidean ball, we thus obtain characterizations of Euclidean balls as convex bodies of constant width and constant $k$-brightness.


title: Annealed tail estimates for a Brownian motion in a drifted Brownian potential

abstract: We study Brownian motion in a drifted Brownian potential in the subexponential regime. We prove that the annealed probability of deviating below the almost sure speed has a polynomial rate of decay and compute the exponent in this power law. This provides a continuous-time analogue of what Dembo, Peres and Zeitouni proved for the transient random walk in random environment. Our method takes a completely different route, making use of Lamperti's representation together with an iteration scheme.


title: On distance measures for well-distributed sets

abstract: In this paper we investigate the Erd\"os/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We prove a good upper bound for spherical means that have been classically used to study this problem. We conjecture that a majorant for the spherical means suffices to prove the distance conjecture(s) in this setting. For a class of non-Euclidean distances, we show that this generally cannot be achieved, at least in dimension two, by considering integer point distributions on convex curves and surfaces. In higher dimensions, we link this problem to the question about the existence of smooth well-curved hypersurfaces that support many integer points.


title: Reflection groups and polytopes over finite fields, II

abstract: When the standard representation of a crystallographic Coxeter group $\Gamma$ is reduced modulo an odd prime $p$, a finite representation in some orthogonal space over $\mathbb{Z}_p$ is obtained. If $\Gamma$ has a string diagram, the latter group will often be the automorphism group of a finite regular polytope. In Part I we described the basics of this construction and enumerated the polytopes associated with the groups of rank 3 and the groups of spherical or Euclidean type. In this paper, we investigate such families of polytopes for more general choices of $\Gamma$, including all groups of rank 4. In particular, we study in depth the interplay between their geometric properties and the algebraic structure of the corresponding finite orthogonal group.


title: H\"older Compactification for some manifolds with pinched negative curvature near infinity

abstract: We consider a complete noncompact Riemannian manifold M and give conditions on a compact submanifold K of M so that the outward normal exponential map off of the boundary of K is a diffeomorphism onto M\K. We use this to compactify M and show that pinched negative sectional curvature outside K implies M has a compactification with a well defined H\"older structure independent of K. The H\"older constant depends on the ratio of the curvature pinching. This extends and generalizes a 1985 result of Anderson and Schoen.


title: Character sheaves on disconnected groups, IX

abstract: We associate a two-sided cell to any (parabolic) character sheaf. We study the interaction of the duality operator for character sheaves and the operation of "twisted induction".


title: Pathwise uniqueness for a degenerate stochastic differential equation

abstract: We introduce a new method of proving pathwise uniqueness, and we apply it to the degenerate stochastic differential equation \[dX_t=|X_t|^{\alpha} dW_t,\] where $W_t$ is a one-dimensional Brownian motion and $\alpha\in(0,1/2)$. Weak uniqueness does not hold for the solution to this equation. If one restricts attention, however, to those solutions that spend zero time at 0, then pathwise uniqueness does hold and a strong solution exists. We also consider a class of stochastic differential equations with reflection.


title: Robertson-type Theorems for Countable Groups of Unitary Operators

abstract: Let $\mathcal{G}$ be a countably infinite group of unitary operators on a complex separable Hilbert space $H$. Let $X = \{x_{1},...,x_{r}\}$ and $Y = \{y_{1},...,y_{s}\}$ be finite subsets of $H$, $r < s$, $V_{0} = \bar{span} \mathcal{G}(X), V_1 = \bar{span} \mathcal{G}(Y)$ and $ V_{0} \subset V_{1} $. We prove the following result: Let $W_0$ be a closed linear subspace of $V_1$ such that $V_0 \oplus W_0 = V_1$ (i.e., $V_0 + W_0 = V_1$ and $V_0 \cap W_0 = \{0 \}$). Suppose that $\mathcal{G}(X)$ and $\mathcal{G}(Y)$ are Riesz bases for $V_{0}$ and $V_{1}$ respectively. Then there exists a subset $\Gamma =\{z_1,..., z_{s-r}\}$ of $W_0$ such that $\mathcal{G}(\Gamma)$ is a Riesz basis for $W_0$ if and only if $ g(W_0) \subseteq W_0 $ for every $g$ in $\mathcal{G}$. We first handle the case where the group is abelian and then use a cancellation theorem of Dixmier to adapt this to the non-abelian case. Corresponding results for the frame case and the biorthogonal case are also obtained.


title: p-adic cohomology

abstract: This is a survey of some recent developments concerning the p-adic cohomology of algebraic varieties over fields of positive characteristic and local fields of mixed characteristic, plus some related areas like p-adic Hodge theory.