相关论文: A Torsion-Free Milnor-Moore Theorem

Let $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_\mathfrak{p}$ acting on $(\mathrm{mod}\, p^m)$ Katz Hilbert modular classes which agrees with the…

Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain…

The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…

We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…

We use braided groups to introduce a theory of $*$-structures on general inhomogeneous quantum groups, which we formulate as {\em quasi-$*$} Hopf algebras. This allows the construction of the tensor product of unitary representations up to…

We study finite-dimensional representations of hyper loop algebras, i.e., the hyperalgebras over an algebraically closed field of positive characteristic associated to the loop algebra over a complex finite-dimensional simple Lie algebra.…

We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to…

The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…

We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an…

In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group…

Let $R$ be a Cohen-Macaulay local ring of dimension one with a canonical module $\rm{K_R}$. Let $I$ be a faithful ideal of $R$. We explore the problem of when $I \otimes_RI^{\vee}$ is torsionfree, where $I^{\vee} = \operatorname{Hom_R(I,…

We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also…

An $R$-module $M$ is Hopfian (co-Hopfian) if any epic (monic) endomorphism of $M$ is an automorphism. If $R$ is commutative Noetherian, we characterize the co-Hopfian injective $R$-modules, and the Hopfian injectives in the case that $R$ is…

Let $X$ be a toric variety. Rationally Borel-Moore homology of $X$ is isomorphic to the homology of the Koszul complex $A^T_*(X)\otimes \Lambda^\x M$, where $A^T_*(X)$ is the equivariant Chow group and $M$ is the character group of $T$.…

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly…

Let $A$ and $B$ be C*-algebras and $\varphi\colon A\to B$ be a $*$-homomorphism. We discuss the properties of the kernel and (co-)image of the induced map $\mathrm{K}_{0}(\varphi)\colon \mathrm{K}_{0}(A) \to \mathrm{K}_{0}(B)$ on the level…

Let $Y$ be the space obtained by attaching a finite-type wedge of cells to a simply-connected, finite-type CW-complex. We introduce the free and semi-inert conditions on the attaching map which broadly generalize the previously studied…

Let M be a closed n-dimensional manifold, n > 2, whose first real cohomology group H 1 (M ; R) is non-zero. We present a general method for constructing a Morse 1-form $\alpha$ on M , closed but non-exact, and a pseudo-gradient X such that…

Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a…

Let $K = \mathbb{Q}(\sqrt{-q})$, where $q$ is any prime number congruent to $7$ modulo $8$, and let $\mathcal{O}$ be the ring of integers of $K$. The prime $2$ splits in $K$, say $2\mathcal{O} = \mathfrak{p} \mathfrak{p}^\ast$, and there is…