Related papers: An inductive machinery for representations of cate…

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded…

A global representation is a compatible collection of representations of the outer automorphism groups of the groups belonging to some collection of finite groups $\mathscr{U}$. Global representations assemble into an abelian category…

This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an…

We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Mart\'inez's link between Makkai's FOLDS (first order logic with…

We introduce the notion of inductive category in a model category and prove that it agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-) pointed…

We develop a unified representation theory for the categories of finite subsets and relation-preserving maps of highly homogeneous relational structures classified by Cameron. For any commutative coefficient ring $k$, we extend the…

We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient…

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via…

In this work, we establish a representation theorem for multivariable totally symmetric functions: a multisymmetric continuous function must be the composition of a continuous function and a set of generators of the multisymmetric…

Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an efficient design of the related algorithm have been solidly…

We consider continuous, translation-commuting transformations of compact, translation-invariant families of mappingsfrom finitely generated groups into finite alphabets. It is well-known that such transformations and spaces can be described…

We generalize the notion of proof term to the realm of transfinite reduction. Proof terms represent reductions in the first-order term format, thereby facilitating their formal analysis. We show that any transfinite reduction can be…

Let G be a connected reductive group defined over a finite field F_q. We give a parametrization of the irreducible representations of G(F_q) in terms of (twisted) categorical centres of various monoidal categories associated to G. (Results…

We use categorical method and birational geometry to study moduli spaces of quiver representations. From certain "representable" functor, we construct a birational transformation from the moduli space of representations of one quiver to…

We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.

The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group \Gamma, with quotient group isomorphic to \Gamma/N. It is shown how to enumerate such…

Let $G_n$ be an inner form of a general linear group over a non-Archimedean field. We fix an arbitrary irreducible representation $\sigma$ of $G_n$. Lapid-M\'inguez give a combinatorial criteria for the irreducibility of parabolic induction…

The induced representation ${\rm Ind}_H^GS$ of a locally compact group $G$ is the unitary representation of the group $G$ associated with unitary representation $S:H\rightarrow U(V)$ of a subgroup $H$ of the group $G$. Our aim is to develop…

In this paper, we propose a property which is a natural generalization of Kazhdan's property $(T)$ and prove that many, but not all, groups with property $(T)$ also have this property. Let $\G$ be a finitely generated group. One definition…

For any finite group G with a finite G-set X and a modular tensor category C we construct a part of the algebraic structure of an associated G-equivariant monoidal category: For any group element g in G we exhibit the module category…