Proceedings of the London Mathematical Society

Published by London Mathematical Society
Online ISSN: 0024-6115
Publications
Conference Paper
The weak form of the Hilbert's Nullstellensatz says that a system of algebraic equations over a field, Q<sub>i</sub>(x¯)=0, does not have a solution in the algebraic closure iff 1 is in the ideal generated by the polynomials Q<sub>i</sub>(x¯). We shall prove a lower bound on the degrees of polynomials P<sub>i</sub>(x¯) such that Σ <sub>i</sub> P<sub>i</sub>(x¯)Q<sub>i</sub>(x¯)=1. This result has the following application. The modular counting principle states that no finite set whose cardinality is not divisible by q can be partitioned into q-element classes. For each fixed cardinality N, this principle can be expressed as a propositional formula Count<sub>q</sub> <sup>N</sup>. Ajtai (1988) proved recently that, whenever p, q are two different primes, the propositional formulas Count<sub>q</sub><sup>qn+1 </sup> do not have polynomial size, constant-depth Frege proofs from instances of Count<sub>p</sub><sup>m</sup>, m≠0 (mod p). We give a new proof of this theorem based on the lower bound for the Hilbert's Nullstellensatz. Furthermore our technique enables us to extend the independence results for counting principles to composite numbers p and q. This results in an exact characterization of when Count<sub>q</sub> can be proven efficiently from Count<sub>p</sub>, for all p and q
 
Article
Degree of mobility of a (pseudo-Riemannian) metric is the dimension of the space of metrics geodesically equivalent to it. We describe all possible values of the degree of mobility on a simply connected n-dimensional manifold of lorentz signature. As an application we calculate all possible differences between the dimension of the projective and the isometry groups. One of the main new technical results in the proof is the description of all parallel symmetric (0,2)-tensor fields on cone manifolds of signature $(n-1,2).
 
Article
Via a random construction we establish necessary conditions for Lp (lq) inequalities for certain families of operators arising in harmonic analysis. In particular, we consider dilates of a convolution kernel with compactly supported Fourier transform, vector maximal functions acting on classes of entire functions of exponential type, and a characterization of Sobolev spaces by square functions and pointwise moduli of smoothness. 2000 Mathematics Subject Classification 42B25, 42B15, 42B35.
 
Article
Peterson varieties are a special class of Hessenberg varieties that have been extensively studied, for example, by Peterson, Kostant, and Rietsch, in connection with the quantum cohomology of the flag variety. In this manuscript, we develop a generalized Schubert calculus, and in particular a positive Chevalley–Monk formula, for the ordinary and Borel-equivariant cohomology of the Peterson variety Y in type An−1, with respect to a natural S1-action arising from the standard action of the maximal torus on flag varieties. As far as we know, this is the first example of positive Schubert calculus beyond the realm of Kac–Moody flag varieties G/P. Our main results are as follows. First, we identify a computationally convenient basis of H*S1 (Y), which we call the basis of Peterson Schubert classes. Second, we derive a manifestly positive, integral Chevalley–Monk formula for the product of a cohomology-degree-2 Peterson Schubert class with an arbitrary Peterson Schubert class. Both H*S1 (Y) and H*(Y) are generated in degree 2. Finally, by using our Chevalley–Monk formula we give explicit descriptions (via generators and relations) of both the S1-equivariant cohomology ring H*S1 (Y) and the ordinary cohomology ring H*(Y) of the type An−1 Peterson variety. Our methods are both directly from and inspired by those of the GKM (Goresky–Kottwitz–MacPherson) theory and classical Schubert calculus. We discuss several open questions and directions for future work.
 
Article
The regular embeddings of complete bipartite graphs $K_{n,n}$ in orientable surfaces are classified and enumerated, and their automorphism groups and combinatorial properties are determined. The method depends on earlier classifications in the cases where $n$ is a prime power, obtained in collaboration with Du, Kwak, Nedela and \v{S}koviera, together with results of It\^o, Hall, Huppert and Wielandt on factorisable groups and on finite solvable groups. Comment: 32 pages
 
