We introduce Poisson boundaries of II$_1$ factors with respect to density operators that give the traces. The Poisson boundary is a von Neumann algebra that contains the II$_1$ factor and is a particular example of the boundary of a unital completely positive map as introduced by Izumi. Studying the inclusion of the II$_1$ factor into its boundary, we develop a number of notions, such as double ergodicity and entropy, that can be seen as natural analogues of results regarding the Poisson boundaries introduced by Furstenberg. We use the techniques developed to answer a problem of Popa by showing that all finite factors satisfy his MV property. We also extend a result of Nevo by showing that property (T) factors give rise to an entropy gap.

We define a multiple Dirichlet series whose group of functional equations is the Weyl group of the affine Kac–Moody root system $\widetilde{A}_{n}$, generalizing the theory of multiple Dirichlet series for finite Weyl groups. The construction is over the rational function field $\mathbb{F}_{q}(t)$, and is based upon four natural axioms from algebraic geometry. We prove that the four axioms yield a unique series with meromorphic continuation to the largest possible domain and the desired infinite group of symmetries.

In this paper we compute the topological Hochschild homology of quotients of discrete valuation rings (DVRs). Along the way we give a short argument for Bökstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of $\operatorname {THH}$ (respectively, logarithmic $\operatorname {THH}$) of complete DVRs originally due to Lindenstrauss and Madsen (respectively, Hesselholt and Madsen).

In the present paper we introduce and study the twisted γ-filtration on K0(Gs), where Gs is a split simple linear algebraic group over a field k of characteristic prime to the order of the center of Gs. We apply this filtration to construct nontrivial torsion elements in γ-rings of twisted flag varieties.

We investigate the relationship between the usual and general Hodge conjectures for abelian varieties. For certain abelian varieties $A$, we show that the usual Hodge conjecture for all powers of $A$ implies the general Hodge conjecture for $A$.

In this paper we study categories ${\mathcal{O}}$ over quantizations of symplectic resolutions admitting Hamiltonian tori actions with finitely many fixed points. In this generality, these categories were introduced by Braden et al. We establish a family of standardly stratified structures (in the sense of the author and Webster) on these categories ${\mathcal{O}}$. We use these structures to study shuffling functors of Braden et al. (called cross-walling functors in this paper). Most importantly, we prove that all cross-walling functors are derived equivalences that define an action of the Deligne groupoid of a suitable real hyperplane arrangement.

We study the action of the inertia operator on the motivic Hall algebra and prove that it is diagonalizable. This leads to a filtration of the Hall algebra, whose associated graded algebra is commutative. In particular, the degree 1 subspace forms a Lie algebra, which we call the Lie algebra of virtually indecomposable elements, following Joyce. We prove that the integral of virtually indecomposable elements admits an Euler characteristic specialization. In order to take advantage of the fact that our inertia groups are unit groups in algebras, we introduce the notion of algebroid.

We show that every coarse moduli space, parametrizing complex special linear rank-2 local systems with fixed boundary traces on a surface with nonempty boundary, is log Calabi–Yau in that it has a normal projective compactification with trivial log canonical divisor. We connect this to a novel symmetry of generating series for counts of essential multicurves on the surface.

Building on coprincipal mesoprimary decomposition [Kahle and Miller, Decompositions of commutative monoid congruences and binomial ideals, Algebra and Number Theory 8 (2014), 1297–1364], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct decompositions that are direct combinatorial analogues of binomial irreducible decompositions, and for binomial ideals we construct decompositions into ideals that are as irreducible as possible while remaining binomial. We provide an example of a binomial ideal that is not an intersection of irreducible binomial ideals, thus answering a question of Eisenbud and Sturmfels [Binomial ideals, Duke Math. J. 84 (1996), 1–45].

We prove a super-rigidity result for algebraic representations over complete fields of irreducible lattices in products of groups and lattices with dense commensurator groups. We derive criteria for the non-linearity of such groups.

We establish a tilting equivalence for rational, homotopy-invariant cohomology theories defined over non-archimedean analytic varieties. More precisely, we prove an equivalence between the categories of motives of rigid analytic varieties over a perfectoid field $K$ of mixed characteristic and over the associated (tilted) perfectoid field $K^{\flat }$ of equal characteristic. This can be considered as a motivic generalization of a theorem of Fontaine and Wintenberger, claiming that the Galois groups of $K$ and $K^{\flat }$ are isomorphic.

