Related papers: Visualization for Petrov's Odd Unitary Group
A mock Seifert matrix is an integral square matrix representing the Gordon-Litherland form of a pair $(K,F)$, where $K$ is a knot in a thickened surface and $F$ is an unoriented spanning surface for $K$. Using these matrices, we introduce a…
Let $K$ be an imaginary quadratic field and $E/\mathbb{Q}$ an elliptic curves with complex multiplication by $\mathcal{O}_K$. Let $K_\infty/K$ be the anticyclotomic $\mathbb{Z}_p$-extension of $K$ and $K_n$ the intermediate layers. Under…
Let $(R, \Delta)$ be an odd form algebra. We show that the unitary Steinberg group $\mathrm{StU}(R, \Delta)$ is a crossed module over the odd unitary group $\mathrm U(R, \Delta)$ in two major cases: if the odd form algebra has a free…
We present a variant of the Peskine--Szpiro Acyclicity Lemma, and hence a way to certify exactness of a complex of finite modules over a large class of (possibly) noncommutative rings. Specifically, over the class of Auslander regular…
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to…
K\"ulshammer, Olsson, and Robinson developed an l-analogue of modular representation theory of symmetric groups where l is not necessarily a prime. They gave a conjectural combinatorial description for invariant factors of the Cartan matrix…
This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first…
The Amitsur-Levitzki identity for matrices was generalized in several directions: by Kostant for simple finite-dimensional Lie algebras, by Kirillov (later joined by Kontsevich, Molev, Ovsienko, and Udalova) for simple vectorial Lie…
We prove a normality theorem for the "true" elementary subgroups of $SL_n(A)$ defined by the ideals of a commutative unital ring $A$. Our result is an analogue of a normality theorem, due to Suslin, for the standard elementary subgroups,…
The generalized quantum group of type $A$ is an affine analogue of quantum group associated to a general linear Lie superalgebra, which appears in the study of solutions to the tetrahedron equation or the three-dimensional Yang-Baxter…
We consider the Izergin-Korepin determinant [1] together with another determinant which was invented by Kuperberg [2]. He used these determinants to prove a formula for the total number of half-turn symmetric alternating sign matrices of…
For a ring $R$, we construct a universal $K_R$-torsor $\mathcal{T}_R\to K_{Tate(R)}$ on the $K$-theory space of Tate $R$-modules. This torsor is closely related to canonical central extensions of loop groups. Just like classical loop group…
We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the…
We prove the solvability and nilpotency of Kac--Paljutkin's finite quantum group and Sekine quantum groups and we classify the solvable series of Kac--Paljutkin's finite quantum group via Cohen--Westreich's Burnside theorem. Some semisimple…
This paper is a contribution to Vinberg's theory of $\theta$-groups, or in other words, to Invariant Theory of periodically graded semisimple Lie algebras. One of our main tools is Springer's theory of regular elements of finite reflection…
We associate the new type of supersymmetric matrix models with any solution to the quantum master equation of the noncommutative Batalin-Vilkovisky geometry. The asymptotic expansion of the matrix integrals gives homology classes in the…
In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…
Let $X$ be a set of $4$ generic points in $\mathbb{P}^2$ with homogeneous coordinate ring $R$. We classify indecomposable graded MCM modules over $R$ by reducing the classification to the Four Subspace problem solved by Nazarova and…
We prove, under suitable assumptions, that $p$-torsion Tate-Shafarevich classes for elliptic curves over the rationals are visible in quotients of Jacobians of modular curves, as predicted by a conjecture of Jetchev-Stein. The key…
The fundamental theorem of symmetric polynomials over rings is a classical result which states that every unital commutative ring is fully elementary, i.e. we can express symmetric polynomials with elementary ones in a unique way. The…