We introduce the combinatorial notion of a q-factorization graph intended as a tool to study and express results related to the classification of prime simple modules for quantum affine algebras. These are directed graphs equipped with three decorations: a coloring and a weight map on vertices, and an exponent map on arrows (the exponent map can be seen as a weight map on arrows). Such graphs do not contain oriented cycles and, hence, the set of arrows induces a partial order on the set of vertices. In this first paper on the topic, beside setting the theoretical base of the concept, we establish several criteria for deciding whether or not a tensor product of two simple modules is a highest-$\ell $-weight module and use such criteria to prove, for type A, that a simple module whose q-factorization graph has a totally ordered vertex set is prime.

In this paper, we prove the algebraicity of some L-values attached to quaternionic modular forms. We follow the rather well-established path of the doubling method. Our main contribution is that we include the case where the corresponding symmetric space is of non-tube type. We make various aspects very explicit, such as the doubling embedding, coset decomposition, and the definition of algebraicity of modular forms via CM-points.

It is shown that the colored isomorphism class of a unital, simple, $\mathcal {Z}$-stable, separable amenable C$^*$-algebra satisfying the universal coefficient theorem is determined by its tracial simplex.

For a closed, connected, and oriented 3-manifold with a non-singular flow, we construct its virtual knot diagram via a “flow-spine” of the manifold. Then, we introduce a coloring invariant of 3-manifolds through their virtual knot diagrams, and classify some 3-manifolds by using the invariant.

Motivated by the near invariance of model spaces for the backward shift, we introduce a general notion of $(X,Y)$-invariant operators. The relations between this class of operators and the near invariance properties of their kernels are studied. Those lead to orthogonal decompositions for the kernels, which generalize well-known orthogonal decompositions of model spaces. Necessary and sufficient conditions for those kernels to be nearly X-invariant are established. This general approach can be applied to a wide class of operators defined as compressions of multiplication operators, in particular to Toeplitz operators and truncated Toeplitz operators, to study the invariance properties of their kernels (general Toeplitz kernels).

In this work, we obtain the pointwise almost everywhere convergence for two families of multilinear operators: (a) the doubly truncated homogeneous singular integral operators associated with $L^q$ functions on the sphere and (b) lacunary multiplier operators of limited smoothness. The a.e. convergence is deduced from the $L^2\times \cdots \times L^2\to L^{2/m}$ boundedness of the associated maximal multilinear operators.

We investigate quantum lens spaces, $C(L_q^{2n+1}(r;\underline {m}))$, introduced by Brzeziński and Szymański as graph $C^*$-algebras. We give a new description of $C(L_q^{2n+1}(r;\underline {m}))$ as graph $C^*$-algebras amending an error in the original paper by Brzeziński and Szymański. Furthermore, for $n\leq 3$, we give a number-theoretic invariant, when all but one weight are coprime to the order of the acting group r. This builds upon the work of Eilers, Restorff, Ruiz, and Sørensen.

Let $F_{\pi }$ be a finite Galois-algebra extension of a number field F, with group G. Suppose that $F_{\pi }/F$ is weakly ramified and that the square root $A_\pi $ of the inverse different $\mathfrak {D}_{\pi }^{-1}$ is defined. (This latter condition holds if, for example, $|G|$ is odd.) Erez has conjectured that the class $(A_\pi )$ of $A_\pi $ in the locally free class group $\operatorname {\mathrm {Cl}}(\mathbf {Z} G)$ of $\mathbf {Z} G$ is equal to the Cassou–Noguès–Fröhlich root number class $W(F_{\pi }/F)$ associated with $F_\pi /F$. This conjecture has been verified in many cases. We establish a precise formula for $(A_\pi )$ in terms of $W(F_{\pi }/F)$ in all cases where $A_\pi $ is defined and $F_\pi /F$ is tame, and are thereby able to deduce that, in general, $(A_\pi )$ is not equal to $W(F_\pi /F)$.

We study systems of two-tangle equations

$$ \begin{align*}\begin{cases} N(X+T_1)=L_1,\\ N(X+T_2)=L_2, \end{cases}\end{align*} $$