Article
In this paper we use the Morse theory of the Yang-Mills-Higgs functional on the singular space of Higgs bundles on Riemann surfaces to compute the equivariant cohomology of the space of semistable U(2,1) and SU(2,1) Higgs bundles with fixed Toledo invariant. In the non-coprime case this gives new results about the topology of the U(2,1) and SU(2,1) character varieties of surface groups. The main results are a calculation of the equivariant Poincare polynomials, a Kirwan surjectivity theorem in the non-fixed determinant case, and a description of the action of the Torelli group on the equivariant cohomology of the character variety. This builds on earlier work for stable pairs and rank 2 Higgs bundles.
 
Lie algebras associated to D ex
Article
In 1993, Schellekens [‘Meromorphic c=24 conformal field theories’, Comm. Math. Phys. 153 (1993) 159–185.] obtained a list of possible 71 Lie algebras of holomorphic vertex operator algebras with central charge 24. However, not all cases are known to exist. The aim of this article is to construct new holomorphic vertex operator algebras (VOAs) using the theory of framed VOAs and to determine the Lie algebra structures of their weight 1 subspaces. In particular, we study holomorphic framed vertex operator algebras associated to subcodes of the triply even codes RM(1, 4)3 and RM(1, 4)⊕ 𝒟(d16+) of length 48. These VOAs correspond to the holomorphic simple current extensions of the lattice type VOAs and . We determine such extensions using a quadratic space structure on the set of all irreducible modules R(W) of W when or As our main results, we construct seven new holomorphic VOAs of central charge 24 in Schellekens' list and obtain a complete list of all Lie algebra structures associated to the weight 1 subspaces of holomorphic framed VOAs of central charge 24.
 
Article
We give a detailed analysis of the semisimple elements, in the sense of Vinberg, of the third exterior power of a nine-dimensional vector space over an algebraically closed field of characteristic different from 2 and 3. To a general such element, one can naturally associate an Abelian surface $X$, which is embedded in eight-dimensional projective space. We study the combinatorial structure of this embedding and explicitly recover the genus 2 curve whose Jacobian variety is $X$. We also classify the types of degenerations of $X$ that can occur. Taking the union over all Abelian surfaces in Heisenberg normal form, we get a five-dimensional variety which is a birational model for a genus $2$ analog of Shioda's modular surfaces. We find determinantal set-theoretic equations for this variety and present some additional equations which conjecturally generate the radical ideal.
 
Article
The random ordered graph is the up to isomorphism unique countable homogeneous linearly ordered graph that embeds all finite linearly ordered graphs. We determine the reducts of the random ordered graph up to first-order interdefinability.
 
Article
In this paper we find approximate solutions of certain Riemann-Hilbert boundary value problems for minimal surfaces in $\mathbb{R}^n$ and null holomorphic curves in $\mathbb{C}^n$ for any $n\ge 3$. With this tool in hand we construct complete conformally immersed minimal surfaces in $\mathbb{R}^n$ which are normalized by any given bordered Riemann surface and have Jordan boundaries. We also furnish complete conformal proper minimal immersions from any given bordered Riemann surface to any smoothly bounded, strictly convex domain of $\mathbb{R}^n$ which extend continuously up to the boundary; for $n\ge 5$ we find embeddings with these properties.
 
Article
We compute explicitly Dirichlet generating functions enumerating finite-dimensional irreducible complex representations of various $p$-adic analytic and adèlic profinite groups of type $\mathsf {A}_2$. This has consequences for the representation zeta functions of arithmetic groups $\Gamma \subset \mathbf {H}(k)$, where $k$ is a number field and $\mathbf {H}$ is a $k$-form of $\mathsf {SL}_3$: assuming that $\Gamma $ possesses the strong congruence subgroup property, we obtain precise, uniform estimates for the representation growth of $\Gamma $. Our results are based on explicit, uniform formulae for the representation zeta functions of the $p$-adic analytic groups $\mathsf {SL}_3(\mathfrak {o})$ and $\mathsf {SU}_3(\mathfrak {o})$, where $\mathfrak {o}$ is a compact discrete valuation ring of characteristic 0. These formulae build on our classification of similarity classes of integral $\mathfrak {p}$-adic $3\times 3$ matrices in $\mathsf {gl}_3(\mathfrak {o})$ and $\mathsf {gu}_3(\mathfrak {o})$, where $\mathfrak {o}$ is a compact discrete valuation ring of arbitrary characteristic. Organising the similarity classes by invariants which we call their shadows allows us to combine the Kirillov orbit method with Clifford theory to obtain explicit formulae for representation zeta functions. In a different direction we introduce and compute certain similarity class zeta functions. Our methods also yield formulae for representation zeta functions of various finite subquotients of groups of the form $\mathsf {SL}_3(\mathfrak {o})$, $\mathsf {SU}_3(\mathfrak {o})$, $\mathsf {GL}_3(\mathfrak {o})$, and $\mathsf {GU}_3(\mathfrak {o})$, arising from the respective congruence filtrations; these formulae are valid in case that the characteristic of $\mathfrak {o}$ is either 0 or sufficiently large. Analysis of some of these formulae leads us to observe $p$-adic analogues of ‘Ennola duality’.
 
