Showing 1–50 of 62 results for author: Kannan, S

Representation stability for moduli spaces of admissible covers

Authors: Megan Chang-Lee, Siddarth Kannan, Philip Tosteson

Abstract: We prove a representation stability result for the sequence of spaces $\overline M_{g, n}^A$ of pointed admissible $A$-covers of stable $n$-pointed genus-$g$ curves, for an abelian group $A$. For fixed genus $g$ and homology degree $i$, we give the sequence of rational homology groups $H_i(\overline{M}_{g, n}^A;\mathbb Q)$ the structure of a module over a combinatorial category, a la Sam--Snowden,… ▽ More We prove a representation stability result for the sequence of spaces $\overline M_{g, n}^A$ of pointed admissible $A$-covers of stable $n$-pointed genus-$g$ curves, for an abelian group $A$. For fixed genus $g$ and homology degree $i$, we give the sequence of rational homology groups $H_i(\overline{M}_{g, n}^A;\mathbb Q)$ the structure of a module over a combinatorial category, a la Sam--Snowden, and prove that this module is generated in degree at most $g + 5 i$. This implies that the generating function for the ranks of the homology groups is rational, with poles in the set $\left\{-1, -\frac{1}{2}, \ldots, -\frac{1}{|A|^2\cdot(g + 5i)}\right\}$. In the case where $A$ is the trivial group, our work significantly improves on previous representation stability results on the Deligne--Mumford compactification $\overline M_{g, n}$. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Comments: 26 pages

MSC Class: 14H10; 16G20

Representation Theory of the Twisted Yangians in Complex Rank

Authors: Arun S. Kannan, Shihan Kanungo

Abstract: In 2016, Etingof defined the notion of a Yangian in a symmetric tensor category and posed the problem to study them in the context of Deligne categories. This problem was studied by Kalinov in 2020 for the Yangian $Y(\mathfrak{gl}_t)$ of the general linear Lie algebra $\mathfrak{gl}_t$ in complex rank using the techniques of ultraproducts. In particular, Kalinov classified the simple finite-length… ▽ More In 2016, Etingof defined the notion of a Yangian in a symmetric tensor category and posed the problem to study them in the context of Deligne categories. This problem was studied by Kalinov in 2020 for the Yangian $Y(\mathfrak{gl}_t)$ of the general linear Lie algebra $\mathfrak{gl}_t$ in complex rank using the techniques of ultraproducts. In particular, Kalinov classified the simple finite-length modules over $Y(\mathfrak{gl}_t)$. In this paper, we define the notion of a twisted Yangian in Deligne's categories, and we extend these techniques to classify finite-length simple modules over the twisted Yangians $Y(\mathfrak{o}_t)$ and $Y(\mathfrak{sp}_t)$ of the orthogonal and symplectic Lie algebras $\mathfrak{o}_t,\mathfrak{sp}_t$ in complex rank. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Chow groups of braid matroids and relative maps to $\mathbb{P}^1$

Authors: Siddarth Kannan, Lukas Kühne

Abstract: We provide a modular interpretation for the rational Chow groups of the braid matroid $B_n$, with respect to the maximal building set, in terms of certain moduli spaces of genus zero relative stable maps to $\mathbb{P}^1$. We use this perspective to compute the generating function for the Chow polynomials. We provide a modular interpretation for the rational Chow groups of the braid matroid $B_n$, with respect to the maximal building set, in terms of certain moduli spaces of genus zero relative stable maps to $\mathbb{P}^1$. We use this perspective to compute the generating function for the Chow polynomials. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: 21 pages. Comments are welcome

The $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$

Authors: Siddarth Kannan, Terry Dekun Song

Abstract: We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of… ▽ More We compute the $S_n$-equivariant topological Euler characteristic of the Kontsevich moduli space $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$. Letting $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d) \subset \overline{\mathcal{M}}_{1, n}(¶^r, d)$ denote the subspace of maps from curves without rational tails, we solve for the motive of $\overline{\mathcal{M}}_{1, n}(\mathbb{P}^r, d)$ in terms of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)$ and plethysm with a genus-zero contribution determined by Getzler and Pandharipande. Fixing a generic $\mathbb{C}^\star$-action on $\mathbb{P}^r$, we derive a closed formula for the Euler characteristic of $\overline{\mathcal{M}}_{1, n}^{\mathrm{nrt}}(\mathbb{P}^r, d)^{\mathbb{C}^\star}$ as an $S_n$-equivariant virtual mixed Hodge structure, which leads to our main formula for the Euler characteristic of $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Our approach connects the geometry of torus actions on Kontsevich moduli spaces with symmetric functions in Coxeter types $A$ and $B$, as well as the enumeration of graph colourings with prescribed symmetry. We also prove a structural result about the $S_n$-equivariant Euler characteristic of $\overline{\mathcal{M}}_{g, n}(\mathbb{P}^r, d)$ in arbitrary genus. △ Less

Submitted 16 December, 2024; originally announced December 2024.

The dual complex of $\mathcal{M}_{1,n}(\mathbb{P}^r,d)$ via the geometry of the Vakil--Zinger moduli space

Authors: Siddarth Kannan, Terry Dekun Song

Abstract: We study normal crossings compactifications of the moduli space of maps $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$, for $g = 0$ and $g = 1$. In each case we explicitly determine the dual boundary complex, and prove that it admits a natural interpretation as a moduli space of decorated metric graphs. We prove that the dual complexes are contractible when $r \geq 1$ and $d > g$. When $g = 1$, our result… ▽ More We study normal crossings compactifications of the moduli space of maps $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$, for $g = 0$ and $g = 1$. In each case we explicitly determine the dual boundary complex, and prove that it admits a natural interpretation as a moduli space of decorated metric graphs. We prove that the dual complexes are contractible when $r \geq 1$ and $d > g$. When $g = 1$, our result depends on a new understanding of the connected components of boundary strata in the Vakil--Zinger desingularization and its modular interpretation by Ranganathan--Santos-Parker--Wise. △ Less

Submitted 5 November, 2024; originally announced November 2024.

From Schubert Varieties to Doubly-Spherical Varieties

Authors: Mahir Bilen Can, S. Senthamarai Kannan, Pinakinath Saha

Abstract: Horospherical Schubert varieties are determined. It is shown that the stabilizer of an arbitrary point in a Schubert variety is a strongly solvable algebraic group. The connectedness of this stabilizer subgroup is discussed. Moreover, a new family of spherical varieties, called doubly spherical varieties, is introduced. It is shown that every nearly toric Schubert variety is doubly spherical. Horospherical Schubert varieties are determined. It is shown that the stabilizer of an arbitrary point in a Schubert variety is a strongly solvable algebraic group. The connectedness of this stabilizer subgroup is discussed. Moreover, a new family of spherical varieties, called doubly spherical varieties, is introduced. It is shown that every nearly toric Schubert variety is doubly spherical. △ Less

Submitted 7 September, 2024; originally announced September 2024.

Comments: 22 pages

Mixed Tensor Products, Capelli Berezinians, and Newton's Formula for $\mathfrak{gl}(m|n)$

Authors: Sidarth Erat, Arun S. Kannan, Shihan Kanungo

