Related papers: The higher sharp II: on $M_2^\#$
This is the second of four papers that study algebraic and analytic structures associated with the Lerch zeta function. In this paper we analytically continue it as a function of three complex variables. We that it is well defined as a…
This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
We propose a supersymmetric model that defines M-theory. It possesses SO(1, 10) super Poincare symmetry and is constructed based on the Lorentzian 3-algebra associated with U(N) Lie algebra. This model is a supersymmetric generalization of…
We give an estimate of the number $N(\lambda)$ of eigenvalues $<\lambda$ for the image under an irreducible representation of the ``sublaplacian'' on a stratified nilpotent Lie algebra. We also give an estimate for the trace of the…
We extend our previous work arXiv:1012.5721 [hep-th] on the non-compact N=2 SCFT_2 defined as the supersymmetric SL(2,R)/U(1)-gauged WZW model. Starting from path-integral calculations of torus partition functions of both the axial-type…
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…
We construct a model of moonshine phenomenon based on the use of N=2 superconformal algebra. We consider an extremal Jacobi form of weight 0 and index 2, and expand it in terms of N=2 massless and massive representations. We find the…
In the rapidly growing literature on explanation algorithms, it often remains unclear what precisely these algorithms are for and how they should be used. In this position paper, we argue for a novel and pragmatic perspective: Explainable…
We give a generalization of the theory of $\mathbb{Z}_2$-graded manifolds to a theory of $\mathcal{I}$-graded manifolds, where $\mathcal{I}$ is a commutative semi-ring with some additional properties. We prove Batchelor's theorem in this…
We review developments in the theory of multiple, parallel membranes in M-theory. After discussing the inherent difficulties pertaining to a maximally supersymmetric lagrangian formulation with the appropriate field content and symmetries,…
We compute univariate and multigraded Hilbert series of invariants and covariants of representations of the circle and orthogonal group $\operatorname{O}_2$. The multigradings considered include the maximal grading associated to the…
We construct 2-functors from a 2-category categorifying quantum sl(n) to 2-categories categorifying the irreducible representation of highest weight $ 2 \omega_k. $
We use machine learning to classify examples of braids (or flat braids) as trivial or non-trivial. Our ML takes form of supervised learning using neural networks (multilayer perceptrons). When they achieve good results in classification, we…
Let $0<k\in\mathbb{Z}$. A reinterpretation of the proof of existence of Hamilton cycles in the middle-levels graph $M_k$ induced by the vertices of the $(2k+1)$-cube representing the $k$- and $(k+1)$-subsets of $\{0,\ldots,2k\}$ is given…
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
The higher-spin (HS) algebras so far known can be interpreted as the symmetries of the minimal representation of the isometry algebra. After discussing this connection briefly, we generalize this concept to any classical Lie algebras and…
We produce 2-representations of the positive part of affine quantum enveloping algebras on their finite-dimensional counterparts in type $A_n$. These 2-representations naturally extend the right-multiplication 2-representation of…
We investigate the manifold $\cal{M}$ of (real) quadratic forms in n > 1 variables having a multiple eigenvalue. In addition to known facts, we prove that 1) $\cal{M}$ is irreducible, 2) in the case of n = 3, scalar matrices and only them…
We discuss the back and forth technique in the context of presheaf model theory. The essence of the back and forth technique lies in showing the relationship between various hierarchies which calibrate similarity between two models and,…