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…

Let $(R,\frak m)$ be a generalized Cohen-Macaulay local ring of prime characteristic $p$. In this paper we give a sharp bound for the Frobenius test exponent of parameter ideals. Namely, we prove that $$\mathrm{Fte}(R) \le \lceil…

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…

We prove that smooth quartic threefolds are symplectically irrational, i.e., cannot be related to projective space by a series of symplectic blow-ups, blow-downs, and deformations. This implies that they are algebraically irrational,…

This paper develops new aspects of the interplay between shifted symplectic geometry and classical Poisson geometry, focusing on lagrangian morphisms into 2-shifted symplectic groups. We establish a Lie-type correspondence between such…

Let $R$ be a local or positively graded ring with a regular presentation $R \cong Q/I$ where $I$ is a monomial ideal generated by $n$ elements on a regular sequence. In Briggs-Grifo-Pollitz (2025), the authors classify the cohomological…

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 report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published…

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…

We introduce and study the Bourbaki degree as a numerical invariant for \(2 \times 4\) matrices $\Theta$ of homogeneous polynomials over a polynomial ring \(R = k[x_1, \dots, x_n]\). This invariant, defined via a Bourbaki sequence for the…

We show that prequantization bundles have explicit Legendrian barriers, whose removal obstruct the embedding of long cylinders over Legendrian submanifolds.

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.

Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,\omega)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal…

For K\"ahler K3 surfaces we consider Kulikov models of type III tamed by a symplectic form. Our main result shows that the generic smooth fiber admits an almost toric fibration over the intersection complex, which inherits a natural nodal…

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…