Related papers: Characterization and enumeration on Lam\'e equatio…

Fix natural numbers $n \geq 1$, $t \geq 2$ and a primitive $t^{\text{th}}$ root of unity $\omega$. In previous work with A. Ayyer (J. Alg., 2022), we studied the factorization of specialized irreducible characters of $\text{GL}_{tn}$,…

We prove Banach, Newton-Raphson and Brouwer fixed point theorems in the framework of generalized smooth functions, a minimal extension of Colombeau's theory (and hence of classical distribution theory) which makes it possible to model…

We prove that a finite dimensional algebra $\Lambda$ is $\tau-$tilting finite if and only if all the bricks over $\Lambda$ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes…

A Generalized Inoue--Bombieri (GIB) manifold $M$ is a compact quotient of a connected Riemannian product $\mathbb{R}^q \times (N,g _N)$ by a discrete subgroup of $\mathrm{Sim}(\mathbb{R}^q) \times \mathrm{Isom}(N,g_N)$. The flat factor…

We prove multiple generalizations of Fan's combinatorial labeling result for sphere triangulations. This can be seen as a comprehensive extension of the Borsuk--Ulam theorem. In typical applications, the Borsuk--Ulam theorem gives…

A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the…

Let $S := \{p_1,\ldots ,p_{\ell}\}$ be a finite set of primes and denote by $\mathcal{U}_S$ the set of all rational integers whose prime factors are all in $S$. Let $(U_n)_{n\geq 0}$ be a non-degenerate linear recurrence sequence with order…

The topological basis associated with Birman-Wenzl-Murakami algebra (BWMA) is constructed and the three dimensional forms of braiding matrices S have been found for both $S^+=S$ and $S^+=S^{-1}$. A familiar spin-1 model related to braiding…

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

In this paper we prove a quantitative form of the strong unique continuation property for the Lam\'e system when the Lam\'e coefficients $\mu$ is Lipschitz and $\lambda$ is essentially bounded in dimension $n\ge 2$. This result is an…

This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…

We consider the finite W-superalgebras for a basic classical Lie superalgebra g associated with an even nilpotent element in g both over the field of complex numbers field and and over a filed of positive characteristic. We present the PBW…

We determine the Zariski closure of the representations of the braid groups that factorize through the Birman-Wenzl-Murakami algebra, for generic values of the parameters $\alpha,s$. For $\alpha,s$ of modulus 1 and close to 1, we prove that…

We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is…

For a set $A$ of non-negative integers, let $R_A(n)$ denote the number of solutions to the equation $n=a+a'$ with $a$, $a'\in A$. Denote by $\chi_A(n)$ the characteristic function of $A$. Let $b_n>0$ be a sequence satisfying $\limsup_{n\to…

In this paper, we prove well-posedness in $C^1(\mathbb{R})$ (a.k.a. classical solutions) of the Fornberg-Whitham equation. To achieve this objective, we study its weak formulation under a Lagrangian framework. Applying the fundamental…

A classical result of R.\,P. Dilworth states that every finite distributive lattice $D$ can be represented as the congruence lattice of a finite lattice~$L$. A~sharper form was published in G.~Gr\"atzer and E.\,T. Schmidt in 1962, adding…

We study the equational theory of the Weihrauch lattice with composition and iterations, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the composition operator $\star$ and…