Showing 1–48 of 48 results for author: Chebolu, S

The complexities of falling freely

Authors: Anindya Sen, Sunil Chebolu

Abstract: Suppose you drop a coin from 10 feet above the ground. How long does it take to reach the ground? This routine exercise is well-known to every AP physics and calculus student: the answer is given by a formula that assumes constant acceleration due to gravity. But what if you ask the same question in the more realistic scenario of non-constant acceleration following an inverse square law? In this a… ▽ More Suppose you drop a coin from 10 feet above the ground. How long does it take to reach the ground? This routine exercise is well-known to every AP physics and calculus student: the answer is given by a formula that assumes constant acceleration due to gravity. But what if you ask the same question in the more realistic scenario of non-constant acceleration following an inverse square law? In this article, we explain the analysis of this realistic scenario using freshman-level calculus and examine some implications. As a bonus, we also answer the following intriguing question: Suppose the Earth were to instantaneously collapse to a mathematical point at its center. How long would it take for us surface dwellers to fall to the center? △ Less

Submitted 22 March, 2025; originally announced March 2025.

Comments: 8 pages, to appear in The College Mathematics Journal

Rabbit Hunting using Set Theory and Probability

Authors: Sunil Chebolu, Deepayan Sarakar

Abstract: Imagine an invisible rabbit that starts at some unknown integer point $A$ on the number line. At each time step, it hops by a fixed but unknown integer stride $B$. Both $A$ and $B$ are fixed integers, but their values are unknown. Suppose you have a magic hammer that you can throw at any integer point on the number line at each time step. When the hammer strikes the rabbit, it instantly squeals, i… ▽ More Imagine an invisible rabbit that starts at some unknown integer point $A$ on the number line. At each time step, it hops by a fixed but unknown integer stride $B$. Both $A$ and $B$ are fixed integers, but their values are unknown. Suppose you have a magic hammer that you can throw at any integer point on the number line at each time step. When the hammer strikes the rabbit, it instantly squeals, indicating you have hit it. The problem now is to devise a strategy that guarantees your hammer will hit the rabbit in finitely many steps. We will provide two algorithms to solve this problem. The first involves Cantor's diagonal trick from set theory, and the second is a probabilistic approach. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: Appeared in the December 2024 AMS Feature Column

Fuchs' problem for endomorphisms of nonabelian groups

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: In 1960, László Fuchs posed the problem of determining which groups $G$ are realizable as the group of units in some ring $R$. In \cite{chebolu2022fuchs}, we investigated the following variant of Fuchs' problem, for abelian groups: which groups $G$ are realized by a ring $R$ where every group endomorphism of $G$ is induced by a ring endomorphism of $R$? Such groups are called fully realizable. In… ▽ More In 1960, László Fuchs posed the problem of determining which groups $G$ are realizable as the group of units in some ring $R$. In \cite{chebolu2022fuchs}, we investigated the following variant of Fuchs' problem, for abelian groups: which groups $G$ are realized by a ring $R$ where every group endomorphism of $G$ is induced by a ring endomorphism of $R$? Such groups are called fully realizable. In this paper, we answer the aforementioned question for several families of nonabelian groups: symmetric, dihedral, quaternion, alternating, and simple groups; almost cyclic $p$-groups; and groups whose Sylow $2$-subgroup is either cyclic or normal and abelian. We construct three infinite families of fully realizable nonabelian groups using iterated semidirect products. △ Less

Submitted 15 August, 2024; originally announced August 2024.

Comments: 27 pages, accepted for publication in the Journal of Algebra

The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one

Authors: Sunil K. Chebolu, Ján Mináč, Cihan Okay, Andrew Schultz, Charlotte Ure

Abstract: The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the… ▽ More The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$ th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements. We investigate other groups with this property and characterize all such groups that are finite. As a further step in this program, we study implications of the Bloch--Kato conjecture to cohomological invariants of finite field extensions. Conversely, these cohomological invariants have implications for refining the Bloch--Kato conjecture. In service of such a refinement, we define the notion of a decomposing field for a cohomology class of a finite field extension and study minimal decomposing fields of degree two cohomology classes arising from degree $p$ extensions. We illustrate this refinement by explicitly computing the cohomology rings of superpythagorean fields and $p$-rigid fields. Finally, we construct nontrivial examples of cohomology classes and their decomposing fields, which rely on computations by David Benson in the appendix. △ Less

Submitted 5 February, 2025; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 28 pages, added some new results and an appendix by David Benson

MSC Class: 12F10; 12G05; 19D45; 20E18

On the arithmetic of the join rings over finite fields

Authors: Sunil K. Chebolu, Jonathan Merzel, Ján Mináč, Tung T. Nguyen, Federico Pasini, Nguyên Duy Tân

Abstract: Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, networ… ▽ More Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, network theory, nonlinear dynamics, and neuroscience. In this paper, we continue our investigations of this ring, focusing more on its arithmetic properties. We begin by constructing a generalized augmentation map that gives a structural decomposition of this ring. This decomposition allows us to compute the zeta function of the join of group rings. We show that the join of group rings is a natural home for studying the concept of simultaneous primitive roots for a given set of primes. This concept is related to the order of the unit group of the join of group rings. Finally, we characterize the join of group rings over finite fields with the property that the order of every unit divides a fixed number. Remarkably, Mersenne and Fermat primes unexpectedly emerge within the context of this exploration. △ Less

Submitted 13 April, 2024; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 21 pages

Fuchs' problem for endomorphisms of abelian groups

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: László Fuchs posed the following question: which abelian groups arise as the group of units in a ring? In this paper, we investigate a related question: for such realizable groups $G$, when is there a ring $R$ with unit group $G$ such that every group endomorphism of $G$ is induced by a ring endomorphism of $R$? We answer this question for four common classes of groups: torsion-free abelian groups… ▽ More László Fuchs posed the following question: which abelian groups arise as the group of units in a ring? In this paper, we investigate a related question: for such realizable groups $G$, when is there a ring $R$ with unit group $G$ such that every group endomorphism of $G$ is induced by a ring endomorphism of $R$? We answer this question for four common classes of groups: torsion-free abelian groups, groups of odd order, torsion abelian groups, and finitely generated abelian groups. △ Less

Submitted 24 August, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 13 pages, Accepted for publication in the Journal of Algebra

On the joins of group rings

