A symplectic version of Suslin's $n!$-theorem

Tariq Syed

2024-05-02

Abstract:We prove symplectic versions of Suslin's famous $n!$-theorem for algebras over quadratically closed perfect fields of characteristic $\neq 2$ and for algebras over finite fields of characteristic $\neq 2$.

Algebraic Geometry,Commutative Algebra,K-Theory and Homology

What problem does this paper attempt to address?

A note on Suslin matrices and Clifford algebras

Tariq Syed

2024-05-16

Abstract:We give a conceptual explanation for the somewhat mysterious origin of Suslin matrices. This enables us to generalize the construction of Suslin matrices and to give more conceptual proofs of some well-known results.

Commutative Algebra,K-Theory and Homology
A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$

Benjamin Brück,Peter Patzt,Robin J. Sroka

2023-06-06

Abstract:Borel-Serre proved that the integral symplectic group $\operatorname{Sp}_{2n}(\mathbb{Z})$ is a virtual duality group of dimension $n^2$ and that the symplectic Steinberg module $\operatorname{St}^\omega_n(\mathbb{Q})$ is its dualising module. This module is the top-dimensional homology of the Tits building associated to $\operatorname{Sp}_{2n}(\mathbb{Q})$. We find a presentation of this Steinberg module and use it to show that the codimension-1 rational cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$ vanishes for $n \geq 2$, $H^{n^2 -1}(\operatorname{Sp}_{2n}(\mathbb{Z});\mathbb{Q}) \cong 0$. Equivalently, the rational cohomology of the moduli stack $\mathcal{A}_n$ of principally polarised abelian varieties of dimension $2n$ vanishes in the same degree. Our findings suggest a vanishing pattern for high-dimensional cohomology in degree $n^2-i$, similar to the one conjectured by Church-Farb-Putman for special linear groups.

Algebraic Topology,Algebraic Geometry,Group Theory,Geometric Topology,Number Theory
Symmetry of quasitriangular structures on some Hopf algebras

Naihong Hu,Gongxiang Liu,Kun Zhou

DOI: https://doi.org/10.21203/rs.3.rs-2694318/v1

2023-01-01

Abstract:Abstract Let H be a Hopf algebra. The concept of symmetry of a quasitriangu-lar structure on H is introduced and some properties of a symmetric quasitriangular structure are characterized. We apply this to study quasitriangular structures on small quantum groups and abelian extensions. In particular, the quasitriangular structures on uq(sl2) (if they exist) are proved to be symmetric and all quasi-triangular structures on K(8n, σ, τ), which is a generalization of the well-known 8-dimensional Kac algebra, are determined. 2010 Mathematics Subject Classification. 16T05, 16T25, 17B37.
Symplectic singularities arising from algebras of symmetric tensors

Baohua Fu,Jie Liu

2024-09-11

Abstract:The algebra of symmetric tensors $S(X):= H^0(X, \sf{S}^{\bullet} T_X)$ of a projective manifold $X$ leads to a natural dominant affinization morphism $$ \varphi_X: T^*X \longrightarrow \mathcal{Z}_X:= \text{Spec} S(X). $$ It is shown that $\varphi_X$ is birational if and only if $T_X$ is big. We prove that if $\varphi_X$ is birational, then $\mathcal{Z}_X$ is a symplectic variety endowed with the Schouten--Nijenhuis bracket if and only if $\mathbb{P} T_X$ is of Fano type, which is the case for smooth projective toric varieties, smooth horospherical varieties with small boundary and the quintic del Pezzo threefold. These give examples of a distinguished class of conical symplectic varieties, which we call symplectic orbifold cones.

Algebraic Geometry
Quadratic symplectic Lie superalgebras over filiform modules

Elisabete Barreiro,Saïd Benayadi,Rosa M. Navarro,José M. Sánchez

DOI: https://doi.org/10.1063/5.0142935

2024-01-24

Abstract:The present work studies deeply quadratic symplectic Lie superalgebras, obtaining, in particular, that they are all nilpotent. Consequently, we provide classifications in low dimensions and identify the double extensions that maintain symplectic structures. By means of both elementary odd double extensions and generalized double extensions of quadratic symplectic Lie superalgebras, we obtain an inductive description of quadratic symplectic Lie superalgebras of filiform type.

Representation Theory
Symmetries and vanishing theorems for symplectic varieties