Abstract: In this paper, we extend the results of Grantcharov and Robitaille in 2021 on mixed tensor products and Capelli determinants to the superalgebra setting. Specifically, we construct a family of superalgebra homomorphisms $\varphi_R : U(\mathfrak{gl}(m+1|n)) \rightarrow \mathcal{D}'(m|n) \otimes U(\mathfrak{gl}(m|n))$ for a certain space of differential operators $\mathcal{D}'(m|n)$ indexed by a cen… ▽ More In this paper, we extend the results of Grantcharov and Robitaille in 2021 on mixed tensor products and Capelli determinants to the superalgebra setting. Specifically, we construct a family of superalgebra homomorphisms $\varphi_R : U(\mathfrak{gl}(m+1|n)) \rightarrow \mathcal{D}'(m|n) \otimes U(\mathfrak{gl}(m|n))$ for a certain space of differential operators $\mathcal{D}'(m|n)$ indexed by a central element $R$ of $\mathcal{D}'(m|n) \otimes U(\mathfrak{gl}(m|n))$. We then use this homomorphism to determine the image of Gelfand generators of the center of $U(\mathfrak{gl}(m+1|n))$. We achieve this by first relating $\varphi_R$ to the corresponding Harish-Chandra homomorphisms and then proving a super-analog of Newton's formula for $\mathfrak{gl}(m)$ relating Capelli generators and Gelfand generators. We also use the homomorphism $\varphi_R$ to obtain representations of $U(\mathfrak{gl}(m+1|n))$ from those of $U(\mathfrak{gl}(m|n))$, and find conditions under which these inflations are simple. Finally, we show that for a distinguished central element $R_1$ in $\mathcal{D}'(m|n)\otimes U(\mathfrak{gl}(m|n))$, the kernel of $\varphi_{R_1}$ is the ideal of $U(\mathfrak{gl}(m+1|n))$ generated by the first Gelfand invariant $G_1$. △ Less

Submitted 24 March, 2025; v1 submitted 4 September, 2024; originally announced September 2024.

Classification of Non-Degenerate Symmetric Bilinear and Quadratic Forms in the Verlinde Category $\mathrm{Ver}_4^+$

Authors: Iz Chen, Arun S. Kannan, Krishna Pothapragada

Abstract: Although Deligne's theorem classifies all symmetric tensor categories (STCs) with moderate growth over algebraically closed fields of characteristic zero, the classification does not extend to positive characteristic. At the forefront of the study of STCs is the search for an analog to Deligne's theorem in positive characteristic, and it has become increasingly apparent that the Verlinde categorie… ▽ More Although Deligne's theorem classifies all symmetric tensor categories (STCs) with moderate growth over algebraically closed fields of characteristic zero, the classification does not extend to positive characteristic. At the forefront of the study of STCs is the search for an analog to Deligne's theorem in positive characteristic, and it has become increasingly apparent that the Verlinde categories are to play a significant role. Moreover, these categories are largely unstudied, but have already shown very interesting phenomena as both a generalization of and a departure from superalgebra and supergeometry. In this paper, we study $\mathrm{Ver}_4^+$, the simplest non-trivial Verlinde category in characteristic $2$. In particular, we classify all isomorphism classes of non-degenerate symmetric bilinear forms and non-degenerate quadratic forms and study the associated Witt semi-ring that arises from the addition and multiplication operations on bilinear forms. △ Less

Submitted 10 June, 2024; originally announced June 2024.

The Steinberg Tensor Product Theorem for General Linear Group Schemes in the Verlinde Category

Authors: Arun S. Kannan

Abstract: The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $λ$ over such a group as the tensor product of Frobenius twists of simple modules with highest weights the weights appearing in a $p$-adic decomposition of $λ$, thereby reducing the character problem to… ▽ More The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $λ$ over such a group as the tensor product of Frobenius twists of simple modules with highest weights the weights appearing in a $p$-adic decomposition of $λ$, thereby reducing the character problem to a a finite collection of weights. In recent years this theorem has been extended to various quasi-reductive supergroup schemes. In this paper, we prove the analogous result for the general linear group scheme $GL(X)$ for any object $X$ in the Verlinde category $\mathrm{Ver}_p$. △ Less

Submitted 11 October, 2024; v1 submitted 3 April, 2024; originally announced April 2024.

From the Albert algebra to Kac's ten-dimensional Jordan superalgebra via tensor categories in characteristic 5

Authors: Alberto Elduque, Pavel Etingof, Arun S. Kannan

Abstract: Kac's ten-dimensional simple Jordan superalgebra over a field of characteristic 5 is obtained from a process of semisimplification, via tensor categories, from the exceptional simple Jordan algebra (or Albert algebra), together with a suitable order 5 automorphism. This explains McCrimmon's 'bizarre result' asserting that, in characteristic 5, Kac's superalgebra is a sort of 'degree 3 Jordan super… ▽ More Kac's ten-dimensional simple Jordan superalgebra over a field of characteristic 5 is obtained from a process of semisimplification, via tensor categories, from the exceptional simple Jordan algebra (or Albert algebra), together with a suitable order 5 automorphism. This explains McCrimmon's 'bizarre result' asserting that, in characteristic 5, Kac's superalgebra is a sort of 'degree 3 Jordan superalgebra'. As an outcome, the exceptional simple Lie superalgebra el(5;5), specific of characteristic 5, is obtained from the simple Lie algebra of type $E_8$ and an order 5 automorphism. In the process, precise recipes to obtain superalgebras from algebras in the category of representations of the cyclic group $C_p$, over a field of characteristic $p>2$, are given. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 22 pages

MSC Class: Primary 17C40; Secondary 17C70; 17B25; 18M15

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions

Authors: Tamas G. Molnar, Suresh K. Kannan, James Cunningham, Kyle Dunlap, Kerianne L. Hobbs, Aaron D. Ames

Abstract: Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, preferably with formal guarantees of safe behavior. This paper establishes the safety-critical control of fixed-wing aircraft in collision avoidance and geofencing tasks. A control framework is developed wherein a run-time a… ▽ More Safety-critical failures often have fatal consequences in aerospace control. Control systems on aircraft, therefore, must ensure the strict satisfaction of safety constraints, preferably with formal guarantees of safe behavior. This paper establishes the safety-critical control of fixed-wing aircraft in collision avoidance and geofencing tasks. A control framework is developed wherein a run-time assurance (RTA) system modulates the nominal flight controller of the aircraft whenever necessary to prevent it from colliding with other aircraft or crossing a boundary (geofence) in space. The RTA is formulated as a safety filter using control barrier functions (CBFs) with formal guarantees of safe behavior. CBFs are constructed and compared for a nonlinear kinematic fixed-wing aircraft model. The proposed CBF-based controllers showcase the capability of safely executing simultaneous collision avoidance and geofencing, as demonstrated by simulations on the kinematic model and a high-fidelity dynamical model. △ Less

Submitted 27 January, 2025; v1 submitted 4 March, 2024; originally announced March 2024.

Comments: Accepted to the IEEE Transactions on Control System Technology. 15 pages, 7 figures

GIT quotient of Schubert varieties modulo one dimensional torus

Authors: Arkadev Ghosh, S. S. Kannan