Authors: Sunil K. Chebolu, Jonathan L. Merzel, Ján Mináč, Lyle Muller, Tung T. Nguyen, Federico W. Pasini, Nguyen Duy Tân

Abstract: Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of… ▽ More Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of group rings and denote it by $\mathcal{J}_{G_1,\dots, G_d}(R)$. In this paper, we present a systematic study of the algebraic structure of $\mathcal{J}_{G_1,\dots, G_d}(R)$. We show that it has a ring structure and characterize its center, group of units, and Jacobson radical. When $R=k$ is an algebraically closed field, we derive a formula for the number of irreducible modules over $\mathcal{J}_{G_1,\dots, G_d}(k)$. We also show how a blockwise extension of the Fourier transform provides both a generalization of the Circulant Diagonalization Theorem to joins of circulant matrices and an explicit isomorphism between the join algebra and its Wedderburn components. △ Less

Submitted 1 April, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 33 pages, Accepted for publication in the Journal of Pure and Applied Algebra

MSC Class: 22D20

Is there an infinite field whose multiplicative group is indecomposable?

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields… ▽ More In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 6 pages, to appear in the Indian Journal of Pure and Applied Mathematics

A clock model for planetary conjunctions

Authors: Sunil K. Chebolu

Abstract: This article is inspired by the great conjunction of Jupiter and Saturn on December 21st, 2020. We will address the following questions from a mathematical standpoint. What is a conjunction? How often do we have a conjunction of two planets? How are great conjunctions distributed in the sky? How long will it take for a cycle of great conjunctions to return to the same point in the sky and time of… ▽ More This article is inspired by the great conjunction of Jupiter and Saturn on December 21st, 2020. We will address the following questions from a mathematical standpoint. What is a conjunction? How often do we have a conjunction of two planets? How are great conjunctions distributed in the sky? How long will it take for a cycle of great conjunctions to return to the same point in the sky and time of the year? Can there be a conjunction of 3 outer planets? How often can that happen? We will begin by setting up the geometric framework for formulating these questions. Then we will analyze these questions by first examining similar questions in a more mundane context: the three hands in a clock. Even though the clock model is a simple model that ignores the more subtle and complex elements of planets' cosmic dance, it captures the main ideas succinctly. △ Less

Submitted 23 March, 2022; originally announced March 2022.

Comments: 8 pages, 7 figures, to appear in Mathematical Gazette

Generalized Sine Functions, Complexified

Authors: Pisheng Ding, Sunil K. Chebolu

Abstract: Generalized sine and cosine functions, $\sin_{n}$ and $\cos_{n}$, that parametrize the generalized unit circle $x^n+y^n=1$ are, much like their classical circular counterparts, extendable as complex analytic functions. In this article, we identify the natural domain on which $\sin_{n}$ is a conformal equivalence from a polygon to the complex plane with $n$ slits. We also give some geometric and an… ▽ More Generalized sine and cosine functions, $\sin_{n}$ and $\cos_{n}$, that parametrize the generalized unit circle $x^n+y^n=1$ are, much like their classical circular counterparts, extendable as complex analytic functions. In this article, we identify the natural domain on which $\sin_{n}$ is a conformal equivalence from a polygon to the complex plane with $n$ slits. We also give some geometric and analytic applications. △ Less

Submitted 24 August, 2023; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: 10 pages, to appear in Math. Mag

MSC Class: 30C20; 30B40; 33E20

Zero-sum-free tuples and hyperplane arrangements

Authors: Sunil K. Chebolu, Papa A. Sissokho

Abstract: A vector $(v_{1}, v_{2}, \cdots, v_{d})$ in $\mathbb{Z}_n^{d}$ is said to be a zero-sum-free $d$-tuple if there is no non-empty subset of its components whose sum is zero in $\mathbb{Z}_n$. We denote the cardinality of this collection by $α_n^d$. We let $β_n^d$ denote the cardinality of the set of zero-sum-free tuples in $\mathbb{Z}_n^{d}$ where $\gcd(v_1, \cdots,v_d, n) = 1$. We show that… ▽ More A vector $(v_{1}, v_{2}, \cdots, v_{d})$ in $\mathbb{Z}_n^{d}$ is said to be a zero-sum-free $d$-tuple if there is no non-empty subset of its components whose sum is zero in $\mathbb{Z}_n$. We denote the cardinality of this collection by $α_n^d$. We let $β_n^d$ denote the cardinality of the set of zero-sum-free tuples in $\mathbb{Z}_n^{d}$ where $\gcd(v_1, \cdots,v_d, n) = 1$. We show that $α_n^d=φ(n)\binom{n-1}{d}$ when $d > n/2$, and in the general case, we prove recursive formulas, divisibility results, bounds, and asymptotic results for $α_n^d$ and $β_n^d$. In particular, $α_n^{n-1} = β_n^1= φ(n)$, suggesting that these sequences can be viewed as generalizations of Euler's totient function. We also relate the problem of computing $α_n^d$ to counting points in the complement of a certain hyperplane arrangement defined over $\mathbb{Z}_n$. It is shown that the hyperplane arrangement's characteristic polynomial captures $α_n^d$ for all integers $n$ that are relatively prime to some determinants. We study the row and column patterns in the numbers $α_n^{d}$. We show that for any fixed $d$, $\{α_n^d \}$ is asymptotically equivalent to $\{ n^d\}$. We also show a connection between the asymptotic growth of $β_n^d$ and the value of the Riemann zeta function $ζ(d)$. Finally, we show that $α_n^d$ arises naturally in the study of Mathieu-Zhao subspaces in products of finite fields. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Comments: 25 pages, to appear in Integers

Rings with an elementary abelian $p$-group of units

Authors: Sunil K. Chebolu, Jeremy Corry, Elizabeth Grimm, Andrew Hatfield

Abstract: What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings, modular group algebras, and path algebras. Two interesting byproducts of this work are a characterization of Mersenne primes and a connection to Dedekind's problem… ▽ More What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings, modular group algebras, and path algebras. Two interesting byproducts of this work are a characterization of Mersenne primes and a connection to Dedekind's problem. △ Less

Submitted 28 December, 2022; v1 submitted 7 December, 2021; originally announced December 2021.

Comments: 11 pages, 1 figure, to appear in the Journal of Commutative Algebra

MSC Class: 11T06; 16U60

Trigonometric functions in the $p$-norm

Authors: Sunil Chebolu, Andrew Hatfield, Riley Klette, Christopher Moore, Elizabeth Warden

