We study the dependence of a cluster algebra on the choice of coefficients. We write general formulas expressing the cluster variables in any cluster algebra in terms of the initial data; these formulas involve a family of polynomials associated with a particular choice of ‘principal’ coefficients. We show that the exchange graph of a cluster algebra with principal coefficients covers the exchange graph of any cluster algebra with the same exchange matrix. We investigate two families of parameterizations of cluster monomials by lattice points, determined, respectively, by the denominators of their Laurent expansions and by certain multi-gradings in cluster algebras with principal coefficients. The properties of these parameterizations, some proven and some conjectural, suggest links to duality conjectures of Fock and Goncharov. The coefficient dynamics leads to a natural generalization of Zamolodchikov's $Y$-systems. We establish a Laurent phenomenon for such $Y$-systems, previously known in finite type only, and sharpen the periodicity result from an earlier paper. For cluster algebras of finite type, we identify a canonical ‘universal’ choice of coefficients such that an arbitrary cluster algebra can be obtained from the universal one (of the same type) by an appropriate specialization of coefficients.

The aim of this paper is to introduce $\tau $-tilting theory, which ‘completes’ (classical) tilting theory from the viewpoint of mutation. It is well known in tilting theory that an almost complete tilting module for any finite-dimensional algebra over a field $k$ is a direct summand of exactly one or two tilting modules. An important property in cluster-tilting theory is that an almost complete cluster-tilting object in a 2-CY triangulated category is a direct summand of exactly two cluster-tilting objects. Reformulated for path algebras $kQ$, this says that an almost complete support tilting module has exactly two complements. We generalize (support) tilting modules to what we call (support) $\tau $-tilting modules, and show that an almost complete support $\tau $-tilting module has exactly two complements for any finite-dimensional algebra. For a finite-dimensional $k$-algebra $\Lambda $, we establish bijections between functorially finite torsion classes in $ \mathsf{mod} \hspace{0.167em} \Lambda $, support $\tau $-tilting modules and two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$. Moreover, these objects correspond bijectively to cluster-tilting objects in $ \mathcal{C} $ if $\Lambda $ is a 2-CY tilted algebra associated with a 2-CY triangulated category $ \mathcal{C} $. As an application, we show that the property of having two complements holds also for two-term silting complexes in ${ \mathsf{K} }^{\mathrm{b} } ( \mathsf{proj} \hspace{0.167em} \Lambda )$.

Derivation and extended double shuffle (EDS) relations for multiple zeta values (MZVs) are proved. Related algebraic structures of MZVs, as well as a ‘linearized’ version of EDS relations are also studied.

We conjecture an equivalence between the Gromov–Witten theory of 3-folds and the holomorphic Chern–Simons theory of Donaldson and Thomas. For Calabi–Yau 3-folds, the equivalence is defined by the change of variables $e^{iu}=-q$, where $u$ is the genus parameter of Gromov–Witten theory and $q$ is the Euler characteristic parameter of Donaldson–Thomas theory. The conjecture is proven for local Calabi–Yau toric surfaces.

for a noetherian scheme, we introduce its unbounded stable derived category. this leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect complexes. some applications are included, for instance an analogue of maximal cohen–macaulay approximations, a construction of tate cohomology, and an extension of the classical grothendieck duality. in addition, the relevance of the stable derived category in modular representation theory is indicated.