Abstract: Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{α_{1},\ldots,α_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $λ_{s}$ be the one parameter subgroup of $T$ dual to $α_{s}$. In this paper, we give a criterion… ▽ More Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{α_{1},\ldots,α_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $λ_{s}$ be the one parameter subgroup of $T$ dual to $α_{s}$. In this paper, we give a criterion for Schubert varieties admitting semistable points for the $λ_{s}$-linearized line bundles $\mathcal{L}(χ)$ associated to every dominant character $χ$ of $T$. If $ω_{r}$ is a minuscule fundamental weight and $mω_{r}\in X(T)$, then we prove that there is a unique minimal dimensional Schubert variety $X(w_{s,r})$ in $G/P_{S\setminus\{α_{r}\}}$ such that $X(w_{s,r})^{ss}_{λ_{s}}(\mathcal{L}(mω_{r}))\neq φ$. Further, we prove that if $G=PSL(n,\mathbb{C})$, and $n\nmid rs$, $m=\frac{n}{(rs,n)}$, and $p=\lfloor\frac{rs}{n}\rfloor$ then the GIT quotient of the minimal dimensional Schubert variety $X(w_{s,r})$ is isomorphic to the projective space $\mathbb{P}(M(s-p, r-p))$, where $M(s-p, r-p)$ is the $(s-p)\times (r-p)$-matrices with complex numbers as entries. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: 26 pages

MSC Class: 14M15

Torus quotients of Richardson varieties in $G_{r,qr+1}$

Authors: S. Senthamarai Kannan, Arpita Nayek

Abstract: Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal cose… ▽ More Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$ △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: 23 pages, to appear in Proceedings-Mathematical Sciences

MSC Class: 14M15

On the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$

Authors: Madeline Brandt, Melody Chan, Siddarth Kannan

Abstract: For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which compu… ▽ More For $g\ge 2$ and $n\ge 0$, let $\mathcal{H}_{g,n}\subset \mathcal{M}_{g,n}$ denote the complex moduli stack of $n$-marked smooth hyperelliptic curves of genus $g$. A normal crossings compactification of this space is provided by the theory of pointed admissible $\mathbb{Z}/2\mathbb{Z}$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of $\mathcal{H}_{g, n}$. Using this graph complex, we give a sum-over-graphs formula for the $S_n$-equivariant weight zero compactly supported Euler characteristic of $\mathcal{H}_{g, n}$. This formula allows for the computer-aided calculation, for each $g\le 7$, of the generating function $\mathsf{h}_g$ for these equivariant Euler characteristics for all $n$. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissible $G$-covers of genus zero curves, when $G$ is abelian, as a symmetric $Δ$-complex. We use these complexes to generalize our formula for $\mathsf{h}_g$ to moduli spaces of $n$-pointed smooth abelian covers of genus zero curves. △ Less

Submitted 5 November, 2024; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: Published version

MSC Class: 05E14; 14H10

On the geometry of the anti-canonical bundle of the Bott-Samelson-Demazure-Hansen varieties

Authors: Indranil Biswas, S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a semi-simple simply connected algebraic group over the field $\mathbb{C}$ of complex numbers. Let $T$ be a maximal torus of $G,$ and let $W$ be the Weyl group of $G$ with respect to $T$. Let $Z(w,\, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety corresponding to a tuple $\underline{i}$ associated to a reduced expression of an element $w \,\in\, W.$ We prove that for the t… ▽ More Let $G$ be a semi-simple simply connected algebraic group over the field $\mathbb{C}$ of complex numbers. Let $T$ be a maximal torus of $G,$ and let $W$ be the Weyl group of $G$ with respect to $T$. Let $Z(w,\, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety corresponding to a tuple $\underline{i}$ associated to a reduced expression of an element $w \,\in\, W.$ We prove that for the tuple $\underline{i}$ associated to any reduced expression of a minuscule Weyl group element $w,$ the anti-canonical line bundle on $Z(w,\,\underline{i})$ is globally generated. As consequence, we prove that $Z(w,\,\underline{i})$ is weak Fano. Assume that $G$ is a simple algebraic group whose type is different from $A_2.$ Let $S\,=\,\{α_{1},\,\cdots,\,α_{n}\}$ be the set of simple roots. Let $w$ be such that support of $w$ is equal to $S.$ We prove that $Z(w,\,\underline{i})$ is Fano for the tuple $\underline{i}$ associated to any reduced expression of $w$ if and only if $w$ is a Coxeter element and $w^{-1}(\sum_{t=1}^{n}α_{t})\,\in\, -S$. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Final version

Minimal Parabolic subgroups and Automorphism groups of Schubert varieties-II

Authors: S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $α$ is a co-minuscule root if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_α$ of… ▽ More Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $α$ is a co-minuscule root if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_α$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$ △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: To appear in J. Ramanujan Math. Soc., pages 27. arXiv admin note: text overlap with arXiv:2209.09748

MSC Class: 14M15; 14M17

Minimal parabolic subgroups and automorphism groups of Schubert varieties

Authors: S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a simple simply-laced algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $ω_α$ is a minuscule fundamental weight if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parab… ▽ More Let $G$ be a simple simply-laced algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $ω_α$ is a minuscule fundamental weight if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_α$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$ △ Less

Submitted 26 September, 2022; v1 submitted 20 September, 2022; originally announced September 2022.

Comments: To appear in Journal of Lie Theory, 28 pages, some minor labeling changes are done without changing mathematical contents

MSC Class: 14M15; 14M17

Equivariant Hodge polynomials of heavy/light moduli spaces

Authors: Siddarth Kannan, Stefano Serpente, Claudia He Yun

Abstract: Let $\bar{\mathcal{M}}_{g, m|n}$ denote Hassett's moduli space of weighted pointed stable curves of genus $g$ for the heavy/light weight data $\left(1^{(m)}, 1/n^{(n)}\right)$, and let $\mathcal{M}_{g, m|n} \subset \bar{\mathcal{M}}_{g, m|n}$ be the locus parameterizing smooth, not necessarily distinctly marked curves. We give a change-of-variables formula which computes the generating function fo… ▽ More Let $\bar{\mathcal{M}}_{g, m|n}$ denote Hassett's moduli space of weighted pointed stable curves of genus $g$ for the heavy/light weight data $\left(1^{(m)}, 1/n^{(n)}\right)$, and let $\mathcal{M}_{g, m|n} \subset \bar{\mathcal{M}}_{g, m|n}$ be the locus parameterizing smooth, not necessarily distinctly marked curves. We give a change-of-variables formula which computes the generating function for $(S_m\times S_n)$-equivariant Hodge-Deligne polynomials of these spaces in terms of the generating functions for $S_{n}$-equivariant Hodge-Deligne polynomials of $\bar{\mathcal{M}}_{g,n}$ and $\mathcal{M}_{g,n}$. △ Less

Submitted 22 April, 2024; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 21 pages, 3 tables. Edits based on referee suggestions

MSC Class: 14H10

Representation Stability and Finite Orthogonal Groups

Authors: Zifan Wang, Arun S. Kannan

Abstract: In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the category of $\mathbf{OrI}(R)$-modules. This implies an asymptotic structure theorem for orthogonal groups. In addition, we show general homological stability theorems… ▽ More In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the category of $\mathbf{OrI}(R)$-modules. This implies an asymptotic structure theorem for orthogonal groups. In addition, we show general homological stability theorems for orthogonal groups, with both untwisted and twisted coefficients, partially generalizing a result of Charney (1987). △ Less

Submitted 20 February, 2022; originally announced February 2022.

Comments: 21 pages, 0 figures

MSC Class: 16P40; 18A25; 18Gxx; 20J05

Moduli of relative stable maps to $\mathbb{P}^1$: cut-and-paste invariants

Authors: Siddarth Kannan

Abstract: We study constructible invariants of the moduli space $\overline{\mathcal{M}}(\boldsymbol{x})$ of stable maps from genus zero curves to $\mathbb{P}^1$, relative to $0$ and $\infty$, with ramification profiles specified by ${\boldsymbol{x}\in \mathbb{Z}^n}$. These spaces are central to the enumerative geometry of $\mathbb{P}^1$, and provide a large family of birational models of the Deligne--Mumfor… ▽ More We study constructible invariants of the moduli space $\overline{\mathcal{M}}(\boldsymbol{x})$ of stable maps from genus zero curves to $\mathbb{P}^1$, relative to $0$ and $\infty$, with ramification profiles specified by ${\boldsymbol{x}\in \mathbb{Z}^n}$. These spaces are central to the enumerative geometry of $\mathbb{P}^1$, and provide a large family of birational models of the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal{M}}_{0,n}$. For the sequence of vectors $\boldsymbol{x}$ corresponding to maps which are maximally ramified over $0$ and unramified over $\infty$, we prove that a generating function for the topological Euler characteristics of these spaces satisfies a differential equation which allows for its recursive calculation. We also show that the class of the moduli space in the Grothendieck ring of varieties is constant as $\boldsymbol{x}$ varies within a fixed chamber in the resonance decomposition of $\mathbb{Z}^n$. We conclude by suggesting several further directions in the study of these spaces, giving conjectures on (1) the asymptotic behavior of the Euler characteristic and (2) a potential chamber structure for the Chern numbers. △ Less

Submitted 7 March, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

Comments: 21 pages, 4 figures. v2: corrected and expanded section 2

On the Seshadri constants of equivariant bundles over Bott-Samelson varieties and wonderful compactifications

Authors: Indranil Biswas, Krishna Hanumanthu, S. Senthamarai Kannan

Abstract: We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constan… ▽ More We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus. △ Less

Submitted 22 March, 2023; v1 submitted 12 January, 2022; originally announced January 2022.

Comments: 15 pages; final version; to appear in manuscripta mathematica

MSC Class: 14C20

Stable Centres II: Finite Classical Groups

Authors: Arun S. Kannan, Christopher Ryba

Abstract: Farahat and Higman constructed an algebra $\mathrm{FH}$ interpolating the centres of symmetric group algebras $Z(\mathbb{Z}S_n)$ by proving that the structure constants in these rings are "polynomial in $n$". Inspired by a construction of $\mathrm{FH}$ due to Ivanov and Kerov, we prove for $G_n = GL_n, U_n, Sp_{2n}, O_n$, that the structure constants of $Z(\mathbb{Z}G_n(\mathbb{F}_q))$ are "polyno… ▽ More Farahat and Higman constructed an algebra $\mathrm{FH}$ interpolating the centres of symmetric group algebras $Z(\mathbb{Z}S_n)$ by proving that the structure constants in these rings are "polynomial in $n$". Inspired by a construction of $\mathrm{FH}$ due to Ivanov and Kerov, we prove for $G_n = GL_n, U_n, Sp_{2n}, O_n$, that the structure constants of $Z(\mathbb{Z}G_n(\mathbb{F}_q))$ are "polynomial in $q^n$", allowing us to construct an equivalent of the Farahat-Higman algebra in each case. △ Less

Submitted 2 December, 2021; originally announced December 2021.

Comments: 38 pages

New Constructions of Exceptional Simple Lie Superalgebras with Integer Cartan Matrix in Characteristics 3 and 5 via Tensor Categories

Authors: Arun S. Kannan

Abstract: Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let… ▽ More Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbfα_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is the semisimplification of the representation category $\mathrm{Rep} \ \mathbfα_p$, and $\mathrm{Ver}_p$ contains the category of super vector spaces as a full subcategory. Each exceptional Lie superalgebra we construct is realized as the image of an exceptional Lie algebra equipped with a nilpotent derivation of order at most $p$ under the semisimplification functor from $\mathrm{Rep} \ \mathbfα_p$ to $\mathrm{Ver}_p$. △ Less

Submitted 16 May, 2022; v1 submitted 12 August, 2021; originally announced August 2021.

Torus quotients of Schubert varieties in the Grassmannian $G_{2,n}$

Authors: S. Senthamarai Kannan, Arpita Nayek, Pinakinath Saha

Abstract: Let $G=SL(n, \mathbb{C}),$ and $T$ be a maximal torus of $G,$ where $n$ is a positive even integer. In this article, we study the GIT quotients of the Schubert varieties in the Grassmannian $G_{2,n}.$ We prove that the GIT quotients of the Richardson varieties in the minimal dimensional Schubert variety admitting stable points in $G_{2,n}$ are projective spaces. Further, we prove that the GIT quot… ▽ More Let $G=SL(n, \mathbb{C}),$ and $T$ be a maximal torus of $G,$ where $n$ is a positive even integer. In this article, we study the GIT quotients of the Schubert varieties in the Grassmannian $G_{2,n}.$ We prove that the GIT quotients of the Richardson varieties in the minimal dimensional Schubert variety admitting stable points in $G_{2,n}$ are projective spaces. Further, we prove that the GIT quotients of certain Richardson varieties in $G_{2,n}$ are projective toric varieties. Also, we prove that the GIT quotients of the Schubert varieties in $G_{2,n}$ have at most finite set of singular points. Further, we have computed the exact number of singular points of the GIT quotient of $G_{2,n}.$ △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 24 pages

MSC Class: 14M15

Journal ref: Indian Journal of Pure and Applied Mathematics (2021)

Lectures on Symmetric Tensor Categories

Authors: Pavel Etingof, Arun S. Kannan

Abstract: This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature. This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature. △ Less

Submitted 10 November, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 34 pages, latex; v2 discusses results of the new paper [CEO], and derives stronger corollaries in the appendix

Automorphisms of tropical Hassett spaces

Authors: Sam Freedman, Joseph Hlavinka, Siddarth Kannan

Abstract: Given an integer $g \geq 0$ and a weight vector $w \in \mathbb{Q}^n \cap (0, 1]^n$ satisfying $2g - 2 + \sum w_i > 0$, let $Δ_{g, w}$ denote the moduli space of $n$-marked, $w$-stable tropical curves of genus $g$ and volume one. We calculate the automorphism group $\mathrm{Aut}(Δ_{g, w})$ for $g \geq 1$ and arbitrary $w$, and we calculate the group $\mathrm{Aut}(Δ_{0, w})$ when $w$ is heavy/light.… ▽ More Given an integer $g \geq 0$ and a weight vector $w \in \mathbb{Q}^n \cap (0, 1]^n$ satisfying $2g - 2 + \sum w_i > 0$, let $Δ_{g, w}$ denote the moduli space of $n$-marked, $w$-stable tropical curves of genus $g$ and volume one. We calculate the automorphism group $\mathrm{Aut}(Δ_{g, w})$ for $g \geq 1$ and arbitrary $w$, and we calculate the group $\mathrm{Aut}(Δ_{0, w})$ when $w$ is heavy/light. In both of these cases, we show that $\mathrm{Aut}(Δ_{g, w}) \cong \mathrm{Aut}(K_w)$, where $K_w$ is the abstract simplicial complex on $\{1, \ldots, n\}$ whose faces are subsets with $w$-weight at most $1$. We show that these groups are precisely the finite direct products of symmetric groups. The space $Δ_{g, w}$ may also be identified with the dual complex of the divisor of singular curves in the algebraic Hassett space $\overline{\mathcal{M}}_{g, w}$. Following the work of Massarenti and Mella on the biregular automorphism group $\mathrm{Aut}(\overline{\mathcal{M}}_{g, w})$, we show that $\mathrm{Aut}(Δ_{g, w})$ is naturally identified with the subgroup of automorphisms which preserve the divisor of singular curves. △ Less

Submitted 24 February, 2021; originally announced February 2021.

Comments: 10 figures, comments welcome

MSC Class: 14T05

Journal ref: Port. Math. 79 (2022), no. 1/2, pp. 163-197

Topology of tropical moduli spaces of weighted stable curves in higher genus

Authors: Siddarth Kannan, Shiyue Li, Stefano Serpente, Claudia He Yun

Abstract: Given integers $g \geq 0$, $n \geq 1$, and a vector $w \in (\mathbb{Q} \cap (0, 1])^n$ such that ${2g - 2 + \sum w_i > 0}$, we study the topology of the moduli space $Δ_{g, w}$ of $w$-stable tropical curves of genus $g$ with volume 1. The space $Δ_{g, w}$ is the dual complex of the divisor of singular curves in Hassett's moduli space of $w$-stable genus $g$ curves $\overline{\mathcal{M}}_{g, w}$.… ▽ More Given integers $g \geq 0$, $n \geq 1$, and a vector $w \in (\mathbb{Q} \cap (0, 1])^n$ such that ${2g - 2 + \sum w_i > 0}$, we study the topology of the moduli space $Δ_{g, w}$ of $w$-stable tropical curves of genus $g$ with volume 1. The space $Δ_{g, w}$ is the dual complex of the divisor of singular curves in Hassett's moduli space of $w$-stable genus $g$ curves $\overline{\mathcal{M}}_{g, w}$. When $g \geq 1$, we show that $Δ_{g, w}$ is simply connected for all values of $w$. We also give a formula for the Euler characteristic of $Δ_{g, w}$ in terms of the combinatorics of $w$. △ Less

Submitted 15 March, 2022; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: 14 pages; 1 figure; final version accepted at Advances in Geometry

MSC Class: 14T05

Perigee: Efficient Peer-to-Peer Network Design for Blockchains

Authors: Yifan Mao, Soubhik Deb, Shaileshh Bojja Venkatakrishnan, Sreeram Kannan, Kannan Srinivasan

Abstract: A key performance metric in blockchains is the latency between when a transaction is broadcast and when it is confirmed (the so-called, confirmation latency). While improvements in consensus techniques can lead to lower confirmation latency, a fundamental lower bound on confirmation latency is the propagation latency of messages through the underlying peer-to-peer (p2p) network (inBitcoin, the pro… ▽ More A key performance metric in blockchains is the latency between when a transaction is broadcast and when it is confirmed (the so-called, confirmation latency). While improvements in consensus techniques can lead to lower confirmation latency, a fundamental lower bound on confirmation latency is the propagation latency of messages through the underlying peer-to-peer (p2p) network (inBitcoin, the propagation latency is several tens of seconds). The de facto p2p protocol used by Bitcoin and other blockchains is based on random connectivity: each node connects to a random subset of nodes. The induced p2p network topology can be highly suboptimal since it neglects geographical distance, differences in bandwidth, hash-power and computational abilities across peers. We present Perigee, a decentralized algorithm that automatically learns an efficient p2p topology tuned to the aforementioned network heterogeneities, purely based on peers' interactions with their neighbors. Motivated by the literature on the multi-armed bandit problem, Perigee optimally balances the tradeoff between retaining connections to known well-connected neighbors, and exploring new connections to previously-unseen neighbors. Experimental evaluations show that Perigee reduces the latency to broadcast by $33\%$. Lastly Perigee is simple, computationally lightweight, adversary-resistant, and compatible with the selfish interests of peers, making it an attractive p2p protocol for blockchains. △ Less

Submitted 25 June, 2020; originally announced June 2020.

Comments: Accepted at ACM PODC 2020

Characters for Projective Modules in the BGG Category $\mathcal{O}$ for the Orthosymplectic Lie Superalgebra $\mathfrak{osp}(3|4)$

Authors: Arun S. Kannan, Honglin Zhu

Abstract: We determine the Verma multiplicities of standard filtrations of projective modules for integral atypical blocks in the BGG category $\mathcal{O}$ for the orthosymplectic Lie superalgebras $\mathfrak{osp}(3|4)$ by way of translation functors. We then explicitly determine the composition factor multiplicities of Verma modules using BGG reciprocity. We determine the Verma multiplicities of standard filtrations of projective modules for integral atypical blocks in the BGG category $\mathcal{O}$ for the orthosymplectic Lie superalgebras $\mathfrak{osp}(3|4)$ by way of translation functors. We then explicitly determine the composition factor multiplicities of Verma modules using BGG reciprocity. △ Less

Submitted 20 November, 2020; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: arXiv admin note: text overlap with arXiv:1810.13050

Symmetries of tropical moduli spaces of curves

Authors: Siddarth Kannan

Abstract: We compute the automorphism group $\mathrm{Aut}(Δ_{g, n})$ for all $g, n \geq 0$ such that $3g - 3 + n > 0$, where $Δ_{g, n} \subset M_{g, n}^\mathrm{trop}$ is the moduli space of stable $n$-marked tropical curves of genus $g$ and volume one. In particular, we show that $\mathrm{Aut}(Δ_{g})$ is trivial for $g \geq 2$, while $\mathrm{Aut}(Δ_{g, n}) \cong S_n$ when $n \geq 1$ and… ▽ More We compute the automorphism group $\mathrm{Aut}(Δ_{g, n})$ for all $g, n \geq 0$ such that $3g - 3 + n > 0$, where $Δ_{g, n} \subset M_{g, n}^\mathrm{trop}$ is the moduli space of stable $n$-marked tropical curves of genus $g$ and volume one. In particular, we show that $\mathrm{Aut}(Δ_{g})$ is trivial for $g \geq 2$, while $\mathrm{Aut}(Δ_{g, n}) \cong S_n$ when $n \geq 1$ and $(g, n) \neq (0, 4), (1, 2)$. The space $Δ_{g, n}$ is a symmetric $Δ$-complex in the sense of Chan, Galatius, and Payne, and is identified with the dual intersection complex of the boundary divisor in the Deligne-Mumford-Knudsen moduli space $\overline{\mathcal{M}}_{g, n}$ of stable curves. After the work of Massarenti, who has shown that $\mathrm{Aut}(\overline{\mathcal{M}}_g)$ is trivial for $g \geq 2$ while $\mathrm{Aut}(\overline{\mathcal{M}}_{g, n}) \cong S_n$ when $n \geq 1$ and $2g - 2 + n \geq 3$, our result implies that the tropical moduli space $Δ_{g, n}$ faithfully reflects the symmetries of the algebraic moduli space for general $g$ and $n$. △ Less

Submitted 24 February, 2021; v1 submitted 22 April, 2020; originally announced April 2020.

Comments: accepted version; 38 pages, 17 figures

Smooth torus quotients of Schubert varieties in the Grassmannian

Authors: Sarjick Bakshi, S. Senthamarai Kannan, K. Venkata Subrahmanyam

Abstract: Let $r < n$ be positive integers and further suppose $r$ and $n$ are coprime. We study the GIT quotient of Schubert varieties $X(w)$ in the Grassmannian $G_{r,n}$, admitting semistable points for the action of $T$ with respect to the $T$-linearized line bundle ${\cal L}(nω_r)$. We give necessary and sufficient combinatorial conditions for the GIT quotient… ▽ More Let $r < n$ be positive integers and further suppose $r$ and $n$ are coprime. We study the GIT quotient of Schubert varieties $X(w)$ in the Grassmannian $G_{r,n}$, admitting semistable points for the action of $T$ with respect to the $T$-linearized line bundle ${\cal L}(nω_r)$. We give necessary and sufficient combinatorial conditions for the GIT quotient $T\backslash\mkern-6mu\backslash X(w)^{ss}_{T}({\cal L}(nω_r))$ to be smooth. △ Less

Submitted 20 December, 2019; v1 submitted 18 December, 2019; originally announced December 2019.

Chow Rings of Heavy/Light Hassett Spaces via Tropical Geometry

Authors: Siddarth Kannan, Dagan Karp, Shiyue Li

Abstract: We compute the Chow ring of an arbitrary heavy/light Hassett space $\bar{M}_{0, w}$. These spaces are moduli spaces of weighted pointed stable rational curves, where the associated weight vector $w$ consists of only heavy and light weights. Work of Cavalieri et al. exhibits these spaces as tropical compactifications of hyperplane arrangement complements. The computation of the Chow ring then reduc… ▽ More We compute the Chow ring of an arbitrary heavy/light Hassett space $\bar{M}_{0, w}$. These spaces are moduli spaces of weighted pointed stable rational curves, where the associated weight vector $w$ consists of only heavy and light weights. Work of Cavalieri et al. exhibits these spaces as tropical compactifications of hyperplane arrangement complements. The computation of the Chow ring then reduces to intersection theory on the toric variety of the Bergman fan of a graphic matroid. Keel has calculated the Chow ring $A^*(\bar{M}_{0, n})$ of the moduli space $\bar{M}_{0, n}$ of stable nodal $n$-marked rational curves; his presentation is in terms of divisor classes of stable trees of $\mathbb{P}^1$'s having one nodal singularity. Our presentation of the ideal of relations for the Chow ring $A^*(\bar{M}_{0, w})$ is analogous. We show that pulling back under Hassett's birational reduction morphism $ρ_w: \bar{M}_{0, n} \to \bar{M}_{0, w}$ identifies the Chow ring $A^*(\bar{M}_{0, w})$ with the subring of $A^*(\bar{M}_{0, n})$ generated by divisors of $w$-stable trees, which are those trees which remain stable in $\bar{M}_{0, w}$. △ Less

Submitted 6 October, 2020; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: 16 pages; version accepted to Journal of Combinatorial Theory, Series A; comments welcome

Some combinatorial aspects of generalised Bott-Samelson varieties

Authors: Michel Brion, S. Senthamarai Kannan

Abstract: We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties. We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties. △ Less

Submitted 14 October, 2019; originally announced October 2019.

Comments: 22 pages

MSC Class: 14L30; 14M15; 17B22

Minimal rational curves on generalized Bott-Samelson varieties

Authors: Michel Brion, S. Senthamarai Kannan

Abstract: We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties. We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties. △ Less

Submitted 29 September, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: Minor corrections and additions. Accepted for publication at Compositio Mathematica

MSC Class: 14C05; 14M15; 14L30; 20G05

Counting the Number of Non-Equivalent Classes of Fuzzy Matrices Using Combinatorial Techniques

Authors: S. R. Kannan, Rajesh Kumar Mohapatra

Abstract: The novelty of this paper is to construct the explicit combinatorial formula for the number of all distinct fuzzy matrices of finite order, which leads us to invent a new sequence. In order to achieve this new sequence, we analyze the behavioral study of equivalence classes on the set of all fuzzy matrices of a given order under a suitable natural equivalence relation. In addition this paper chara… ▽ More The novelty of this paper is to construct the explicit combinatorial formula for the number of all distinct fuzzy matrices of finite order, which leads us to invent a new sequence. In order to achieve this new sequence, we analyze the behavioral study of equivalence classes on the set of all fuzzy matrices of a given order under a suitable natural equivalence relation. In addition this paper characterizes the properties of non-equivalent classes of fuzzy matrices of order n with elements having degrees of membership values anywhere in the closed unit interval [0,1]. Further, this paper also derives some important relevant results by enumerating the number of all distinct fuzzy matrices of a given order in general. And also, we achieve these results by incorporating the notion of k-level fuzzy matrices, chains, and flags (maximal chains). Keywords: Fuzzy matrices; k-level fuzzy matrices; Chains; Flags; Binomial numbers △ Less

Submitted 26 September, 2019; originally announced September 2019.

Comments: 16 pages, 2 figures, 2 tables

Report number: 1909.13678

Rigidity of Bott-Samelson-Demazure-Hansen variety for $PSO(2n+1, \mathbb{C})$

Authors: S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G=PSO(2n+1, \mathbb{C}) (n \ge 3)$ and $B$ be the Borel subgroup of $G$ containing maximal torus $T$ of $G.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of… ▽ More Let $G=PSO(2n+1, \mathbb{C}) (n \ge 3)$ and $B$ be the Borel subgroup of $G$ containing maximal torus $T$ of $G.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that all the higher cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i})$ vanish (see Theorem \ref{theorem 8.1}). △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 35 pages. arXiv admin note: substantial text overlap with arXiv:1610.00812, arXiv:1908.05595

MSC Class: 14M15

Journal ref: Journal of Lie Theory 29 (2019) 107-142

Rigidity of Bott-Samelson-Demazure-Hansen variety for $F_4$ and $G_2$

Authors: S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a simple algebraic group of adjoint type over $\mathbb{C},$ whose root system is of type $F_{4}.$ Let $T$ be a maximal torus of $G$ and $B$ be a Borel subgroup of $G$ containing $T.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingu… ▽ More Let $G$ be a simple algebraic group of adjoint type over $\mathbb{C},$ whose root system is of type $F_{4}.$ Let $T$ be a maximal torus of $G$ and $B$ be a Borel subgroup of $G$ containing $T.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced expressions of $w_{0}$ in terms of a Coxeter element such that $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.1). Further, if $G$ is of type $G_{2},$ there is no reduced expression $\underline{i}$ of $w_{0}$ for which $Z(w_{0}, \underline{i})$ is rigid (see Theorem 8.2). △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 46 pages. arXiv admin note: text overlap with arXiv:1610.00812, arXiv:1908.05605

MSC Class: 14M15

Journal ref: Proceedings - Mathematical Sciences volume 130, Article number: 19 (2020)

Parabolic subgroups and Automorphism groups of Schubert varieties

Authors: S. Senthamarai Kannan, Pinakinath Saha

Abstract: Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. In this article we show that given any parabolic subgroup $P$ of $G$ containing $B$ properly, there is an element… ▽ More Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. In this article we show that given any parabolic subgroup $P$ of $G$ containing $B$ properly, there is an element $w\in W$ such that $P$ is the connected component, containing the identity element of the group of all algebraic automorphisms of $X(w).$ △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 10 pages

MSC Class: 14M15

Journal ref: Comptes Rendus Mathematique, Volume 356, Issue 5, May 2018, Pages 542-549

Torus quotients of Richardson varieties in the Grassmannian

Authors: Sarjick Bakshi, S. Senthamarai Kannan, K. Venkata Subrahmanyam

Abstract: We study the GIT quotient of the minimal Schubert variety in the Grassmannian admitting semistable points for the action of maximal torus $T$, with respect to the $T$-linearized line bundle ${\cal L}(n ω_r)$ and show that this is smooth when $gcd(r,n)=1$. When $n=7$ and $r=3$ we study the GIT quotients of all Richardson varieties in the minimal Schubert variety. This builds on previous work by Kum… ▽ More We study the GIT quotient of the minimal Schubert variety in the Grassmannian admitting semistable points for the action of maximal torus $T$, with respect to the $T$-linearized line bundle ${\cal L}(n ω_r)$ and show that this is smooth when $gcd(r,n)=1$. When $n=7$ and $r=3$ we study the GIT quotients of all Richardson varieties in the minimal Schubert variety. This builds on previous work by Kumar \cite{kumar2008descent}, Kannan and Sardar \cite{kannan2009torusA}, Kannan and Pattanayak \cite{kannan2009torusB}, and recent work of Kannan et al \cite{kannan2018torus}. It is known that the GIT quotient of $G_{2,n}$ is projectively normal. We give a different combinatorial proof. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Characters for Projective Modules in the BGG Category O for General Linear Lie Superalgebras

Authors: Arun S. Kannan

Abstract: We determine the Verma multiplicities and the characters of projective modules for atypical blocks in the BGG Category O for the general linear Lie superalgebras $\frak{gl}(2|2)$ and $\frak{gl}(3|1)$. We then explicitly determine the composition factor multiplcities of Verma modules in the atypicality 2 block of $\frak{gl}(2|2)$. We determine the Verma multiplicities and the characters of projective modules for atypical blocks in the BGG Category O for the general linear Lie superalgebras $\frak{gl}(2|2)$ and $\frak{gl}(3|1)$. We then explicitly determine the composition factor multiplcities of Verma modules in the atypicality 2 block of $\frak{gl}(2|2)$. △ Less

Submitted 30 October, 2018; originally announced October 2018.

The full automorphism group of $\overline{T}$

Authors: Indranil Biswas, Subramaniam Senthamarai Kannan, Donihakalu Shankar Nagaraj

Abstract: Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ of adjoint type defined over $\mathbb C.$ Let ${\overline T}\subset \overline G$ be the closure of a maximal torus $T\subset G.$ We prove that the group of all automorphisms of the variety $\overline T$ is the semi-direct product $N_G(T)\rtimes D,$ where $N_G(T)$ is the normalizer of $T$ in $G$ and $D$ is th… ▽ More Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ of adjoint type defined over $\mathbb C.$ Let ${\overline T}\subset \overline G$ be the closure of a maximal torus $T\subset G.$ We prove that the group of all automorphisms of the variety $\overline T$ is the semi-direct product $N_G(T)\rtimes D,$ where $N_G(T)$ is the normalizer of $T$ in $G$ and $D$ is the group of all automorphisms of the Dynkin diagram, if $G\not= {\rm PSL}(2,\mathbb{C})$. Note that if $G = {\rm PSL}(2,\mathbb{C})$, then $\overline{T} = {\mathbb C}{\mathbb P}^1$ and so in this case $\text{Aut}(\overline T)= {\rm PSL}(2,\mathbb{C})$. △ Less

Submitted 27 February, 2017; originally announced February 2017.

Comments: Final version

MSC Class: 14L10; 14L30

Rigidity of Bott-Samelson-Demazure-Hansen variety for $PSp(2n, \mathbb C)$

Authors: B. Narasimha Chary, S. Senthamarai Kannan

Abstract: Let $G=PSp(2n, \mathbb C)(n\geq 3)$ and $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$. Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline i$ of $w$.… ▽ More Let $G=PSp(2n, \mathbb C)(n\geq 3)$ and $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$. Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline i$ of $w$. In this article, we study the cohomology groups of the tangent bundle on $Z(w_0, \underline i)$, where $w_0$ is the longest element of the Weyl group $W$. We describe all the reduced expressions $\underline i$ of $w_0$ in terms of a Coxeter element such that all the higher cohomology groups of the tangent bundle on $Z(w_0, \underline i)$ vanish. △ Less

Submitted 3 October, 2016; originally announced October 2016.

Comments: 37 pages

MSC Class: 14F17; 14M15

Journal ref: Journal of Lie Theory 27 (2017), 435-468

Automorphism group of a Bott-Samelson-Demazure-Hansen variety

Authors: B. Narasimha Chary, S. Senthamarai Kannan, A. J. Parameswaran

Abstract: Let $G$ be a simple, adjoint, algebraic group over the field of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$, $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of the Schubert variety $X(w)$) corresponding to a… ▽ More Let $G$ be a simple, adjoint, algebraic group over the field of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$, $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of the Schubert variety $X(w)$) corresponding to a reduced expression $\underline i$ of $w$. In this article, we compute the connected component $Aut^0(Z(w, \underline i))$ of the automorphism group of $Z(w,\underline i)$ containing the identity automorphism. We show that $Aut^0(Z(w, \underline i))$ contains a closed subgroup isomorphic to $B$ if and only if $w^{-1}(α_0)<0$, where $α_0$ is the highest root. If $w_0$ denotes the longest element of $W$, then we prove that $Aut^0(Z(w_0, \underline i))$ is a parabolic subgroup of $G$. It is also shown that this parabolic subgroup depends very much on the chosen reduced expression $\underline i$ of $w_0$ and we describe all parabolic subgroups of $G$ that occur as $Aut^0(Z(w_0, \underline i))$. If $G$ is simply laced, then we show that for every $w\in W$ and for every reduced expression $\underline i$ of $w$, $ Aut^0(Z(w, \underline i))$ is a quotient of the parabolic subgroup $Aut^0(Z(w_0, \underline j))$ of $G$ for a suitable choice of a reduced expression $\underline j$ of $w_0$. We also prove that the Bott-Samelson-Demazure-Hansen varieties are rigid for simply laced groups and their deformations are unobstructed in general. △ Less

