Mathematics

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody Lie algebra and let $\rho$ denote the sum of the fundamental weights. The irreducible highest weight representations $V(m\rho)$ occupy a distinguished position in representation theory due to…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

In our previous papers we repeatedly emphasized the special role in Quaternionic Analysis of the conformal group SU(2,2) and other real forms of its complexification SL(4,C). In particular, the natural product map of the left and right…

We introduce the notion of quasi-Poisson modules over Lie-Rinehart pairs and prove that for the Lie-Rinehart pair $(\dot A,\dot\fk)$ in which $\dot A=\bbbc[t_1^{\pm1},\ldots,t_m^{\pm1}]\ot\Lam_n$ and $\dot\fk={\rm Der}(\dot A)$, there is a…

Some of the multiplicity-freeness results in ``Modular Gelfand pairs and multiplicity-free representations'' are stated in overly broad generality. We provide counterexamples and partial corrections.

Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.

We provide a geometric realization of the quasi-split affine $\imath$quantum group of type AIII$_{2n-1}^{(\tau)}$ in terms of equivariant K-groups of non-connected Steinberg varieties of type C. This uses a new Drinfeld type presentation of…

Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the…

This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic Mirkovi\'c-Vilonen…

We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…

Let $\mathfrak{u}_\zeta^\vee$ denote the small quantum group associated with a simple Lie algebra $\mathfrak{g}^\vee$ and a root of unity $\zeta$. In [9], a geometric realization of $Z(\mathfrak{u}_\zeta^\vee)^{G^\vee}$, the…

For an algebraic group $Q$ with $\mathsf{Lie\,} Q=\mathfrak q$, we develop a method for estimating the index of a subalgebra $\mathfrak h$ in $\mathfrak q$ via the use of coadjoint $Q$-orbits in $\mathfrak q^*$. Let $\mathfrak q^\xi$ denote…

For any acyclic quiver $Q$ without multiple edges, we construct a monoidal category $\mathcal{R}_Q$ whose indecomposable objects are tensor products (over the base field) of finite-dimensional modules over the path algebra of $Q$. We show…

In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…

We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary,…

We study the geodesic flow on the unit cotangent bundle $M=S^{*}\mathcal{N}$ of a closed hyperbolic surface $\mathcal{N}$, using the representation theory of $SL_{2}(\mathbb{R})$. We construct explicit $X$-adapted Hilbert spaces, obtained…

Brauer graph algebras form a classical class of symmetric algebras with well-structured combinatorial properties and geometric models. Recently, they have been generalized to biserial fractional Brauer graph algebras, which can be regarded…