Abstract: Trigonometry is the study of circular functions, which are functions defined on the unit circle $x^2+y^2 =1$, where distances are measured using the Euclidean norm. When distances are measured using the $L_p$-norm, we get generalized trigonometric functions. These are parametrizations of the unit $p$-circle $|x|^p+|y|^p =1$. Investigating these new functions leads to interesting connections involv… ▽ More Trigonometry is the study of circular functions, which are functions defined on the unit circle $x^2+y^2 =1$, where distances are measured using the Euclidean norm. When distances are measured using the $L_p$-norm, we get generalized trigonometric functions. These are parametrizations of the unit $p$-circle $|x|^p+|y|^p =1$. Investigating these new functions leads to interesting connections involving double angle formulas, norms induced by inner products, Stirling numbers, Bell polynomials, Lagrange inversion, gamma functions, and generalized $π$ values. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 16 pages, 6 figures, accepted for publication in Mathematics Exchange

MSC Class: 26A99; 33E99

Gaussian Binomial Coefficients in Group Theory, Field Theory, and Topology

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: In this article, we offer group-theoretic, field-theoretic, and topological interpretations of the Gaussian binomial coefficients and their sum. For a finite $p$-group $G$ of rank $n$, we show that the Gaussian binomial coefficient $\binom{n}{k}_p$ is the number of subgroups of $G$ that are minimally expressible as an intersection of $n - k$ maximal subgroups of $G$, and their sum is precisely the… ▽ More In this article, we offer group-theoretic, field-theoretic, and topological interpretations of the Gaussian binomial coefficients and their sum. For a finite $p$-group $G$ of rank $n$, we show that the Gaussian binomial coefficient $\binom{n}{k}_p$ is the number of subgroups of $G$ that are minimally expressible as an intersection of $n - k$ maximal subgroups of $G$, and their sum is precisely the number of subgroups that are either $G$ or an intersection of maximal subgroups of $G$. We provide a field-theoretic interpretation of these quantities through the lens of Galois theory and a topological interpretation involving covering spaces △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: 8 pages, to appear in American Math. Monthly

Packing Moons Inside the Earth

Authors: Sunil K. Chebolu

Abstract: Using ideas of sphere packing problem we estimate the number of solid moons that can be packed inside the Earth, assuming that both the Moon and the Earth are perfect sphere. Using ideas of sphere packing problem we estimate the number of solid moons that can be packed inside the Earth, assuming that both the Moon and the Earth are perfect sphere. △ Less

Submitted 31 May, 2020; originally announced June 2020.

Comments: 3 pages, 6 figures

Journal ref: Math Horiz. 27 (2020), no. 4, 18-20

Measuring Mountains on the Moon

Authors: Sunil K. Chebolu

Abstract: Following a technique of Galileo we compute the height on a mountain on the Moon. It is based on a simple observation that precisely on a half Moon day, the Earth, the Moon, and the Sun form the vertices of a right triangle with the Moon at the 90 degree vertex. Following a technique of Galileo we compute the height on a mountain on the Moon. It is based on a simple observation that precisely on a half Moon day, the Earth, the Moon, and the Sun form the vertices of a right triangle with the Moon at the 90 degree vertex. △ Less

Submitted 15 May, 2019; originally announced May 2019.

Comments: 2 pages, 3 figures

Journal ref: Math Horizons 26 (2019), no. 4, 24-25

Fuchs' problem for $p$-groups

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: Which groups can be the group of units in a ring? This open question, posed by László Fuchs in 1960, has been studied by the authors and others with a variety of restrictions on either the class of groups or the class of rings under consideration. In the present work, we investigate Fuchs' problem for the class of $p$-groups. Ditor provided a solution in the finite, odd-primary case in 1970. Our f… ▽ More Which groups can be the group of units in a ring? This open question, posed by László Fuchs in 1960, has been studied by the authors and others with a variety of restrictions on either the class of groups or the class of rings under consideration. In the present work, we investigate Fuchs' problem for the class of $p$-groups. Ditor provided a solution in the finite, odd-primary case in 1970. Our first main result is that a finite $2$-group $G$ is the group of units of a ring of odd characteristic if and only if $G$ is of the form $C_8^t \times \prod_{i = 1}^k C_{2^{n_i}}^{s_i},$ where $t$ and $s_i$ are non-negative integers and $2^{n_i}+1$ is a Fermat prime for all $i$. We also determine the finite abelian $2$-groups of rank at most 2 that are realizable over the class of rings of characteristic 2, and we give some results concerning the realizability of $2$-groups in characteristic 0 and $2^n$. Finally, we show that the only almost cyclic $2$-groups which appear as the group of units in a ring are $C_2, C_4, C_8, C_{q-1}$ ($q$ a Fermat prime), $C_2 \times C_{2^n} (n \ge 1)$, $D_8$, and $Q_8$. From this list we obtain the $p$-groups with periodic cohomology which arise as the group of units in a ring. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Comments: 14 pages, to appear in J. Pure Appl. Algebra

How many units can a commutative ring have?

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: Laszlo Fuchs posed the following problem in 1960, which remains open: classify the abelian groups occurring as the group of all units in a commutative ring. In this note, we provide an elementary solution to a simpler, related problem: find all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring. As a by-product, we obtain a solution to Fuchs' problem for… ▽ More Laszlo Fuchs posed the following problem in 1960, which remains open: classify the abelian groups occurring as the group of all units in a commutative ring. In this note, we provide an elementary solution to a simpler, related problem: find all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring. As a by-product, we obtain a solution to Fuchs' problem for the class of finite abelian $p$-groups when $p$ is an odd prime. △ Less

Submitted 9 January, 2017; originally announced January 2017.

Comments: 6 pages, to appear in Amer. Math. Monthly

MSC Class: 16U60

Fuchs' problem for dihedral groups

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a ring. Though progress has been made, the question remains open. One could equally well pose the question for various classes of nonabelian groups. In this paper, we prove that D_2, D_4, D_6, D_8, and D_12 are the only dihedral groups that appear as the group of units of a ring of positive characteristic… ▽ More More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a ring. Though progress has been made, the question remains open. One could equally well pose the question for various classes of nonabelian groups. In this paper, we prove that D_2, D_4, D_6, D_8, and D_12 are the only dihedral groups that appear as the group of units of a ring of positive characteristic (or, equivalently, of a finite ring), and D_2 and D_4k, where k is odd, are the only dihedral groups that appear as the group of units of a ring of characteristic 0. △ Less