Benjamin Tighe

2024-10-10

Abstract:We describe the local and Steenbrink vanishing problems for singular symplectic varieties with isolated singularities. We do this by constructing a morphism $$\mathbb D_X(\underline \Omega_X^{n+p}) \to \underline \Omega_X^{n+p}$$ for a symplectic variety $X$ of dimension $2n$ for $\frac{1}{2}\mathrm{codim}_X(X_{\mathrm{sing}}) < p$, where $\underline \Omega_X^k$ is the $k^{th}$-graded piece of the Du Bois complex and $\mathbb D_X$ is the Grothendieck duality functor. We show this morphism is a quasi-isomorphism when $p = n-1$ and that this symmetry descends to the Hodge filtration on the intersection Hodge module. As applications, we describe the higher Du Bois and higher rational properties for symplectic germs and the cohomology of primitive symplectic 4-folds.

Algebraic Geometry
A Frobenius-Schur theorem for Hopf algebras

Vitaly Linchenko,Susan Montgomery

DOI: https://doi.org/10.48550/arXiv.math/0004097

2000-04-15

Abstract:In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.

Representation Theory,Rings and Algebras
Family Floer SYZ conjecture for $A_n$ singularity

Hang Yuan

2023-09-05

Abstract:We resolve a mathematically precise SYZ conjecture for $A_n$ singularity by building a quantum-corrected T-duality between two singular torus fibrations related to the Kahler geometry of the $A_n$-smoothing and the Berkovich geometry of the $A_n$-resolution, respectively. Our approach involves heavy computations that embody a non-archimedean version of the partition of unity, and it confirms the strategy that patching verified local singularity models brings global SYZ conjecture solutions (like K3 surfaces) within reach. There is also remarkably explicit extra evidence concerning the collision of singular fibers and braid group actions. On one hand, we address the central challenge of matching SYZ singular loci identified by Joyce. In reality, we construct not merely an isolated SYZ mirror fibration partner, but a parameter-dependent one that always keeps the matching singular loci plus integral affine structure, even when the collision of singular fibers occurs. On the other hand, our SYZ result surprisingly displays a visible tie, regardless of the parameter choice, between the $(A_n)$-configuration of Lagrangian spheres occurred as vanishing cycles in the $A_n$-smoothing and the exceptional locus of rational $(-2)$-curves in the $A_n$-resolution. It closely aligns with the celebrated works of Khovanov, Seidel, and Thomas from around 20 years ago in a somewhat distant subject, providing geometric evidence for the family Floer functor approach explored by Abouzaid and Fukaya. Intriguingly, these discoveries use certain explicit realizations by order statistics.

Algebraic Geometry,Mathematical Physics,Differential Geometry,Representation Theory,Symplectic Geometry
Products of involutions in symplectic groups over general fields (I)

Clément de Seguins Pazzis

2023-09-05

Abstract:Let $s$ be an $n$-dimensional symplectic form over an arbitrary field with characteristic not $2$, with $n>2$. The simplicity of the group $\mathrm{Sp}(s)/\{\pm \mathrm{id}\}$ and the existence of a non-trivial involution in $\mathrm{Sp}(s)$ yield that every element of $\mathrm{Sp}(s)$ is a product of involutions. Extending and improving recent results of Awa, de La Cruz, Ellers and Villa with the help of a completely new method, we prove that if the underlying field is infinite, every element of $\mathrm{Sp}(s)$ is the product of four involutions if $n$ is a multiple of $4$, and of five involutions otherwise. The first part of this result is shown to be optimal for all multiples of $4$ and all fields, and is shown to fail for the fields with three elements and for $n=4$. Whether the second part of the result is optimal remains an open question. Finite fields will be tackled in a subsequent article.

Rings and Algebras,Group Theory
Infinite free resolutions over numerical semigroup algebras via specialization

Tara Gomes,Christopher O'Neill,Aleksandra Sobieska,Eduardo Torres Dávila

2024-05-03

Abstract:Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this work, we prove that the structure of the infinite free resolution of the ground field $\Bbbk$ over the semigroup algebra $\Bbbk[S]$ also respects this stratification, yielding a new combinatorial approach to classifying homological properties like Golodness and rationality of the poincare series in this setting. Additionally, we give a complete classification of such resolutions in the special case $m = 4$, and demonstrate that the associated graded algebras do not generally respect the same stratification.

