# A new research project (a conjecture about funcoids)

I start the “research-in-the middle” project (an outlaw offspring of Polymath Project) introducing to your attention the following conjecture:

Conjecture The following are equivalent (for every lattice $\mathsf{FCD}$ of funcoids between some sets and a set $S$ of principal funcoids (=binary relations)):

1. $\forall X, Y \in S : \mathrm{up} (X \sqcap^{\mathsf{FCD}} Y) \subseteq S$.
2. $\forall X_0,\dots,X_n \in S : \mathrm{up} (X \sqcap^{\mathsf{FCD}} \dots \sqcap^{\mathsf{FCD}} X_n) \subseteq S$ (for every natural $n$).
3. There exists a funcoid $f\in\mathsf{FCD}$ such that $S=\mathrm{up}\, f$.

$3\Rightarrow 2$ and $2\Rightarrow 1$ are obvious.

I welcome you to actively participate in the research!

1. I present an attempted proof in the wiki.

The idea behind this attempted proof is to reduce behavior of funcoids $\langle f\rangle$ with better known behavior of filters $\langle f\rangle x$ for an arbitrary ultrafilter $x$ (I remind that knowing $\langle f\rangle x$ for all ultrafilters $x$ on the domain, it’s possible to restore funcoid $f$) and then to replace $\langle X_0 \sqcap^{\mathsf{FCD}} \ldots \sqcap^{\mathsf{FCD}} X_n\rangle x$ with $\langle X_0 \rangle x \sqcap \dots \sqcap \langle X_n \rangle x$.

2. At https://conference.portonvictor.org/wiki/Funcoid_bases/Another_reduce_to_ultrafilters I introduce a proof attempt of the statement:

If $\forall X_0, \ldots, X_n \in S : \mathrm{up} (X_0 \sqcap^{\mathsf{FCD}} \ldots \sqcap^{\mathsf{FCD}} X_n) \subseteq S$ (for every natural $n$), then there exists a funcoid $f$ such that $S = \mathrm{up}\, f$.

3. I propose also the following two conditions (possibly) equivalent to the conditions mentioned in the original conjecture:

4. $\forall X,Y\in S': \mathrm{up}(X\sqcap Y)\subseteq S'$;
5. $\forall X_0,\dots X_n\in S': \mathrm{up}(X_0\sqcap\dots\sqcap X_n)\subseteq S'$ (for every natural $n$).
4. The two above conditions 4 and 5 are each equivalent to $S'$ being a filter on the boolean lattice $\Gamma$.

5. It is easy to show that $S'$ being a filter is not enough for the (other) conditions of the conjecture to hold (for a counter-example consider $S\subseteq\Gamma$ and thus $S=S'$).

Probably the following is equivalent to the conditions of the conjecture: $S'$ is a filter on $\Gamma$ and $S$ is an upper set.

6. Added condition “4” defined above to the main wiki page. It is quite obvious that $1\Rightarrow 4$ and $3\Rightarrow 4$.

7. Should we also add to “4” the requirement for $S$ to be filter-closed? (see my book for a definition of being filter-closed).

8. The condition “$S'$ is a filter on the lattice $\Gamma$ and $S$ is an upper set” is not enough for existence of $f$ such that $S=\mathrm{up}\, f$. See https://conference.portonvictor.org/wiki/Funcoid_bases/Failed_condition in the wiki. So the condition “4” is removed from consideration.