We show that every system of framed tangle equations has at most one-framed rational solution. Furthermore, we show that the Jones unknot conjecture implies that if a system of tangle equations has a rational solution, then that solution is unique among all two-tangles. This result potentially opens a door to a purely topological disproof of the Jones unknot conjecture.

We introduce the notion of the Kauffman bracket ratio $\{T\}_q\in \mathbb Q(q)$ of any two-tangle T and we conjecture that for $q=1$ it is the slope of meridionally incompressible surfaces in $D^3-T$. We prove that conjecture for algebraic T. We also prove that for rational T, the brackets $\{T\}_q$ coincide with the q-rationals of Morier-Genoud and Ovsienko.

Additionally, we relate systems of tangle equations to the cosmetic surgery conjecture and the nugatory crossing conjecture.

Let G be a compact connected Lie group, and let $\operatorname {Hom}({\mathbb {Z}}^m,G)$ be the space of pairwise commuting m-tuples in G. We study the problem of which primes $p \operatorname {Hom}({\mathbb {Z}}^m,G)_1$, the connected component of $\operatorname {Hom}({\mathbb {Z}}^m,G)$ containing the element $(1,\ldots ,1)$, has p-torsion in homology. We will prove that $\operatorname {Hom}({\mathbb {Z}}^m,G)_1$ for $m\ge 2$ has p-torsion in homology if and only if p divides the order of the Weyl group of G for $G=SU(n)$ and some exceptional groups. We will also compute the top homology of $\operatorname {Hom}({\mathbb {Z}}^m,G)_1$ and show that $\operatorname {Hom}({\mathbb {Z}}^m,G)_1$ always has 2-torsion in homology whenever G is simply-connected and simple. Our computation is based on a new homotopy decomposition of $\operatorname {Hom}({\mathbb {Z}}^m,G)_1$, which is of independent interest and enables us to connect torsion in homology to the combinatorics of the Weyl group.

We formulate a generalization of Riesz-type criteria in the setting of L-functions belonging to the Selberg class. We obtain a criterion which is sufficient for the grand Riemann hypothesis (GRH) for L-functions satisfying axioms of the Selberg class without imposing the Ramanujan hypothesis on their coefficients. We also construct a subclass of the Selberg class and prove a necessary criterion for GRH for L-functions in this subclass. Identities of Ramanujan–Hardy–Littlewood type are also established in this setting, specific cases of which yield new transformation formulas involving special values of the Meijer G-function of the type ${G^{n , 0}_{0 , n}}$.

For a given Beurling–Carleson subset E of the unit circle $\mathbb {T}$ which has positive Lebesgue measure, we give explicit formulas for measurable functions supported on E such that their Cauchy transforms have smooth extensions from $\mathbb {D}$ to $\mathbb {T}$. The existence of such functions has been previously established by Khrushchev in 1978, in non-constructive ways by the use of duality arguments. We construct several families of such smooth Cauchy transforms and apply them in a few related problems in analysis: an irreducibility problem for the shift operator, an inner factor permanence problem. Our development leads to a self-contained duality proof of the density of smooth functions in a very large class of de Branges–Rovnyak spaces. This extends the previously known approximation results.

In this note, we give an alternate proof of the Farrell–Jones isomorphism conjecture for the affine Artin groups of type $\widetilde B_n$.

Let G be a finite transitive group on a set $\Omega $, let $\alpha \in \Omega $, and let $G_{\alpha }$ be the stabilizer of the point $\alpha $ in G. In this paper, we are interested in the proportion

$$ \begin{align*} \frac{|\{\omega\in \Omega\mid \omega \textrm{ lies in a }G_{\alpha}\textrm{-orbit of cardinality at most 2}\}|}{|\Omega|}, \end{align*} $$

that is, the proportion of elements of $\Omega $ lying in a suborbit of cardinality at most 2. We show that, if this proportion is greater than $5/6$, then each element of $\Omega $ lies in a suborbit of cardinality at most 2, and hence G is classified by a result of Bergman and Lenstra. We also classify the permutation groups attaining the bound $5/6$.

We use these results to answer a question concerning the enumeration of Cayley graphs. Given a transitive group G containing a regular subgroup R, we determine an upper bound on the number of Cayley graphs on R containing G in their automorphism groups.