Submitted 3 July, 2016; originally announced July 2016.

Comments: 12 pages, to appear in Journal of Pure and Applied Algebra

Ghosts and Strong Ghosts in the Stable Module Category

Authors: Jon F. Carlson, Sunil K. Chebolu, Jan Minac

Abstract: Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. A ghost map is a map in the stable category of finitely generated $kG$-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow $p$-subgroup of $G$ is cyclic of order 2… ▽ More Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. A ghost map is a map in the stable category of finitely generated $kG$-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow $p$-subgroup of $G$ is cyclic of order 2 or 3. In this paper we introduce and study some variations of ghosts maps. In particular, we consider the behavior of ghost maps under restriction and induction functors. We find all groups satisfying a strong form of Freyd's generating hypothesis and show that ghost can be detected on a finite range of Tate cohomology. We also consider maps which mimic ghosts in high degrees. △ Less

Submitted 13 June, 2016; v1 submitted 9 September, 2015; originally announced September 2015.

Comments: Final version, 11 pages, to appear in Canadian Mathematical Bulletin

When is a subgroup of a ring an ideal?

Authors: Sunil K. Chebolu, Christina L. Henry

Abstract: Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and sufficient conditions under which the above question has an affirmative answer. In the case of $\mathbb{Z} \times \mathbb{Z}$ and… ▽ More Let $R$ be a commutative ring. When is a subgroup of $(R, +)$ an ideal of $R$? We investigate this problem for the rings $\mathbb{Z}^{d}$ and $\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$. For various subgroups of these rings we obtain necessary and sufficient conditions under which the above question has an affirmative answer. In the case of $\mathbb{Z} \times \mathbb{Z}$ and $\mathbb{Z}_n \times \mathbb{Z}_m$, our results give, for any given subgroup of these rings, a computable criterion for the problem under consideration. We also compute the probability that a randomly chosen subgroup from $\mathbb{Z}_n \times \mathbb{Z}_m$ is an ideal. △ Less

Submitted 17 June, 2015; originally announced June 2015.

Comments: 13 pages, to appear in Involve

MSC Class: 113AXX; 20KXX

Fuchs' problem for indecomposable abelian groups

Authors: Sunil K. Chebolu, Keir Lockridge

Abstract: More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a commutative ring. Though progress has been made, the question remains open. We provide an answer to this question in the case of indecomposable abelian groups by classifying the indecomposable abelian groups that are realizable as the group of units of a ring of any given characteristic. More than 50 years ago, Laszlo Fuchs asked which abelian groups can be the group of units of a commutative ring. Though progress has been made, the question remains open. We provide an answer to this question in the case of indecomposable abelian groups by classifying the indecomposable abelian groups that are realizable as the group of units of a ring of any given characteristic. △ Less

Submitted 13 May, 2015; originally announced May 2015.

Comments: 10 pages, accepted for publication in Journal of Algebra

Galois p-groups and Galois modules

Authors: Sunil Chebolu, Jan Minac, Andrew Schultz

Abstract: The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galoi… ▽ More The smallest non-abelian p-groups play a fundamental role in the theory of Galois p-extensions. We illustrate this by highlighting their role in the definition of the norm residue map in Galois cohomology. We then determine how often these groups --- as well as other closely related, larger p-groups --- occur as Galois groups over given base fields. We show further how the appearance of some Galois groups forces the appearance of other Galois groups in an interesting way. △ Less

Submitted 19 October, 2016; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: 28 pages. To appear in Rocky Mountain Journal of Mathematics. Version 2 includes some minor corrections

MSC Class: 12F10; 12F12

When is the multiplicative group of a field indecomposable?

Authors: Sunil Chebolu, Keir Lockridge

Abstract: The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposabl… ▽ More The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as a corollary to Catalan's Conjecture. Turning to infinite fields, we prove that any infinite field whose characteristic is not equal to 2 must have a decomposable multiplicative group. We conjecture that this is also true for infinite fields of characteristic 2 and we narrow the class of possible counter-examples. Finally, using the classification of finite commutative primary rings with cyclic multiplicative groups, we determine all finite commutative rings with indecomposable multiplicative groups. △ Less

Submitted 13 July, 2014; originally announced July 2014.

MSC Class: 12E20 (Primary); 11D41; 20K20 (Secondary)

Characterizations of Mersenne and 2-rooted primes

Authors: Sunil K. Chebolu, Keir Lockridge, Gaywalee Yamskulna

Abstract: We give several characterizations of Mersenne primes (Theorem 1.1) and of primes for which 2 is a primitive root (Theorem 1.2). These characterizations involve group algebras, circulant matrices, binomial coefficients, and bipartite graphs. We give several characterizations of Mersenne primes (Theorem 1.1) and of primes for which 2 is a primitive root (Theorem 1.2). These characterizations involve group algebras, circulant matrices, binomial coefficients, and bipartite graphs. △ Less

Submitted 12 June, 2015; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: 19 pages, final version, to appear in Finite Fields and their Applications

MSC Class: Primary 11A41; 11A07; Secondary 15B99; 05C90

Detecting Fast solvability of equations via small powerful Galois groups

Authors: Sunil K. Chebolu, Jan Minac, Claudio Quadrelli

Abstract: Fix an odd prime $p$, and let $F$ be a field containing a primitive $p$th root of unity. It is known that a $p$-rigid field $F$ is characterized by the property that the Galois group $G_F(p)$ of the maximal $p$-extension $F(p)/F$ is a solvable group. We give a new characterization of $p$-rigidity which says that a field $F$ is $p$-rigid precisely when two fundamental canonical quotients of the abs… ▽ More Fix an odd prime $p$, and let $F$ be a field containing a primitive $p$th root of unity. It is known that a $p$-rigid field $F$ is characterized by the property that the Galois group $G_F(p)$ of the maximal $p$-extension $F(p)/F$ is a solvable group. We give a new characterization of $p$-rigidity which says that a field $F$ is $p$-rigid precisely when two fundamental canonical quotients of the absolute Galois groups coincide. This condition is further related to analytic $p$-adic groups and to some Galois modules. When $F$ is $p$-rigid, we also show that it is possible to solve for the roots of any irreducible polynomials in $F[X]$ whose splitting field over $F$ has a $p$-power degree via non-nested radicals. We provide new direct proofs for hereditary $p$-rigidity, together with some characterizations for $G_F(p)$ -- including a complete description for such a group and for the action of it on $F(p)$ -- in the case $F$ is $p$-rigid. △ Less