Commutative Algebra
Symplectic tableaux and quantum symmetric pairs

Hideya Watanabe

2023-08-03

Abstract:We provide a new branching rule from the general linear group $GL_{2n}(\mathbb{C})$ to the symplectic group $Sp_{2n}(\mathbb{C})$ by establishing a simple algorithm which gives rise to a bijection from the set of semistandard tableaux of a fixed shape to a disjoint union of several copies of sets of symplectic tableaux of various shapes. The algorithm arises from representation theory of a quantum symmetric pair of type $A\mathrm{II}_{2n-1}$, which is a $q$-analogue of the classical symmetric pair $(\mathfrak{gl}_{2n}(\mathbb{C}), \mathfrak{sp}_{2n}(\mathbb{C}))$.

Representation Theory,Combinatorics,Quantum Algebra
Symplectic orbits of unimodular rows

Tariq Syed

2024-02-10

Abstract:For a smooth affine algebra $R$ of dimension $d \geq 3$ over a field $k$ and an invertible alternating matrix $\chi$ of rank $2n$, the group $Sp(\chi)$ of invertible matrices of rank $2n$ over $R$ which are symplectic with respect to $\chi$ acts on the right on the set $Um_{2n}(R)$ of unimodular rows of length $2n$ over $R$. In this paper, we prove that $Sp(\chi)$ acts transitively on $Um_{2n}(R)$ if $k$ is algebraically closed, $d! \in k^{\times}$ and $2n \geq d$.

Algebraic Geometry,K-Theory and Homology
Symmetry and parity in Frobenius action on cohomology

Junecue Suh

2024-10-02

Abstract:We prove that the Newton polygons of Frobenius on the crystalline cohomology of proper smooth varieties satisfy a symmetry that results, in the case of projective smooth varieties, from Poincaré duality and the hard Lefschetz theorem. As a corollary, we deduce that the Betti numbers in odd degrees of any proper smooth variety over a field are even (a consequence of Hodge symmetry in characteristic zero), answering an old question of Serre. Then we give a generalization and a refinement for arbitrary varieties over finite fields, in response to later questions of Serre and of Katz.

Algebraic Geometry,Number Theory
On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

Ziquan Yang

DOI: https://doi.org/10.48550/arXiv.1911.05653

2020-12-10

Abstract:We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.

Algebraic Geometry
On a symplectic quantum Howe duality

Elijah Bodish,Daniel Tubbenhauer

2023-03-08

Abstract:We prove a nonsemisimple quantum version of Howe's duality with the rank 2n symplectic and the rank 2 special linear group acting on the exterior algebra of type C. We also discuss the first steps towards the symplectic analog of harmonic analysis on quantum spheres, give character formulas for various fundamental modules, and construct canonical bases of the exterior algebra.

Representation Theory,Quantum Algebra,Rings and Algebras
Sharp Existence, Symmetry and Asymptotics Results for the Singular $SU(3)$ Toda System with Critical Parameters

Zhijie Chen,Chang-Shou Lin

DOI: https://doi.org/10.4310/jdg/1721071493

2024-01-01

Journal of Differential Geometry

