skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Higher order Kirillov--Reshetikhin modules for 𝐔 q ( A n (1) ), imaginary modules and monoidal categorification
Abstract We study the family of irreducible modules for quantum affine 𝔰 ⁢ 𝔩 n + 1 {\mathfrak{sl}_{n+1}}whose Drinfeld polynomials are supported on just one node of the Dynkin diagram. We identify all the prime modules in this family and prove a unique factorization theorem. The Drinfeld polynomials of the prime modules encode information coming from the points of reducibility of tensor products of the fundamental modules associated to A m {A_{m}}with m ≤ n {m\leq n}. These prime modules are a special class of the snake modules studied by Mukhin and Young. We relate our modules to the work of Hernandez and Leclerc and define generalizations of the category 𝒞 - {\mathscr{C}^{-}}. This leads naturally to the notion of an inflation of the corresponding Grothendieck ring. In the last section we show that the tensor product of a (higher order) Kirillov–Reshetikhin module with its dual always contains an imaginary module in its Jordan–HĂślder series and give an explicit formula for its Drinfeld polynomial. Together with the results of [D. Hernandez and B. Leclerc,A cluster algebra approach toq-characters of Kirillov–Reshetikhin modules,J. Eur. Math. Soc. (JEMS) 18 2016, 5, 1113–1159] this gives examples of a product of cluster variables which are not in the span of cluster monomials. We also discuss the connection of our work with the examples arising from the work of [E. Lapid and A. MĂ­nguez,Geometric conditions for □ \square-irreducibility of certain representations of the general linear group over a non-archimedean local field,Adv. Math. 339 2018, 113–190]. Finally, we use our methods to give a family of imaginary modules in type D 4 {D_{4}}which do not arise from an embedding of A r {A_{r}}with r ≤ 3 {r\leq 3}in D 4 {D_{4}}.  more » « less
Award ID(s):
1719357
PAR ID:
10497553
Author(s) / Creator(s):
;
Publisher / Repository:
Crelle
Date Published:
Journal Name:
Journal fĂźr die reine und angewandte Mathematik (Crelles Journal)
Volume:
0
Issue:
0
ISSN:
0075-4102
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract A conjecture of Erdős states that, for any large primeq, every reduced residue class ( mod ⁥ q ) {(\operatorname{mod}q)}can be represented as a product p 1 ⁢ p 2 {p_{1}p_{2}}of two primes p 1 , p 2 ≤ q {p_{1},p_{2}\leq q}. We establish a ternary version of this conjecture, showing that, for any sufficiently large cube-free integerq, every reduced residue class ( mod ⁥ q ) {(\operatorname{mod}q)}can be written as p 1 ⁢ p 2 ⁢ p 3 {p_{1}p_{2}p_{3}}with p 1 , p 2 , p 3 ≤ q {p_{1},p_{2},p_{3}\leq q}primes. We also show that, for any Îľ > 0 {\varepsilon>0}and any sufficiently large integerq, at least ( 2 3 - Îľ ) ⁢ φ ⁢ ( q ) {(\frac{2}{3}-\varepsilon)\varphi(q)}reduced residue classes ( mod ⁥ q ) {(\operatorname{mod}q)}can be represented as a product p 1 ⁢ p 2 {p_{1}p_{2}}of two primes p 1 , p 2 ≤ q {p_{1},p_{2}\leq q}.The problems naturally reduce to studying character sums. The main innovation in the paper is the establishment of a multiplicative dense model theorem for character sums over primes in the spirit of the transference principle. In order to deal with possible local obstructions we establish bounds for the logarithmic density of primes in certain unions of cosets of subgroups of ℤ q × {\mathbb{Z}_{q}^{\times}}of small index and study in detail the exceptional case that there exists a quadratic character ψ ⁢ ( mod ⁥ q ) {\psi~{}(\operatorname{mod}\,q)}such that ψ ⁢ ( p ) = - 1 {\psi(p)=-1}for very many primes p ≤ q {p\leq q}. 
    more » « less
  2. Abstract Let E / Q \mathrm{E}/\mathbb{Q}be an elliptic curve and 𝑝 a prime of supersingular reduction for E \mathrm{E}.Consider a quadratic extension L / Q p L/\mathbb{Q}_{p}and the corresponding anticyclotomic Z p \mathbb{Z}_{p}-extension L ∞ / L L_{\infty}/L.We analyze the structure of the points E ⁢ ( L ∞ ) \mathrm{E}(L_{\infty})and describe two global implications of our results. 
    more » « less
  3. Abstract LetXbe acompact orientable non-Haken 3-manifold modeled on the Thurston geometry Nil {\operatorname{Nil}}. We show that the diffeomorphism group Diff ⁥ ( X ) {\operatorname{Diff}(X)}deformation retracts to the isometry group Isom ⁥ ( X ) {\operatorname{Isom}(X)}. Combining this with earlier work by many authors, this completes the determination the homotopy type of Diff ⁥ ( X ) {\operatorname{Diff}(X)}for any compact, orientable, prime 3-manifoldX. 
    more » « less
  4. Abstract Assuming the Riemann Hypothesis, we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in Îś ⁢ ( s ) {\zeta(s)}. For example, integrating | Îś ⁢ ( 1 2 + Îą + i ⁢ t ) | - 2 ⁢ k {|\zeta(\frac{1}{2}+\alpha+it)|^{-2k}}with respect totfromTto 2 ⁢ T {2T}, we obtain an asymptotic formula when the shift Îą is roughly bigger than 1 log ⁥ T {\frac{1}{\log T}}and k < 1 2 {k<\frac{1}{2}}. We also obtain non-trivial upper bounds for much smaller shifts, as long as log ⁥ 1 Îą ≪ log ⁥ log ⁥ T {\log\frac{1}{\alpha}\ll\log\log T}. This provides partial progress towards a conjecture of Gonek on negative moments of the Riemann zeta-function, and settles the conjecture in certain ranges. As an application, we also obtain an upper bound for the average of the generalized MĂśbius function. 
    more » « less
  5. Abstract Let G ⁢ ( k ) {G(k)}denote the least numbershaving the property that everysufficiently large natural number is the sum of at mostspositive integralk-th powers.Then for all k ∈ ℕ {k\in\mathbb{N}}, one has G ⁢ ( k ) ⊽ ⌈ k ⁢ ( log ⁥ k + 4.20032 ) ⌉ . G(k)\leqslant\lceil k(\log k+4.20032)\rceil. Our new methods improve on all bounds available hitherto when k ⊞ 14 {k\geqslant 14}. 
    more » « less