Submitted 5 August, 2015; originally announced August 2015.

Comments: 34 pages, to appear in Transformation Groups

Journal ref: Transformation Groups 20 (2015), no.5, 665-698

Automorphisms of $\overline{T}$

Authors: Indranil Biswas, S. Senthamarai Kannan, D. S. Nagaraj

Abstract: Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ defined over $\mathbb C$ such that its center is trivial and $G\not= {\rm PSL}(2,\mathbb{C})$. Take a maximal torus $T \subset G$, and denote by $\overline T$ its closure in $\overline G$. We prove that $T$ coincides with the connected component, containing the identity element, of the group of automorphisms… ▽ More Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ defined over $\mathbb C$ such that its center is trivial and $G\not= {\rm PSL}(2,\mathbb{C})$. Take a maximal torus $T \subset G$, and denote by $\overline T$ its closure in $\overline G$. We prove that $T$ coincides with the connected component, containing the identity element, of the group of automorphisms of the variety $\overline T$. △ Less

Submitted 30 June, 2015; originally announced June 2015.

Comments: Final version

MSC Class: 14L10; 14L30

Exploitation of Heterogeneity in Distributed Sensing

Authors: John Daniel Peterson, Tansel Yucelen, Girish Chowdhary, Suresh Kannan

Abstract: Most distributed sensing methods assume that the expected value of sensed information is same for all agents ignoring differences in sensor capabilities due to, for example, environmental factors and sensors quality and condition. In this paper, we present a distributed sensing framework to exploit heterogeneity in information provided about a dynamic environment using an active-passive networked… ▽ More Most distributed sensing methods assume that the expected value of sensed information is same for all agents ignoring differences in sensor capabilities due to, for example, environmental factors and sensors quality and condition. In this paper, we present a distributed sensing framework to exploit heterogeneity in information provided about a dynamic environment using an active-passive networked multiagent systems approach. Specifically, this approach consists of agents subject to exogenous inputs (active agents) and agents without any inputs (passive agents). In addition, if an active agent senses a quantity accurately (resp., not accurately), then it is weighted high (resp., low) in the network such that these weights can be a function of time due to varying environmental factors. The key feature of our approach is that the states of all agents converge to an adjustable neighborhood of the weighted average of the sensed exogenous inputs by the active agents. △ Less

