There are no noncommutative soft maps

Alex Chigogidze

DOI: https://doi.org/10.48550/arXiv.1102.0523

2011-02-02

Operator Algebras

Abstract:It is shown that for a map $f \colon X \to Y$ of compact spaces the unital $\ast$-homomorphism $C(f) \colon C(Y) \to C(X)$ is projective in the category $\operatorname{Mor}({\mathcal C}^{1})$ precisely when $X$ is a dendrite and $f$ is either homeomorphism or a constant.

What problem does this paper attempt to address?

Characterizations of homomorphisms among unital completely positive maps

Andre Kornell

2024-03-12

Abstract:We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. As an intermediate step, we prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if its adjusted Choi operator is a projection. Both equivalences generalize familiar facts about stochastic maps between finite sets.

Operator Algebras,Mathematical Physics,Functional Analysis,Quantum Physics
Noncommutative geometry as a functor

Igor Nikolaev

DOI: https://doi.org/10.48550/arXiv.0806.1728

2008-06-10

Operator Algebras

Abstract:In this note the noncommutative geometry is interpreted as a functor, whose range is a family of the operator algebras. Some examples are given and a program is sketched.
A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

William W. Tucker,John D. Stack

DOI: https://doi.org/10.1016/S0920-5632%2803%2901644-X

2002-09-18

Abstract:We introduce a generalized Maximum Abelian Gauge (MAG). We work with this new gauge on 12^4 lattices for beta=5.7,5.8 and 16^4 lattices for beta=5.9,6.0. We also introduce a form of abelian projection related to the generalized MAG. We measure U(1)xU(1) wilson loops and single color magnetic current densities.

High Energy Physics - Lattice
Soft noncommutative schemes via toric geometry and morphisms from an Azumaya scheme with a fundamental module thereto --- (Dynamical, complex algebraic) D-branes on a soft noncommutative space

Chien-Hao Liu,Shing-Tung Yau

2021-01-01

