3 citations · 3 across the 4 of their papers we have counts for
4 papers
Cohomology of Flag Superschemes and Syzygies of Compositional Varieties
Abhik Pal
We study the coherent cohomology of partial flag supervarieties and calculate the sheaf cohomology of the structure sheaves of four new infinite families of flag supervarieties. We…
Syzygies of Isotropic Kalman Varieties
Suhas Vadan Gondi, Sarah Kumar, Abhik Pal
Let be a subspace of a complex vector space and fix . The (type A) Kalman variety consists of all endomorphisms of that have an -dimensional invarian…
Lie Superalgebras and Generalized Kazhdan-Lusztig Polynomials
Abhik Pal
We present `liesuperalg` a SageMath package for representation-theoretic calculations involving Lie superalgebras in Type A. Our package introduces functionality to calculate invar…
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
Jonas Bayer, Marco David, Abhik Pal +1
How difficult are interactive theorem provers to use? We respond by reviewing the formalization of Hilbert's tenth problem in Isabelle/HOL carried out by an undergraduate research…