Showing 1–9 of 9 results for author: Ganapathy, K

Ideal-theoretic non-noetherianity of polynomial functors in positive characteristic

Authors: Karthik Ganapathy

Abstract: A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem negatively over fields of positive characteristic using ideas from invariant theory. Specifically, we consider the algebra $P$ of polarizations of elementary symmetric… ▽ More A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem negatively over fields of positive characteristic using ideas from invariant theory. Specifically, we consider the algebra $P$ of polarizations of elementary symmetric polynomials inside the ring of all multisymmetric polynomials in $p \times \infty$ variables. We show $P$ is not noetherian based on two key facts: (1) the $p$-th power of every multisymmetric polynomial is in $P$ (our main technical result) and (2) the ring of multisymmetric polynomials is Frobenius split. △ Less

Submitted 18 June, 2025; originally announced June 2025.

Comments: 8 pages, comments welcome!

MSC Class: 13A50 (Primary) 13A35; 05E05; 18A25 (Secondary)

Tensor invariants of finite and classical groups

Authors: Karthik Ganapathy

Abstract: Given a faithful representation $W$ of a finite group $G$, we classify when the invariant subring of the tensor algebra $T(W)$ is noetherian/finitely generated as a twisted commutative algebra (tca). For a representation $W$ of a classical group $G_{\mathbb{Z}}$, we show that the invariant subring $T(W_k)^{G_k}$ is a finitely generated tca for $k$ algebraically closed of sufficiently large charact… ▽ More Given a faithful representation $W$ of a finite group $G$, we classify when the invariant subring of the tensor algebra $T(W)$ is noetherian/finitely generated as a twisted commutative algebra (tca). For a representation $W$ of a classical group $G_{\mathbb{Z}}$, we show that the invariant subring $T(W_k)^{G_k}$ is a finitely generated tca for $k$ algebraically closed of sufficiently large characteristics, assuming $W$ admits a good filtration over $\mathbb{Z}$. Finally, we introduce a categorical variant of the Gelfand--Kirillov dimension and compute its value to be $\binom{n+1}{2}$ for $T(\mathbb{C}^n)$ as a tca. △ Less

Submitted 23 February, 2025; originally announced February 2025.

Comments: 10 pages, no figures; comments welcome

MSC Class: 16W22 (Primary); 13A50; 16P90; 05E05

Non-noetherian GL-algebras in characteristic two

Authors: Karthik Ganapathy

Abstract: Over fields of characteristic two, we construct an infinite ascending chain of GL-stable ideals in the coordinate ring of infinite skew-symmetric matrices. This construction provides the first known example of a non-noetherian GL-algebra, thereby resolving a long-standing open question in the area. Our results build on the work of Draisma, Krasilnikov, and Krone. Over fields of characteristic two, we construct an infinite ascending chain of GL-stable ideals in the coordinate ring of infinite skew-symmetric matrices. This construction provides the first known example of a non-noetherian GL-algebra, thereby resolving a long-standing open question in the area. Our results build on the work of Draisma, Krasilnikov, and Krone. △ Less

Submitted 14 August, 2024; v1 submitted 8 August, 2024; originally announced August 2024.

Comments: v2: added Theorem 1.4 and related results; 6 pages, many tikz diagrams

MSC Class: 13A50; 05E40 (Primary) 13E99; 14M12 (Secondary)

Resolutions of symmetric ideals via stratifications of derived categories

Authors: Karthik Ganapathy

Abstract: We propose a method to unify various stability results about symmetric ideals in polynomial rings by stratifying related derived categories. We execute this idea for chains of $GL_n$-equivariant modules over an infinite field $k$ of positive characteristic. We prove the Le--Nagel--Nguyen--Römer conjectures for such sequences and obtain stability patterns in their resolutions as corollaries of our… ▽ More We propose a method to unify various stability results about symmetric ideals in polynomial rings by stratifying related derived categories. We execute this idea for chains of $GL_n$-equivariant modules over an infinite field $k$ of positive characteristic. We prove the Le--Nagel--Nguyen--Römer conjectures for such sequences and obtain stability patterns in their resolutions as corollaries of our main result, which is a semiorthogonal decomposition for the bounded derived category of $GL_{\infty}$-equivariant modules over $S = k[x_1, x_2, \ldots, x_n, \ldots]$. Our method relies on finite generation results for certain local cohomology modules. We also outline approaches (i) to investigate Koszul duality for $S$-modules taking the Frobenius homomorphism (of $GL_{\infty}$) into account, and (ii) to recover and extend Murai's results about free resolutions of symmetric monomial ideals. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Comments: 15 pages; 2 figures. Comments welcome!

MSC Class: 13A50; 13D02; 13D45; 18G80

GL-algebras in positive characteristic II: the polynomial ring

Authors: Karthik Ganapathy

Abstract: We study GL-equivariant modules over the infinite variable polynomial ring $S = k[x_1, x_2, ..., x_n, ...]$ with $k$ an infinite field of characteristic $p > 0$. We extend many of Sam--Snowden's far-reaching results from characteristic zero to this setting. For example, while the Castelnuovo--Mumford regularity of a finitely generated GL-equivariant $S$-module need not be finite in positive charac… ▽ More We study GL-equivariant modules over the infinite variable polynomial ring $S = k[x_1, x_2, ..., x_n, ...]$ with $k$ an infinite field of characteristic $p > 0$. We extend many of Sam--Snowden's far-reaching results from characteristic zero to this setting. For example, while the Castelnuovo--Mumford regularity of a finitely generated GL-equivariant $S$-module need not be finite in positive characteristic, we show that the resolution still has finitely many "linear strands of higher slope". The crux of this paper is two technical results. The first is an extension to positive characteristic of Snowden's recent linearization of Draisma's embedding theorem which we use to study the generic category of $S$-modules. The second is a Nagpal-type "shift theorem" about torsion $S$-modules for which we introduce certain categorifications of the Hasse derivative. These two results together allow us to obtain explicit generators for the derived category. In a follow-up paper, we also use these results to prove finiteness results for local cohomology modules. △ Less