Submitted 18 February, 2015; originally announced February 2015.

Comments: acc 2015 conference version

On a smooth compactification of PSL(n, C)/T

Authors: Indranil Biswas, S. Senthamarai Kannan, D. S. Nagaraj

Abstract: Let $T$ be a maximal torus of ${\rm PSL}(n, \mathbb C)$. For $n\,\geq\, 4$, we construct a smooth compactification of ${\rm PSL}(n, \mathbb C)/T$ as a geometric invariant theoretic quotient of the wonderful compactification $\overline{{\rm PSL}(n, \mathbb C)}$ for a suitable choice of $T$--linearized ample line bundle on $\overline{{\rm PSL}(n, \mathbb C)}$. We also prove that the connected compon… ▽ More Let $T$ be a maximal torus of ${\rm PSL}(n, \mathbb C)$. For $n\,\geq\, 4$, we construct a smooth compactification of ${\rm PSL}(n, \mathbb C)/T$ as a geometric invariant theoretic quotient of the wonderful compactification $\overline{{\rm PSL}(n, \mathbb C)}$ for a suitable choice of $T$--linearized ample line bundle on $\overline{{\rm PSL}(n, \mathbb C)}$. We also prove that the connected component, containing the identity element, of the automorphism group of this compactification of ${\rm PSL}(n, \mathbb C)/T$ is ${\rm PSL}(n, \mathbb C)$ itself. △ Less

