相关论文: Equivalent definitions of Arthur packets for real …

We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables…

This paper addresses the semantics of weighted argumentation graphs that are bipolar, i.e. contain both attacks and supports for arguments. It builds on previous work by Amgoud, Ben-Naim et. al. We study the various characteristics of…

The Adams conjecture states that the local theta correspondence sends a local Arthur packet to another local Arthur packet. M{\oe}glin confirmed the conjecture when lifting to groups of sufficiently high rank and also showed that it fails…

Cycles of attacking arguments pose non-trivial issues in Dung style argumentation theory, apparent behavioural difference between odd and even length cycles being a notable one. While a few methods were proposed for treating them, to - in…

Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic…

The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the…

We introduce and develop the notion of "unipotent spectra." This is defined to be the stabilization of To\"en's category of affine stacks, and is related to recent work of Mondal--Reinecke. Unipotent spectra give rise to unipotent stable…

In this paper we obtain the Wedderburn-Artin decomposition of a semisimple group algebra associated to a direct product of finite groups. We also provide formulae for the number of all possible group codes, and their dimensions, that can be…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

This note concerns geometric aspects of the local Langlands correspondence for real groups as extended from Langlands' original work by Adams-Barbasch-Vogan, and further (conjectural) formulations by W. Soergel. The main result concerns…

We derive atomic decompositions and frames for weighted Bergman spaces of several complex variables on the unit ball in the spirit of Coifman, Rochberg, and Luecking. In contrast to our predecessors, we use group theoretic methods, in…

In this paper we study branching laws for certain unitary representations. This is done on the smooth vectors via a version of the {\it period integrals}, studied in number theory, and also closely connected to the {\it symmetry-breaking…

The goal of this paper is to prove how Arthur's results, in the case of split odd orthogonal p-adic groups, imply the Langlands' classification of discrete series. Of course this need the validity of ''fundamental'' lemmas which are not yet…

We describe those group algebras over fields of characteristic different from 2 whose units symmetric with respect to the classical involution, satisfy some group identity.

We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does not allow interpreting with different path- and…

Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized…

The theme of the article is the study of the unipotent part of Arthur's trace formula for general linear groups. The case of regular (or "regular by blocks") unipotent orbits has been essentially done in a previous paper. Here we are…

We give a uniform geometric realization for the cluster algebra of an arbitrary finite type with principal coefficients at an arbitrary acyclic seed. This algebra is realized as the coordinate ring of a certain reduced double Bruhat cell in…

It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf representations of universal algebras (over stably compact spaces)…

The matrix integral has many applications in diverse fields. This review article begins by presenting detailed key background knowledge about matrix integral. Then the volumes of orthogonal groups and unitary groups are computed,…