Article
The moduli space of principally polarised abelian 4-folds can be compactified in several different ways by toroidal methods. Here we consider in detail the Igusa compactification and the (second) Voronoi compactification. We describe in both cases the cone of nef Cartier divisors. The proof depends on a detailed description of the Voronoi compactification, which makes it possible to proceed by induction, using the known description of the nef cone for compactifications of A3. The Igusa compactification has a non-Q-factorial singularity, which is resolved by a single blow-up: this resolution is the Voronoi compactification. The exceptional divisor E is a toric Fano variety (of dimension 9): the other boundary divisor, D, corresponds to degenerations with corank∼1. After imposing a level structure in order to avoid certain technical complications, we show that the closure of D in the Voronoi compactification maps to the Voronoi compactification of A3. The toric description of the exceptional divisor allows us to describe the map in sufficient detail to estimate the intersection numbers needed. This inductive process is only valid for the Voronoi compactification: the result for the Igusa compactification is deduced from the Voronoi compactification. 2000 Mathematics Subject Classification 14K10, 14E99, 14M25.
 
Article
The level curves of an analytic function germ can have bumps (maxima of Gaussian curvature) at unexpected points near the singularity. This phenomenon is fully explored for $f(z,w)\in {\mathbb {C}}\{z,w\}$, using the Newton–Puiseux infinitesimals and the notion of gradient canyon. Equally unexpected is the Dirac phenomenon: as $c \rightarrow 0$, the total Gaussian curvature of $f=c$ accumulates in the minimal gradient canyons, and nowhere else. Our approach mimics the introduction of polar coordinates in Analytic Geometry.
 
Article
We study the moduli space ℳ of torsion-free G2-structures on a fixed compact manifold M7, and define its associated universal intermediate Jacobian 𝒥. We define the Yukawa coupling and relate it to a natural pseudo-Kähler structure on 𝒥. We consider natural Chern-Simons-type functionals, whose critical points give associative and coassociative cycles (calibrated submanifolds coupled with Yang-Mills connections), and also deformed Donaldson-Thomas connections. We show that the moduli spaces of these structures can be isotropically immersed in 𝒥 by means of G2-analogues of Abel-Jacobi maps.
 
Article
We study finiteness problems for isogeny classes of abelian varieties over an algebraic function field K in one variable over the field of complex numbers. In particular, we construct explicitly a non-isotrivial absolutely simple abelian fourfold X over a certain K such that the isogeny class of X×X contains infinitely many mutually non-isomorphic principally polarized abelian varieties. (Such examples do not exist when the ground field is finitely generated over its prime subfield.)
 
Article
We study a geometric analogue of the Iwasawa Main Conjecture for constant ordinary abelian varieties over $\ZZ_p^d$-extensions of function fields ramifying at a finite set of places.
 
Article
We discuss three different formulations of the equivariant Iwasawa main conjecture attached to an extension K/k of totally real fields with Galois group G, where k is a number field and G is a p-adic Lie group of dimension 1 for an odd prime p. All these formulations are equivalent and hold if Iwasawa's \mu-invariant vanishes. Under mild hypotheses, we use this to prove non-abelian generalizations of Brumer's conjecture, the Brumer-Stark conjecture and a strong version of the Coates-Sinnott conjecture provided that \mu = 0.
 
Article
We prove that the jacobian of a hyperelliptic curve $y^2=(x-t)h(x)$ has no nontrivial endomorphisms over an algebraic closure of the ground field $K$ of characteristic zero if $t \in K$ and the Galois group of the polynomial $h(x)$ over $K$ is "very big" and $deg(h)$ is an even number >8. (The case of odd $deg(h)>3$ follows easily from previous results of the author.)
 
