Related papers: The alternative operad is not Koszul

We complete a certain diagram (the operadic butterfly) of categories of algebras involving Com, As, and Lie by constructing a type of algebras which have 4 generating operations and 16 relations. The associated operad is self-dual for…

Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in equal characteristic zero with a differential graded algebra structure, we introduce a…

In this paper we prove that the linear Koszul duality equivalence constructed in a previous paper provides a geometric realization of the Iwahori-Matsumoto involution of affine Hecke algebras.

We develop a Koszul-theoretic framework for comparing classical Alexander-type invariants with infinitesimal invariants arising from finite-type commutative differential graded algebra models. The central mechanism is Koszul linearization,…

We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a…

We introduce the notion of homotopy inner products for any cyclic quadratic Koszul operad $\mathcal O$, generalizing the construction already known for the associative operad. This is done by defining a colored operad $\hat{\mathcal O}$,…

We resolve a ten year old open question of Loday of describing Koszul operads that act on the algebra of octonions. In fact, we obtain the answer by solving a more general classification problem: we find all Koszul operads among those…

The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…

This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…

We extend the bar-cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. We handle the lack of augmentation by extending the…

Let V be the Veronese cubic surface in P^9. We classify the projections of V to P^8 whose coordinate rings are Koszul. In particular we obtain a purely theoretical proof of the Koszulness of the pinched Veronese, a result obtained…

We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived ideals" for any operad. The Koszul duality…

We prove that truncations of nonstandard graded polynomial rings are (nonstandard) Koszul modules in the sense of Herzog and Iyengar. This provides an analogue of the fact that such truncations have linear resolutions in the standard graded…

Let $K$ be an arbitrary field. Let $n,d \ge 2$ be positive integers. Let $V(n,d)$ be the set of all lattice points $\mathbf b = (b_1, ..., b_n)$ in ${\mathbb N}^n$ such that $\sum_{i=1}^n b_i = d$. Let $\Gamma = V(n,d) \setminus \{ \mathbf…

In this article we discuss two different but related results on Hochschild (co)homology and the theory of Koszul duality. On the one hand, we prove essentially that the Tamarkin-Tsygan calculus of an Adams connected augmented dg algebra and…

Generalizing a concept of Lipshitz, Ozsv\'ath and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler…

We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.

We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show…

We show that various combinatorial invariants of matroids such as Chow rings and Orlik--Solomon algebras may be assembled into "operad-like" structures. Specifically, one obtains several operads over a certain Feynman category which we…

In his famous paper entitled "Operads and motives in deformation quantization", Maxim Kontsevich constructed (in order to prove the formality of the little d-disks operad) a topological operad, which is called in the literature the…