Submitted 16 January, 2015; originally announced January 2015.

MSC Class: 14F17

Journal ref: Kyoto J. Math. 56, no. 1 (2016), 165-175

On equivariant principal bundles over wonderful compactifications

Authors: Indranil Biswas, S. Senthamarai Kannan, D. S. Nagaraj

Abstract: Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity c… ▽ More Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$ (respectively, $\text{PSL}(2n,{\mathbb C})$, $n \geq 2$) by the normalizer of the projective orthogonal group (respectively, the projective symplectic group), we prove that the tangent bundle is stable with respect to any polarization on the wonderful compactification. △ Less

Submitted 11 January, 2015; originally announced January 2015.

MSC Class: 32Q26; 14M27; 14M17

Equivariant vector bundles on complete symmetric varieties of minimal rank

Authors: Indranil Biswas, S. Senthamarai Kannan, D. S. Nagaraj

Abstract: Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restrict… ▽ More Let $X$ be the wonderful compactification of a complex symmetric space $G/H$ of minimal rank. For a point $x\,\in\, G$, denote by $Z$ be the closure of $BxH/H$ in $X$, where $B$ is a Borel subgroup of $G$. The universal cover of $G$ is denoted by $\widetilde{G}$. Given a $\widetilde{G}$ equivariant vector bundle $E$ on $X,$ we prove that $E$ is nef (respectively, ample) if and only if its restriction to $Z$ is nef (respectively, ample). Similarly, $E$ is trivial if and only if its restriction to $Z$ is so. △ Less

