Abstract We study higher-form global symmetries and a higher-group structure of low-energy limit (3 + 1)-dimensional axion electrodynamics in gapped phase described by topological action. argue that the should have semi-strict 4-group (3-crossed module) consistency conditions couplings action to background gauge fields for symmetries. find possible ’t Hooft anomalies symmetry, discuss physical ...

let $r$ be a right artinian ring or a perfect commutative‎‎ring‎. ‎let $m$ be a noncosingular self-generator $sum$-lifting‎‎module‎. ‎then $m$ has a direct decomposition $m=oplus_{iin i} m_i$‎,‎where each $m_i$ is noetherian quasi-projective and each‎‎endomorphism ring $end(m_i)$ is local‎.

Let A be a Hopf algebra in a braided category C. Crossed modules over A are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category DY (C)AA of crossed modules is braided and is a concrete realization of a known general construction of a double or center of a monoidal category. For a quantum braided group (A,A,R) the correspo...

We use the canonical Lipschitz geometry available on the boundary of a hyperbolic group to construct finitely summable Fredholm modules over the crossed product of the boundary action. The procedure yields a full set of representatives of the K-homology of the crossed product, and all of them are p-summable for p in an appropriate range related to the geometry of the boundary. By restricting th...

We investigate a higher-group structure of massless axion electrodynamics in $(3+1)$ dimensions. By using the background gauging method, we show that higher-form symmetries necessarily have global semistrict 3-group (2-crossed module) structure, and exhibit 't Hooft anomalies 3-group. In particular, find cubic mixed anomaly between 0-form 1-form symmetries, which is specific to structure.

We prove that St(n,A) is a crossed module over GL(n,A) under local stable rank condition on an algebra A commutative ring. Our proof uses only elementary localization techniques in terms of pro-groups and stability results for K1 K2. also similar result the Steinberg group associated with any sufficiently isotropic general linear constructed by quasi-finite algebra.

We study the Ehresmann--Schauenburg bialgebroid of a noncommutative principal bundle as quantization gauge groupoid classical bundle. show that group is isomorphic to bisections bialgebroid, and we give crossed module structure for automorphisms bialgebroid. Examples illustrating these constructions include: Galois objects Taft algebras, monopole over quantum spheres not faithfully flat Hopf--G...

Crossed Uncrossed Differentials (CUDs) have long been used as surrogate for the interhemispheric transfer time (IHTT). Evidence is presented that macular vision is the province of the major hemisphere, wherein all commands are initiated regardless of the laterality of the effectors of such commands. Using clinical and time-resolved data it is shown also that the above arrangement (i.e. neural h...

Let τ be a linear map from a unital C∗-algebra A to a von Neumann algebra B and let C be a unital C∗-algebra. A map T from a Hilbert A-module E to a von Neumann C-B module F is called a τ -map if 〈T (x), T (y)〉 = τ(〈x, y〉) for all x, y ∈ E. A Stinespring type theorem for τ -maps and its covariant version are obtained when τ is completely positive. We show that there is a bijective correspondenc...