Article
A family $A_\alpha$ of differential operators depending on a real parameter $\alpha\ge 0$ is considered. This family was suggested by Smilansky as a model of an irreversible quantum system. We find the absolutely continuous spectrum $\sigma_{a.c.}$ of the operator $A_\alpha$ and its multiplicity for all values of the parameter. The spectrum of $A_0$ is purely a.c. and admits an explicit description. It turns out that for $\alpha<\sqrt 2$ one has $\sigma_{a.c.}(A_\alpha)= \sigma_{a.c.}(A_0)$, including the multiplicity. For $\alpha\ge\sqrt2$ an additional branch of absolutely continuous spectrum arises, its source is an auxiliary Jacobi matrix which is related to the operator $A_\alpha$. This birth of an extra-branch of a.c. spectrum is the exact mathematical expression of the effect which was interpreted by Smilansky as irreversibility.
 
Article
We study positive solutions of equation (E1) $-\Delta u +u^p|\nabla u|^q= 0$ ($0\leq p$, $0\leq q\leq 2$, $p+q>1$) and (E2) $-\Delta u +u^p + |\nabla u|^q =0$ ($p>1$, $1\lt q\leq 2$) in a smooth bounded domain $\Omega \subset \mathbb {R}^N$. We obtain a sharp condition on $p$ and $q$ under which, for every positive, finite Borel measure $\mu$ on $\partial \Omega$, there exists a solution such that $u=\mu$ on $\partial \Omega$. Furthermore, if the condition mentioned above fails, then any isolated point singularity on $\partial \Omega$ is removable, namely, there is no positive solution that vanishes on $\partial \Omega$ everywhere except at one point. With respect to (E2), we also prove uniqueness and discuss solutions that blow up on a compact subset of $\partial \Omega$. In both cases, we obtain a classification of positive solutions with an isolated boundary singularity. Finally, in Appendix A a uniqueness result for a class of quasilinear equations is provided. This class includes (E1) when $p=0$ but not the general case.
 
Article
The purpose of this paper is to study the property of the resolvent of the Laplace-Beltrami operator on a noncompact complete Riemannian manifold with various ends each of which has a different limit of the growth rate of the Riemannian measure at infinity, in particular, focusing on the limiting absorption principle. As a result, we will obtain the absolute continuity of the Laplace-Beltrami operator.
 
Beauville triple types in SL d (q) for d and q small.
The types of the Beauville structures defined by the words given in Table 8, Lemma 7.1 and 7.2.
Article
We develop theorems which produce a multitude of hyperbolic triples for the finite classical groups. We apply these theorems to prove that every quasisimple group except Alt (5) and SL 2(5) is a Beauville group. In particular, we settle a conjecture of Bauer, Catanese and Grunewald which asserts that all non-abelian finite quasisimple groups except for the alternating group Alt (5) are Beauville groups.
 
Article
Let $G$ be a finite simple group of Lie type, and let $\pi_G$ be the permutation representation of $G$ associated with the action of $G$ on itself by conjugation. We prove that every irreducible representation of $G$ is a constituent of $\pi_G$, unless $G=PSU_n(q)$ and $n$ is coprime to $2(q+1)$, where precisely one irreducible representation fails. Let St be the Steinberg representation of $G$. We prove that a complex irreducible representation of $G$ is a constituent of the tensor square $St\otimes St$, with the same exceptions as in the previous statement.
 
Article
We establish criteria for turbulence in certain spaces of C*-algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X,\mu) and on the hyperfinite II_1 factor R. We also prove that the conjugacy action on the space of free actions of a countably infinite amenable group on R is turbulent, and that the conjugacy action on the space of ergodic measure-preserving flows on (X,\mu) is generically turbulent.
 
Article
Let $G$ be a compact connected Lie group, or more generally a path connected topological group of the homotopy type of a finite CW-complex, and let $X$ be a rational nilpotent $G$-space. In this paper we analyze the homotopy type of the homotopy fixed point set $X^{hG}$, and the natural injection $k\colon X^G\hookrightarrow X^{hG}$. We show that if $X$ is elliptic, that is, it has finite dimensional rational homotopy and cohomology, then each path component of $X^{hG}$ is also elliptic. We also give an explicit algebraic model of the inclusion $k$ based on which we can prove, for instance, that for $G$ a torus, $\pi_*(k)$ is injective in rational homotopy but, often, far from being a rational homotopy equivalence.
 