Submitted 29 October, 2013; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: 25 pages, to appear in "Transactions of the AMS"

MSC Class: 12F10; 12G10; 20E18

What is special about the divisors of 12?

Authors: Sunil K. Chebolu, Michael Mayers

Abstract: Let R be the ring of polynomials in finitely many commuting variables with coefficients in Z_n. It is shown that every unit of R is an involution if and only of n is a divisor of 12. Let R be the ring of polynomials in finitely many commuting variables with coefficients in Z_n. It is shown that every unit of R is an involution if and only of n is a divisor of 12. △ Less

Submitted 13 December, 2012; originally announced December 2012.

Comments: 3 pages, to appear in Math. Magazine

Representations of The miraculous Klein group

Authors: Sunil K. Chebolu, Jan Minac

Abstract: The Klein group contains only four elements. Nevertheless this little group contains a number of remarkable entry points to current highways of modern representation theory of groups. In this paper, we shall describe all possible ways in which the Klein group can act on vector spaces over a field of two elements. These are called representations of the Klein group. This description involves some p… ▽ More The Klein group contains only four elements. Nevertheless this little group contains a number of remarkable entry points to current highways of modern representation theory of groups. In this paper, we shall describe all possible ways in which the Klein group can act on vector spaces over a field of two elements. These are called representations of the Klein group. This description involves some powerful visual methods of representation theory which builds on the work of generations of mathematicians starting roughly with the work of K. Weiestrass. We also discuss some applications to properties of duality and Heller shifts of the representations of the Klein group. △ Less

Submitted 18 September, 2012; originally announced September 2012.

Journal ref: Ramanujan Mathematics Society Newsletter 22 (2012), No. 1, 135-145

Witt's cancellation theorem seen as a cancellation

Authors: Sunil K. Chebolu, Dan McQuillan, Jan Minac

Abstract: The year 2017 marks the 80th anniversary of Witt's famous paper containing key results, including the Witt cancellation theorem, which form the foundation for the algebraic theory of quadratic forms. We pay homage to this paper by presenting a transparent and algebraic proof of the Witt cancellation theorem, which itself is based on a cancellation. We also present an overview of some recent specta… ▽ More The year 2017 marks the 80th anniversary of Witt's famous paper containing key results, including the Witt cancellation theorem, which form the foundation for the algebraic theory of quadratic forms. We pay homage to this paper by presenting a transparent and algebraic proof of the Witt cancellation theorem, which itself is based on a cancellation. We also present an overview of some recent spectacular work which is still building on Witt's original creation of the algebraic theory of quadratic forms. △ Less

Submitted 23 September, 2016; v1 submitted 13 June, 2011; originally announced June 2011.

Comments: 14 pages.We made some updates and changes in the exposition. This article will appear in Expositiones Mathematicae

MSC Class: 11E040; 11E81

What is special about the divisors of 24?

Authors: Sunil K. Chebolu

Abstract: What is an interesting number theoretic or a combinatorial characterization of the divisors of 24 amongst all positive integers? In this paper I will provide one characterization in terms of modular multiplication tables. This idea evolved interestingly from a question raised by a student in my elementary number theory class. I will give the characterization and then provide 5 proofs using various… ▽ More What is an interesting number theoretic or a combinatorial characterization of the divisors of 24 amongst all positive integers? In this paper I will provide one characterization in terms of modular multiplication tables. This idea evolved interestingly from a question raised by a student in my elementary number theory class. I will give the characterization and then provide 5 proofs using various techniques: Chinese remainder theorem, structure theory of units, Dirichlet's theorem on primes in an arithmetic progression, Bertrand-Chebyshev theorem, and results of Erdos and Ramanujan on the pi(x) function. △ Less

Submitted 5 August, 2012; v1 submitted 26 April, 2011; originally announced April 2011.

Comments: 7 pages, to appear in Math. Mag

A small quotient of the big absolute Galois group (joint work with Ido Efrat and Ján Mináč)

Authors: Sunil K. Chebolu

Abstract: This is a report of a talk given at the Oberwolfach workshop on "cohomology of finite groups: Interactions and applications" which was held during July 25th - July 31st, 2010. It is an announcement of some of the results (with motivation) and their applications from the paper "Quotients of absolute Galois groups which determine the entire Galois cohomology"; see arXiv:0905.1364. This is a report of a talk given at the Oberwolfach workshop on "cohomology of finite groups: Interactions and applications" which was held during July 25th - July 31st, 2010. It is an announcement of some of the results (with motivation) and their applications from the paper "Quotients of absolute Galois groups which determine the entire Galois cohomology"; see arXiv:0905.1364. △ Less

Submitted 29 January, 2011; originally announced January 2011.

Comments: to appear in Oberwolfach Report

Journal ref: Oberwolfach Report 32 (2010) 14-17

Counting irreducible polynomials over finite fields using the inclusion-exclusion principle

Authors: Sunil K. Chebolu, Jan Minac

Abstract: C. F. Gauss discovered a beautiful formula for the number of irreducible polynomials of a given degree over a finite field. Assuming just a few elementary facts in field theory and the exclusion-inclusion formula, we show how one see the shape of this formula and its proof instantly. C. F. Gauss discovered a beautiful formula for the number of irreducible polynomials of a given degree over a finite field. Assuming just a few elementary facts in field theory and the exclusion-inclusion formula, we show how one see the shape of this formula and its proof instantly. △ Less

Submitted 15 March, 2011; v1 submitted 3 January, 2010; originally announced January 2010.

Comments: 3 pages, final version, to appear in Mathematics Magazine

Reciprocity laws for representations of finite groups

Authors: Sunil K. Chebolu, Jan Minac, Clive Reis

Abstract: Much has been written on reciprocity laws in number theory and their connections with group representations. In this paper we explore more on these connections. We prove a "reciprocity Law" for certain specific representations of semidirect products of two cyclic groups which is in complete analogy with classical reciprocity laws in number theory. In fact, we show that the celebrated quadratic r… ▽ More Much has been written on reciprocity laws in number theory and their connections with group representations. In this paper we explore more on these connections. We prove a "reciprocity Law" for certain specific representations of semidirect products of two cyclic groups which is in complete analogy with classical reciprocity laws in number theory. In fact, we show that the celebrated quadratic reciprocity law is a direct consequence of our main theorem applied to a specific group. As another consequence of our main theorem we also recover a classical theorem of Sylvester. Our main focus is on explicit constructions of representations over sufficiently small fields. These investigations give further evidence that there is still much unexplored territory in connections between number theory and group representations, even at an elementary level. △ Less

