An official website of the United States government
Abstract Our work is motivated by obtaining solutions to the quantum reflection equation (qRE) by categorical methods. To start, given a braided monoidal category$${\mathcal {C}}$$and$${\mathcal {C}}$$-module category$${\mathcal {M}}$$, we introduce a version of the Drinfeld center$${\mathcal {Z}}({\mathcal {C}})$$of$${\mathcal {C}}$$adapted for$${\mathcal {M}}$$; we refer to this category as thereflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$of$${\mathcal {M}}$$. Just like$${\mathcal {Z}}({\mathcal {C}})$$is a canonical braided monoidal category attached to$${\mathcal {C}}$$, we show that$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$is a canonical braided module category attached to$${\mathcal {M}}$$; its properties are investigated in detail. Our second goal pertains to when$${\mathcal {C}}$$is the category of modules over a quasitriangular Hopf algebraH, and$${\mathcal {M}}$$is the category of modules over anH-comodule algebraA. We show that the reflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$here is equivalent to a category of modules over an explicit algebra, denoted by$$R_H(A)$$, which we call thereflective algebraofA. This result is akin to$${\mathcal {Z}}({\mathcal {C}})$$being represented by the Drinfeld double$${\operatorname {Drin}}(H)$$ofH. We also study the properties of reflective algebras. Our third set of results is also in the Hopf setting above. We show that reflective algebras are quasitriangularH-comodule algebras, and we examine their corresponding quantumK-matrices; this yields solutions to the qRE. We also establish that the reflective algebra$$R_H(\mathbb {k})$$is an initial object in the category of quasitriangularH-comodule algebras, where$$\mathbb {k}$$is the ground field. The case whenHis the Drinfeld double of a finite group is illustrated.
more »
« less
Asymptotic freeness in tracial ultraproducts
Abstract We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever$$M = M_1 \ast M_2$$is a tracial free product von Neumann algebra and$$u_1 \in \mathscr U(M_1)$$,$$u_2 \in \mathscr U(M_2)$$are Haar unitaries, the relative commutants$$\{u_1\}' \cap M^{\mathcal U}$$and$$\{u_2\}' \cap M^{\mathcal U}$$are freely independent in the ultraproduct$$M^{\mathcal U}$$. Our proof relies on Mei–Ricard’s results [MR16] regarding$$\operatorname {L}^p$$-boundedness (for all$$1 < p < +\infty $$) of certain Fourier multipliers in tracial amalgamated free products von Neumann algebras. We derive two applications. Firstly, we obtain a general absorption result in tracial amalgamated free products that recovers several previous maximal amenability/Gamma absorption results. Secondly, we prove a new lifting theorem which we combine with our asymptotic freeness results and Chifan–Ioana–Kunnawalkam Elayavalli’s recent construction [CIKE22] to provide the first example of a$$\mathrm {II_1}$$factor that does not have property Gamma and is not elementary equivalent to any free product of diffuse tracial von Neumann algebras.
more »
« less
- Award ID(s):
- 2153805
- PAR ID:
- 10580697
- Publisher / Repository:
- Forum of Mathematics Sigma
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 12
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Given a family$$\mathcal{F}$$of bipartite graphs, theZarankiewicz number$$z(m,n,\mathcal{F})$$is the maximum number of edges in an$$m$$by$$n$$bipartite graph$$G$$that does not contain any member of$$\mathcal{F}$$as a subgraph (such$$G$$is called$$\mathcal{F}$$-free). For$$1\leq \beta \lt \alpha \lt 2$$, a family$$\mathcal{F}$$of bipartite graphs is$$(\alpha,\beta )$$-smoothif for some$$\rho \gt 0$$and every$$m\leq n$$,$$z(m,n,\mathcal{F})=\rho m n^{\alpha -1}+O(n^\beta )$$. Motivated by their work on a conjecture of Erdős and Simonovits on compactness and a classic result of Andrásfai, Erdős and Sós, Allen, Keevash, Sudakov and Verstraëte proved that for any$$(\alpha,\beta )$$-smooth family$$\mathcal{F}$$, there exists$$k_0$$such that for all odd$$k\geq k_0$$and sufficiently large$$n$$, any$$n$$-vertex$$\mathcal{F}\cup \{C_k\}$$-free graph with minimum degree at least$$\rho (\frac{2n}{5}+o(n))^{\alpha -1}$$is bipartite. In this paper, we strengthen their result by showing that for every real$$\delta \gt 0$$, there exists$$k_0$$such that for all odd$$k\geq k_0$$and sufficiently large$$n$$, any$$n$$-vertex$$\mathcal{F}\cup \{C_k\}$$-free graph with minimum degree at least$$\delta n^{\alpha -1}$$is bipartite. Furthermore, our result holds under a more relaxed notion of smoothness, which include the families$$\mathcal{F}$$consisting of the single graph$$K_{s,t}$$when$$t\gg s$$. We also prove an analogous result for$$C_{2\ell }$$-free graphs for every$$\ell \geq 2$$, which complements a result of Keevash, Sudakov and Verstraëte.more » « less
-
Abstract We establish a theory of noncommutative (NC) functions on a class of von Neumann algebras with a particular direct sum property, e.g.,$$B({\mathcal H})$$. In contrast to the theory’s origins, we do not rely on appealing to results from the matricial case. We prove that the$$k{\mathrm {th}}$$directional derivative of any NC function at a scalar point is ak-linear homogeneous polynomial in its directions. Consequences include the fact that NC functions defined on domains containing scalar points can be uniformly approximated by free polynomials as well as realization formulas for NC functions bounded on particular sets, e.g., the NC polydisk and NC row ball.more » « less
-
Abstract LetKbe an imaginary quadratic field and$$p\geq 5$$a rational prime inert inK. For a$$\mathbb {Q}$$-curveEwith complex multiplication by$$\mathcal {O}_K$$and good reduction atp, K. Rubin introduced ap-adicL-function$$\mathscr {L}_{E}$$which interpolates special values ofL-functions ofEtwisted by anticyclotomic characters ofK. In this paper, we prove a formula which links certain values of$$\mathscr {L}_{E}$$outside its defining range of interpolation with rational points onE. Arithmetic consequences includep-converse to the Gross–Zagier and Kolyvagin theorem forE. A key tool of the proof is the recent resolution of Rubin’s conjecture on the structure of local units in the anticyclotomic$${\mathbb {Z}}_p$$-extension$$\Psi _\infty $$of the unramified quadratic extension of$${\mathbb {Q}}_p$$. Along the way, we present a theory of local points over$$\Psi _\infty $$of the Lubin–Tate formal group of height$$2$$for the uniformizing parameter$$-p$$.more » « less
-
Abstract We prove that the rational cohomology group$$H^{11}(\overline {\mathcal {M}}_{g,n})$$vanishes unless$$g = 1$$and$$n \geq 11$$. We show furthermore that$$H^k(\overline {\mathcal {M}}_{g,n})$$is pure Hodge–Tate for all even$$k \leq 12$$and deduce that$$\# \overline {\mathcal {M}}_{g,n}(\mathbb {F}_q)$$is surprisingly well approximated by a polynomial inq. In addition, we use$$H^{11}(\overline {\mathcal {M}}_{1,11})$$and its image under Gysin push-forward for tautological maps to produce many new examples of moduli spaces of stable curves with nonvanishing odd cohomology and nontautological algebraic cycle classes in Chow cohomology.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fms.2024.93