Article
We show that two Weyl group actions on the Springer sheaf with arbitrary coefficients, one defined by Fourier transform and one by restriction, agree up to a twist by the sign character. This generalizes a familiar result from the setting of l-adic cohomology, making it applicable to modular representation theory. We use the Weyl group actions to define a Springer correspondence in this generality, and identify the zero weight spaces of small representations in terms of this Springer correspondence.
 
Article
We show that several important normal subgroups $\Gamma$ of the mapping class group of a surface satisfy the following property: any free, ergodic, probability measure preserving action $\Gamma \curvearrowright X$ is stably $OE$-superrigid. These include the central quotients of most surface braid groups and most Torelli groups and Johnson kernels. In addition, we show that all these groups satisfy the measure equivalence rigidity and we describe all their lattice-embeddings. Using these results in combination with previous results from [CIK13] we deduce that any free, ergodic, probability measure preserving action of almost any surface braid group is stably $W^*$-superrigid, i.e., it can be completely reconstructed from its von Neumann algebra.
 
Article
We study the topological variant of Rokhlin dimension for topological dynamical systems (X,{\alpha},Z^m) in the case where X is assumed to have finite covering dimension. Finite Rokhlin dimension in this sense is a property that implies finite Rokhlin dimension of the induced action on C*-algebraic level, as was discussed in a recent paper by Ilan Hirshberg, Wilhelm Winter and Joachim Zacharias. In particular, it implies under these conditions that the transformation group C*-algebra has finite nuclear dimension. Generalizing a result of Yonatan Gutman, we show that free Z^m-actions on finite dimensional spaces satisfy a strengthened version of the so-called marker property, which yields finite Rokhlin dimension for said actions.
 
Article
We study acts and modules of maximal growth over finitely generated free monoids and free associative algebras as well as free groups and free group algebras. The maximality of the growth implies some other specific properties of these acts and modules that makes them close to the free ones; at the same time, we show that being a strong "infiniteness" condition, the maximality of the growth can still be combined with various finiteness conditions, which would normally make finitely generated acts finite and finitely generated modules finite-dimensional.
 
Article
We consider semigroup actions on the interval generated by two attracting maps. It is known that if the generators are sufficiently $C^2$-close to the identity, then the minimal set coincides with the whole interval. In this article, we give a counterexample to this result under the $C^1$-topology.
 
Article
We introduce a new notion of twisted actions of inverse semigroups and show that they correspond bijectively to certain regular Fell bundles over inverse semigroups, yielding in this way a structure classification of such bundles. These include as special cases all the stable Fell bundles. Our definition of twisted actions properly generalizes a previous one introduced by Sieben and corresponds to Busby–Smith twisted actions in the group case. As an application we describe twisted étale groupoid C*-algebras in terms of crossed products by twisted actions of inverse semigroups and show that Sieben's twisted actions essentially correspond to twisted étale groupoids with topologically trivial twists.
 
Article
Let G be a finite p-group and k be a field of characteristic p>0. We show that G has a non-linear faithful action on a polynomial ring U of dimension n=log p(|G|) such that the invariant ring UG is also polynomial. This contrasts with the case of linear and graded group actions with polynomial rings of invariants, where the classical theorem of Chevalley–Shephard–Todd and Serre requires G to be generated by pseudo-reflections. Our result is part of a general theory of ‘trace surjective G-algebras’, which, in the case of p-groups, coincide with the Galois ring extensions in the sense of Chase, Harrison and Rosenberg [‘Galois theory and Galois cohomology of commutative rings’, Mem. Amer. Math. Soc. 52 (1965) 15–33]. We consider the dehomogenized symmetric algebra Dk, a polynomial ring with non-linear G-action, containing U as a retract and we show that DGk is a polynomial ring. Thus, U turns out to be universal in the sense that every trace surjective G-algebra can be constructed from U by ‘forming quotients and extending invariants’. As a consequence we obtain a general structure theorem for Galois extensions with given p-group as Galois group and any prescribed commutative k-algebra R as invariant ring. This is a generalization of the Artin–Schreier–Witt theory of modular Galois field extensions of degree ps.
 
