Source author record

Sunil K. Chebolu

Sunil K. Chebolu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Half of finite abelian groups are unit groups

A group is called realizable if it is the group of units in a ring with identity. The classification of realizable groups is a difficult open problem -- originally posed by László Fuchs -- and is an active area of research. Realizable groups seem rare, but their proportion within a fixed class of groups (cyclic, dihedral, finite abelian, etc.) varies. To quantify this proportion, we introduce the realizable density of a class of finite groups as an analog of natural density for subsets of the natural numbers. The realizable finite cyclic groups and the realizable finite abelian $p$-groups for $p$ odd have been classified; we prove that their realizable densities are 1/4 and 0, respectively. The realizable finite abelian 2-groups -- and more generally the realizable finite abelian groups -- have not been fully classified, and these special cases appear quite difficult. Nonetheless, we prove that the realizable density of finite abelian 2-groups is 1 and the realizable density of finite abelian groups is 1/2. Our work combines existing classification theorems for realizable groups with tools from analytic number theory.

preprint2022arXiv

A clock model for planetary conjunctions

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.

preprint2022arXiv

Is there an infinite field whose multiplicative group is indecomposable?

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.

preprint2022arXiv

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

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.

preprint2022arXiv

Zero-sum-free tuples and hyperplane arrangements

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.

preprint2016arXiv

Fuchs' problem for dihedral groups

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.

preprint2016arXiv

Ghosts and Strong Ghosts in the Stable Module Category

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.

preprint2016arXiv

Witt's cancellation theorem seen as a cancellation

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.

preprint2015arXiv

When is a subgroup of a ring an ideal?

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.

preprint2013arXiv

Detecting Fast solvability of equations via small powerful Galois groups

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.

preprint2012arXiv

Representations of The miraculous Klein group

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.

preprint2012arXiv

What is special about the divisors of 24?

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Ghosts in modular representation theory

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.

preprint2011arXiv

Quotients of absolute Galois groups which determine the entire Galois cohomology

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.

preprint2010arXiv

Finite generation of Tate cohomology

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.

preprint2009arXiv

Reciprocity laws for representations of finite groups

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.

preprint2006arXiv

Krull-Schmidt decompositions for thick subcategories

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.