Related papers: Coherent and ideal actions in ideally exact catego…
Let $G$ be a Lie group acting properly on a smooth manifold $M$. If $M/G$ is connected, then we exhibit some simple and basic constructions for proper actions. In particular, we prove that the reduction principle in compact transformation…
With each Fell bundle over a discrete group G we associate a partial action of G on the spectrum of the unit fiber. We discuss the ideal structure of the corresponding full and reduced cross-sectional C*-algebras in terms of the dynamics of…
We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…
For an exact category we provide two constructions of an ambient category in which the initial category is resolving: In the derived category and in the Gabriel--Quillen embedding. For the first construction we describe a pre-aisle and its…
In this paper we show that if a discrete group $G$ acts properly isometrically on a discrete space $X$ for which the uniform Roe algebra $C_u^*(X)$ is exact then $G$ is an exact group. As a corollary, we note that if the action is cocompact…
Given a C*-algebra B which is graded over a discrete group G we consider ideals of B which are invariant under the projections onto each of the grading subspaces. If G is exact and the standard conditional expectation of B is faithful we…
Consider an exact action of discrete group $G$ on a separable $C^*$-algebra $A$. It is shown that the reduced crossed product $A\rtimes_{\sigma, \lambda} G$ is strongly purely infinite - provided that the action of $G$ on any quotient $A/I$…
Completely prime right ideals are introduced as a one-sided generalization of the concept of a prime ideal in a commutative ring. Some of their basic properties are investigated, pointing out both similarities and differences between these…
These lecture notes, prepared for the summer school "Topological quantum groups", Bedlewo 2015, deal with aspects of the theory of actions of compact quantum groups on C*-algebras ('locally compact quantum spaces'). After going over the…
We consider a twisted action of a discrete group G on a unital C*-algebra A and give conditions ensuring that there is a bijective correspondence between the maximal invariant ideals of A and the maximal ideals in the associated reduced…
We obtain, via the formalism of tensor actions, a complete classification of the localizing subcategories of the stable derived category of any affine scheme with hypersurface singularities and of any local complete intersection over a…
We consider complete intersection ideals in a polynomial ring over a field of characteristic zero that are stable under the action of the symmetric group permuting the variables. We determine the possible representation types for these…
We introduce a notion of c-group, which is a group up to congruence relation and consider the corresponding category. Extensions, actions and crossed modules (c-crossed modules) are defined in this category and the semi-direct product is…
The aim of this series of papers is to study $z$-ideals of semirings. In this article, we introduce some distinguished classes of $z$-ideals of semirings, which include $z$-prime, $z$-semiprime, $z$-irreducible, and $z$-strongly irreducible…
We discuss some issues related to the definition of different effective actions, in connection with the work on supersymmetric theories by Seiberg and collaborators. We also comment on the possibility of extending this work to broken…
We investigate actions of cyclic groups on polynomial rings with two variables, and the minimal free resolution of the corresponding invariant ring. In particular, we fully classify several cases, including the case the defining ideal has…
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…
We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient…
We introduce a categorical approach to classifying actions of C$^*$-tensor categories $\mathcal{C}$ on C$^*$-algebras up to cocycle conjugacy. We show that, in this category, inductive limits exist and there is a natural notion of…
We give a natural notion of (non-exact) integral functor in the context of k-linear and graded categories. In this broader sense, we prove that every k-linear and graded functor is integral.