Article
A subgroup of an amenable group is amenable. The $C^*$-algebra version of this fact is false. This was first proved by M.-D. Choi who proved that the non-nuclear $C^*$-algebra $C^*_r(\ZZ_2*\ZZ_3)$ is a subalgebra of the nuclear Cuntz algebra ${\cal O}_2$. A. Connes provided another example, based on a crossed product construction. More recently J. Spielberg [23] showed that these examples were essentially the same. In fact he proved that certain of the $C^*$-algebras studied by J. Cuntz and W. Krieger [10] can be constructed naturally as crossed product algebras. For example if the group $\Gamma$ acts simply transitively on a homogeneous tree of finite degree with boundary $\Omega$ then $\cross$ is a Cuntz-Krieger algebra. Such trees may be regarded as affine buildings of type $\widetilde A_1$. The present paper is devoted to the study of the analogous situation where a group $\G$ acts simply transitively on the vertices of an affine building of type $\widetilde A_2$ with boundary $\O$. The corresponding crossed product algebra $\cross$ is then generated by two Cuntz-Krieger algebras. Moreover we show that $\cross$ is simple and nuclear. This is a consequence of the facts that the action of $\G$ on $\O$ is minimal, topologically free, and amenable.
 
Article
We define equivariant projective unitary stable bundles as the appropriate twists when defining K-theory as sections of bundles with fibers the space of Fredholm operators over a Hilbert space. We construct universal equivariant projective unitary stable bundles for the orbit types, and we use a specific model for these local universal spaces in order to glue them to obtain a universal equivariant projective unitary stable bundle for discrete and proper actions. We determine the homotopy type of the universal equivariant projective unitary stable bundle, and we show that the isomorphism classes of equivariant projective unitary stable bundles are classified by the third equivariant integral cohomology group. The results contained in this paper extend and generalize results of Atiyah-Segal.
 
Article
The theory of overconvergent modular symbols, developed by Rob Pollack and Glenn Stevens, gives a beautiful and effective construction of the $p$-adic $L$-function of a rational modular form. In this paper, we give an analogue of their results for Bianchi modular forms, that is, modular forms over imaginary quadratic fields. In particular, we prove control theorems that say that the canonical specialisation map from overconvergent to classical Bianchi modular symbols is an isomorphism on small slope eigenspaces of suitable Hecke operators. We also give an explicit link between the classical modular symbol attached to a Bianchi modular form and critical values of its $L$-function, which then allows us to construct its $p$-adic $L$-function via overconvergent methods.
 
Article
We show that all p-adic quintic forms in at least n>4562911 variables have a non-trivial zero. We also derive a new result concerning systems of cubic and quadratic forms.
 
Article
This paper provides foundations for studying p-adic deformations of arithmetic eigenpackets, that is, of systems of Hecke eigenvalues occurring in the cohomology of arithmetic groups with coefficients in finite-dimensional rational representations. The concept of ‘arithmetic rigidity’ of an arithmetic eigenpacket is introduced and investigated. An arithmetic eigenpacket is said to be ‘arithmetically rigid’ if (modulo twisting) it does not admit a p-adic deformation containing a Zariski dense set of arithmetic specializations. The case of GL(n) and ordinary eigenpackets is worked out, leading to the construction of a ‘universal p-ordinary arithmetic eigenpacket’. Tools for explicit investigation into the structure of the associated eigenvarieties for GL(n) are developed. Of note is the purely algebraic Theorem 5.1, which keeps track of the specializations of the universal eigenpacket. We use these tools to prove that known examples of non-selfdual cohomological cuspforms for GL(3) are arithmetically rigid. Moreover, we conjecture that, in general, arithmetic rigidity for GL(3) is equivalent to non-selfduality.
 
Article
The geometric conjecture developed by the authors in [1,2,3,4] applies to the smooth dual Irr(G) of any reductive p-adic group G. It predicts a definite geometric structure - the structure of an extended quotient - for each component in the Bernstein decomposition of Irr(G). In this article, we prove the geometric conjecture for the principal series in any split connected reductive p-adic group G. The proof proceeds via Springer parameters and Langlands parameters. As a consequence of this approach, we establish strong links with the local Langlands correspondence. One important feature of our approach is the emphasis on two-sided cells in extended affine Weyl groups.
 
Article
We study the quantum cohomology of adjoint and coadjoint homogeneous spaces. The product of any two Schubert classes does not involve powers of the quantum parameter greater than 2. With the help of the quantum to classical principle, we give presentations of the quantum cohomology algebras. These algebras are semi-simple for adjoint non-coadjoint varieties and some properties of the induced strange duality are shown.
 
