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: An exceptional splitting of Khovanov’s arc algebras in characteristic 2
We show that there is an associative algebra $$\tilde{H}_n$$ such that, over a base ring R of characteristic 2, Khovanov's arc algebra $$H_n$$ is isomorphic to the algebra $$\tilde{H}_n[x]/(x^2)$$. We also show a similar result for bimodules associated to planar tangles and prove that there is no such isomorphism over the integers.  more » « less
Award ID(s):
2204214
PAR ID:
10507569
Author(s) / Creator(s):
Publisher / Repository:
Polish Academy of Sciences
Date Published:
Journal Name:
Fundamenta Mathematicae
Volume:
264
Issue:
1
ISSN:
0016-2736
Page Range / eLocation ID:
69 to 84
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let A be a separable simple exact Z-stable C∗-algebra. We show that the unitary group of \tilde{A} has the cancellation property. If A has continuous scale then the Cuntz semigroup of A has strict comparison property and a weak cancellation property. Let C be a 1-dimensional noncommutative CW complex with K1(C) = {0}. Suppose that λ : Cu∼(C) → Cu∼(A) is a morphism in the augmented Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms φn : C → A such that limn→∞ Cu∼(φn) = λ. This result leads to the proof that every separable amenable simple C∗-algebra in the UCT class has rationally generalized tracial rank at most one. 
    more » « less
  2. Abstract For every integer k there exists a bound $$B=B(k)$$ B = B ( k ) such that if the characteristic polynomial of $$g\in \textrm{SL}_n(q)$$ g ∈ SL n ( q ) is the product of $$\le k$$ ≤ k pairwise distinct monic irreducible polynomials over $$\mathbb {F}_q$$ F q , then every element x of $$\textrm{SL}_n(q)$$ SL n ( q ) of support at least B is the product of two conjugates of g . We prove this and analogous results for the other classical groups over finite fields; in the orthogonal and symplectic cases, the result is slightly weaker. With finitely many exceptions ( p ,  q ), in the special case that $$n=p$$ n = p is prime, if g has order $$\frac{q^p-1}{q-1}$$ q p - 1 q - 1 , then every non-scalar element $$x \in \textrm{SL}_p(q)$$ x ∈ SL p ( q ) is the product of two conjugates of g . The proofs use the Frobenius formula together with upper bounds for values of unipotent and quadratic unipotent characters in finite classical groups. 
    more » « less
  3. The center $$Z_n(q)$$ of the integral group algebra of the general linear group $$GL_n(q)$$ over a finite field admits a filtration with respect to the reflection length. We show that the structure constants of the associated graded algebras $$\mathscr{G}_n(q)$$ are independent of $$n$$, and this stability leads to a universal stable center with positive integer structure constants which governs the algebras $$\mathscr{G}_n(q)$$ for all $$n$$. Various structure constants of the stable center are computed and several conjectures are formulated. Analogous stability properties for symmetric groups and wreath products were established earlier by Farahat-Higman and the second author. 
    more » « less
  4. Abstract Let $$\Theta _n = (\theta _1, \dots , \theta _n)$$ and $$\Xi _n = (\xi _1, \dots , \xi _n)$$ be two lists of $$n$$ variables, and consider the diagonal action of $${{\mathfrak {S}}}_n$$ on the exterior algebra $$\wedge \{ \Theta _n, \Xi _n \}$$ generated by these variables. Jongwon Kim and the 2nd author defined and studied the fermionic diagonal coinvariant ring$$FDR_n$$ obtained from $$\wedge \{ \Theta _n, \Xi _n \}$$ by modding out by the ideal generated by the $${{\mathfrak {S}}}_n$$-invariants with vanishing constant term. On the other hand, the 2nd author described an action of $${{\mathfrak {S}}}_n$$ on the vector space with basis given by noncrossing set partitions of $$\{1,\dots ,n\}$$ using a novel family of skein relations that resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $$FDR_n$$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an $${{\mathfrak {S}}}_n$$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution. 
    more » « less
  5. We investigate the behavior of higher-form symmetries at variousquantum phase transitions. We consider discrete 1-form symmetries, whichcan be either part of the generalized concept “categorical symmetry”(labelled as \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) )introduced recently, or an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. We demonstrate that for many quantum phase transitionsinvolving a Z_N^{(1)} Z N ( 1 ) or \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) symmetry, the following expectation value \langle \left( O_\mathcal{C}\right)^2 \rangle ⟨ ( O 𝒞 ) 2 ⟩ takes the form \langle \left( \log O_\mathcal{C} \right)^2 \rangle \sim - \frac{A}{\epsilon} P + b \log P ⟨ ( log O 𝒞 ) 2 ⟩ ∼ − A ϵ P + b log P , where O_\mathcal{C} O 𝒞 is an operator defined associated with loop \mathcal{C} 𝒞 (or its interior \mathcal{A} 𝒜 ),which reduces to the Wilson loop operator for cases with an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. P P is the perimeter of \mathcal{C} 𝒞 ,and the b \log P b log P term arises from the sharp corners of the loop \mathcal{C} 𝒞 ,which is consistent with recent numerics on a particular example. b b is a universal microscopic-independent number, which in (2+1)d ( 2 + 1 ) d is related to the universal conductivity at the quantum phasetransition. b b can be computed exactly for certain transitions using the dualitiesbetween (2+1)d ( 2 + 1 ) d conformal field theories developed in recent years. We also compute the"strange correlator" of O_\mathcal{C} O 𝒞 : S_{\mathcal{C}} = \langle 0 | O_\mathcal{C} | 1 \rangle / \langle 0 | 1 \rangle S 𝒞 = ⟨ 0 | O 𝒞 | 1 ⟩ / ⟨ 0 | 1 ⟩ where |0\rangle | 0 ⟩ and |1\rangle | 1 ⟩ are many-body states with different topological nature. 
    more » « less