Submitted 18 July, 2024; originally announced July 2024.

Comments: 36 pages, 1 figure; Comments welcome!

MSC Class: 13A50; 13C05; 13D02; 13D07 (Primary); 18G80; 20C20 (Secondary)

Self-Tuning Network Control Architectures

Authors: Tyler Summers, Karthik Ganapathy, Iman Shames, Mathias Hudoba de Badyn

Abstract: We formulate a general mathematical framework for self-tuning network control architecture design. This problem involves jointly adapting the locations of active sensors and actuators in the network and the feedback control policy to all available information about the time-varying network state and dynamics to optimize a performance criterion. We propose a general solution structure analogous to… ▽ More We formulate a general mathematical framework for self-tuning network control architecture design. This problem involves jointly adapting the locations of active sensors and actuators in the network and the feedback control policy to all available information about the time-varying network state and dynamics to optimize a performance criterion. We propose a general solution structure analogous to the classical self-tuning regulator from adaptive control. We show that a special case with full-state feedback can be solved in principle with dynamic programming, and in the linear quadratic setting the optimal cost functions and policies are piecewise quadratic and piecewise linear, respectively. For large networks where exhaustive architecture search is prohibitive, we describe a greedy heuristic for joint architecture-policy design. We demonstrate in numerical experiments that self-tuning architectures can provide dramatically improved performance over fixed architectures. Our general formulation provides an extremely rich and challenging problem space with opportunities to apply a wide variety of approximation methods from stochastic control, system identification, reinforcement learning, and static architecture design. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 6 pages, 5 figures

Journal ref: 61st Conference on Decision and Control, pp 5876-5881, 2022

GL-algebras in positive characteristic I: the exterior algebra

Authors: Karthik Ganapathy

Abstract: We study the category of GL-equivariant modules over the infinite exterior algebra in positive characteristic. Our main structural result is a shift theorem a la Nagpal. Using this, we obtain a Church--Ellenberg type bound for the Castelnuovo--Mumford regularity. We also prove finiteness results for local cohomology. We study the category of GL-equivariant modules over the infinite exterior algebra in positive characteristic. Our main structural result is a shift theorem a la Nagpal. Using this, we obtain a Church--Ellenberg type bound for the Castelnuovo--Mumford regularity. We also prove finiteness results for local cohomology. △ Less

Submitted 5 July, 2024; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: 27 pages; change in title and other minor improvements

MSC Class: 13A50; 13C05 (Primary) 13D02; 15A75; 20G15 (Secondary)

Journal ref: Sel. Math. New Ser. 30, 63 (2024)

Stillman's question for twisted commutative algebras

Authors: Karthik Ganapathy

Abstract: Let $\mathbf{A}_{n, m}$ be the polynomial ring $\text{Sym}(\mathbf{C}^n \otimes \mathbf{C}^m)$ with the natural action of $\mathbf{GL}_m(\mathbf{C})$. We construct a family of $\mathbf{GL}_m(\mathbf{C})$-stable ideals $J_{n, m}$ in $\mathbf{A}_{n, m}$, each equivariantly generated by one homogeneous polynomial of degree $2$. Using the Ananyan-Hochster principle, we show that the regularity of this… ▽ More Let $\mathbf{A}_{n, m}$ be the polynomial ring $\text{Sym}(\mathbf{C}^n \otimes \mathbf{C}^m)$ with the natural action of $\mathbf{GL}_m(\mathbf{C})$. We construct a family of $\mathbf{GL}_m(\mathbf{C})$-stable ideals $J_{n, m}$ in $\mathbf{A}_{n, m}$, each equivariantly generated by one homogeneous polynomial of degree $2$. Using the Ananyan-Hochster principle, we show that the regularity of this family is unbounded. This negatively answers a question raised by Erman-Sam-Snowden on a generalization of Stillman's conjecture. △ Less

Submitted 19 August, 2020; v1 submitted 6 July, 2020; originally announced July 2020.

Comments: 4 pages; added funding information and minor edits

MSC Class: 13D02; 13A50

Journal ref: J. Commut. Algebra 14 (3) 315 - 318, Fall 2022

A Tight Bound for the Lamplighter Problem

Authors: Murali K. Ganapathy, Prasad Tetali

Abstract: We settle an open problem, raised by Y. Peres and D. Revelle, concerning the $L^2$ mixing time of the random walk on the lamplighter graph. We also provide general bounds relating the entropy decay of a Markov chain to the separation distance of the chain, and show that the lamplighter graphs once again provide examples of tightness of our results. We settle an open problem, raised by Y. Peres and D. Revelle, concerning the $L^2$ mixing time of the random walk on the lamplighter graph. We also provide general bounds relating the entropy decay of a Markov chain to the separation distance of the chain, and show that the lamplighter graphs once again provide examples of tightness of our results. △ Less

Submitted 10 October, 2006; originally announced October 2006.

Comments: 12 Pages

MSC Class: 60J10 (Primary) ; 60J27; 68W20 (Secondary)