We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case where G=SLn, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, calledK-k-Schur functions, whose highest-degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.

Let X be a projective cubic hypersurface of dimension 11 or more, which is defined over ℚ. We show that X(ℚ) is non-empty provided that the cubic form defining X can be written as the sum of two forms that share no common variables.

Beilinson [Higher regulators and values of L-functions, Itogi Nauki i Tekhniki Seriya Sovremennye Problemy Matematiki Noveishie Dostizheniya (Current problems in mathematics), vol. 24 (Vserossiisky Institut Nauchnoi i Tekhnicheskoi Informatsii, Moscow, 1984), 181–238] obtained a formula relating the special value of the L-function of H2 of a product of modular curves to the regulator of an element of a motivic cohomology group, thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves, providing evidence for an analogous conjecture in the case of function fields.

In this paper, we prove that the log minimal model program in dimension d−1 implies the existence of log minimal models for effective lc pairs (e.g. of non-negative Kodaira dimension) in dimension d. In fact, we prove that the same conclusion follows from a weaker assumption, namely, the log minimal model program with scaling in dimension d−1. This enables us to prove that effective lc pairs in dimension five have log minimal models. We also give new proofs of the existence of log minimal models for effective lc pairs in dimension four and of the Shokurov reduction theorem.

Using the middle convolution functor MCχ introduced by N. Katz, we prove the existence of rigid local systems whose monodromy is dense in the simple algebraic group G2. We derive the existence of motives for motivated cycles which have a motivic Galois group of type G2. Granting Grothendieck’s standard conjectures, the existence of motives with motivic Galois group of type G2 can be deduced, giving a partial answer to a question of Serre.

We study Cox rings of K3 surfaces. A first result is that a K3 surface has a finitely generated Cox ring if and only if its effective cone is rational polyhedral. Moreover, we investigate degrees of generators and relations for Cox rings of K3 surfaces of Picard number two, and explicitly compute the Cox rings of generic K3 surfaces with a non-symplectic involution that have Picard number 2 to 5 or occur as double covers of del Pezzo surfaces.

We realize the multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

Let G be a reductive p-adic group. Given a compact-mod-center maximal torus S⊂G and sufficiently regular character χ of S, one can define, following Adler, Yu and others, a supercuspidal representation π(S,χ) of G. For S unramified, we determine when π(S,χ) is generic, and which generic characters it contains.

Let f1,…,fg∈ℂ(z) be rational functions, let Φ=(f1,…,fg) denote their coordinate-wise action on (ℙ1)g, let V ⊂(ℙ1)g be a proper subvariety, and let P be a point in (ℙ1)g(ℂ). We show that if 𝒮={n≥0:Φn(P)∈V (ℂ)} does not contain any infinite arithmetic progressions, then 𝒮 must be a very sparse set of integers. In particular, for any k and any sufficiently large N, the number of n≤N such that Φn(P)∈V (ℂ) is less than log kN, where log k denotes the kth iterate of the log function. This result can be interpreted as an analogue of the gap principle of Davenport–Roth and Mumford.

We identify the Poisson boundary of the dual of the universal compact quantum group Au(F) with a measurable field of ITPFI (infinite tensor product of finite type I) factors.

As shown by Gluck in 1962, the diffeotopy group of S1×S2 is isomorphic to ℤ2⊕ℤ2 ⊕ℤ2. Here an alternative proof of this result is given, relying on contact topology. We then discuss two applications to contact topology: (i) it is shown that the fundamental group of the space of contact structures on S1×S2, based at the standard tight contact structure, is isomorphic to ℤ; (ii) inspired by previous work of Fraser, an example is given of an integer family of Legendrian knots in S1×S2#S1×S2 (with its standard tight contact structure) that can be distinguished with the help of contact surgery, but not by the classical invariants (topological knot type, Thurston–Bennequin invariant, and rotation number).