---
abstract: |
    In this paper, we consider homological properties of so-called graph ideals. Consider $\Gamma$ is a graph with vertices $t_1$, …, $t_s$, without self-loops and multiple adjacencies. We can associate with such a graph an ideal $I(\Gamma)$ of polynomial ring $$A(\Gamma) = \Bbbk[t_1\ldots,t_s]$$ over $\Bbbk$, generated by $x_{ij}=t_it_j$, $i\ne j$, corresponding to edges of $\Gamma$.

    The object of this paper is an algebra of Koszul homology $$H_\bullet((x_{ij}),A(\Gamma))$$ of Koszul complex $K((\x_{ij}),A(\Gamma))$.

    The result of this paper is finding a minimal multiplicative system of generators of this algebra for some graphs $\Gamma$.

    There is an element $\starr$ in homology algebra corresponding each vertex in the graph, that should be included in every set of generators of each graph. This is a sufficient system for trees. Also, there is a generator element $\bigcirc$ for every cycle with length $n$ if $n\bmod3=2$. System of $\starr$-s and maybe $\bigcirc$ is sufficient for a graph with only one cycle. Also, here described a set of generators for a graph that is two cycles with exactly one common vertex. If a graph is two graphs with known algebra generators, connected by an edge, the answer for the whole graph is also described in this paper.

    Bold letter $\x$ means a sequence $x_1$, …. Same for other letters ($\t$, $\r$, $\u$, $\m$). This paper is done in Russian, further translation is expected.
author:
- 'Osipov G. A.[^1]'
title: 'Ideals of graphs: finding a set of generators'
---

[u]{} [v]{}

\[theor\][Пример]{} \[theor\][Лемма]{} \[theor\][Замечание]{} \[theor\][Следствие]{} \[theor\][Определение]{}

\#1\#2[/]{}

Предварительные сведения о комплексах и их гомологиях
=====================================================

Этот параграф содержит в основном хорошо известные сведения. за деталями читатель отсылается, например, к [@dold].

Пусть $A$ — кольцо, и для набора произвольных $A$-модулей $K_i$, $i\in \mathbb Z$ и гомоморфизмов $$d_i:K_{i+1}\to K_{i}$$ выполнено условие $$\Im d_{i+1} \subset \Ker d_{i},$$ тогда такой набор модулей и гомоморфизмов $(K_\bullet,d_\bullet)$ называется комплексом. Отображение $d_i$ называется дифференциалом или граничным гомоморфизмом этого комплекса. Граничный гомоморфизм также может обозначаться $d(K)$, а его индекс допустимо опускать. Комплекс называют ограниченным, если лишь конечное число модулей $K_i$ отлично от нуля. Если $z\in K_i$, то $i$ называется размерностью $z$. Размерность $z$ будем обозначать $\dim z$.

Пусть дан комплекс $(K_\bullet,d_\bullet)$. Модуль $\Im d_{i-1}\subset K_i$ называется модулем границ и обозначается $B_i$. Модуль $\Ker d_{i}\subset K_i$ называется модулем циклов и обозначается $Z_i$. Поскольку имеется включение $B_i\subset Z_i$, имеет смысл говорить о фактормодуле $Z_i/B_i$, называемом $i$-тым модулем гомологий комплекса $K$. $i$-тый модуль гомологий обозначается $H_i$, а его элементы называются классами гомологий.

Морфизмом степени $s$ комплексов $(K_\bullet,d_\bullet)$ и $(C_\bullet,\d_\bullet)$ называется набор отображений $$\alpha_i : K_i \to C_{i+s},$$ такой, что для любого индекса $i$ имеет место коммутативная диаграмма $$\label{eq-compl-morph}
\begin{CD}
K_{i-1} @<d_i<< K_{i} \\
@VV\alpha_{i-1}V @VV\alpha_i V \\
C_{i+s-1} @<\d_{i+s}<< C_{i+s}.
\end{CD}$$ Морфизм комплексов естественным образом индуцирует морфизм гомологий: $[\alpha_i]:H(K)_i\to H(C)_{i+s}$. Если степень морфизма не указывается, будем считать её нулевой.

Также можно говорить о точной последовательности комплексов и морфизмов комплексов $$\ldots \to K_\bullet^{(i-1)} \to K_\bullet^{(i)} \to K_\bullet^{(i+1)} \to \ldots,$$ что означает точность соответствующей последовательности модулей при любом $n$: $$\ldots \to K_n^{(i-1)} \to K_n^{(i)} \to K_n^{(i+1)} \to \ldots.$$

Если дана короткая точная последовательность комплексов $$0\to K_\bullet' \xrightarrow{\alpha} K_\bullet \xrightarrow{\beta} K_\bullet'' \to 0,$$ тогда имеет место следующая бесконечная точная последовательность гомологий этих комплексов, называемая длинной точной последовательностью гомологий: $$\ldots \to H''_{n+1} \xrightarrow{\gamma_{n+1}}
H'_n \xrightarrow{\overline\alpha_{n}} H_n \xrightarrow{\overline\beta_{n}} H''_n
\xrightarrow{\gamma_{n}} H'_{n-1} \to \ldots,$$ в которой $\overline\alpha_\bullet$ и $\overline\beta_\bullet$ — морфизмы, индуцированные, соответственно, $\alpha$ и $\beta$, а $\gamma_\bullet$ — некоторый естественный гомоморфизм модулей, называемый связывающим. Напомним, как строится свзязывающий гомоморфизм $$H''_n \xrightarrow{\gamma_{n}} H'_{n-1}:$$ для этого в схеме $$\begin{CD}
H_n'' @<<<
Z_n'' @>>>
K_n'' @<\beta_n<<
K_n    \\
@. @. @. @VV\d_n V \\
@. @. @.
K_{n-1} @<\alpha_{n-1}<<
K_{n-1}' @<<<
Z_{n-1}' @>>>
H_{n-1}'
\end{CD}$$ берутся последовательно образы и прообразы.

Тензорное произведение комлексов над полем
------------------------------------------

Результаты, приведённые в данном разделе касаются тензорных произведений комплексов над полем.

