More Like this

1. The stable exotic Cuntz algebras are higher-rank graph algebras

   https://doi.org/10.1090/bproc/180  

   Boersema, Jeffrey ; Browne, Sarah ; Gillaspy, Elizabeth ( March 2024 , Proceedings of the American Mathematical Society, Series B)

   For each odd integer$n \geq 3$, we construct a rank-3 graph$\Lambda _n$with involution$\gamma _n$whose real$C^*$-algebra$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda _n, \gamma _n)$is stably isomorphic to the exotic Cuntz algebra$\mathcal E_n$. This construction is optimal, as we prove that a rank-2 graph with involution$(\Lambda ,\gamma )$can never satisfy$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )\sim _{ME} \mathcal E_n$, and Boersema reached the same conclusion for rank-1 graphs (directed graphs) in [Münster J. Math.10(2017), pp. 485–521, Corollary 4.3]. Our construction relies on a rank-1 graph with involution$(\Lambda , \gamma )$whose real$C^*$-algebra$C^*_{\scriptscriptstyle \mathbb {R}}(\Lambda , \gamma )$is stably isomorphic to the suspension$S \mathbb {R}$. In the Appendix, we show that the$i$-fold suspension$S^i \mathbb {R}$is stably isomorphic to a graph algebra iff$-2 \leq i \leq 1$.

    

   more » « less
2. Uniform Lech’s inequality

   https://doi.org/10.1090/proc/16304  

   Ma, Linquan ; Smirnov, Ilya ( February 2023 , Proceedings of the American Mathematical Society)

   Let$(R,\mathfrak {m})$be a Noetherian local ring of dimension$d\geq 2$. We prove that if$e(\widehat {R}_{red})>1$, then the classical Lech’s inequality can be improved uniformly for all$\mathfrak {m}$-primary ideals, that is, there exists$\varepsilon >0$such that$e(I)\leq d!(e(R)-\varepsilon )\ell (R/I)$for all$\mathfrak {m}$-primary ideals$I\subseteq R$. This answers a question raised by Huneke, Ma, Quy, and Smirnov [Adv. Math. 372 (2020), pp. 107296, 33]. We also obtain partial results towards improvements of Lech’s inequality when we fix the number of generators of$I$.

    

   more » « less
3. On symmetric representations of 𝑆𝐿₂(ℤ)

   https://doi.org/10.1090/proc/16205  

   Ng, Siu-Hung ; Wang, Yilong ; Wilson, Samuel ( January 2023 , Proceedings of the American Mathematical Society)

   We introduce the notions of symmetric and symmetrizable representations of${\operatorname {SL}_2(\mathbb {Z})}$. The linear representations of${\operatorname {SL}_2(\mathbb {Z})}$arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of${\operatorname {SL}_2(\mathbb {Z})}$. By investigating a$\mathbb {Z}/2\mathbb {Z}$-symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of${\operatorname {SL}_2(\mathbb {Z})}$are symmetrizable. We also provide examples of unsymmetrizable noncongruence representations of${\operatorname {SL}_2(\mathbb {Z})}$that are subrepresentations of a symmetric one.

    

   more » « less
4. A modular construction of unramified 𝑝-extensions of ℚ(ℕ^{1/𝕡})

   https://doi.org/10.1090/bproc/141  

   Lang, Jaclyn ; Wake, Preston ( October 2022 , Proceedings of the American Mathematical Society, Series B)

   We show that for primes$N, p \geq 5$with$N \equiv -1 \bmod p$, the class number of$\mathbb {Q}(N^{1/p})$is divisible by$p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when$N \equiv -1 \bmod p$, there is always a cusp form of weight$2$and level$\Gamma _0(N^2)$whose$\ell$th Fourier coefficient is congruent to$\ell + 1$modulo a prime above$p$, for all primes$\ell$. We use the Galois representation of such a cusp form to explicitly construct an unramified degree-$p$extension of$\mathbb {Q}(N^{1/p})$.

    

   more » « less
5. Uniform stability for local discontinuous Galerkin methods with implicit-explicit Runge-Kutta time discretizations for linear convection-diffusion equation

   https://doi.org/10.1090/mcom/3842  

   Wang, Haijin ; Li, Fengyan ; Shu, Chi-Wang ; Zhang, Qiang ( November 2023 , Mathematics of Computation)

   In this paper, we consider the linear convection-diffusion equation in one dimension with periodic boundary conditions, and analyze the stability of fully discrete methods that are defined with local discontinuous Galerkin (LDG) methods in space and several implicit-explicit (IMEX) Runge-Kutta methods in time. By using the forward temporal differences and backward temporal differences, respectively, we establish two general frameworks of the energy-method based stability analysis. From here, the fully discrete schemes being considered are shown to have monotonicity stability, i.e. the$L^2$norm of the numerical solution does not increase in time, under the time step condition$\tau \le \mathcal {F}(h/c, d/c^2)$, with the convection coefficient$c$, the diffusion coefficient$d$, and the mesh size$h$. The function$\mathcal {F}$depends on the specific IMEX temporal method, the polynomial degree$k$of the discrete space, and the mesh regularity parameter. Moreover, the time step condition becomes$\tau \lesssim h/c$in the convection-dominated regime and it becomes$\tau \lesssim d/c^2$in the diffusion-dominated regime. The result is improved for a first order IMEX-LDG method. To complement the theoretical analysis, numerical experiments are further carried out, leading to slightly stricter time step conditions that can be used by practitioners. Uniform stability with respect to the strength of the convection and diffusion effects can especially be relevant to guide the choice of time step sizes in practice, e.g. when the convection-diffusion equations are convection-dominated in some sub-regions.

    

   more » « less