Related papers: Symplectic right keys -- Type C Willis' direct way

We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also…

We characterize right $4$-Nakayama artin algebras which appear naturally in the study of representation-finite artin algebras. For a right $4$-Nakayama artin algebra $\Lambda$, we classify all finitely generated indecomposable right…

In this paper we show how the stochastic quantization method developed by Parisi and Wu can be used to obtain Casimir forces. Both quantum and thermal fluctuations are taken into account by a Langevin equation for the field. The method…

We propose a decoding algorithm for a class of convolutional codes called skew BCH convolutional codes. These are convolutional codes of designed Hamming distance endowed with a cyclic structure yielding a left ideal of a non-commutative…

We verify the inductive McKay condition for simple groups of Lie type C, namely finite projective symplectic groups. This contributes to the program of a complete proof of the McKay conjecture for all finite groups via the reduction theorem…

We prove that for any known Lie algebra $\frak{g}$ having none invariants for the coadjoint representation, the absence of invariants is equivalent to the existence of a left invariant exact symplectic structure on the corresponding Lie…

Hammers are tools that provide general purpose automation for formal proof assistants. Despite the gaining popularity of the more advanced versions of type theory, there are no hammers for such systems. We present an extension of the…

Let $L$ be a $4$th order differential operator with coefficients in $\mathbb{K}(z)$, with $\mathbb{K}$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental…

We study "cominuscule tableau combinatorics" by generalizing constructions of M. Haiman, S. Fomin and M.-P. Sch\"utzenberger. In particular, we extend the dual equivalence ideas of [Haiman, 1992] to reformulate the generalized…

We present some corollaries to a symplectic primed shifted tableaux version of Tokuyama's identity expressed in terms of other combinatorial constructs, namely generalised $U$-turn alternating sign matrices and strict symplectic…

We propose magnetic quivers for the complex-symplectic contraction spaces, which are related to implosions and have a natural interpretation in terms of the Moore-Tachikawa category. We use 3-d mirrors to provide computational checks.

In this paper we study the category of finitely generated modules over a right $3$-Nakayama artin algebra. First we give a characterization of right $3$-Nakayama artin algebras and then we give a complete list of non-isomorphic finitely…

The Hamiltonian reduction $\mathcal N///T$ of the nilpotent cone in $\mathfrak{sl}_n$ by the torus of diagonal matrices is a Nakajima quiver variety which admits a symplectic resolution $\widetilde{\mathcal N///T}$, and the corresponding…

Some new relations on skew Schur function differences are established both combinatorially using Sch\"utzenberger's jeu de taquin, and algebraically using Jacobi-Trudi determinants. These relations lead to the conclusion that certain…

We present several large classes of real Banach Lie-Poisson spaces whose characteristic distributions are integrable, the integral manifolds being symplectic leaves just as in finite dimensions. We also investigate when these leaves are…

We exhibit a natural Lie algebra structure on the graded space of cyclic coinvariants of a symplectic vector space.

We consider the master Lagrangian of Deser and Jackiw, interpolating between the self-dual and the Maxwell-Chern-Simons Lagrangian, and quantize it following the symplectic approach, as well as the traditional Dirac scheme. We demonstrate…

In a previous work, we proved that an important part of the Calculus of Inductive Constructions (CIC), the basis of the Coq proof assistant, can be seen as a Calculus of Algebraic Constructions (CAC), an extension of the Calculus of…

In this paper we show a method for computing the set of twists of a non-singular projective curve defined over an arbitrary (perfect) field $k$. The method is based on a correspondence between twists and solutions to a Galois embedding…

We study variants of Hikita conjecture for Nakajima quiver varieties and corresponding Coulomb branches. First, we derive the equivariant version of the conjecture from the non-equivariant one for a set of gauge theories. Second, we suggest…