Article
This paper considers $N\times N$ matrices of the form $A_\gamma =A+ \gamma B$, where $A$ is self-adjoint, $\gamma \in C$ and $B$ is a non-self-adjoint perturbation of $A$. We obtain some monodromy-type results relating the spectral behaviour of such matrices in the two asymptotic regimes $|\gamma |\to\infty$ and $|\gamma |\to 0$ under certain assumptions on $B$. We also explain some properties of the spectrum of $A_\gamma$ for intermediate sized $\gamma$ by considering the limit $N\to\infty$, concentrating on properties that have no self-adjoint analogue. A substantial number of the results extend to operators on infinite-dimensional Hilbert spaces.
 
Article
Let H0, H be a pair of self-adjoint operators for which the standard assumptions of the smooth version of scattering theory hold true. We give an explicit description of the absolutely continuous (a.c.) spectrum of the operator 𝒟θ=θ(H)−θ(H0) for piecewise continuous functions θ. This description involves the scattering matrix for the pair H0, H, evaluated at the discontinuities of θ. We also prove that the singular continuous spectrum of 𝒟θ is empty and that the eigenvalues of this operator have finite multiplicities and may accumulate only to the ‘thresholds’ of the a.c. spectrum of 𝒟θ. Our approach relies on the construction of ‘model’ operators for each jump of the function θ. These model operators are defined as certain symmetrized Hankel operators (SHOs) which admit explicit spectral analysis. We develop the multichannel scattering theory for the set of model operators and the operator θ(H)−θ(H0). As a by-product of our approach, we also construct the scattering theory for general SHOs with piecewise continuous symbols.
 
Article
For almost all interval exchange maps T_0, with combinatorics of genus g>=2, we construct affine interval exchange maps T which are semi-conjugate to T_0 and have a wandering interval.
 
Article
In this paper we give a realization of crystal bases for quantum affine algebras using some new combinatorial objects which we call the Young walls. The Young walls consist of colored blocks with various shapes that are built on a given ground-state wall and can be viewed as generalizations of Young diagrams. The rules for building Young walls and the action of Kashiwara operators are given explicitly in terms of combinatorics of Young walls. The crystal graph of a basic representation is characterized as the set of all reduced proper Young walls. The character of a basic representation can be computed easily by counting the number of colored blocks that have been added to the ground-state wall. 2000 Mathematical Subject Classification: 17B37, 17B65, 81R50, 82B23.
 
Article
Let $\mu$ be a probability measure on $\mathbb{R}^n$ with a bounded density $f$. We prove that the marginals of $f$ on most subspaces are well-bounded. For product measures, studied recently by Rudelson and Vershynin, our results show there is a trade-off between the strength of such bounds and the probability with which they hold. Our proof rests on new affinely-invariant extremal inequalities for certain averages of $f$ on the Grassmannian and affine Grassmannian. These are motivated by Lutwak's dual affine quermassintegrals for convex sets. We show that key invariance properties of the latter, due to Grinberg, extend to families of functions. The inequalities we obtain can be viewed as functional analogues of results due to Busemann--Straus, Grinberg and Schneider. As an application, we show that without any additional assumptions on $\mu$, any marginal $\pi_E(\mu)$, or a small perturbation thereof, satisfies a nearly optimal small-ball probability.
 
Article
Consider the generalized flag manifold $G/B$ and the corresponding affine flag manifold $\mathrm{Fl}_G$. In this paper we use curve neighborhoods for Schubert varieties in $\mathrm{Fl}_G$ to construct certain affine Gromov-Witten invariants of $\mathrm{Fl}_G$, and to obtain a family of affine quantum Chevalley operators $\Lambda_0,\ldots , \Lambda_n$ indexed by the simple roots in the affine root system of $G$. These operators act on the cohomology ring $H^*(\mathrm{Fl}_G)$ with coefficients in $\mathbb{Z}[q_0, \ldots,q_n]$. By analyzing commutativity and invariance properties of these operators we deduce the existence of two quantum cohomology rings, which satisfy properties conjectured earlier by Guest and Otofuji for $G= \mathrm{SL}_n(\mathbb{C})$. The first quantum ring is a deformation of the subalgebra of $H^*(\mathrm{Fl}_G)$ generated by divisors. The second ring, denoted $QH^*_{\mathrm{aff}}(G/B)$, deforms the ordinary quantum cohomology ring $QH^*(G/B)$ by adding an affine quantum parameter $q_0$. We prove that $QH^*_{\mathrm{aff}}(G/B)$ is a Frobenius algebra, and that the new quantum product determines a flat Dubrovin connection. We further develop an analogue of Givental and Kim formalism for this ring and we deduce a presentation of $QH^*_{\mathrm{aff}}(G/B)$ by generators and relations. For $G$ of Lie types $A_n - D_n$ or $E_6$, we prove that the ideal of relations is generated by the integrals of motion for the periodic Toda lattice associated to the dual of the extended Dynkin diagram of $G$.
 