Submitted 11 January, 2015; originally announced January 2015.

MSC Class: 14F17

On the automorphism of a smooth Schubert variety

Authors: S. Senthamarai Kannan

Abstract: Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers. Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$. Let $w$ be an element of the Weyl group $W$ and let $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $α_{0}$ denote the highest root of $G$ with respect to $T$ and $B.$ Let $P$ be the stabiliser of $X(w)$ in… ▽ More Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers. Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$. Let $w$ be an element of the Weyl group $W$ and let $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $α_{0}$ denote the highest root of $G$ with respect to $T$ and $B.$ Let $P$ be the stabiliser of $X(w)$ in $G.$ In this paper, we prove that if $G$ is simply laced and $X(w)$ is smooth, then the connected component of the automorphism group of $X(w)$ containing the identity automorphism equals $P$ if and only if $w^{-1}(α_{0})$ is a negative root ( see Theorem 4.2 ). We prove a partial result in the non simply laced case ( see Theorem 6.6 ). △ Less

Submitted 18 December, 2015; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: 23 Pages. Sections are divided in to 6

MSC Class: 14M15

Stability of the tangent bundle of the wonderful compactification of an adjoint group

Authors: Indranil Biswas, S. Senthamarai Kannan

Abstract: Let $G$ be a complex linear algebraic group which is simple of adjoint type. Let $\overline G$ be the wonderful compactification of $G$. We prove that the tangent bundle of $\overline G$ is stable with respect to every polarization on $\overline G$. Let $G$ be a complex linear algebraic group which is simple of adjoint type. Let $\overline G$ be the wonderful compactification of $G$. We prove that the tangent bundle of $\overline G$ is stable with respect to every polarization on $\overline G$. △ Less

Submitted 29 October, 2013; originally announced October 2013.

Comments: Final version; to appear in Documenta Mathematica

MSC Class: 32Q26; 14M27; 14M17