Source author record

Amritanshu Prasad

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

29works
9topics
4close collaborators

Published work

29 publications

preprint2021arXiv

Simultaneous Conjugacy Classes of Finite pp-groups of rank ≤5\leq 5

For a finite group GG, we consider the problem of counting simultaneous conjugacy classes of nn-tuples and simultaneous conjugacy classes of commuting nn-tuples in GG. Let αG,nα_{G,n} denote the number of simultaneous conjugacy classes of nn-tuples, and βG,nβ_{G,n} the number of simultaneous conjugacy classes of commuting nn-tuples in GG. The generating functions AG(t)=∑n≥0αG,ntn,A_G(t) = \sum_{n\geq 0} α_{G,n}t^n, and BG(t)=∑n≥0βG,ntnB_G(t) = \sum_{n\geq 0} β_{G,n}t^n are rational functions of tt. This paper concern studied of normalized functions AG(t/∣G∣)A_G(t/|G|) and BG(t/∣G∣)B_G(t/|G|) for finite pp-groups of rank at most 55.

preprint2020arXiv

Schur Algebras for the Alternating Group and Koszul Duality

We introduce the alternating Schur algebra ASF(n,d)AS_F(n,d) as the commutant of the action of the alternating group AdA_d on the dd-fold tensor power of an nn-dimensional FF-vector space. When FF has characteristic different from 22, we give a basis of ASF(n,d)AS_F(n,d) in terms of bipartite graphs, and a graphical interpretation of the structure constants. We introduce the abstract Koszul duality functor on modules for the even part of any Z/2Z\mathbf Z/2\mathbf Z-graded algebra. The algebra ASF(n,d)AS_F(n,d) is Z/2Z\mathbf Z/2\mathbf Z-graded, having the classical Schur algebra SF(n,d)S_F(n,d) as its even part. This leads to an approach to Koszul duality for SF(n,d)S_F(n,d)-modules that is amenable to combinatorial methods. We characterize the category of ASF(n,d)AS_F(n,d)-modules in terms of SF(n,d)S_F(n,d)-modules and their Koszul duals. We use the graphical basis of ASF(n,d)AS_F(n,d) to study the dependence of the behavior of derived Koszul duality on nn and dd.

preprint2019arXiv

On the Divisibility of Character Values of the Symmetric Group

Fix a partition μ=(μ1,…,μm)μ=(μ_1,\dotsc,μ_m) of an integer kk and positive integer dd. For each n>kn>k, let χμλχ^λ_μ denote the value of the irreducible character of SnS_n at a permutation with cycle type (μ1,…,μm,1n−k)(μ_1,\dotsc,μ_m,1^{n-k}). We show that the proportion of partitions λλ of nn such that χμλχ^λ_μ is divisible by dd approaches 11 as nn approaches infinity.

preprint2014arXiv

Centre of the Schur Algebra

We describe a basis of the centre of the Schur algebra which comes from conjugacy classes in the symmetric group via Schur-Weyl duality. We give a combinatorial description of expansions of these basis elements in terms of the basis originally used by Schur. The primitive central idempotents of the Schur algebra can be written down using this basis and the character table of the symmetric group. Along the way we prove a result on the non-singularity of the submatrix of the character table matrix of a symmetric group obtained by taking rows and columns indexed by partitions with at most n parts for any n.

preprint2014arXiv

Combinatorics of finite abelian groups and Weil representations

The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.

preprint2014arXiv

Equivalence classes of nodes in trees and rational generating functions

Let cnc_n denote the number of nodes at a distance nn from the root of a rooted tree. A criterion for proving the rationality and computing the rational generating function of the sequence {cn}\{c_n\} is described. This criterion is applied to counting the number of conjugacy classes of commuting tuples in finite groups and the number of isomorphism classes of representations of polynomial algebras over finite fields. The method for computing the rational generating functions, when applied to the study of point configurations in finite sets, gives rise to some classical combinatorial results on Bell numbers and Stirling numbers of the second kind. When applied to the study of vector configurations in a finite vector space, it reveals a connection between counting such configurations and Gaussian binomial coefficients.

preprint2014arXiv

Graphic Interpretation of the Structure Constants of the Schur Algebra

Issai Schur, in his doctoral thesis (1901) introduced the Schur algebra to study the polynomial representation theory of the general linear group. He described a basis of this algebra and structure constants. Later, Miguel Mendez (2001) gave a graph-theoretic description of Schur's basis and computed the structure constants. In this presentation, we will give a new graphic interpretation of the basis of Schur algebra and use it to give a description of the structure constants which is equivalent to the one given by Mendez.

preprint2013arXiv

Orbits of pairs in abelian groups

We compute the number of orbits of pairs in a finitely generated torsion module (more generally, a module of bounded order) over a discrete valuation ring. The answer is found to be a polynomial in the cardinality of the residue field whose coefficients are integers which depend only on the elementary divisors of the module, and not on the ring in question. The coefficients of these polynomials are conjectured to be non-negative integers.