Submitted 28 December, 2009; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: To appear in "Annales des sciences mathematiques du Quebec"

MSC Class: 20C20; 20J06; 55P42

Journal ref: Annales des sciences mathematiques du Quebec 34 (2010), no 1, 37-61

Quotients of absolute Galois groups which determine the entire Galois cohomology

Authors: Sunil K. Chebolu, Ido Efrat, Ján Mináč

Abstract: For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending $q$-central sequence. Conversely, we show that $G_F^{[3]}$ is determined by the lower cohomology of $G_F$. This is used to give new examples of pro-$p$ groups wh… ▽ More For prime power $q=p^d$ and a field $F$ containing a root of unity of order $q$ we show that the Galois cohomology ring $H^*(G_F,\dbZ/q)$ is determined by a quotient $G_F^{[3]}$ of the absolute Galois group $G_F$ related to its descending $q$-central sequence. Conversely, we show that $G_F^{[3]}$ is determined by the lower cohomology of $G_F$. This is used to give new examples of pro-$p$ groups which do not occur as absolute Galois groups of fields. △ Less

Submitted 27 January, 2011; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: 16 pages, Final version, To appear in Mathematische Annalen

MSC Class: 12G05 (Primary); 12F10 (Secondary); 12E30

Absolute Galois groups viewed from small quotients and the Bloch-Kato conjecture

Authors: Sunil Chebolu, Ján Mináč

Abstract: In this paper we concentrate on the relations between the structure of small Galois groups, arithmetic of fields, Bloch-Kato conjecture, and Galois groups of maximal pro-$p$-quotients of absolute Galois groups. In this paper we concentrate on the relations between the structure of small Galois groups, arithmetic of fields, Bloch-Kato conjecture, and Galois groups of maximal pro-$p$-quotients of absolute Galois groups. △ Less

Submitted 5 February, 2009; originally announced February 2009.

Comments: 11 pages, to appear in Geometry and Topology monographs

MSC Class: 11R34; 11R32

Journal ref: Topology and Geometry monographs 16 (2009) 31-47

Auslander-Reiten sequences for homotopists and arithmeticians

Authors: Sunil Chebolu, Ján Mináč

Abstract: We introduce Auslander-Reiten sequences for group algebras and give several recent applications. The first part of the paper is devoted to some fundamental problems in Tate cohomology which are motivated by homotopy theory. In the second part of the paper we interpret Auslander-Reiten sequences in the context of Galois theory and connect them to some important arithmetic objects. We introduce Auslander-Reiten sequences for group algebras and give several recent applications. The first part of the paper is devoted to some fundamental problems in Tate cohomology which are motivated by homotopy theory. In the second part of the paper we interpret Auslander-Reiten sequences in the context of Galois theory and connect them to some important arithmetic objects. △ Less

Submitted 4 November, 2008; originally announced November 2008.

Comments: 16 pages, to appear in "Annales des sciences mathématiques du Québec"

MSC Class: 20C20; 20J06 (Primary); 55P42 (Secondary)

Journal ref: Annales des sciences mathematiques du Quebec. 32 (2008) no 2, 139 - 157

Freyd's generating hypothesis with almost split sequences

Authors: Jon F. Carlson, Sunil K. Chebolu, Jan Minac

Abstract: Freyd's generating hypothesis for the stable module category of a non-trivial finite group G is the statement that a map between finitely generated kG-modules that belongs to the thick subcategory generated by k factors through a projective if the induced map on Tate cohomology is trivial. In this paper we show that Freyd's generating hypothesis fails for kG when the Sylow p-subgroup of G has or… ▽ More Freyd's generating hypothesis for the stable module category of a non-trivial finite group G is the statement that a map between finitely generated kG-modules that belongs to the thick subcategory generated by k factors through a projective if the induced map on Tate cohomology is trivial. In this paper we show that Freyd's generating hypothesis fails for kG when the Sylow p-subgroup of G has order at least 4 using almost split sequences. By combining this with our earlier work, we obtain a complete answer to Freyd's generating hypothesis for the stable module category of a finite group. We also derive some consequences of the generating hypothesis. △ Less

Submitted 27 October, 2008; v1 submitted 12 June, 2008; originally announced June 2008.

Comments: 6 pages, fixed minor typos, final version, to appear in Proc. Amer. Math. Soc

MSC Class: 20C20; 20J06 (Primary) 55P42 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 137 (2009) 2575-2580

Finite generation of Tate cohomology

Authors: Jon F. Carlson, Sunil K. Chebolu, Jan Minac

Abstract: Let G be a finite group and let k be a field of characteristic p. Given a finitely generated indecomposable non-projective kG-module M, we conjecture that if the Tate cohomology $\HHHH^*(G, M)$ of G with coefficients in M is finitely generated over the Tate cohomology ring $\HHHH^*(G, k)$, then the support variety V_G(M) of M is equal to the entire maximal ideal spectrum V_G(k). We prove various r… ▽ More Let G be a finite group and let k be a field of characteristic p. Given a finitely generated indecomposable non-projective kG-module M, we conjecture that if the Tate cohomology $\HHHH^*(G, M)$ of G with coefficients in M is finitely generated over the Tate cohomology ring $\HHHH^*(G, k)$, then the support variety V_G(M) of M is equal to the entire maximal ideal spectrum V_G(k). We prove various results which support this conjecture. The converse of this conjecture is established for modules in the connected component of k in the stable Auslander-Reiten quiver for kG, but it is shown to be false in general. It is also shown that all finitely generated kG-modules over a group G have finitely generated Tate cohomology if and only if G has periodic cohomology. △ Less

Submitted 13 June, 2010; v1 submitted 26 April, 2008; originally announced April 2008.

Comments: 14 pages, to appear in "Representation theory" (AMS Journal)

MSC Class: 20C20; 20J06 (Primary); 55P42 (Secondary)

Journal ref: Representation theory, 15 (2011) 244-257

Freyd's generating hypothesis for groups with periodic cohomology

Authors: Sunil K. Chebolu, J. Daniel Christensen, Ján Mináč

