Related papers: Action-type axiomatizable classes of group represe…

In this paper we present a Galois-Grothendieck-type correspondence for groupoid actions. As an application a Galois-type correspondence is also given.

Suppose we are given a profinite group $G$ acting on a formal moduli stack $\mathcal{M}$, and we want to understand the group action, and compute cohomology related to this group action. How can we do it? This prolegomenon surveys two…

We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both.

We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly…

A near permutation of a set is a bijection between two cofinite subsets, modulo coincidence on smaller cofinite subsets. Near permutations of a set form its near symmetric group. In this monograph, we define near actions as homomorphisms…

We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…

We revisit Margulis-Zimmer Super-Rigidity and provide some generalizations. In particular we obtain super-rigidity results for lattices in higher-rank groups or product of groups, targeting at algebraic groups over arbitrary fields with…

In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such…

In this article we describe the projective representation of Plesken Lie algebras and equivalent central extensions of these algebras. Further it is also shown that there exists a bijective correspondence between second cohomology group,…

This is a brief overview of a few selected chapters on automorphism groups of affine varieties. It includes some open questions.

In this paper we study the interaction between logic and probability. In particular, we show that the convex hull of evaluations of a broad class of logics is always effectively axiomatizable. We define a Birkhoff-style calculus for…

The purpose of this note is to extend the classical Aschbacher--O'Nan--Scott theorem for finite groups to the class of countable linear groups. This relies on the analysis of primitive actions carried out in a previous paper. Unlike the…

We describe a categorical g action, called a (g,theta) action, which is easier to check in practice. Most categorical g actions can be shown to be of this form. The main result is that a (g,theta) action carries actions of quiver Hecke…

It is a survey of the results obtained by K. Glazek's and his co-workers. We restrict our attention to the problems of axiomatizations of n-ary groups, classes of n-ary groups, properties of skew elements and homomorphisms induced by skew…

It is well known that the Galois group of an extension puts constraints on the structure of the relative ideal class groups. Using only basic parts of the theory of group representations, we give a unified approach to such results.

We consider an arbitrary representation of the additive group over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.

We give very flexible, concrete constructions of discrete and faithful epresentations of right-angled Artin groups into higher-rank Lie groups. Using the geometry of the associated symmetric spaces and the combinatorics of the groups, we…

Heisenberg categories act on many Abelian categories appearing in type A representation theory. There is also a general procedure to construct from a Heisenberg action another action of a Kac-Moody 2-category for some associated Cartan…

Let $\pi$ be an irreducible unitary representation of a finitely generated nonabelian free group $\Gamma$; suppose $\pi$ is weakly contained in the regular representation. In 2001 the first and third authors conjectured that such a…

We explore computational tools that allow to compute the class on the Grothendieck ring of varieties of finite cyclic quotients in some interesting examples. As an main application, we determine the motive of low rank representation…