This paper addresses questions involving the sharpness of Vojta‘s conjecture and Vojta‘s inequality for algebraic points on curves over number fields. It is shown that one may choose the approximation term mS(D,-) in such a way that Vojta‘s inequality is sharp in Theorem 2.3. Partial results are obtained for the more difficult problem of showing that Vojta‘s conjecture is sharp when the approximation term is not included (that is, when D=0). In Theorem 3.7, it is demonstrated that Vojta‘s conjecture is best possible with D=0 for quadratic points on hyperelliptic curves. It is also shown, in Theorem 4.8, that Vojta‘s conjecture is sharp with D=0 on a curve C over a number field when an analogous statement holds for the curve obtained by extending the base field of C to a certain function field.

We give a short proof of the inner product conjecture for the symmetric Macdonald polynomials of type A$_n-1$. As a special case, the corresponding constant term conjecture is also proved.

In 2005, Knutson–Vakil conjectured a puzzle rule for equivariant $K$-theory of Grassmannians. We resolve this conjecture. After giving a correction, we establish a modified rule by combinatorially connecting it to the authors’ recently proved tableau rule for the same Schubert calculus problem.

We construct certain raising operators of row type for Macdonald's symmetric polynomials by an interpolation method.

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-Kähler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-Kähler manifolds as well as an integral lattice associated to the derived category of hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimicking the surface case.

We introduce a dual logarithmic residue map for hypersurface singularities and use it to answer a question of Kyoji Saito. Our result extends a theorem of Lê and Saito by an algebraic characterization of hypersurfaces that are normal crossing in codimension one. For free divisors, we relate the latter condition to other natural conditions involving the Jacobian ideal and the normalization. This leads to an algebraic characterization of normal crossing divisors. As a side result, we describe all free divisors with Gorenstein singular locus.

We prove the strong Suslin reciprocity law conjectured by A. Goncharov. The Suslin reciprocity law is a generalization of the Weil reciprocity law to higher Milnor $K$-theory. The Milnor $K$-groups can be identified with the top cohomology groups of the polylogarithmic motivic complexes; Goncharov's conjecture predicts the existence of a contracting homotopy underlying Suslin reciprocity. The main ingredient of the proof is a homotopy invariance theorem for the cohomology of the polylogarithmic motivic complexes in the ‘next to Milnor’ degree. We apply these results to the theory of scissors congruences of hyperbolic polytopes. For every triple of rational functions on a compact projective curve over $\mathbb {C}$ we construct a hyperbolic polytope (defined up to scissors congruence). The hyperbolic volume and the Dehn invariant of this polytope can be computed directly from the triple of rational functions on the curve.

We study the derived category of a complete intersection $X$ of bilinear divisors in the orbifold $\operatorname{Sym}^{2}\mathbb{P}(V)$. Our results are in the spirit of Kuznetsov’s theory of homological projective duality, and we describe a homological projective duality relation between $\operatorname{Sym}^{2}\mathbb{P}(V)$ and a category of modules over a sheaf of Clifford algebras on $\mathbb{P}(\operatorname{Sym}^{2}V^{\vee })$. The proof follows a recently developed strategy combining variation of geometric invariant theory (VGIT) stability and categories of global matrix factorisations. We begin by translating $D^{b}(X)$ into a derived category of factorisations on a Landau–Ginzburg (LG) model, and then apply VGIT to obtain a birational LG model. Finally, we interpret the derived factorisation category of the new LG model as a Clifford module category. In some cases we can compute this Clifford module category as the derived category of a variety. As a corollary we get a new proof of a result of Hosono and Takagi, which says that a certain pair of non-birational Calabi–Yau 3-folds have equivalent derived categories.

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions, which appear in recent advances in the geometric Langlands program. The key technical tools in our arguments are a new descent theory for coherent sheaves or ${\mathcal{D}}$-modules with prescribed singular support and the theory of integral transforms for coherent sheaves developed in the companion paper by Ben-Zvi et al. [Integral transforms for coherent sheaves, J. Eur. Math. Soc. (JEMS), to appear].