Пусть даны комплексы $(K_\bullet,d_\bullet)$ и $(C_\bullet,\d_\bullet)$, состоящие из модулей над кольцом $A$. Их тензорным произведением над $A$ служит комлекс $$\ldots \leftarrow
(K\otimes_A C)_{n-1} \xleftarrow{(d\otimes\d)_{n}}
(K\otimes_A C)_{n}   \xleftarrow{(d\otimes\d)_{n+1}}
(K\otimes_A C)_{n+1} \leftarrow
\ldots,$$ в котором $(K\otimes_A C)_i$ обозначает модуль $$\bigoplus_{k+l=i}(K_k\otimes_A C_l),$$ а граничный гомоморфизм $(d\otimes\d)_i$ определяется на слагаемом $(K_k\otimes_A C_l)$ с условием $k+l=i$ следующим образом: $$(d\otimes\d)_i: z\otimes z' \mapsto d_k(z)\otimes z' + (-1)^{k} z\otimes \d_l(z').$$

Гомологии тензорного произведения комплексов связаны с гомологиями этих комплексов посредством формулы Кюннета. Для дальнейших результатов понадобится частный случай этой формулы, верный, если тензорное произведение берётся над полем: $$H(K\otimes_\Bbbk C) = H(K)\otimes_\Bbbk H(C),$$ где $(K_\bullet,d_\bullet)$ и $(C_\bullet,\d_\bullet)$ — комплексы над некоторым полем $\Bbbk$. В правой части этой формулы под $H(K)$ и $H(C)$ подразумеваются комплексы с нулевым дифференциалом, состоящие из модулей $H_i(K)$ и $H_i(C)$, а под $H(K)\otimes_\Bbbk H(C)$ — тензорное произведение этих комплексов.

Учитывая, что над полем все комплексы свободны, с помощью формулы Кюннета можно получить изоморфизм $$H(K\otimes C)\cong H(K)\otimes H(C),\;\factor{Z(K\otimes C)}{B(K\otimes C)}\cong H(K)\otimes H(C).$$ Из сюрьективного отображения $Z(K)\otimes Z(C) \to H(K)\otimes H(C)$ получается тогда сюрьекция $Z(K)\otimes Z(C) \to \factor{Z(K\otimes C)}{B(K\otimes C)}$. Таким образом получается другая форма формулы Кюннета: $$\label{kunetform}
 Z(K\otimes_{\Bbbk}C)=Z(K)\otimes Z(C)+B(K\otimes C).$$

Основная лемма, которая и используется при доказательстве теоремы о перешейке, формулируется следующим образом:

\[factorlemma\] Пусть $K$ и $C$ — комплексы над полем, $K'\subseteq Z(K)$, $C'\subseteq Z(C)$ — их подкомплексы с нулевым дифференциалом.

Тогда $$\label{factorlemmaeq}
d^{-1}(K'\otimes C')=d^{-1}(K')\otimes C' + K'\otimes d^{-1}(C') + Z(K\otimes C).$$

Ещё один интересный факт, который используется при доказательстве леммы о прообразе, сам по себе понадобится в дальнейшем, и поэтому выведен в отдельную лемму:

\[boardlemma\] Пусть $K$ и $C$ — комплексы над полем, $K'\subseteq Z(K)$, $C'\subseteq Z(C)$ — их подкомплексы с нулевым дифференциалом.

Тогда $$\label{boardeq}
(K'\cap B(K))\otimes C' + K'\otimes(C'\cap B(C)) = (K'\otimes C')\cap B(K\otimes C)$$

Теперь осталось доказать лемму о прообразе.

Пусть алгебра $R$ над кольцом $A$ представляется в виде прямой суммы своих $A$-подмодулей: $$R = R_0 \oplus R_1 \oplus \ldots \oplus R_n \oplus \ldots,$$ причём если $x\in R_i$, а $y\in R_j$, то $xy\in R_{i+j}$. Тогда говорят, что на $R$ задана $\mathbb N$-градуировка, а $R$ называют градуированной алгеброй. Элементы подмодулей $R_i$ называются однородными.

Если $z\in R_i$ и $z\ne0$, то число $i$ будем называть размерностью $z$ и обозначать $\deg z$. Для градуированной алгебры выполнено следующее соотношение: если $zz'\ne0$, то $\deg zz'=\deg z+\deg z'$.

Комплекс Козюля
---------------

Градуированная $A$-алгебра $R$ называется дифференциальной, если на ней задан дифференциал $d:R\to R$, являющийся $A$-гомоморфизмом со свойствами:

-   $d(R_n)\subset R_{n-1}$,

-   если $x\in R_i$, $y\in R_j$, то $d(xy) = d(x)y + (-1)^ixd(y)$.

Пусть $A$ — комутативное кольцо с едицинцей и $\x=(x_1,\ldots,x_n)$ — некоторый набор элементов $A$. Рассмотрим внешнюю алгебру свободного $A$-модуля $A^n$ с базисом $e_1$, …, $e_n$. Определим на ней дифференциал $$d(e_{i_1}\wedge\ldots\wedge e_{i_k}) = \sum\limits_j (-1)^{j+1} x_{i_j}\bigwedge\limits_{l\ne j}e_{i_l}.$$ Такое определение $d$ превращает $\Lambda(A^n)$ в дифференциальную алгебру с дополнительным условием $d\circ d=0$, которое означает, что последовательность $$\Lambda_{n}(A^n)\to\Lambda_{n-1}(A^n)\to\ldots\to\Lambda_0(A^n)$$ является ограниченным комплексом.

Полученный комплекс называется комплексом Козюля и обозначается $$K(x_1,\ldots,x_n,A).$$

Если дан $A$-модуль $M$, то вводится обозначение: $$K(x_1,\ldots,x_n,M)=K(x_1,\ldots,x_n,A)\otimes_A M$$ ($M$ в правой части этой формулы понимается как комплекс состоящий из одного ненулевого члена $M$ в нулевой компоненте).

Операция умножения $\wedge$ в случае комплекса Козюля $K=K(x_1,\ldots,x_n,M)$ индуцирует операцию умножения классов гомологий, превращая градуированный модуль $H(K)$ в $A$-алгебру. Эта алгебра иначе обозначается $H(x_1,\ldots,x_n,M)$. Использоваться будут ещё обозначения $Z(x_1,\ldots,x_n,M)$ и $B(x_1,\ldots,x_n,M)$ для модулей циклов и границ комплекса $K$. Заметим, что по этому определению, если взят всего один элемент кольца $x\in A$, то комлекс $K(x,A)$ имеет вид $$0\leftarrow A \xleftarrow{x} A \leftarrow 0.$$

Комплекс Козюля можно также рассматривать, как тензорное произведение над $A$, явным образом определённых, комплексов одного элемента: $$K(x_1,\ldots,x_n,A) = \bigotimes_i K(x_i,A).$$

Редукция
--------

\[factor\] Если $x_1,\ldots,x_m \in A$ регулярная последовательность, то существует изоморфизм алгебр $$H(x_1,\ldots,x_n,A) \cong H(\ol{x_{m+1}},\ldots,\ol{x_n},A/(x_1,\ldots,x_m)).$$

Индукция позволяет свести задачу к случаю $m=1$, а в этом случае утверждение регулярности означает, что $x_1$ не делитель нуля в $A$. Действительно, если утверждение доказано для некоторого $m$, то к началу регулярной последовательности $x_1,\ldots,x_m$, которое само является регулярной последовательностью можно применить утверждение индукции получив: $H(x_1,\ldots,x_n,A) \cong H(\ol{x_{m}},\ldots,\ol{x_n},A/(x_1,\ldots,x_{m-1}))$. Далее, воспользовавшись тем, что $x_m$ не делитель нуля в фактормодуле $A/(x_1,\ldots,x_{m-1})$ получаем требуемый изоморфизм $$H(\ol{x_{m}},\ldots,\ol{x_n},A/(x_1,\ldots,x_{m-1})) \cong H(\ol{x_{m+1}},\ldots,\ol{x_n},A/(x_1,\ldots,x_m)).$$

Чтобы доказать базу, рассмотрим точную последовательность модулей $$0\to A \xrightarrow{x_1} A \to A/(x_1) \to 0.$$ Она индуцирует точную последовательность комплексов $$0 \to K(\mathbf{x},A) \xrightarrow{x_1} K(\mathbf{x},A) \to  K(\mathbf{x},A/(x_1)) \to 0,$$ а та, в свою очередь, точную последовательность модулей гомологий $$\cdots\to H_i(\mathbf{x},A) \xrightarrow{x_1} H_i(\mathbf{x},A) \to H_i(\mathbf{x},A/(x_1)) 
   \to H_{i-1}(\mathbf{x},A) \to \cdots.$$ В которой левая стрелка, умножение на ${x_1}$ — нулевое отображение. Следует это из того, что $H_i$ есть алгебра над кольцом $H_0=A/(\mathbf{x})$, которое аннулируется элементом $x_1$. Отсюда получаем короткую точную последовательность для каждого $i$: $$0 \to H_i(\mathbf{x},A) \to H_i(\mathbf{x},A/(x_1)) \to H_{i-1}(\mathbf{x},A) \to 0.$$ Эта последовательность расщепляется, потому что к правому отображению можно предъявить обратное, которое работает по следующей схеме: данный цикл $z$ умножает на $e_1$. Таким образом, получаем цикл в $K(\mathbf{x},A/(x_1))$, т. к. $d(z\wedge e_1)=x_1z$. Можно проверить, что оно действительно будет обратным в нашем случае. Таким образом, $$H_i(\mathbf{x},A/(x_1))=H_i(\mathbf{x},A)\oplus H_{i-1}(\mathbf{x},A).$$ Преобразуя левую часть получаем: $$\begin{gathered}
     H_i(\mathbf{x},A/(x_1))=H_i(0,x_2,\ldots,x_n,A/(x_1))=\\
     =(H(0,A/(x_1))\otimes H(x_2,\ldots,x_n,A/(x_1)))_i=\\
    =H_i(x_2,\ldots,x_n,A/(x_1))\oplus H_{i-1}(x_2,\ldots,x_n,A/(x_1)).
   \end{gathered}$$ Из этого и из построения изоморфизма можно получить требуемое равенство.

Из определения $H(x_1,\ldots,x_n,M)$ сразу же получается следующее следствие:

В условиях предыдущей теоремы $$H(x_1,\ldots,x_n,M) \cong H(\ol{x_{m+1}},\ldots,\ol{x_n},M/M(x_1,\ldots,x_m)).$$

Пусть класс гомологий $[z]\in H$ представлен в виде $$[z] = [e_i\wedge z_1 + z_2],$$ причём $z_2$ не содержит $e_i$. Тогда редукция $[z]$ по $e_i$ выражается следующей формулой: $$\label{reduction-fromula}
\ol{[z]} = \ol{[z_2]},$$ в которой под $\ol{[z_2]}$ понимается образ $[z_2]$ при факторизации по $de_i$.

Редукцию можно продолжить по формуле \[reduction-fromula\] до морфизма комплексов $K(\Gamma)\to\ol{K(\Gamma)}$, где $\ol K$ — редуцированный комплекс, то есть $K(\ol{x_{m+1}},\ldots,\ol{x_n},A/(x_1,\ldots,x_m))$. Образ $z\in K$ называется обобщённой редукцией элемента $z$.

\[reduction-example\] Класс $[z]$ равен нулю при выполнении любого из следующих условий:

-   $z$ делится на $de_i$ для некоторого $i$,

-   $z$ делится на $e_i$ для некоторого $i$ (на самом деле, отсюда следует, что $z=0$),

-   $z$ представляется в виде $$z = \sum\limits_j e_{i_j}\wedge\alpha_j$$ для некоторых элементов $\alpha_j\in K$, если $e_{i_j}$ отвечают регулярному набору рёбер.

Редукцией класса гомологий $[z]\in H(K)$ называется его образ при изоморфизме, отвечающем редукции. Поднятием при редукции класса редуцированного комплекса называется такой класс исходного комплекса, редукция которого совпадает с данным.

\[podniatie\] Пусть дан комплекс Козюля $K$ над некоторым кольцом $A$. Если обобщённая редукция по элементу $x_i\in A$ элемента комплекса $a\in K$ есть цикл $\overline{a}$, то тогда утверждается, что для некоторых $a_1$ и $a_2$ выполнено $da=e_i\wedge a_1 + x_i a_2$, и класс гомологий $$[a-e_i\wedge a_2]$$ является поднятием $[\overline{a}]$ при такой редукции. $a_2$ в такой ситуации обозначается как $\frac{da}{x_i}$.

Точная последовательность Козюля, лемма о добавлении элемента {#addsection}
-------------------------------------------------------------

Для того, чтобы исследовать случай циклического графа нам понадобится ещё один инструмент, вытекающий из общей последовательности гомологий Козюля. Существование этой последовательности мы назовём леммой о добавлении элемента и докажем лишь в той общности, которая необходима для дальнейшего исследования.

\[addlemma\] Пусть $\x$ обозначает последовательность $x_1$, …, $x_n$ элементов некоторого кольца $A$, а $\x'$ есть $x_2$, $x_3$, …, $x_n$. Тогда для любого $i$ имеет место точная последовательность гомологий Козюля: $$\label{exact}
H_i(\x',A) \xrightarrow{u} H_i(\x,A) \xrightarrow{v} (0:x_1)_{H_{i-1}(\x',A)} \to 0$$

Явный вид $u$ и $v$ можно получить анализируя доказательство леммы о добавлении элемента. Ответ состоит в том, что $u$ индуцировано простым вложением комплексов, а $v$ есть деление на $e_1$, и $v$ аннулирует элементы без $e_1$. Можно сформулировать этот результат, поскольку он понадобится в дальнейшем:

\[uv-deletion-lemm\] 1. Отображение $u$ из леммы о добавлении элемента переводит класс гомологий $[z']$, где $z'\in K(\x',A)$ в класс $[z]$, где $z\in K(\x,A)$ имеет такую же запись, как и $z'$.

2\. Пусть $z\in Z(\x,A)$ цикл, $$\label{e1z1plusz2}
z=e_1\wedge z_1+z_2,$$ где $z_1$ и $z_2$ не содержат $e_1$. Тогда $v([z])=[z_1]$[^2].

Так как мы условились считать, что $K(\x',A)\subset K(\x,A)$, если $z\in K(\x',A)$, запись $[z]$ можно понимать двояко, если рассматриваются оба комплекса. В случае, где непонятно, какой комплекс имеется ввиду, будем использовать запись $[z]_{H(\x')}$ для обозначаения образа $z$ при факторизации в $H(\x')$, и аналогично, запись $[z]_{H(\x)}$, так что $u([z]_{H(\x')}) = [z]_{H(\x)}$.

1\. $u([z]\wedge[z'])=u([z])\wedge u([z'])$. 2. Пусть $z$ и $z'$ — циклы из $K(\x,A)$. Тогда $$\label{prodimage}
u\circ v([z]\wedge [z'])=u\circ v([z])\wedge[z']-(-1)^{\dim z}[z]\wedge u\circ v([z'])).$$

Если $z'\in Z(\x')$, $[z]\in H(\x)$, то $v([z]\wedge [z'])=v([z]) \wedge [z']$[^3].

Мономиальный комплекс Козюля
----------------------------

Если в качестве кольца $A$ выбрано кольцо многочленов над полем: $$A=\Bbbk[t_1,\ldots,t_s],$$ а в качестве элементов для построения комплекса — приведённые мономы $x_1$, …, $x_n$ из $A$, то комплекс Козюля $$K(x_1,\ldots,x_n,A)$$ называется мономиальным.

Помимо $\mathbb Z$-градуировки, которая будет называться гомологической и даёт структуру градуированной алгебры, в мономиальном комплексе вводится также более тонкая, мономиальная, градуировка. Мономиальная градуировка является $\Bbbk$-градуировкой каждого модуля $K_i$ как $\Bbbk$-векторного пространства, относительно неё дифференциал $d(K)$ является градуированным гомоморфизмом $K$.

Элемент $$\mathfrak m=\alpha me_{i_1}\wedge \ldots \wedge e_{i_k}$$ мономиального комплекса $K$ называется мономом, если $\alpha\in\Bbbk$, а $m\in A$ — приведённый моном кольца многочленов. Его степенью называется моном кольца многочленов $\deg \mathfrak m = mx_{i_1}\cdot \ldots \cdot x_{i_k}$.

Элемент $z\in K\not=0$ называется однородным, если он является суммой мономов одинаковой степени. Эта степень (являющаяся мономом из $A$) называется тогда степенью $z$ и обозначается $\deg z$.

Если $z_1$ и $z_2$ однородные элементы мономиального комплекса $K$, и $z_1\wedge z_2\ne0$, то $\deg z_1\wedge z_2=\deg z_1\deg z_2$. Если $z$ однородный элемент $K$ и $dz\ne0$, то $\deg z=\deg dz$.

$K$ порождается своими мономами как векторное пространство. Поэтому любой элемент $z\in K$ можно представить как сумму однородных. Максимальные однородные слагаемые в таком представлении называются однородными компонентами $z$.

Если $z$ однородный элемент мономиального комплекса $K$ и $dz\ne0$, то моном $\deg z$ называется степенью класса гомологий $[z]$, и обозначается $\deg [z]$, а $[z]$ называется однородным классом гомологий.

Относительной степенью однородного элемента $z\in K$ по переменной $t_i$ (степенью $z$ относительно $t_i$) называется число $\deg_{t_i} z$, такое что $\deg z$ делится на $t_i^{\deg_{t_i} z}$, но не делится на $t_i^{1+\deg_{t_i} z}$.

Полной степенью $z$ называется число $|\deg z|$ равное сумме $$|\deg z| = \sum_i \deg_{t_i} z.$$

Аналогичные определения даются для однородных классов гомологий.

Комплекс $K(xy,xz,\Bbbk[x,y,z])$ мономиальный. Элемент $\alpha=ze_{xy}-ye_{zx}$ однородный, его мультистепень равна $xyz$. $\deg_x \alpha=\deg_y \alpha=\deg_z \alpha=1$, $|\deg\alpha|=3$.

Комплекс Козюля графа
=====================

Определения и основные свойства комплекса Козюля графа
------------------------------------------------------

Пусть дан граф $\Gamma$ без петель и кратных рёбер, $V(\Gamma)$ обозначает множество его вершин, а $E(\Gamma)$ — множество его рёбер. Пусть $V(\Gamma)=\{t_1,\ldots,t_n\}$, и $\x = \{t_it_j|(t_i,t_j)\in E(\Gamma)\}$ — набор бесквадратных мономов полной степени 2, отвечающих рёбрам графа. Обозначим $A=\Bbbk[\t]$. Тогда мономиальный комплекс Козюля $$K(\Gamma) = K(\x,A)$$ называется комплексом Козюля графа $\Gamma$.

Циклу из $n$ вершин отвечает комплекс Козюля $K(t_1t_2,t_2t_3,\ldots,t_{n-1}t_n,t_nt_1,\Bbbk[\t])$. Последовательности (то есть графу, получаемому из цикла удалением одного ребра) соответствует комплекс $K(t_1t_2,t_2t_3,\ldots,t_{n-1}t_n,\Bbbk[\t])$.

Если граф $\Gamma$ разбивается на несвязанные части $\Gamma_1$ и $\Gamma_2$ с комплексами, соответственно, $K_1$ и $K_2$, то $$H=H_1\otimes_\Bbbk H_2.$$

Пусть граф $\Gamma$ разбивается на несвязанные части $\Gamma$ и $\Gamma'$ с комплексами, соответственно, $K$ и $K'$. Если $H$ порождается набором $\z$, а $H'$ — набором $\z'$, то $H(\Gamma)$ порождается объединением $\z$, $\z'$. При этом, если $\z$ и $\z'$ были минимальными системами порождающих, то их объединение есть минимальная система порождающих $H(\Gamma)$.

Однородный класс гомологий называется неразложимым, если он не содержится в подалгебре, порождённой классами меньшей абсолютной степени.

Вложению графов $\Gamma_1\to\Gamma_2$ отвечает соответсвующий морфизм их комплексов $K_1\to K_2$, которые поднимается до отображения гомологий $H_1\to H_2$ (не обязательно инъективного).

Если $\Gamma_1$ полный подграф $\Gamma_2$, то вложению $\Gamma_1 \to \Gamma_2$ отвечает инъективное отображение гомологий $H_1\to H_2$.

Обозначим через $\mfm(\Gamma)$ максимальный идеал $H(\Gamma)$, порождённой всеми элементами положительной абсолютной степени.

\[max-ideal-gen-lemm\] Пусть $([m_1],\ldots,[m_k])=\mfm$, тогда элементы 1, $[m_1]$, …, $[m_k]$ порождают $H$ как алгебру.

Многие дальнейшие результаты будет намного удобнее формулировать пользуясь терминологией порождающих максимального идеала, а не алгебры.

Пусть дан граф $\Gamma$. Назовём *несобственными классами гомологий* классы из $H(\Gamma)$, лежащие в идеале, порождённом всевозможыми образами $v(\mfm(\Gamma'))$, где $\Gamma'$ — некоторый собственный подграф $\Gamma$, а $v$ — вложение гомологий, индуцированное вложением графов $\Gamma'\to\Gamma$. Идеал неcобственных классов обозначим $\mfH$. Элементы факторалгебры $H/\mfH$, обозначаемой $H_\#$ называются -классами. Образ $z\in Z$ в $H/\mfH$ обозначается $[z]^\#$. Собственными классами называются такие класссы $[z]$, что $[z]^\#\ne0$

В большинстве случаев, при изучении какого-либо класса графов все его подграфы уже хорошо изучены, поэтому в первую очередь, интерес будут представлять -классы.

\[sobstven-lemm\] Пусть $[z]\in H$ — однородный класс гомологий мультистепени $m$ графа $\Gamma$. Если $[z]^\#$ — собственный, то $m$ содержит все переменные в положительной степени.

Пусть классы гомологий $[z_1]$, …, $[z_k]$ порождают $\mfH$, а образы классов $[z_{k+1}]$, …, $[z_l]$ порождают максимальный идеал факторалгебры $H/\mfH$. Тогда $[z_1]$, …, $[z_l]$ порождают $\mfH$.

Чтобы применять редукцию в комплексе графа, требуется определять, какие последовательности являются регулярными. Поэтому без доказательства (в силу своей простоты) приведём следующий факт:

В комплексе графа регулярной последовательностью элементов является набор рёбер, никакие два из которых не имеют общей вершины.

Звёздочки. Идеал вершины
------------------------

*Звёздочкой на рёбрах $xy_1$, $xy_2$, …, $xy_k$*, где $x$ и $y_i$ — вершины графа, будет называться следующий класс гомологий: $$\starr_x(y_1,\ldots,y_k)=\left[\dfrac{d(e_{xy_1}\wedge\ldots\wedge e_{xy_k})}{x}\right],$$ где деление на $x$ означает сокращение всех коэффициентов на $x$. Звёздочкой также будет называться граф состоящий из набора рёбер с общей вершиной, то есть такой, для которого звёздочка является собственным классом.

При изменении порядка рёбер $xy_1$, $xy_2$, …, $xy_k$, звёздочка меняет знак в случае, если перестановка была нечётной. При чётной перестановке рёбер, звёздочка не меняется.

Приведём явный вид звёздочки: $$\starr_x(y_1,\ldots,y_k)=\left[-\sum\limits_i (-1)^{i}y_i\bigwedge\limits_{j\not=i}e_{xy_j}\right].$$

Звёздочки является нетривиальным неразложимым классом гомологий.

Звёздочка на одном ребре есть переменная: $\starr_x(y)=[y]$. Звёздочка на двух рёбрах $xa$ и $xb$ есть соотношение между $e_{xa}$ и $e_{xb}$: $$\starr_x(a,b)=[be_{xa}-ae_{xb}].$$

Выпишем также относительные степени звёздочки, относительно вершин, которые в ней участвуют: $$\begin{aligned}
\deg_x    \starr_x(y_1,\ldots,y_k) & =k-1, \\
\deg_{y_i}\starr_x(y_1,\ldots,y_k) & =1.\end{aligned}$$

Пусть звёздочка $\starr_y(x_1,\ldots,x_s)$ редуцируется по ребру $xy_i$. Тогда её образ равен $$\ol{\starr_x(y_1,\ldots,y_s)} = [y_i\bigwedge\limits_{j\not=i}e_{xy_j}].$$

Идеалом вершины $t_i$ графа $\Gamma$ с комплексом $K(\Gamma)$ называется идеал алгебры гомологий этого комплекса $H(\Gamma)$, порождённый всеми звёздочками в вершине $t_i$. Обозначение: $(\starr_{t_i})$. Идеал, порождённый всеми звёздочками в вершине $t_i$, содержащими рёбра $t_is_1$, …, $t_is_l$ будет обозначаться $\starr_{t_i}(\s,\ldots)$.

Далее будет дана другая характеризация идеала вершины

Сумма всех идеалов вершин называется идеалом звёздочек. Для него будет принято следующее обозначение: $$(\starr)=\sum\limits_i (\starr_{t_i}).$$ Класс гомологий, лежащий в идеале звёздочек называется §-разложимым. Класс, не являющийся §-разложимым будет называться §-неразложимым. Элементы факторалгебры $H/(\starr)$ называются -классами (незвёздочными классами).

Пусть звёздочка $\starr_0$ представлена в виде минимальной однородной линейной комбинации с ненулевыми коэффициентами из поля $\Bbbk$ других звёздочек, $\starr_1$, …, $\starr_k$, не равных $\starr_0$ и $-\starr_0$. Тогда $\starr_0$ есть звёздочка на двух рёбрах $\alpha\beta_1$ и $\alpha\beta_2$, вершины $\beta_1$ и $\beta_2$ соединены ребром, $k=2$, и выполнено: $$\begin{aligned}
\starr_1 &= \pm\starr_{\beta_1}(\alpha,\beta_2),\\
\starr_2 &= \pm\starr_{\beta_2}(\alpha,\beta_1),\end{aligned}$$ либо наоборот. В указанных условиях линейная зависимость существует.

Доказанная лемма позволяет находить *минимальную систему звёздочек*, то есть минимальный набор звёздочек, порождающий идеал $(\starr)$. Для этого из множества всех звёздочек нужно исключить по одной звёздочке для каждого цикла длины три в графе.

Деревья. Лемма об ограничении степени
-------------------------------------

\[ogranichenie-theor\] Пусть $v$ — вершина графа $\Gamma$, и $\deg_{\Gamma} v$ — валентность этой вершины (количество инцидентных с ней рёбер), $[z]\in H$ — собственный однородный класс гомологий графа $\Gamma$. Пусть также $u_1$, …, $u_{\deg_{\Gamma} v}$ — вершины, с которыми соединена $v$. Тогда

1.  Если $\deg_v z > \deg_{\Gamma} v$, то $[z]$ делится на $v$, и следовательно разложим.

2.  Если $\deg_v z = \deg_{\Gamma} v$, то $$[z]\in \bigcap\limits_{1\leqslant i\leqslant\deg_{\Gamma} v}(\starr_{u_i}(v,\ldots)),$$

то есть является $\starr$-разложимым.

Если в предположениях леммы \[ogranichenie-theor\] выполнено $\deg_v z = \deg_{\Gamma} v$, то верно включение $$[z]\in \prod\limits_{1\leqslant i\leqslant\deg_{\Gamma} v}(\starr_{u_i}).$$

Собственные классы графа с висячей вершиной лежат в $(\starr)$.

Алгебра гомологий дерева порождена звёздочками.

Также в дальнейшем понадобится знание модульной стуктуры гомологий последовательности, то есть графа с рёбрами $t_1t_2$, $t_2t_3$, …, $t_{n-1}t_n$.

\[posl\] Пусть $K$ комплекс последовательности длины $n$ (содержащей $n-1$ ребро). Тогда $\Bbbk$-векторное пространство гомологий степени $\prod_i t_i$ в $H(K)$

-   не более, чем одномерно, если $n\bmod3\not=2$,

-   нулевое иначе.

Сперва докажем другую лемму:

\[starvar\] Пусть класс гомологий $[z]$ есть произведение звёздочки на двух рёбрах $u_0u_1$ и $u_1u_2$ на переменную $u_3$, соединённую с $u_2$ ребром, так что $[z]=u_3\cdot\starr_{u_1}(u_0,u_2)$. Тогда $[z]$ равен произведению другой звёздочки на $u_0$: $[z]= u_0\cdot\starr_{u_2}(u_1,u_3)$.

Циклы
-----

Циклическим графом или циклом длины $n$, где $n\geqslant2$ называется граф, вершинами которого служат переменные $t_1$, …, $t_n$, его рёбрам отвечают мономы $t_it_{i+1}$ при $0<i<n$, а также есть ещё одно ребро, отвечающее моному $t_nt_1$.

Циклический граф длины $n$ состоит из $n$ рёбер и $n$ вершин.

\[nesobstv-klass-lemm\] В циклическом графе идеал несобственных классов $\mfH$ совпадает с идеалом звёздочек $(\starr)$.

\[sobst-klass-deg-lemm\] Пусть $[z]\in H$ — однородный класс гомологий степени $m$ циклического графа $\Gamma$. Если он собственный, то $m = t_1\ldots t_n$.

### Удаление ребра {#удаление-ребра .unnumbered}

Пусть граф $\Gamma'$ с комплексом $K'$ получается из графа $\Gamma$ с комплексом $K$ удалением одного ребра $t_it_j$. Тогда гомологии этих комплексов связаны точной последовательностью: $$\label{exactkos}
H'_i \xrightarrow{u} H_i \xrightarrow{v} (0:t_it_j)_{H'_{i-1}} \to 0.$$

Бедум называть $v$ гомоморфизмом удаления ребра.

Если $z$ цикл в комплексе графа $\Gamma$, то класс гомологий $v([z])\in H'$ будет называться удалением ребра из $[z]$.

1\. Пусть $[z]\in K(\x',A)$ однородный класс гомологий. Тогда $\deg u([z])=\deg z$. 2. Пусть $[z]\in K(\x,A)$ однородный класс гомологий. Если $v([z])\not=0$, то $\deg v([z])=\frac{\deg z}{t_it_j}$.

Пусть дана звёздочка $\starr$ на рёбрах $\alpha\beta_1$, …, $\alpha\beta_k$. Тогда удаление ребра $\alpha\beta_i$ из звёздочки $\starr$ есть $$\starr_\alpha(\beta_1,\ldots,\hat\beta_i,\ldots,\beta_k),$$ либо $$-\starr_\alpha(\beta_1,\ldots,\hat \beta_i,\ldots,\beta_k),$$ где $\hat \beta_i$ обозначает отсутствие $\beta_i$.

Пусть $K$ комплекс последовательности длины $n$ (содержащей $n-1$ ребро). Тогда $\Bbbk$-векторное пространство гомологий степени $\prod_i t_i$ в $H(K)$ одномерно, если $n\bmod3\not=2$.

### Гомологии цикла {#гомологии-цикла .unnumbered}

Пусть фиксирован циклический граф $\Gamma$ длины $n$. Для исследования алгебры его гомологий производится удаление ребра $t_nt_1$.

Пусть $H'$ обозначает аглебру последовательности $\Gamma'$, получаемой из $\Gamma$ удалением ребра $t_nt_1$. Тогда имеет место равенство: $$H_i/\mfH = H_i/(\S) = (0:t_nt_1)_{(H'_{i-1})}/v((\starr)_{H_i}),$$ в котором через $v$ обозначено отображение удаления ребра формулы (\[exactkos\]).

В комплексе циклического графа алгебра $H/(\S)$ либо нулевая, либо одномерна как векторное пространство. Причём при $n\not\equiv2 \pmod 3$ алгебра $H/(\S)$ заведомо нулевая.

### Кружочки {#кружочки .unnumbered}

Ранее установлено, что при $n\not\equiv2 \pmod 3$ алгебра гомологий циклического графа длины $n$ порождается звёздочками. Сейчас будет показано, что при $n\equiv2 \pmod 3$ это не так, а именно, будет представлен элемент, не порождаемый звёздочками. Этот элемент назван кружочком. Так как ранее доказано, что $H/(\S)$ имеет векторную размерность не более 1, в случае $n\equiv2 \pmod 3$ кружочек и звёздочки порождают вместе алгебру гомологий графа.

Для того, чтобы получить кружочек, произведём редукцию по набору рёбер $t_{3i-2}t_{3i-1}$ для $0<i\leqslant\frac{n+1}3$. В редуцированном комплексе положим $$\label{eqcirc}
z = e_{t_1t_n}\bigwedge\limits_{0<i<\frac{n+1}3}\starr_{3i}(3i-1,3i+1)=
    e_{t_1t_n}\bigwedge\limits_{0<i<\frac{n+1}3}(t_{3i-1}e_{t_{3i}t_{3i+1}}-t_{3i+1}e_{t_{3i}t_{3i-1}}).$$ Учитывая, что $t_{3i-2}t_{3i-1}=0$, замечаем, что $z$ равен сумме двух мономов:

$$z=e_{t_1t_n}\bigwedge\limits_{0<i<\frac{n+1}3}(t_{3i-1}e_{t_{3i}t_{3i+1}})-
  e_{t_1t_n}\bigwedge\limits_{0<i<\frac{n+1}3}(t_{3i+1}e_{t_{3i}t_{3i-1}}),$$

один из которых делится на $t_2$, а другой — на $t_{n-1}$, так что они оба аннулируются ребром $t_1t_n$. Это и происходит при дифференцировании $z$: $$\begin{aligned}
dz &= {t_1t_n}\bigwedge\limits_{0<i<\frac{n+1}3}\starr_{3i}(3i-1,3i+1) = \\
   &= t_1t_n  \left(
        \bigwedge\limits_{0<i<\frac{n+1}3}(t_{3i-1}e_{t_{3i}t_{3i+1}})-
        \bigwedge\limits_{0<i<\frac{n+1}3}(t_{3i+1}e_{t_{3i}t_{3i-1}}) 
            \right) 
   = 0\end{aligned}$$

Если $n\equiv2 \pmod 3$, то класс из $K$, редуцирующийся в класс цикла (\[eqcirc\]), называется кружочком длины $n$, и обозначается $\bigcirc_n$.

Далее в этом параграфе рассматривается только случай $n\equiv2 \pmod 3$.

Степень кружочка есть произведение всех переменных, а его гомологическая степень равна $\frac{n+1}3$.

При удалении ребра $t_nt_1$ кружочек переходит в элемент $$\bigwedge\limits_{0<i<\frac{n+1}3}\starr_{3i}(3i-1,3i+1).$$

При удалении любого другого ребра, кружочек также переходит в произведение звёздочек.

$$\bigcirc_n^\#\ne0,$$ то есть алгебра гомологий циклического графа длины $n$ не порождается звёздочками.

Из сказанного выше вытекает следующий результат:

Минимальная система порождающих для алгебры гомологий циклического графа длины $n$

-   состоит из звёздочек на парах рёбер в случае, если $n\not\equiv2\pmod3$,

-   состоит из звёздочек на парах рёбер и кружочка длины $n$ в случае, если $n\equiv2\pmod3$.

### Гомологии полной мультистепени {#гомологии-полной-мультистепени .unnumbered}

Для дальнейшего понадобиться знание гомологий степени $\prod_i t_i$ циклического графа. Достаточно одного результата, который формулируется в следующей лемме:

\[cycledimension\] Векторное пространство гомологий степени $\prod_i t_i$ циклического графа длины $n$

-   одномерно, если $n \equiv 1$ или $n \equiv 2 \pmod 3$;

-   двумерно, если $n \equiv 0 \pmod 3$.

Восьмёрки. Теорема о перешейке
------------------------------

Начинаем параграф с полезной леммы, которая отвечает на вопрос, как выглядит аннулятор переменной $t_i$ в $H(\Gamma)$, для произвольного графа $\Gamma$, и одновременно даёт простую характеризацию идеала вершины.

\[ann-lemma\] Пусть $t_i$ вершина графа $\Gamma$. Тогда $(0:t_i)_{H(\Gamma)}=(\starr_{t_i})$.

Называем $n,m$-восьмёркой связный граф, который получается из двух циклических графов длин $n$ и $m$ склеиванием их по паре вершин. Соответствующие циклические графы называются звеньями восьмёрки.

Пусть дан граф $\Gamma$. Его ребро называется перешейком, если при удалении этого ребра увеличивается количество компонент связности графа.

Два результата этого параграфа, дающие сведенья о восьмёрках и о графах с перешейком опираются на доказанную ранее лемму о границах (лемма \[boardlemma\]).

Пусть граф $\Gamma$ при удалении ребра $\alpha\beta$ распадается на два несвязанных графа $\Gamma_\alpha$ и $\Gamma_\beta$ с комплексами $K^\alpha=K(\Gamma_\alpha)$ и $K^\beta=K(\Gamma_\beta)$. В этом случае алгебра его гомологий $H(\Gamma)$ порождается:

-   классами гомологий подграфов $\Gamma_\alpha$ и $\Gamma_\beta$,

-   звёздочками в вершинах $\alpha$ ($
      \starr_\alpha=\dfrac{d\bigwedge\limits_{i\in I} e_{t_i\alpha}}{\alpha}$ для некоторого множества индексов $I$) и $\beta$.

### Склейка и расклейка {#склейка-и-расклейка .unnumbered}

Пусть допустимый (без петель и кратных рёбер) граф $\Gamma'$ с комплексом $K(\Gamma')$ получается из допустимого графа $\Gamma$ с комплексом $K(\Gamma)$ отождествлением его вершин $\alpha$ и $\beta$ в одну вершину $\gamma$. Тогда граф $\Gamma'$ называется склейкой $\Gamma$ в вершинах $\alpha$ и $\beta$. Граф $\Gamma$ называется расклейкой $\Gamma'$ в вершине $\gamma$.

Для того, чтобы при отождествлении вершин получался граф, удовлетворяющий требуемым условиям для построения комплекса Козюля, нужно наложить два ограничения на его рёбра:

-   склеенные вершины не соединены ребром (отсутствие петель);

-   не существует вершины, соединённой рёбрами как с $\alpha$, так и с $\beta$ (отсутствие кратных рёбер).

Расклейка определяется не только расклеиваемой вершиной, но также тем, какие рёбра, их соединённых в склеенном графе с вершиной $\gamma$ будут после расклейки соединены с $\alpha$, а какие с $\beta$.

Пусть $\Gamma'$ является склейкой $\Gamma$ в вершинах $\alpha$ и $\beta$.

Имеет место точная последовательность модулей: $$\label{raskleika-exact}
H_i(\Gamma) \xrightarrow{u} H_i(\Gamma') \xrightarrow{v} (0:\alpha-\beta)_{H_{i-1}(\Gamma)} \to 0$$

Образ класса $[z]\in H_i(\Gamma')$ при отображении $v$ называется *расклейкой класса гомологий $[z]$*.

Отображение $u$ является отображением факторизации. $v$ переводит класс $[z]$ в элемент $\frac{dv_1([z])}{\alpha-\beta}$, где $$H_i(\Gamma') \xrightarrow{v_1} 
H_i(\Gamma,A/(\alpha-\beta)).$$

\[prodimagelemma\]\[raskleim-prod\] Для отображения $v$ справедливо равенство (\[prodimage\]): $$u\circ v([z]\wedge [z'])=u\circ v([z])\wedge[z']-(-1)^{\dim z}[z]\wedge u\circ v([z']).$$

В общем случае, рсклейка однородного класса гомологий $z$ не является однородным элементом. Нарушение однородности в разложении (\[vexpand\]) происходит только при $v_1$ и затрагивает только отождествляемые переменные $\alpha$ и $\beta$.

Пусть $[z]$ однородный класс гомологий, а $v$ — отображение, расклеивающее вершину $\gamma$ в $\alpha$ и $\beta$. Тогда для лобого монома $m$ из $v(z)$ выполнено соотношение $$\deg_\alpha m+\deg_\beta m=\deg_\gamma [z]-1,$$ $$\deg_t m=\deg_t [z], \mbox{ если вершина $t$ отлична от $\alpha$ и $\beta$.}$$

Таким образом, однородные компоненты $v([z])$ имеют степени $$\frac{\deg z}{\gamma^{\deg_\gamma z}}\alpha^{r_\alpha}\beta^{r_\beta}, \mbox{ где $r_\alpha+r_\beta=\deg_{\gamma} z-1$.}$$

Обозначим через $v_{r_\alpha r_\beta}([z])$, где $r_\alpha$ и $r_\beta$ — неотрицательные целые числа, однородную компоненту $v([z])$, имеющую степень $$\frac{\deg z}{\gamma^{\deg_\gamma z}}\alpha^{r_\alpha}\beta^{r_\beta}.$$

\[raskleika-comp-lemma\] Пусть валентность вершины $\gamma$ равна $s$, в расклеенном графе из вершины $\alpha$ выходит $s_\alpha$ рёбер, а из вершины $\beta$ — $s_\beta$ рёбер (тогда $s=s_\alpha+s_\beta$). Тогда если $v_{r_\alpha r_\beta}([z])\not=0$, то $r_\alpha<s_\alpha$ и $r_\beta<s_\beta$.

\[maxcompcconst\] В $v([z])$ не может быть однородных компонент больше, чем $\min(\deg\alpha,\deg\beta)$.

\[raskleika-components-link\] Для произвольного натурального $k$ имеем: $$\beta^k v_{r_\alpha+k,r_\beta}([z]) = \alpha^k v_{r_\alpha,r_\beta+k}([z]).$$

\[raskleim-starr\] Пусть $\Gamma'$ поулчается из $\Gamma$, склеиванием вершин $\alpha$ и $\beta$ в вершину $\gamma$, в графе $\Gamma$ имеются рёбра $\alpha r_1$, …, $\alpha r_p$ и $\beta s_1$, …, $\beta s_q$. Тогда расклейка звёздочки комплекса $\Gamma'$ $$\starr_\gamma(\r,\s)$$ равна произведению двух звёздочек со знаком $+$ или $-$: $$\pm\starr_\alpha(\r)\wedge\starr_\beta(\s)$$

Будем говорить, что при расклейке вершины $\gamma$ в $\alpha$ и $\beta$ имеет место распад в том случае, если в расклеянном графе вершины $\alpha$ и $\beta$ находятся в разных компонентах связности.

Когда имеет место распад при расклейке вершины $\gamma$ в $\alpha$ и $\beta$, будем разбивать граф на две несвязные компоненты, одна из которых содержит $\alpha$, а другая — $\beta$. Эти компонент обозначим, соотетственно, $\Gamma_\alpha$ и $\Gamma_\beta$, их комплексы — $K_\alpha$ и $K_\beta$, а их гомологии — $H_\alpha$ и $H_\beta$.

\[annalphabeta-lemm\] Пусть вершина $\gamma$ графа $\Gamma'$ расклеивается в вершины $\alpha$ и $\beta$ графа $\Gamma$, причём имеет место распад.

Тогда подмодуль $H(\Gamma)$ классов гомологий, аннулируемых одновременно и $\alpha$ и $\beta$, порождается расклейками классов вида $$\starr_\gamma(\k)\wedge [\tilde z],$$ для некоторого цикла $\tilde z\in Z(\Gamma)$ и некоторых вершин $k_1$, …, $k_p$, соединённых c $\gamma$ в $\Gamma'$ и обозначенных как $\k$, то есть содержится в $v((\starr_\gamma))$.

\[raskleikaodnorodna\] Пусть имеет место распад при расклейке $\Gamma'$ в $\Gamma$, $[z]\in H(\Gamma')$. Тогда если $v([z])$ однородный элемент, то он является суммой элементов вида (\[annalphabeta\]).

Пусть вершина $\gamma$ графа $\Gamma'$ расклеивается в вершины $\alpha$ и $\beta$ графа $\Gamma$ и имеет место распад. Если $\deg\alpha=2$, и $[z]\in H(\Gamma')$ —однородный класс гомологий, то $v([z])$ имеет не более двух ненулевых однородных компонент: $v_\alpha([z])$ и $v_\beta([z])$, которые обозначим $[z_\alpha]$ и $[z_\beta]$. Эти компоненты удовлетворяют соотношениям: $$\begin{aligned}
\alpha [z_\alpha] &= 0, \label{firstc} \\
\beta  [z_\beta]  &= 0, \label{second} \\
\alpha [z_\beta]  &= \beta [z_\alpha]. \label{third}\end{aligned}$$

\[sclass-lemma\] Пусть вершина $\gamma$ графа $\Gamma'$ расклеивается в вершины $\alpha$ и $\beta$ графа $\Gamma$, имеет место распад и $\deg\alpha=2$. Тогда в любом -классе $H(\Gamma')$ есть элемент, расклейка которого имеет вид $$\label{sclass-form}
\alpha[\tilde z] + \beta[\tilde z].$$

### Гомологии восьмёрки {#гомологии-восьмёрки .unnumbered}

Если дана $(n,m)$-восьмёрка $\Gamma'$, то идеал несобственных классов $\mfH$ порождается:

-   звёздочками,

-   кружочком в первом звене, если $n\pmod3=2$,

-   кружочком во втором звене, если $m\pmod3=2$.

Далее будем производить расклейку восьмёрки $\Gamma'$ в её центральной вершине $\gamma$, при которой расклейка распадается на два циклических графа: $\Gamma_\alpha$ и $\Gamma_\beta$. Считаем, что вершина $\gamma$ расклеивается в вершины $\alpha$ и $\beta$, лежащие, соответственно, в $\Gamma_\alpha$ и $\Gamma_\beta$.

Пусть $\Gamma'$, $\Gamma_\alpha$ и $\Gamma_\beta$ — те же; $\alpha$, $\alpha_1$, …, $\alpha_{n-1}$ — множество вершин графа $\Gamma_\alpha$; $\beta$, $\beta_1$, …, $\beta_{m-1}$ — множество вершин графа $\Gamma_\beta$. И пусть $U_\alpha\subset H_\alpha$ обозначает векторное пространство классов гомологий графа $\Gamma_\alpha$ мультистепени, равной $\prod\limits_{1\leqslant i\leqslant n-1} \alpha_i$; а $U_\beta\subset H_\beta$ обозначает векторное пространство классов гомологий графа $\Gamma_\beta$ мультистепени, равной $\prod\limits_{1\leqslant i\leqslant m-1} \beta_i$. Пусть $U = U_\alpha\otimes U_\beta$.

Рассмотрим -класс $[z]_\#$. По лемме \[sclass-lemma\] в нём есть представитель с расклейкой вида $\alpha[\tilde z] + \beta[\tilde z]$ для некоторого $[\tilde z] \in H(\Gamma)$. Рассмотрим базис $[z_1]_\#$, …, $[z_s]_\#$ векторного пространства $H'_\#$. Для каждого $[z_i]_\#$ выберем представителя с расклейкой $\alpha[\tilde z_i] + \beta[\tilde z_i]$. Теперь рассмотрим линейное отображение $\omega$, переводящее каждый -класс $[z_i]_\#$ в $[\tilde z_i]$.

\[inject-lemma\] Пусть $$V=U \cap (0:\alpha^2)_H \cap (0:\beta^2)_H.$$ Тогда построенное отображение $\omega$ является инъективным отображением $$\omega: H'_\#\to V.$$

\[inject-factor-lemma\] Обозначим $$V'=V/(U \cap ((0:\alpha)_H + (0:\beta)_H)),$$ и пусть $\varphi$ — естественная проекция $V\to V'$.

Тогда отображение $\varphi\circ\omega: H'_\#\to V'$ является инъективным.

\[8theor\] Алгебра \#-классов $(n,m)$-восьмёрки

-   нулевая, если $n\not\equiv1 \pmod 3$ или $m\not\equiv1 \pmod 3$;

-   одномерна, если $m\equiv n\equiv 1 \pmod 3$.

Рассмотрим теперь другую расклейку в центральной вершине — ту, при которой восьмёрка $\Gamma'$ превращается в один циклический граф $\hat\Gamma$. Это будет циклический граф длины $m+n\equiv 2 \pmod 3$, в котором существует кружочек $\hat\bigcirc$. Отображение склейки и расклейки в этом случае обозначим как $\hat u$ и $\hat v$.

В случае $m\bmod 3=n\bmod 3=1$ минимальная система порождающих восьмёрки состоит из минимальной системы звёздочек и склейки класса $\hat\bigcirc$, то есть $\hat u(\hat\bigcirc)$.

Благодарности {#благодарности .unnumbered}
=============

Выражаю благодарность Евгению Соломоновичу Голоду (1935–2018), под чьим непосредственным руководством была выполнена эта работа.

[1]{}

Ж.-П. Серр, “Локальная алгебра и теория кратностей (курс лекций, записанный П. Габриэлем)”, Математика, 7:5 (1963), 3–94

Rafael H. Villarreal, Monomial Algebras, (2001)

Дольд А. Лекции по алгебраической топологии, (1976)

[^1]: e-mail address: `georgy.osipov@graphics.cs.msu.ru`

[^2]: Здесь считаем, что $K(\x')\subset K(\x)$, и $z_1\in K(\x')$ так как $z_1$ не содержит $e_1$, так что $[z_1]\in H(\x')$.

[^3]: В данной формуле обозначение $[z']$ используется в двух смыслах: как обозначение элемента $H(\x)$ и элемента $H(\x')$
