Related papers: Positive Traces on Certain ${\rm SL}(2)$ Coulomb B…
We consider N=1 supersymmetric gauge theories with a simple classical gauge group, one adjoint $\Phi, N_f$ pairs ($Q_i,\tilde{Q_i}$) of (fundamental, anti-fundamental) and a tree-level superpotential with terms of the Landau-Ginzburg form…
In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: 1)…
The uniform tracial completion of a C*-algebra A with compact non-empty trace space T(A) is obtained by completing the unit ball with respect to the uniform 2-seminorm $\|a\|_{2,T(A)}=\sup_{\tau \in T(A)} \tau(a^*a)^{1/2}$. The trace…
For a braided vector space $(V,\sigma)$ with braiding $\sigma$ of Hecke type, we introduce three associative algebra structures on the space $\oplus_{p=0}^{M}\mathrm{End}S_\sigma^p(V)$ of graded endomorphisms of the quantum symmetric…
The study of Coulomb branches of 3-dimensional N=4 gauge theories via the associated Hilbert series, the so-called monopole formula, has been proven useful not only for 3-dimensional theories, but also for Higgs branches of 5 and…
The trace or the $0$th Hochschild--Mitchell homology of a linear category $\mathcal{C}$ may be regarded as a kind of decategorification of $\mathcal{C}$. We compute traces of the two versions $\dot{\mathcal{U}}$ and $\dot{\mathcal{U}}^*$ of…
We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
We study the problem of classifying local projective structures in dimension two having non trivial Lie symmetries. In particular we obtain a classification of flat projective structures having positive dimensional Lie algebra of projective…
A theory of canonical basis for a two-parameter quantum algebra is developed in parallel with the one in one-parameter case. A geometric construction of the negative part of a two-parameter quantum algebra is given by using mixed perverse…
We provide the dictionary between four-dimensional gauged supergravity and type II compactifications on $\mathbb{T}^6$ with metric and gauge fluxes in the absence of supersymmetry breaking sources, such as branes and orientifold planes.…
If a compact set K \subset R^2 contains a positive-dimensional family of line-segments in positively many directions, then K has positive measure.
We establish a version of Kn\"{o}rrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and…
We construct uncountably many mutually nonisomorphic simple separable stably finite unital exact C$^\ast$-algebras which are not isomorphic to their opposite algebras. In particular, we prove that there are uncountably many possibilities…
We formulate a systematic construction of commuting quantum traces for reflection algebras. This is achieved by introducing two sets of generalized reflection equations with associated consistent fusion procedures. Products of their…
The Schouten tensor \ $A$ \ of a Riemannian manifold \ $(M,g)$ provides important scalar curvature invariants $\sigma_k$, that are the symmetric functions on the eigenvalues of $A$, where, in particular, $\sigma_1$ \ coincides with the…
We show that continuous group homomorphisms between unitary groups of unital C*-algebras induce maps between spaces of continuous real-valued affine functions on the trace simplices. Under certain $K$-theoretic regularity conditions, these…
We prove two conjectures on the automorphism group of a one-dimensional formal group law defined over a field of positive characteristic. The first is that if a series commutes with a nontorsion automorphism of the formal group law, then…
We classify all division algebras that are principal Albert isotopes of a cyclic Galois field extension of degree $n>2$ up to isomorphisms. We achieve a ``tight'' classification when the cyclic Galois field extension is cubic. The…
These are (somewhat informal) lectures notes for the CIME summer school "Geometric Representation Theory and Gauge Theory" in June 2018. In these notes we review the results and constructions of a series of our joint papers with H.Nakajima…