Abstract: Let $G$ be a finite group and let $k$ be a field whose characteristic $p$ divides the order of $G$. Freyd's generating hypothesis for the stable module category of $G$ is the statement that a map between finite-dimensional $kG$-modules in the thick subcategory generated by $k$ factors through a projective if the induced map on Tate cohomology is trivial. We show that if $G$ has periodic cohomology… ▽ More Let $G$ be a finite group and let $k$ be a field whose characteristic $p$ divides the order of $G$. Freyd's generating hypothesis for the stable module category of $G$ is the statement that a map between finite-dimensional $kG$-modules in the thick subcategory generated by $k$ factors through a projective if the induced map on Tate cohomology is trivial. We show that if $G$ has periodic cohomology then the generating hypothesis holds if and only if the Sylow $p$-subgroup of $G$ is $C_2$ or $C_3$. We also give some other conditions that are equivalent to the GH for groups with periodic cohomology. △ Less

Submitted 28 March, 2011; v1 submitted 17 October, 2007; originally announced October 2007.

Comments: 11 pages, final version, to appear in Canadian Mathematical Bulletin

MSC Class: 20C20; 20J06 (Primary); 55P42 (Secondary)

Journal ref: Can. Math. Bull. 55 (2012) 48-59

The generating hypothesis for the stable module category of a $p$-group

Authors: David J. Benson, Sunil K. Chebolu, J. Daniel Christensen, Jan Minac

Abstract: Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial. We show that Freyd's generating hypothesis holds for a non-trivial finite p-group G if and only if G is either C_2 or C_3. We also give various conditions wh… ▽ More Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial. We show that Freyd's generating hypothesis holds for a non-trivial finite p-group G if and only if G is either C_2 or C_3. We also give various conditions which are equivalent to the generating hypothesis. △ Less

Submitted 19 January, 2007; v1 submitted 13 November, 2006; originally announced November 2006.

Comments: 6 pages, fixed minor typos, to appear in J. Algebra

MSC Class: 20C20; 20J06; 55P42

Journal ref: Journal of Algebra 310 (2007) 428-433

Groups which do not admit ghosts

Authors: Sunil K. Chebolu, J. Daniel Christensen, Jan Minac

Abstract: A ghost in the stable module category of a group G is a map between representations of G that is invisible to Tate cohomology. We show that the only non-trivial finite p-groups whose stable module categories have no non-trivial ghosts are the cyclic groups of order 2 and 3. We compare this to the situation in the derived category of a commutative ring. We also determine for which groups G the se… ▽ More A ghost in the stable module category of a group G is a map between representations of G that is invisible to Tate cohomology. We show that the only non-trivial finite p-groups whose stable module categories have no non-trivial ghosts are the cyclic groups of order 2 and 3. We compare this to the situation in the derived category of a commutative ring. We also determine for which groups G the second power of the Jacobson radical of kG is stably isomorphic to a suspension of k. △ Less

Submitted 5 January, 2007; v1 submitted 12 October, 2006; originally announced October 2006.

Comments: 9 pages, improved exposition and fixed several typos, to appear in the Proceedings of the AMS

MSC Class: 20C20; 20J06; 55P42

Journal ref: Proc. Amer. Math. Soc. 136 (2008) 1171-1179

Ghosts in modular representation theory

Authors: Sunil K. Chebolu, J. Daniel Christensen, Jan Minac

Abstract: A ghost over a finite p-group G is a map between modular representations of G which is invisible in Tate cohomology. Motivated by the failure of the generating hypothesis---the statement that ghosts between finite-dimensional G-representations factor through a projective---we define the ghost number of kG to be the smallest integer l such that the composition of any l ghosts between finite-dimensi… ▽ More A ghost over a finite p-group G is a map between modular representations of G which is invisible in Tate cohomology. Motivated by the failure of the generating hypothesis---the statement that ghosts between finite-dimensional G-representations factor through a projective---we define the ghost number of kG to be the smallest integer l such that the composition of any l ghosts between finite-dimensional G-representations factors through a projective. In this paper we study ghosts and the ghost numbers of p-groups. We begin by showing that a weaker version of the generating hypothesis, where the target of the ghost is fixed to be the trivial representation k, holds for all p-groups. We then compute the ghost numbers of all cyclic p-groups and all abelian 2-groups with C_2 as a summand. We obtain bounds on the ghost numbers for abelian p-groups and for all 2-groups which have a cyclic subgroup of index 2. Using these bounds we determine the finite abelian groups which have ghost number at most 2. Our methods involve techniques from group theory, representation theory, triangulated category theory, and constructions motivated from homotopy theory. △ Less

Submitted 22 December, 2011; v1 submitted 25 September, 2006; originally announced September 2006.

Comments: 15 pages, final version, to appear in Advances in Mathematics. v4 only makes changes to arxiv meta-data, correcting the abstract and adding a doi

MSC Class: 20C20; 20J06; 55P42

Journal ref: Advances in Mathematics 217 (2008) 2782-2799

Refinements of chromatic towers and Krull-Schmidt decompositions in stable homotopy categories

Authors: Sunil K. Chebolu

Abstract: We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this thesis we use a K-theory recipe of Thomason to classify these subcategories. This recipe when applied to the category of finite p-local spectra gives a refin… ▽ More We study the triangulated subcategories of compact objects in stable homotopy categories such as the homotopy category of spectra, the derived categories of rings, and the stable module categories of Hopf algebras. In the first part of this thesis we use a K-theory recipe of Thomason to classify these subcategories. This recipe when applied to the category of finite p-local spectra gives a refinement of the ``chromatic tower''. This refinement has some interesting consequences. In particular, it gives new evidence to a conjecture of Frank Adams that the thick subcategory C_2 can be generated by iterated cofiberings of the Smith-Toda complex V(1). Similarly by applying this K-theory recipe to derived categories, we obtain a complete classification of the triangulated subcategories of perfect complexes over some noetherian rings. Motivated by these classifications, in the second part of the thesis, we study Krull-Schmidt decompositions for thick subcategories. More precisely, we show that the thick subcategories of compact objects in the aforementioned stable homotopy categories decompose uniquely into indecomposable thick subcategories. Some consequences of these decompositions are also discussed. In particular, it is shown that all these decompositions respect K-theory. Finally in the last chapter we mimic some of these ideas in the category of R-modules. Here we consider abelian subcategories of R-modules that are closed under extensions and study their K-theory and decompositions. △ Less

