6
$\begingroup$

We know that for the operad $As:=\mathcal{F}(\mu)/(\mu\circ_1\mu-\mu\circ_2\mu)$, its minimal model is the free operad $\mathcal{F}(E)$ where $E=\mathbb{k}\langle\mu_2,\mu_3,\dots,\mu_n,\dots\rangle$ is the collection of $\mathbb{k}$-modules spanned by $\mu_n$ in arity $n$ and degree $|\mu_n|=n-2$.(Ref: http://arxiv.org/abs/math/0103052)

My question here is about colored operad:

Let $C$ be the set of rectangles of integral dimensions (width and length are natural numbers). Consider $C$ as the set of colors, we define $C$-operad $P$ in the category of modules over a fix base ring $\mathbb{k}$ as follow: $ P\pmatrix{c\\c_1,\dots,c_n}=\mathbb{k},\ \ \text{ if the rectangle } c \text{ is the disjoint union of rectangles } c_1,\dots,c_n $ ; and $P\pmatrix{c\\c_1,\dots,c_n}=0$ elsewhere.

Can we construct an explicit minimal model for this colored operad? Please help.

$\endgroup$
  • $\begingroup$ I think the differential is a somewhat important part of the minimal model, in your first example... The minimal model of $As$ is the quasi-free operad $(F(E), \partial)$. $\endgroup$ – Najib Idrissi Sep 11 '15 at 13:13
  • $\begingroup$ Yes, the differential is important. In fact, $\partial(\mu_n)=\sum_{i+j=n+1}\sum_{k=1}^i(-1)^{i+(k+1)(j+1)}\mu_i\circ_k \mu_j$ $\endgroup$ – Hoang Sep 11 '15 at 13:20
  • $\begingroup$ @Hoang I guess you don't really mean disjoint. $\endgroup$ – Fernando Muro Sep 11 '15 at 20:24
1
$\begingroup$

This is likely to be difficult. One feature of $As$ that makes it possible for an explicit small minimal model is a simple generators and relations picture; that is, there is one generator $\mu$ and one relation, which is quadratic in the generators.

Of course, there are infinitely many colors, but that would be no big deal if the generators and relations were "locally small" in some sense. That is, if your operad were generated by operations like this:

two rectangles

subject only to horizontal associativity relations for pictures like this:

three rectangles

then you would have some hope of having a description similar in nature to that for $As$.

On the other hand, if your operad were less rigid you might also be able to do something. That is, one could imagine a continuous set of colors and a larger space of operations, corresponding not only to disjoint unions of rectangles but all rectilinear isometric embeddings of the disjoint unions, then this colored operad would be closely related to the little squares operad (other versions are called the $E_2$ operad and the little disks operad. The algebraic versions of these operads are also fairly well understood, although explicitly writing down the differential for the minimal model is already significantly more complicated than for the associative case.

However, it seems like your situation is much, much worse. Because you're working only with disjoint unions and integral lengths, you have some discrete set; because your space of operations is only $\mathbb{k}$, there will be many, many relations. If there were only a few generators (as in my example above), then you still might have some hope. But there are going to be many, many, generators as well. Consider this picture:

5 rectangles

By varying lengths, you'll get many indecomposable 5 to one generators, all of which would need to be represented in the minimal model. Furthermore, by naively iterating this picture with a larger outside width, you get indecomposable $5^k$ to one generators, and that's without doing anything fancier at all; there are many other obvious things you could do to get more complicated indecomposables. So there are certainly countably many indecomposable generators taking the place of the single operation $\mu$ in your example; furthermore the generating relations among these are also countable, replacing the single associativity relation. Furthermore, these relations are extremely ugly, in the sense that they are of arbitrary degree in the generators, and even potentially mixed degree.

Because of all of this, I think it is very unlikely that it will be possible to write anything remotely like a minimal model for this operad down explicitly. I would love to be proven wrong, but I wouldn't get your hopes up.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.