preprint2013arXiv

Similarity of matrices over local rings of length two

Let RR be a local principal ideal ring of length two, for example, the ring R=Z/p2ZR=\Z/p^2\Z with pp prime. In this paper we develop a theory of normal forms for similarity classes in the matrix rings Mn(R)M_n(R) by interpreting them in terms of extensions of R[t]R[t]-modules. Using this theory, we describe the similarity classes in Mn(R)M_n(R) for n≤4n\leq 4, along with their centralizers. Among these, we characterize those classes which are similar to their transposes. Non-self-transpose classes are shown to exist for all n>3n>3. When RR has finite residue field of order qq, we enumerate the similarity classes and the cardinalities of their centralizers as polynomials in qq. Surprisingly, the polynomials representing the number of similarity classes in Mn(R)M_n(R) turn out to have non-negative integer coefficients.

preprint2012arXiv

Degeneration and orbits of tuples and subgroups in an Abelian group

A tuple (or subgroup) in a group is said to degenerate to another if the latter is an endomorphic image of the former. In a countable reduced abelian group, it is shown that if tuples (or finite subgroups) degenerate to each other, then they lie in the same automorphism orbit. The proof is based on techniques that were developed by Kaplansky and Mackey in order to give an elegant proof of Ulm's theorem. Similar results hold for reduced countably generated torsion modules over principal ideal domains. It is shown that the depth and the description of atoms of the resulting poset of orbits of tuples depend only on the Ulm invariants of the module in question (and not on the underlying ring). A complete description of the poset of orbits of elements in terms of the Ulm invariants of the module is given. The relationship between this description of orbits and a very different-looking one obtained by Dutta and Prasad for torsion modules of bounded order is explained.

preprint2010arXiv

Degenerations and orbits in finite abelian groups

A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition λλ, the lattice parametrizing orbits in a finite abelian p-group of type λλ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.

preprint2010arXiv

The Cartan Matrix of a Centraliser Algebra

The centralizer algebra of a matrix consists of those matrices that commute with it. We investigate the basic representation-theoretic invariants of centralizer algebras, namely their radicals, projective indecomposable modules, injective indecomposable modules, simple modules and Cartan matrices. With the help of our Cartan matrix calculations we determine their global dimensions. Many of these algebras are of infinite global dimension.

preprint2009arXiv

Locally compact abelian groups with symplectic self-duality

Is every locally compact abelian group which admits a symplectic self-duality isomorphic to the product of a locally compact abelian group and its Pontryagin dual? Several sufficient conditions, covering all the typical applications are found. Counterexamples are produced by studying a seemingly unrelated question about the structure of maximal isotropic subgroups of finite abelian groups with symplectic self-duality (where the original question always has an affirmative answer).

preprint2009arXiv

On character values and decomposition of the Weil representation associated to a finite abelian group

We develop a simple algebraic approach to the study of the Weil representation associated to a finite abelian group. As a result, we obtain a simple proof of a generalisation of a well-known formula for the absolute value of its character. We also obtain a new result about its decomposition into irreducible representations. As an example, the decomposition of the Weil representation of Sp_{2g}(Z/NZ) is described for odd N.

preprint2008arXiv

On Cuspidal Representations of General Linear Groups over Discrete Valuation Rings

We define a new notion of cuspidality for representations of $\GL_n$ over a finite quotient $\Oh_k$ of the ring of integers $\Oh$ of a non-Archimedean local field FF using geometric and infinitesimal induction functors, which involve automorphism groups GλG_λ of torsion $\Oh$\nobreakdash-modules. When nn is a prime, we show that this notion of cuspidality is equivalent to strong cuspidality, which arises in the construction of supercuspidal representations of $\GL_n(F)$. We show that strongly cuspidal representations share many features of cuspidal representations of finite general linear groups. In the function field case, we show that the construction of the representations of $\GL_n(\Oh_k)$ for k≥2k\geq 2 for all nn is equivalent to the construction of the representations of all the groups GλG_λ. A functional equation for zeta functions for representations of $\GL_n(\Oh_k)$ is established for representations which are not contained in an infinitesimally induced representation. All the cuspidal representations for $\GL_4(\Oh_2)$ are constructed. Not all these representations are strongly cuspidal.

preprint2003arXiv

Reduction theory for a rational function field

Let GG be a split reductive group over a finite field $\Fq$. Let $F=\Fq(t)$ and let $\A$ denote the adèles of FF. We show that every double coset in $G(F)\bsl G(\A)/ K$ has a representative in a maximal split torus of GG. Here KK is the set of integral adèlic points of GG. When GG ranges over general linear groups this is equivalent to the assertion that any algebraic vector bundle over the projective line is isomorphic to a direct sum of line bundles.

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.