Abstract: A class of noncommutative spaces, named `soft noncommutative schemes via toric geometry', are constructed and the mathematical model for (dynamical/nonsolitonic, complex algebraic) D-branes on such a noncommutative space, following arXiv:0709.1515 [math.AG] (D(1)), is given. Any algebraic Calabi-Yau space that arises from a complete intersection in a smooth toric variety can embed as a commutative closed subscheme of some soft noncommutative scheme. Along the study, the notion of `soft noncommutative toric schemes' associated to a (simplicial, maximal cone of index $1$) fan, `invertible sheaves' on such a noncommutative space, and `twisted sections' of an invertible sheaf are developed and Azumaya schemes with a fundamental module as the world-volumes of D-branes are reviewed. Two guiding questions, Question 3.12 (soft noncommutative Calabi-Yau spaces and their mirror) and Question 4.2.14 (generalized matrix models), are presented.
Soft Noncommutative Flag Schemes

Chien-Hao Liu,Shing–Tung Yau

DOI: https://doi.org/10.48550/arxiv.2204.12773

2022-01-01

Abstract:The construction of soft noncommutative schemes via toric geometry in arXiv:2108.05328 [math.AG] (D(15.1), NCS(1)) can be generalized and applied to a commutative scheme with a distinguished atlas of reasonably good affine local coordinate charts. In the current notes we carry out this exercise for flag varieties.
Rigidity of CR Morphisms

Xiankui Meng,Stephen Shing-Toung Yau

DOI: https://doi.org/10.2140/pjm.2022.316.207

2022-01-01

Pacific Journal of Mathematics

Abstract:Let X-1 and X-2 be two compact strongly pseudoconvex CR manifolds of dimension 2n - 1 >= 5 which are boundaries of complex varieties V-1 and V-2 with only isolated normal singularities in C-N1 and C-N2, respectively. We show that any nonconstant CR morphism from X-1 to X-2 can be extended to a finite holomorphic covering map from V-1 to V-2 in the case where V-2 has only isolated complete intersection singularities. In particular, there is no nonconstant CR morphism between the links of two isolated complete intersection singularities with different embedding codimensions. Finally, using Kohn-Rossi cohomology, we obtain some sufficient conditions for the nonexistence of CR morphisms from X-1 to X-2.
Generalized maps between diffeological spaces

Kazuhisa Shimakawa

2024-04-11

Abstract:By utilizing the idea of Colombeau's generalized function, we introduce a notion of asymptotic map between arbitrary diffeological spaces. The category consisting of diffeological spaces and asymptotic maps is enriched over the category of diffeological spaces, and inherits completeness and cocompleteness. In particular, the set of asymptotic functions on a Euclidean open set include Schwartz distributions and form a Colombeau type smooth differential algebra over Robinson's field of asymptotic numbers. To illustrate the usefulness of our machinery, we show that homotopy extension property can be established for smooth relative cell complexes if we exploit asymptotic maps instead of smooth ones.

Algebraic Topology
Admissible subcategories of noncommutative curves

Antonios-Alexandros Robotis

2024-05-27

Abstract:We study admissible subcategories of the derived categories of smooth noncommutative curves as classified by Reiten-van den Bergh. We prove phantom subcategories do not exist in these derived categories and we obtain a complete classification of the admissible subcategories of the bounded derived category of representations of an acyclic quiver.

Algebraic Geometry,Category Theory,Representation Theory
Prescribed duality dynamics in comodule categories

Alexandru Chirvasitu

2024-08-15

Abstract:We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left open in prior work, and contrasts with the dual setup whereby a Hopf algebra has injective antipode precisely when it embeds into one with bijective antipode. The examples rely on the broader phenomenon of realizing pre-specified subspace lattices as comodule lattices: for a finite-dimensional vector space $V$ and a sequence $(\mathcal{L}_r)_r$ of successively finer lattices of subspaces thereof, assuming the minimal subquotients of the supremum $\bigvee_r \mathcal{L}_r$ are all at least 2-dimensional, there is a Hopf algebra equipping $V$ with a comodule structure in such a fashion that the lattice of comodules of the $r^{th}$ dual comodule $V^{r*}$ is precisely the given $\mathcal{L}_r$.

Rings and Algebras,Combinatorics,Category Theory,Quantum Algebra
The noncommutative geometry of frame bundles

Stefan Wagner

2023-04-27

Abstract:We apply ourselves to the noncommutative geometry of frame bundles by showing that each C$^*$-algebraic noncommutative principal $\mathrm{SO}(n)$-bundle is, up to isomorphism, uniquely determined by its associated noncommutative vector bundle with respect to the standard representation of $\mathrm{SO}(n)$. For this, we provide a construction procedure, via unitary tensor functors, that for a certain type of correspondence, let's say $M$, attaches a free C$^*$-dynamical system $(\mathcal{A}_M,\mathrm{SO}(n),\alpha_M)$ with the property that its associated noncommutative vector bundle with respect to the standard representation of $\mathrm{SO}(n)$ is isomorphic to $M$.

Operator Algebras,Mathematical Physics,Differential Geometry
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.
Non-commutative disintegrations: existence and uniqueness in finite dimensions

Arthur J. Parzygnat,Benjamin P. Russo

DOI: https://doi.org/10.4171/JNCG/493

2021-05-09

Abstract:Motivated by advances in categorical probability, we introduce non-commutative almost everywhere (a.e.) equivalence and disintegrations in the setting of C*-algebras. We show that C*-algebras (resp. W*-algebras) and a.e. equivalence classes of 2-positive (resp. positive) unital maps form a category. We prove non-commutative disintegrations are a.e. unique whenever they exist. We provide an explicit characterization for when disintegrations exist in the setting of finite-dimensional C*-algebras, and we give formulas for the associated disintegrations.

Quantum Physics,Category Theory,Operator Algebras,Probability
Constraining mapping class group homomorphisms using finite subgroups

Chen, Lei

DOI: https://doi.org/10.1007/s10711-024-00918-y

2024-09-22

Geometriae Dedicata

Abstract:We classify homomorphisms from mapping class groups by using arguments involving finite subgroups. First, we give a new proof of a result of Aramayona–Souto that all homomorphisms between certain mapping class groups of closed surfaces are trivial. Second, we show that only finitely many mapping class groups of closed surfaces have nontrivial homomorphisms to for any n , where is the n -sphere. We also effectivize this result for small values of n ; for instance, we prove that every homomorphism from to or is trivial if , extending a result of Franks–Handel.

mathematics
Nonexistence of colimits in naive discrete homotopy theory

Daniel Carranza,Chris Kapulkin,Jinho Kim

2023-09-05

Abstract:We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.

Combinatorics,Algebraic Topology,Category Theory
Mapping class group dynamics and the holonomy of branched affine structures

Selim Ghazouani

DOI: https://doi.org/10.1007/s00209-017-1940-x

2017-11-01

Mathematische Zeitschrift

Abstract:We classify, up to few exceptions, the orbit closures of the Mod(Σ)$${\mathrm {Mod}}(\Sigma )$$-action on the affine character variety χ(Aff(C))$$\chi ( \mathrm {Aff}({\mathbb {C}}))$$. We obtain from this classification that the only obstruction for a non-abelian representation ρ:π1Σ⟶Aff(C)$$\rho : \pi _1 \Sigma \longrightarrow \mathrm {Aff}({\mathbb {C}})$$ to be the holonomy of a branched affine structure on Σ$$\Sigma $$ is to be Euclidean and not to have positive volume, where Σ$$\Sigma $$ is a closed oriented surface of genus g≥2$$g \ge 2$$.

mathematics
On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

Efton Park,Jody Trout

DOI: https://doi.org/10.48550/arXiv.0704.0910

2007-09-28

Abstract:An n-homomorphism between algebras is a linear map $\phi : A \to B$ such that $\phi(a_1 ... a_n) = \phi(a_1)... \phi(a_n)$ for all elements $a_1, >..., a_n \in A.$ Every homomorphism is an n-homomorphism, for all n >= 2, but the converse is false, in general. Hejazian et al. [7] ask: Is every *-preserving n-homomorphism between C*-algebras continuous? We answer their question in the affirmative, but the even and odd n arguments are surprisingly disjoint. We then use these results to prove stronger ones: If n >2 is even, then $\phi$ is just an ordinary *-homomorphism. If n >= 3 is odd, then $\phi$ is a difference of two orthogonal *-homomorphisms. Thus, there are no nontrivial *-linear n-homomorphisms between C*-algebras.

Operator Algebras,Functional Analysis
Spaces of maps between real algebraic varieties

Wojciech Kucharz

2024-09-03

Abstract:Given two real algebraic varieties X and Y, we denote by R(X,Y) the set of all regular maps from X to Y. The set R(X,Y) is regarded as a topological subspace of the space C(X,Y) of all continuous maps from X to Y endowed with the compact-open topology. We prove, in a much more general setting than previously considered, that each path component of C(X,Y) contains at most one path component of R(X,Y), and for every positive integer k the inclusion map R(X,Y)-->C(X,Y) induces an isomorphism between the kth homotopy groups of the corresponding path components. We also identify several cases where this inclusion map is a weak homotopy equivalence.

Algebraic Geometry
A Profunctorial Semantics for Quantum Supermaps

James Hefford,Matt Wilson

2024-05-23

Abstract:We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. This enables the first construction of abstract logical connectives such as tensor products and negations for supermaps in a totally theory-independent setting. These logical connectives are found to be all that is needed to abstractly model the key structural features of the quantum theory of supermaps: black-box indefinite causal order, black-box definite causal order, and the factorisation of definitely causally ordered supermaps into concrete circuit diagrams. We demonstrate that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.

Quantum Physics,Logic in Computer Science,Category Theory
Functorial Approach to Graph and Hypergraph Theory

Martin Schmidt

DOI: https://doi.org/10.48550/arXiv.1907.02574

2019-07-05

Abstract:We provide a new approach to categorical graph and hypergraph theory by using categorical syntax and semantics. For each monoid $M$ and action on a set $X$, there is an associated presheaf topos of $(X,M)$-graphs where each object can be interpreted as a generalized uniform hypergraph where each edge has cardinality $\#X$ incident vertices (including multiplicity) and where the monoid informs what type of cohesivity the edges possess. One distinguishing feature of $(X,M)$-graphs is the presence of unfixed edges. We prove that unfixed edges are a necessary feature of a category of graphs or uniform hypergraphs if one wants exponentials and effective equivalence relations to exist in the category. The main advantage of separating syntax (the $(X,M)$-graph theories) from semantics (the categories of $(X,M)$-graphs) is the ability to interpret the theory in any cocomplete category. This interpetation functor then yields a nerve-realization adjunction and allows us to transfer structure between the category of $(X,M)$-graphs and the receptive cocomplete category.

Combinatorics,Category Theory
Homotopy classification of based maps between $\mathbf{A}_n^2$-complexes

Pengcheng Li

2024-02-01

Abstract:Let $X,Y$ be $(n-1)$-connected finite pointed CW-complexes of dimension at most $n+2$, $n\geq 3$. In this paper we give elementary proofs of the abelian group structure of $[X,Y]$ of homotopy classes of based maps from $X$ to $Y$, which was due to Baues and Schmidt. Furthermore, we determine the explicit generators associated to $[X,Y]$. As an application, we compute certain (sub)groups of self-homotopy equivalences of certain Chang complexes.

Algebraic Topology

There are no noncommutative soft maps

Characterizations of homomorphisms among unital completely positive maps

Noncommutative geometry as a functor

A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

Soft noncommutative schemes via toric geometry and morphisms from an Azumaya scheme with a fundamental module thereto --- (Dynamical, complex algebraic) D-branes on a soft noncommutative space

Soft Noncommutative Flag Schemes

Rigidity of CR Morphisms

Generalized maps between diffeological spaces

Admissible subcategories of noncommutative curves

Prescribed duality dynamics in comodule categories

The noncommutative geometry of frame bundles

Categorically Proper Homomorphisms of Topological Groups.

Non-commutative disintegrations: existence and uniqueness in finite dimensions

Constraining mapping class group homomorphisms using finite subgroups

Nonexistence of colimits in naive discrete homotopy theory

Mapping class group dynamics and the holonomy of branched affine structures

On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

Spaces of maps between real algebraic varieties

A Profunctorial Semantics for Quantum Supermaps

Functorial Approach to Graph and Hypergraph Theory

Homotopy classification of based maps between $\mathbf{A}_n^2$-complexes