On the orientation of graphs

Konstantin Salikhov

DOI: https://doi.org/10.48550/arXiv.math/0012252

2000-12-27

Abstract:In this short notice we give a universal definition of $\Z_2$-module $Or(\Gamma)$ of orientations of a graph $\Gamma$ and construct a method, by means of which one can easily verify whenever two such special definitions coincide.

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is a specific conjecture in the orientation theory of graphs, namely, to verify whether two differently - defined $\mathbb{Z}_2$-modules $\text{Or}(\Gamma)$ are equivalent. Specifically:

1. **Background and Motivation**:
- In the early 1970s, in the research on the (co)homology group calculations of Lie algebras, researchers proposed the idea of using graphs to represent the generators of these groups.
- Through Invariants Theory, for a large class of Lie algebras, the calculations of their (co)homology groups can be reduced to the calculations of the (co)homology groups of certain graph - complices.
- The generators of a graph - complex are composed of a pair $(\Gamma,\text{or}\Gamma)$, where $\Gamma$ is a connected graph and $\text{or}\Gamma$ is an element in the orientation $\mathbb{Z}_2$-module $\text{Or}(\Gamma)$ of $\Gamma$.

2. **Specific Problem**:
- In the references [Ko 93] and [KS], two different definitions of the $\mathbb{Z}_2$-module $\text{Or}(\Gamma)$ were proposed respectively.
- In the reference [KS], a new definition of the $\mathbb{Z}_2$-module $\text{Or}(\Gamma)$ was proposed, and it was conjectured that this definition is consistent with the one in the reference [Ko 93].
- The main objective of this paper is to prove this conjecture, that is, to verify whether these two definitions are indeed equivalent.

3. **Core Content of the Paper**:
- The author gives a universal definition of the $\mathbb{Z}_2$-module $\text{Or}(\Gamma)$ and provides a method to verify whether two special definitions are consistent.
- Specifically, the author defines two orientation homomorphisms: the Kontsevich orientation homomorphism $\Theta_K$ and the Shoikhet orientation homomorphism $\Theta_S$, and proves that for any graph $\Gamma$ and its automorphism $\phi\in\text{Aut}(\Gamma)$, $\Theta_K(\phi)=\Theta_S(\phi)$.

4. **Conclusion**:
- Through detailed mathematical derivations and proofs, the author finally proves the conjecture proposed in the reference [KS], that is, the two orientation homomorphisms are indeed equal.

In summary, the main contribution of this paper lies in solving the problem of the consistency of two different definitions in the orientation theory of graphs through strict mathematical proofs.