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

The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…

We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…

Problems of dense and closed extension of actions of compact transformation groups are solved. The method developed in the paper is applied to problems of extension of equivariant maps and of construction of equivariant compactifications.

The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by…

We establish analogues in the context of group actions or group representations of some classical problems and results in additive combinatorics of groups. We also study the notion of left invariant submodular function defined on power sets…

In this paper, considering the geometric equivalence for algebras of a variety $_{S}A$ of S-acts over a monoid S, we obtain representation theorems describing all types of the equivalence classes of geometrically equivalent S-acts of…

Let G be a finite group acting on a smooth projective curve X. This induces an action of G on the Jacobian JX of X and thus a decomposition of JX up to isogeny. The most prominent example of such a situation is the group G of two elements.…

This is an expository article. We survey some fundamental trends in representation theory of symmetric groups and related objects which became apparent in the last fifteen years. The emphasis is on connections with Lie theory via…

Motivic characteristic classes of possibly singular algebraic varieties are homology class versions of motivic characteristics, not classes in the so-called motivic (co)homology. This paper is a survey on them with more emphasis on…

This note shows the compatibility of the differential geometric and the topological formulations of equivariant characteristic classes for a compact connected Lie group action.

In this paper we present the example which proves that we can not conclude the geometrical equivalence of group representations from the corresponding action-type geometrical equivalence and group geometrical equivalence.

This paper proves that the equational theory of the class $RA_{\alpha}^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_{\alpha}^{cp}$, for finite $\alpha$. That is, substitutions of…

This is a largely expository article based on our previous work on arithmetic diagonal cycles on unitary Shimura varieties. We define a class of Shimura varieties closely related to unitary groups which represent a moduli problem of abelian…

We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…

For an arbitrary localic etale groupoid G we provide simple descriptions, in terms of modules over the quantale O(G) of the groupoid, of the continuous actions of G, including actions on open maps and sheaves. The category of G-actions is…

We develop representation theory approach to the study of special functions associated with toric varieties. In particular we show that the corresponding special functions are given by matrix elements of certain non-reductive Lie algebras

We develop the representation theory of a finite semigroup over an arbitrary commutative semiring with unit, in particular classifying the irreducible and minimal representations. The results for an arbitrary semiring are as good as the…

We consider the problem of rationalizing choice data by a preference satisfying an arbitrary collection of invariance axioms. Examples of such axioms include quasilinearity, homotheticity, independence-type axioms for mixture spaces,…

We construct an abelian category C and exact functors in C which on the Grothendieck group descend to the action of a simply-laced quantum group in its adjoint representation. The braid group action in the adjoint representation lifts to an…

Part I introduced diptych varieties $V_{ABLM}$ and gave a rigorous construction of them in the case $d,e\ge 2$ and $de>4$. Here we prove the existence of $V_{ABLM}$ in all the cases with $de\le4$. At the same time we construct some classes…