Let $F$ be a $p$-adic field, let $L$ be the completion of a maximal unramified extension of $F$, and let $\sigma$ be the Frobenius automorphism of $L$ over $F$. For any connected reductive group $G$ over $F$ one denotes by $B(G)$ the set of $\sigma$-conjugacy classes in $G(L)$ (elements $x,y$ in $G(L)$ are said to be $\sigma$-conjugate if there exists $g$ in $G(L)$ such that $g^-1 \kappa \sigma(g)=y$. One of the main results of this paper is a concrete description of the set $B(G)$ (previously this was known only in the quasi-split case).

We investigate cluster-tilting objects (and subcategories) in triangulated 2-Calabi–Yau and related categories. In particular, we construct a new class of such categories related to preprojective algebras of non-Dynkin quivers associated with elements in the Coxeter group. This class of 2-Calabi–Yau categories contains, as special cases, the cluster categories and the stable categories of preprojective algebras of Dynkin graphs. For these 2-Calabi–Yau categories, we construct cluster-tilting objects associated with each reduced expression. The associated quiver is described in terms of the reduced expression. Motivated by the theory of cluster algebras, we formulate the notions of (weak) cluster structure and substructure, and give several illustrations of these concepts. We discuss connections with cluster algebras and subcluster algebras related to unipotent groups, in both the Dynkin and non-Dynkin cases.

The first main result of this paper is a bijective correspondence between the strictly full triangulated subcategories dense in a given triangulated category and the subgroups of its Grothendieck group (Thm. 2.1). Since every strictly full triangulated subcategory is dense in a uniquely determined thick triangulated subcategory, this result refines any known classification of thick subcategories to a classification of all strictly full triangulated ones. For example, one can thus refine the famous classification of the thick subcategories of the finite stable homotopy category given by the work of Devinatz–Hopkins–Smith ([Ho], [DHS], [HS] Thm. 7, [Ra] 3.4.3), which is responsible for most of the recent advances in stable homotopy theory. One can likewise refine the analogous classification given by Hopkins and Neeman ([Ho] Sect. 4, [Ne] 1.5) of the thick subcategories of $D(R)_{\rm parf}$, the chain homotopy category of bounded complexes of finitely generated projective $R$-modules, where $R$ is a commutative noetherian ring.

In this paper the asymptotic behavior of the Castelnuovo$ndash;Mumford regularity of powers of a homogeneous ideal I is studied. It is shown that there is a linear bound for the regularity of the powers I whose slope is the maximum degree of a homogeneous generator of I, and that the regularity of I is a linear function for large n. Similar results hold for the integral closures of the powers of I. On the other hand we give examples of ideal for which the regularity of the saturated powers is asymptotically not a linear function, not even a linear function with periodic coefficients.

We study the moment map associated to the cotangent bundle of the space of representations of a quiver, determining when it is flat, and giving a stratification of its Marsden–Weinstein reductions. In order to do this we determine the possible dimension vectors of simple representations of deformed preprojective algebras. In an appendix we use deformed preprojective algebras to give a simple proof of much of Kac's Theorem on representations of quivers in characteristic zero.

We develop a ’higher genus‘ analogue of operads, which we call modular operads, in which graphs replace trees in the definition. We study a functor $F$ on the category of modular operads, the Feynman transform, which generalizes Kontsevich‘s graph complexes and also the bar construction for operads. We calculate the Euler characteristic of the Feynman transform, using the theory of symmetric functions: our formula is modelled on Wick‘s theorem. We give applications to the theory of moduli spaces of pointed algebraic curves.

We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact autoequivalences for these categories. The technics of ample sequences in Abelian categories is used.

We study the Feynman integral for the three-banana graph defined as the scalar two-point self-energy at three-loop order. The Feynman integral is evaluated for all identical internal masses in two space-time dimensions. Two calculations are given for the Feynman integral: one based on an interpretation of the integral as an inhomogeneous solution of a classical Picard–Fuchs differential equation, and the other using arithmetic algebraic geometry, motivic cohomology, and Eisenstein series. Both methods use the rather special fact that the Feynman integral is a family of regulator periods associated to a family of $K3$ surfaces. We show that the integral is given by a sum of elliptic trilogarithms evaluated at sixth roots of unity. This elliptic trilogarithm value is related to the regulator of a class in the motivic cohomology of the $K3$ family. We prove a conjecture by David Broadhurst which states that at a special kinematical point the Feynman integral is given by a critical value of the Hasse–Weil $L$-function of the $K3$ surface. This result is shown to be a particular case of Deligne’s conjectures relating values of $L$-functions inside the critical strip to periods.

A cubic fourfold is a smooth cubic hypersurface of dimension four; it is special if it contains a surface not homologous to a complete intersection. Special cubic fourfolds form a countably infinite union of irreducible families ${\mathcal F}$$_d$, each a divisor in the moduli space ${\mathcal F}$ of cubic fourfolds. For an infinite number of these families, the Hodge structure on the nonspecial cohomology of the cubic fourfold is essentially the Hodge structure on the primitive cohomology of a K3 surface. We say that this K3 surface is associated to the special cubic fourfold. In these cases, ${\mathcal F}$$_d$ is related to the moduli space ${\mathcal N}$$_d$ of degree d K3 surfaces. In particular, ${\mathcal C}$ contains infinitely many moduli spaces of polarized K3 surfaces as closed subvarieties. We can often construct a correspondence of rational curves on the special cubic fourfold parametrized by the K3 surface which induces the isomorphism of Hodge structures. For infinitely many values of d, the Fano variety of lines on the generic cubic fourfold of ${\mathcal C}$$_d$ is isomorphic to the Hilbert scheme of length-two subschemes of an associated K3 surface.

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $\Bbbk$ equipped with a character (multiplicative linear functional) $\zeta\colon{\mathcal H}\to \Bbbk$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra ${\mathcal Q}{\mathit{Sym}}$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $({\mathcal H},\zeta)$ possesses two canonical Hopf subalgebras on which the character $\zeta$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn–Sommerville relations. We show that, for ${\mathcal H}={\mathcal Q}{\mathit{Sym}}$, the generalized Dehn–Sommerville relations are the Bayer–Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that ${\mathcal Q}{\mathit{Sym}}$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto–Reutenauer Hopf algebra of permutations, the Loday–Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

Using the weak factorization theorem, we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.

We situate the noncrossing partitions associated with a finite Coxeter group within the context of the representation theory of quivers. We describe Reading’s bijection between noncrossing partitions and clusters in this context, and show that it extends to the extended Dynkin case. Our setup also yields a new proof that the noncrossing partitions associated with a finite Coxeter group form a lattice. We also prove some new results within the theory of quiver representations. We show that the finitely generated, exact abelian, and extension-closed subcategories of the representations of a quiver Q without oriented cycles are in natural bijection with the cluster tilting objects in the associated cluster category. We also show that these subcategories are exactly the finitely generated categories that can be obtained as the semistable objects with respect to some stability condition.

We discuss the Gromov–Witten/Donaldson–Thomas correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov–Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson–Thomas theory. Relative constraints in Gromov–Witten theory are conjectured to correspond in Donaldson–Thomas theory to cohomology classes of the Hilbert scheme of points of the relative divisor. Independent of the conjectural framework, we prove degree 0 formulas for the absolute and relative Donaldson–Thomas theories of toric varieties.

Let $X\subset \mathbb{P}^r$ be a closed scheme in projective space whose homogeneous ideal is generated by quadrics. We say that X (or its ideal IX) satisfies the condition N2,p if the syzygies of IX are linear for p steps. We show that if X satisfies N2,p then a zero-dimensional or one-dimensional intersection of X with a plane of dimension $\leq p$ is 2-regular. This extends a result of Green and Lazarsfeld. We give conditions when the syzygies of X restrict to the syzygies of the intersection. Many of our results also work for ideals generated by forms of higher degree. As applications, we bound the p for which some well-known projective varieties satisfy N2,p. Another application, carried out by us in a different paper, is a step in the classification of 2-regular reduced projective schemes. Extending a result of Fröberg, we determine which monomial ideals satisfy N2,p. We also apply Green's ‘linear syzygy theorem’ to deduce a relation between the resolutions of IX and $I_{X\cup \Gamma}$ for a scheme Γ, and apply the result to bound the number of intersection points of certain pairs of varieties such as rational normal scrolls.

On a complex curve, we establish a correspondence between integrable connections with irregular singularities, and Higgs bundles such that the Higgs field is meromorphic with poles of any order. Moduli spaces of these objects are obtained with fixed generic polar parts at each singularity, which amounts to fixing a coadjoint orbit of the group $GL_r(\mathbb{C}[z]/z^n)$. We prove that they carry complete hyper-Kähler metrics.