Abstract:We study the singular SU (3) Toda system on a torus ( u + 2eu ev = 4nffi0 v + 2ev eu = 4n2ffi0 on E := C=(Z + Z); where ffi0 is the Dirac measure at 0 and n; n2 2 N. For the noncritical case 3 - (n2) where solutions always exists by [Battaglia et al. Adv. Math. 2015], we proved recently in [Chen-Lin, J. Differ. Geom. 2023] that the number of solutions is at most (n + 1)(n2 + 1)(n + n2 + 2)=6. This paper is the first one to study the critical case n2 = n + 3l with l 2 N, for which the apriori estimates do not hold and the (non-)existence of solutions has been a longstanding problem. We show that (i) When n; l are both odd, the Toda system has no even solutions. (ii) When n is odd and l is even, the Toda system always has even solutions, and each even solution belongs to a unique 2parametric family of even solutions (u;; v;), where ; > 0 can be arbitrary. Moreover, if 2 iR>0, i.e. E is a rectangular torus, then the number of 2-parametric families of even solutions is exactly n+1 2 and all these even solutions are axisymmetric. The asymptotics of (u;; v;) as ; ! 0; +1 are also studied. The case that n is even is quite different and the existence of even solutions depends on the geometry of the torus E. As applications, we obtain sharp existence and non-existence results for the SU (3) Toda system with four singular sources in the plane.
Noetherianity of some degree two twisted skew-commutative algebras

Rohit Nagpal,Steven V Sam,Andrew Snowden

DOI: https://doi.org/10.1007/s00029-019-0461-3

2020-11-12

Abstract:A major open problem in the theory of twisted commutative algebras (tca's) is proving noetherianity of finitely generated tca's. For bounded tca's this is easy, in the unbounded case, noetherianity is only known for Sym(Sym^2(C^\infty)) and Sym(\wedge^2(C^\infty)). In this paper, we establish noetherianity for the skew-commutative versions of these two algebras, namely \wedge(Sym^2(C^\infty)) and \wedge(\wedge^2(C^\infty)). The result depends on work of Serganova on the representation theory of the infinite periplectic Lie superalgebra, and has found application in the work of Miller-Wilson on "secondary representation stability" in the cohomology of configuration spaces.

Representation Theory,Commutative Algebra
A Determinantal Formula for Orthosymplectic Schur Functions

Nishu Kumari

DOI: https://doi.org/10.1007/s00026-024-00718-x

2024-09-29

Annals of Combinatorics

Abstract:We prove a new determinantal formula for the characters of irreducible representations of orthosymplectic Lie superalgebras analogous to the formula developed by Moens and Jeugt (J Algebraic Combin 17(3):283–307, 2003) for general linear Lie superalgebras. Our proof uses the Jacobi–Trudi type formulas for orthosymplectic characters. As a consequence, we show that the odd symplectic characters introduced by Proctor (Invent Math 92(2):307–332, 1988) are the same as the orthosymplectic characters with some specialized indeterminates. We also give a generalization of an odd symplectic character identity due to Brent, Krattenthaler and Warnaar (J Combin Theory Ser A 144:80–138, 2016).

mathematics, applied
The Representations of the Coordinate Ring of the Quantum Symplectic Space

HC Zhang

DOI: https://doi.org/10.1016/s0022-4049(99)00023-7

IF: 0.834

2000-01-01

Journal of Pure and Applied Algebra

Abstract:In this paper, the irreducible representations of the coordinate ring Oq(spC2n) of quantum symplectic space are classified. Especially, the De Concini–Kac–Procesi conjecture is proved to be true for this algebra. The main steps are the computation of the center and the degree of the algebra Oq(spC2n) by using the associated quasipolynomial algebra Oq(spC2n), find some “good” points in the underlying symplectic leaves and construct some quasipolynomial algebras correspond to these “good” points.
On solvable complete symplectic Lie algebras

M. Benyoussef,M. W. Mansouri,SM. Sbai

2024-06-28

Abstract:In this paper, we are interested in solvable complete Lie algebras, over the field $\K=\R$ or $\mathbb{C}$, which admit a symplectic structure. Specifically, important classes are studied, and a description of complete Lie Algebra with the dimension of nilradical less or equal than six, which supported symplectic structure is given.

Differential Geometry

A symplectic version of Suslin's $n!$-theorem

A note on Suslin matrices and Clifford algebras

A presentation of symplectic Steinberg modules and cohomology of $\operatorname{Sp}_{2n}(\mathbb{Z})$

Symmetry of quasitriangular structures on some Hopf algebras

Symplectic singularities arising from algebras of symmetric tensors

Quadratic symplectic Lie superalgebras over filiform modules

Symmetries and vanishing theorems for symplectic varieties

A Frobenius-Schur theorem for Hopf algebras

Family Floer SYZ conjecture for $A_n$ singularity

Products of involutions in symplectic groups over general fields (I)

Infinite free resolutions over numerical semigroup algebras via specialization

Symplectic tableaux and quantum symmetric pairs

Symplectic orbits of unimodular rows

Symmetry and parity in Frobenius action on cohomology

On Irreducible Symplectic Varieties of $\mathrm{K3}^{[n]}$-type in Positive Characteristic

On a symplectic quantum Howe duality

Sharp Existence, Symmetry and Asymptotics Results for the Singular $SU(3)$ Toda System with Critical Parameters

Noetherianity of some degree two twisted skew-commutative algebras

A Determinantal Formula for Orthosymplectic Schur Functions

The Representations of the Coordinate Ring of the Quantum Symplectic Space

On solvable complete symplectic Lie algebras