Article
In this paper, we introduce the stress-energy tensors of the partial energies E'(f) and E"(f) of maps between Kaehler manifolds. Assuming the domain manifolds poss some special exhaustion functions, we use these stress-energy tensors to establish some monotonicity formulae of the partial energies of pluriharmonic maps into any Kaehler manifolds and harmonic maps into Kaehler manifolds with strongly semi-negative curvature respectively. These monotonicity inequalities enable us to derive some holomorphicity and Liouville type results for these pluriharmonic maps and harmonic maps. We also use the stress-energy tensors to investigate the holomorphic extension problem of CR maps.
 
Article
Consider a compact K\"ahler manifold X with a simple normal crossing divisor D, and define Poincar\'e type metrics on X\D as K\"ahler metrics on X\D with cusp singularities along D. We prove that the existence of a constant scalar curvature (resp. an extremal) Poincar\'e type K\"ahler metric on X\D implies the existence of a constant scalar curvature (resp. an extremal) K\"ahler metric, possibly of Poincar\'e type, on every component of D. We also show that when the divisor is smooth, the constant scalar curvature/extremal metric on X\D is asymptotically a product near the divisor.
 
Article
We investigate the case of the Kahler-Ricci flow blowing down disjoint exceptional divisors with normal bundle O(-k) to orbifold points. We prove smooth convergence outside the exceptional divisors and global Gromov-Hausdorff convergence. In addition, we establish the result that the Gromov-Hausdorff limit coincides with the metric completion of the limiting metric under the flow. This improves and extends the previous work of the authors. We apply this to P^1-bundles which are higher-dimensional analogues of the Hirzebruch surfaces. In addition, we consider the case of a minimal surface of general type with only distinct irreducible (-2)-curves and show that solutions to the normalized Kahler-Ricci flow converge in the Gromov-Hausdorff sense to a Kahler-Einstein orbifold.
 
Article
In this paper we develop a theory of stable homotopy 2-groups for spectra which is compatible with the smash product on the structured models for the stable homotopy category, therefore the homotopy 2-groups of a ring spectrum form a 2-ring, etc. For instance, the primary algebraic model of a ring spectrum R is the ring π*R of homotopy groups. We introduce the secondary model π*, *R which has the structure of a secondary analogue of a ring. The homology of π*, *R is π*R and triple Massey products in π*, *R coincide with triple Toda brackets in π*R. We also describe the secondary model π*, *Q of a commutative ring spectrum Q from which we derive the cup-one square operation in the graded commutative ring π*Q. As an application we obtain for each ring spectrum R new derivations of the ring π*R.
 
Article
We introduce for each quiver Q and each algebraic oriented cohomology theory A, the cohomological Hall algebra (CoHA) of Q, as the A-homology of the moduli of representations of the preprojective algebra of Q. This generalizes the K-theoretic Hall algebra of commuting varieties defined by Schiffmann-Vasserot. We construct an action of the preprojective CoHA on the A-homology of Nakajima quiver varieties. We compare this with the action of the Borel subalgebra of Yangian when A is the intersection theory. We give a shuffle algebra description of this CoHA in terms of the underlying formal group law of A. For the quiver with potential of Ginzburg, we compare the critical CoHA defined by Kontsevich-Soibelman with the preprojective CoHA. As applications, we obtain a shuffle description of the Yangians, and an embedding of the positive part of the Yangian into the critical CoHA.
 
Top-cited authors
Simon Donaldson
  • Imperial College London
Cheryl E. Praeger
  • University of Western Australia
Roger Heath-Brown
  • University of Oxford
R. Daniel Mauldin
  • University of North Texas
Roger Baker
  • Brigham Young University - Provo Main Campus