Submitted 27 July, 2006; originally announced July 2006.

Comments: Ph.D. thesis, University of Washington, 2005

MSC Class: 55P42; 18E30; 18E10; 18F30

Classifying subcategories of modules over a PID

Authors: Sunil K. Chebolu

Abstract: Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of triangulated subcategories of finitely generated modules over a principal ideal domain. As a corollary we show that in the category of finitely generated modules over a… ▽ More Let $R$ be a commutative ring. A full additive subcategory $\C$ of $R$-modules is triangulated if whenever two terms of a short exact sequence belong to $\C$, then so does the third term. In this note we give a classification of triangulated subcategories of finitely generated modules over a principal ideal domain. As a corollary we show that in the category of finitely generated modules over a PID, thick subcategories (triangulated subcategories closed under direct summands), wide subcategories (abelian subcategories closed under extensions) and Serre subcategories (wide subcategories closed under kernels) coincide and correspond to specialisation closed subsets of $\Spec(R)$. △ Less

Submitted 12 July, 2006; originally announced July 2006.

Comments: 6 pages

MSC Class: 18E10; 13F10

Journal ref: JP Journal of Algebra, Number Theory and Applications 2 (2009) 211 - 220

Thick subcategories in stable homotopy theory

Authors: Sunil K. Chebolu

Abstract: In these lectures we give an exposition of the seminal work of Devinatz, Hopkins and Smith which is surrounding the classification of the thick subcategories of finite spectra in stable homotopy theory. The lectures are expository and are aimed primarily at non-homotopy theorists. We begin with an introduction to the stable homotopy category of spectra, and then talk about the celebrated thick s… ▽ More In these lectures we give an exposition of the seminal work of Devinatz, Hopkins and Smith which is surrounding the classification of the thick subcategories of finite spectra in stable homotopy theory. The lectures are expository and are aimed primarily at non-homotopy theorists. We begin with an introduction to the stable homotopy category of spectra, and then talk about the celebrated thick subcategory theorem and discuss a few applications to the structure of the Bousfield lattice. Most of the results that we discuss here were conjectured by Ravenel \cite{rav} and were proved by Devinatz, Hopkins, and Smith in \cite{dhs, hs}. △ Less

Submitted 10 July, 2006; originally announced July 2006.

Comments: Extended abstract of three lectures given at a mini-workshop at Oberwolfach on "Thick Subcategories: Classifications and Application."

MSC Class: 55P42

Journal ref: Oberwolfach Report 8 (2006), 12-20

Refining thick subcategory theorems

Authors: Sunil K. Chebolu

Abstract: We use a $K$-theory recipe of Thomason to obtain classifications of triangulated subcategories via refining some standard thick subcategory theorems. We apply this recipe to the full subcategories of finite objects in the derived categories of rings and the stable homotopy category of spectra. This gives, in the derived categories, a complete classification of the triangulated subcategories of p… ▽ More We use a $K$-theory recipe of Thomason to obtain classifications of triangulated subcategories via refining some standard thick subcategory theorems. We apply this recipe to the full subcategories of finite objects in the derived categories of rings and the stable homotopy category of spectra. This gives, in the derived categories, a complete classification of the triangulated subcategories of perfect complexes over some commutative rings. In the stable homotoy category of spectra we obtain only a partial classification of the triangulated subcategories of the finite $p$-local spectra. We use this partial classification to study the lattice of triangulated subcategories. This study gives some new evidence to a conjecture of Adams that the thick subcategory $\C_2$ can be generated by iterated cofiberings of the Smith-Toda complex. We also discuss several consequences of these classification theorems. △ Less

Submitted 14 November, 2005; v1 submitted 4 August, 2005; originally announced August 2005.

Comments: Exposition improved, corrected several typos, added corollary 3.5, to appear in Fundamenta Mathematicae, 31 pages, 2 figures

MSC Class: 55P42; 18E30; 19F30

Journal ref: Fundamenta Mathematicae 189 (2006) 61-97

Abelian subcategories closed under extensions: K-theory and decompositions

Authors: Sunil K. Chebolu

Abstract: A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms of certain specialisation closed subsets of $\Spec(R)$. We use this classification theorem to study K-theory and Krull-Schmidt type decompositions for wide s… ▽ More A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms of certain specialisation closed subsets of $\Spec(R)$. We use this classification theorem to study K-theory and Krull-Schmidt type decompositions for wide subcategories. It is shown that the K-group, in the sense of Grothendieck, of a wide subcategory $\W$ of finitely presented modules over a regular coherent ring is isomorphic to that of the thick subcategory of perfect complexes whose homology groups belong to $\W$. We also show that the wide subcategories of finitely generated modules over a noetherian regular ring can be decomposed uniquely into indecomposable ones. This result is then applied to obtain a decomposition for the K-groups of wide subcategories. △ Less

Submitted 2 March, 2006; v1 submitted 15 July, 2005; originally announced July 2005.

Comments: Improved presentation, fixed typos, to appear in Communications in Algebra, 12 Pages, 1 figure

MSC Class: 18E10; 18F30; 13C05

Journal ref: Communications in Algebra 35 (2007) 807-819

Krull-Schmidt decompositions for thick subcategories

Authors: Sunil K. Chebolu

Abstract: Following Krause \cite{Kr}, we prove Krull-Schmidt type decomposition theorems for thick subcategories of various triangulated categories including the derived categories of rings, Noetherian stable homotopy categories, stable module categories over Hopf algebras, and the stable homotopy category of spectra. In all these categories, it is shown that the thick ideals of small objects decompose un… ▽ More Following Krause \cite{Kr}, we prove Krull-Schmidt type decomposition theorems for thick subcategories of various triangulated categories including the derived categories of rings, Noetherian stable homotopy categories, stable module categories over Hopf algebras, and the stable homotopy category of spectra. In all these categories, it is shown that the thick ideals of small objects decompose uniquely into indecomposable thick ideals. We also discuss some consequences of these decomposition results. In particular, it is shown that all these decompositions respect K-theory. △ Less

Submitted 25 July, 2006; v1 submitted 8 July, 2005; originally announced July 2005.

Comments: Added more references, fixed some typos, to appear in Journal of Pure and Applied Algebra, 22 pages, 1 figure

MSC Class: 55P42; 18E30; 16W30

Journal ref: Journal of Pure and Applied Algebra 210 (2007) 11-27