Related papers: Minimal Atomic Complexes
Among the classical variants of the Pr\"ufer surface, some are homotopy equivalent to a CW-complex (namely, a point or a wedge of a continuum of circles) and some are not. The obstruction comes from the existence of uncountably many…
In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed…
Let $k$ be an algebraically closed field of characteristic $p > 0$ and let $G$ be a connected reductive algebraic group over $k$. Under some standard hypothesis on $G$, we give a direct approach to the finite $W$-algebra $U(\mathfrak g,e)$…
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup…
We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…
The homotopy symmetric $C^*$-algebras are those separable $C^*$-algebras for which one can unsuspend in E-theory. We find a new simple condition that characterizes homotopy symmetric nuclear $C^*$-algebras and use it to show that the…
In this paper we provide concrete combinatorial formal deformation algorithms, namely sequences of elementary collapses and expansions, which relate various previously extensively studied families of combinatorially defined polyhedral…
Fix a prime $p$ and a chromatic height $h$. We prove that the homotopy $(k,1)$-category of $L_h$-local spectra $\mathrm{h}_k\big(\mathrm{Sp}_{p,h}\big)$ is algebraic as a symmetric monoidal category when $p > O(h^2+kh)$. To achieve this, we…
It was shown by M. I. Zelikin (2007) that the spectrum of a nuclear operator in a separable Hilbert space is central-symmetric iff the spectral traces of all odd powers of the operator equal zero. The criterium can not be extended to the…
We give two characterization theorems for pseudo-Hermitian (possibly nondiagonalizable) Hamiltonians with a discrete spectrum that admit a block-diagonalization with finite-dimensional diagonal blocks. In particular, we prove that for such…
Let $\mathcal{C}$ be a decomposable plane curve over an algebraically closed field $k$ of characteristic 0. That is, $\mathcal{C}$ is defined in $k^2$ by an equation of the form $g(x) = f(y)$, where $g$ and $f$ are polynomials of degree at…
Let $H=H_q(n)$ be the Hecke algebra of the symmetric group of degree n, over a field of arbitrary characteristic, and where q is a primitive l-th root of unity in $K$. Let $H_{\rho}$ be an l-parabolic subalgebra of $H$. We give an…
The McKay Conjecture (MC) asserts the existence of a bijection between the (inequivalent) complex irreducible representations of degree coprime to $p$ ($p$ a prime) of a finite group $G$ and those of the subgroup $N$, the normalizer of…
We establish a cluster theoretical interpretation of the isomorphisms of [F.-H.-O.-O., J. Reine Angew. Math., 2022] among quantum Grothendieck rings of representations of quantum loop algebras. Consequently, we obtain a quantization of the…
A number of problems in theoretical physics share a common nucleus of combinatoric nature. It is argued here that Hopf algebraic concepts and techiques can be particularly efficient in dealing with such problems. As a first example, a brief…
A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality…
The uniform $\mathcal{F}_p$-isomorphism theorem of Quillen gives a comparison map between the Borel equivariant $\mathbf{Z}/p$-cohomology of a space and a limit involving only the Borel equivariant cohomology groups of the same space with…
We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…
By finite quantum groups we mean Lusztig's finite-dimensional pointed Hopf algebras called quantum Frobenius Kernels [9, 10], and their natural generalizations due to Andruskiewitsch and Schneider [2, 3]. For a Hopf algebra $H$ in a special…
We prove a number of structural and representation-theoretic results on linearly reductive quantum groups, i.e. objects dual to that of cosemisimple Hopf algebras: (a) a closed normal quantum subgroup is automatically linearly reductive if…