Mathematics
In the generality of a rigidly-compactly generated tensor triangulated category, we introduce semi-Bousfield classes in terms of the vanishing of the tensor product in positive degrees with respect to a fixed reasonable $t$-structure. We…
In this paper, we answer negatively to a question posed in the context of the 2025 Oberwolfach Mini-Workshop ``The Yang-Baxter Equation and Representations of Braid Groups'' regarding the existence of split extensions classifiers in the…
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…
In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $\sigma$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we…
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…
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…
This article is a generalization of a result in Quillen's note ``Module theory over non-unital rings'' giving a one-to-one correspondence between bilocalization of abelian categories of modules and idempotent ideals of the base ring.…
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…
K. S. S. Nambooripad introduced an interesting class of categories known as normal categories, which are categories with subobjects, morphisms admitting factorization and having sufficiently many cones. These normal categories plays…