-
Abelian groups with 3-chromatic Cayley graphs
Authors:
Mike Krebs,
Maya Sankar
Abstract:
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-b…
▽ More
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
A generalization of Zhu's theorem on six-valent integer distance graphs
Authors:
Jonathan Cervantes,
Mike Krebs
Abstract:
Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on…
▽ More
Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on the group of integers under addition. In a previous paper, the authors develop general methods to approach the problem of finding chromatic numbers of Cayley graphs on abelian groups. To each such graph one associates an integer matrix. In some cases the chromatic number can be determined directly from the matrix entries. In particular, the authors completely determine the chromatic number whenever the matrix is of size $3\times 2$ -- precisely the size of the matrices associated to the graphs studied by Zhu. In this paper, then, we demonstrate that Zhu's theorem can be recovered as a special case of the authors' previous results.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Chromatic numbers of Cayley graphs of abelian groups: Cases of small dimension and rank
Authors:
Jonathan Cervantes,
Mike Krebs
Abstract:
A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a companion article, the authors lay the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberge…
▽ More
A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a companion article, the authors lay the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberger matrix the dimension, and the number of columns the rank. In this paper, we give precise numerical conditions that completely determine the chromatic number in all cases with dimension $1$; with rank $1$; and with dimension $\leq 3$ and rank $\leq 2$. For such a graph without loops, we show that it is $4$-colorable if and only if it does not contain a $5$-clique, and it is $3$-colorable if and only if it contains neither a diamond lanyard nor a $C_{13}(1,5)$, both of which we define herein. In a separate companion article, we show that we recover Zhu's theorem on the chromatic number of $6$-valent integer distance graphs as a special case of our theorem for dimension $3$ and rank $2$.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
An alternate proof of Payan's theorem on cubelike graphs
Authors:
Jonathan Cervantes,
Mike Krebs
Abstract:
A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply t…
▽ More
A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply this method of Heuberger matrices to give an alternate proof of Payan's theorem.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Chromatic numbers of Cayley graphs of abelian groups: A matrix method
Authors:
Jonathan Cervantes,
Mike Krebs
Abstract:
In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or…
▽ More
In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.
△ Less
Submitted 12 November, 2023; v1 submitted 10 March, 2023;
originally announced March 2023.
-
Auslander-Reiten theory in functorially finite resolving subcategories
Authors:
Matthias Krebs
Abstract:
We analyze Auslander-Reiten quivers of functorially finite resolving subcategories.
Chapter 1 gives a short introduction into the basic definitions and theorems of Auslander-Reiten theory in A-mod.
We generalize these definitions and theorems in Chapter 2 and prove generalizations of the first and one and a half Brauer-Thrall conjecture for functorially finite resolving subcategories. Moreover…
▽ More
We analyze Auslander-Reiten quivers of functorially finite resolving subcategories.
Chapter 1 gives a short introduction into the basic definitions and theorems of Auslander-Reiten theory in A-mod.
We generalize these definitions and theorems in Chapter 2 and prove generalizations of the first and one and a half Brauer-Thrall conjecture for functorially finite resolving subcategories. Moreover, we show that sectional paths in Auslander-Reiten-quivers are invariants of decompositions of morphisms into sums of compositions of irreducible morphisms between indecomposable modules and are strongly connected to irreducible morphisms in subcategories.
In Chapter 3 we introduce degrees of irreducible morphisms and use this notion to prove the generalization of the Happel-Preiser-Ringel theorem for functorially finite resolving subcategories.
Finally, in Chapter 4, we analyze left stable components of Auslander-Reiten quivers and find out that their left subgraph types are given by Dynkin diagrams if and only if the corresponding subcategory is finite. In the preparation of the proof we discover connected components with certain properties and name them helical components due to their shape. It turns out later that these components are the same as coray tubes. In the final section we discuss under which conditions the length of modules tends to infinity if we knit to the left in a component and give a complete description of all connected components in which this is not the case.
△ Less
Submitted 6 January, 2015;
originally announced January 2015.
-
Distributive lattice orderings and Priestley duality
Authors:
Michel Krebs,
Dominic van der Zypen
Abstract:
The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor Φfrom the category of bounded distributive lattices to itself. We examine the interaction of Φwith Priestley duality and characterise those bounded distributive lattices L such that there is a bounded distributive lattice K such that Φ(K) is (is…
▽ More
The ordering relation of a bounded distributive lattice L is a (distributive) (0, 1)-sublattice of L \times L. This construction gives rise to a functor Φfrom the category of bounded distributive lattices to itself. We examine the interaction of Φwith Priestley duality and characterise those bounded distributive lattices L such that there is a bounded distributive lattice K such that Φ(K) is (isomorphic to) L.
△ Less
Submitted 26 May, 2007;
originally announced May 2007.
-
Toledo invariants of Higgs bundles on elliptic surfaces associated to base orbifolds of Seifert fibered homology 3-spheres
Authors:
Mike Krebs
Abstract:
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these…
▽ More
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
△ Less
Submitted 4 March, 2006; v1 submitted 23 March, 2005;
originally announced March 2005.
