Poc Sets, Median Algebras and Group Actions

Martin Roller

DOI: https://doi.org/10.48550/arXiv.1607.07747

2016-07-24

General Topology

Abstract:An extended Study of Dunwoody's Construction and Sageev's Theorem

What problem does this paper attempt to address?

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Anthony Genevois

DOI: https://doi.org/10.1307/mmj/20195823

2021-01-01

Abstract:In this paper, we associate with isometries of CAT(0) cube complexes specific subspaces, referred to as median sets, which play a similar role as minimizing sets of semisimple isometries in CAT(0) spaces. Various applications are deduced, including a cubulation of centralizers, a splitting theorem, a proof that Dehn twists in mapping class groups must be elliptic for every action on a CAT(0) cube complex, a cubical version of the flat torus theorem, and a structural theorem about polycyclic groups acting on CAT(0) cube complexes.

mathematics
Algebraic actions I. C*-algebras and groupoids

Chris Bruce,Xin Li

DOI: https://doi.org/10.1016/j.jfa.2023.110263

2023-11-30

Abstract:We provide a framework for studying concrete C*-algebras associated with algebraic actions of semigroups: Given such an action, we construct an inverse semigroup, and we introduce conditions for algebraic actions that characterize Hausdorffness, topological freeness, and minimality of the associated tight groupoid. We parameterize all closed invariant subspaces of the unit space of our groupoid, and characterize topological freeness of the associated reduction groupoids. We prove that our groupoids are purely infinite whenever they are minimal, and in the topologically free case, we prove that our concrete C*-algebra is always a (possibly exotic) groupoid C*-algebra in the sense that it sits between the full and essential C*-algebras of our groupoid. As an application, we obtain structural results for C*-algebras associated with, for instance, shifts over semigroups, actions coming from commutative algebra, and non-commutative rings.

Operator Algebras,Dynamical Systems
Noncommutative point spaces of symbolic dynamical systems

Jason P. Bell,Be'eri Greenfeld

2024-02-10

Abstract:We study point modules of monomial algebras associated with symbolic dynamical systems, parametrized by proalgebraic varieties which 'linearize' the underlying dynamical systems. Faithful point modules correspond to transitive sub-systems, equivalently, to monomial algebras associated with infinite words. In particular, we prove that the space of point modules of every prime monomial algebra with Hilbert series $1/(1-t)^2$ -- which is thus thought of as a 'monomial $\mathbb{P}^1$' -- is isomorphic to a union of a classical projective line with a Cantor set. While there is a continuum of monomial $\mathbb{P}^1$'s with non-equivalent graded module categories, they all share isomorphic parametrizing spaces of point modules. In contrast, free algebras are geometrically rigid, and are characterized up to isomorphism from their spaces of point modules. Furthermore, we derive enumerative and ring-theoretic consequences from our analysis. In particular, we show that the formal power series counting the irreducible components of the moduli schemes of truncated point modules of finitely presented monomial algebras are rational functions, and classify isomorphisms and automorphisms of projectively simple monomial algebras.

Rings and Algebras
On a Theorem by Lin and Shinder through the Lens of Median Geometry

Anthony Genevois,Anne Lonjou,Christian Urech

2023-12-09

Abstract:Recently, Lin and Shinder constructed non-trivial homomorphisms from Cremona groups of rank >2 to \mathbb{Z} using motivic techniques. In this short note we propose an alternative perspective from median geometry on their theorem.

Algebraic Geometry,Group Theory
Banach algebras associated to twisted étale groupoids: inverse semigroup disintegration and representations on $L^p$-spaces

Krzysztof Bardadyn,Bartosz K. Kwaśniewski,Andrew McKee

2024-01-26

Abstract:We introduce Banach algebras associated to a twisted étale groupoid $(\mathcal{G},\mathcal{L})$ and to twisted inverse semigroup actions. This provides a unifying framework for numerous recent papers on $L^p$-operator algebras and the theory of groupoid $C^*$-algebras. We prove a disintegration theorem that allows us to study Banach algebras associated to $(\mathcal{G},\mathcal{L})$ as universal Banach algebras generated by $C_0(X)$ and a twisted inverse semigroup $S$ of partial isometries subject to some relations. Our theory works best when the groupoid is ample or when the target of a representation is a dual Banach algebra $B$, so for instance $B=B(E)$ where $E$ is a reflexive Banach space. In particular, it implies that in the constructions of $L^p$-analogues of Cuntz or graph algebras, by Phillips and Cortiñas--Rodr\'ıguez, the use of \emph{spatial partial isometries} is not an assumption, in fact it is forced by the relations. We establish fundamental norm estimates and hierarchy for full and reduced $L^p$-operator algebras for $(\mathcal{G},\mathcal{L})$ and $p \in [1,\infty]$, whose special cases have been studied recently by Gardella--Lupini, Choi--Gardella--Thiel and Hetland--Ortega. We also introduce tight inverse semigroup Banach algebras that cover ample groupoid Banach algebras, and we discuss Banach algebras associated to twisted partial group actions, twisted Renault--Deaconu groupoids and directed graphs. Our Banach Cuntz algebras are related to the construction of Daws--Horváth. We aim for a high degree of generality throughout: our results cover non-Hausdorff étale groupoids and both real and complex algebras. Some of our results seem to be absent from the literature even for $C^*$-algebras.

Functional Analysis,Operator Algebras
Koszul duality for generalized Steinberg representations of $p$-adic groups

Clifton Cunningham,James Steele

2024-10-03

Abstract:In this paper we prove a novel result on two categories that appear in the local Langlands correspondence, for generalized Steinberg representations. Let $G$ be a semisimple reductive group split over a $p$-adic field $F$. The main result of this paper shows that category of modules over the extension algebra of generalized Steinberg representations of $G(F)$ appears as a full subcategory of equivariant perverse sheaves on the variety of Langlands parameters for these representations.

Representation Theory
Ozone groups of Artin--Schelter regular algebras satisfying a polynomial identity

Kenneth Chan,Jason Gaddis,Robert Won,James J. Zhang

2024-10-09

Abstract:We study the ozone group of noetherian Artin--Schelter regular algebras satisfying a polynomial identity (or PI for short). The ozone group was shown in previous work by the authors to be an important invariant in the study of PI skew polynomial rings and their centers. In this paper, we show that skew polynomial rings are in fact characterized as those algebras with maximal rank ozone groups. We also classify those with trivial ozone groups, which must necessarily be Calabi--Yau. This class includes most three-dimensional PI Sklyanin algebras. Further examples and applications are given, including applications to the Zariski Cancellation Problem.

Rings and Algebras
Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Abid Ali,Lisa Carbone

2024-02-19

Abstract:Let $G$ be an affine or hyperbolic rank 2 Kac--Moody group over a finite field $\mathbb{F}_q$. Let $X=X_{q+1}$ be the Tits building of $G$, the $q+1$--homogeneous tree. Let $\Gamma$ be a nonuniform lattice in $G$. When $\Gamma=P_i^-$, $i=1,2$, the standard parabolic subgroup for the negative $BN$--pair, the quotient graph $P^-_i\backslash X$ is the positive half of the fundamental apartment of $X$, a semi-infinite ray. We define Eisenstein series on $P_1^-\backslash X$. We prove convergence of Eisenstein series in a half space. This uses Iwasawa decomposition of the Haar measure on $G$. A crucial tool is a description of the vertices of $X$ in terms of Iwasawa cells, which we give. We prove meromorphic continuation of Eisenstein series using the Selberg--Bernstein continuation principle. This requires an analog of integral operators on the Tits building and the classical truncation operator for Eisenstein series, which we construct.

Number Theory,Group Theory
Koszulity, supersolvability, and Stirling representations

Ayah Almousa,Victor Reiner,Sheila Sundaram

2024-07-30

Abstract:Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.

Combinatorics,Commutative Algebra,Rings and Algebras
On a question of Blecher, Pisier, Shlyakhtenko

Roy Araiza,Marius Junge,Carlos Palazuelos

2024-07-25

Abstract:We show the failure of a matricial version of Grothendieck's theorem for operator spaces, thereby resolving a long-standing open question in the field. Moreover, by showing that such a counterexample can occur in the simplest context of commutative $C^*$-algebras, we address some other open questions in operator algebras. Our constructions, completely explicit and fairly simple, are inspired by some techniques in quantum information theory.

Operator Algebras
Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Sébastien Alvarez,Pablo G. Barrientos,Dmitry Filimonov,Victor Kleptsyn,Dominique Malicet,Carlos Meniño,Michele Triestino

2023-08-22

Abstract:In the first part of this work we have established an efficient method to obtain a topological classification of locally discrete, finitely generated, virtually free subgroups of real-analytic circle diffeomorphisms. In this second part we describe several consequences, among which the solution (within this setting) to an old conjecture by P. R. Dippolito [Ann. Math. 107 (1978), 403-453] that actions with invariant Cantor sets must be semi-conjugate to piecewise linear actions. In addition, we exhibit examples of locally discrete, minimal actions which are not of Fuchsian type.

Dynamical Systems,Group Theory
Splitting Algebras: Koszul, Cohen-Macaulay and Numerically Koszul

Tyler Kloefkorn,Brad Shelton

DOI: https://doi.org/10.48550/arXiv.1207.1330

2013-12-02

Abstract:We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebra of A. We prove that R is Koszul and the poset is uniform if and only if the poset is Cohen-Macaulay. Koszulity of R implies Koszulity of A. We also show that when R is Koszul, the cohomology of the order complex of the poset can be identified with certain cohomology groups defined internally to the ring R. Finally, we settle in the negative the long-standing question: Does numerically Koszul imply Koszul for algebras of the form R?

Rings and Algebras,Combinatorics
Triality over Schemes

Cameron Ruether

2024-04-29

Abstract:Working over an arbitrary base scheme, we provide an alternative development of triality which does not use Octonion algebras or symmetric composition algebras. Instead, we use the Clifford algebra of the split hyperbolic quadratic form of rank 8 and computations with Chevalley generators of groups of type $D_4$. Following the strategy of The Book of Involutions [KMRT], we then define the stack of trialitarian triples and show it is equivalent to the gerbe of $\mathbf{PGO}_8^+$--torsors. We show it has endomorphisms generating a group isomorphic to $\mathbb{S}_3$ and that several familiar cohomological properties of $\mathbf{PGO}_8^+$ follow in this setting as a result. Next, we define the stack of trialitarian algebras and show it is equivalent to the gerbe of $\mathbf{PGO}_8^+\rtimes \mathbb{S}_3$--torsors. Because of this, it is also equivalent to the gerbes of simply connected, respectively adjoint, groups of type $D_4$. We define $\mathbf{Spin}_\mathcal{T}$ and $\mathbf{PGO}^+_\mathcal{T}$ for a trialitarian algebra and define concrete functors $\mathcal{T} \mapsto \mathbf{Spin}_\mathcal{T}$ and $\mathcal{T} \mapsto \mathbf{PGO}^+_\mathcal{T}$ which realize these equivalences.

Algebraic Geometry
Sen Operators and Lie Algebras arising from Galois Representations over $p$-adic Varieties

Tongmu He

DOI: https://doi.org/10.48550/arXiv.2208.07519

2022-08-16

Abstract:Any finite-dimensional $p$-adic representation of the absolute Galois group of a $p$-adic local field with imperfect residue field is characterized by its arithmetic and geometric Sen operators defined by Sen and Brinon. We generalize their construction to the fundamental group of a $p$-adic affine variety with a semi-stable chart, and prove that the module of Sen operators is canonically defined, independently of the choice of the chart. Our construction relies on a descent theorem in the $p$-adic Simpson correspondence developed by Tsuji. When the representation comes from a $\mathbb{Q}_p$-representation of a $p$-adic analytic group quotient of the fundamental group, we describe its Lie algebra action in terms of the Sen operators, which is a generalization of a result of Sen and Ohkubo. These Sen operators can be extended continuously to certain infinite-dimensional representations. As an application, we prove that the geometric Sen operators annihilate locally analytic vectors, generalizing a result of Pan.

Algebraic Geometry,Number Theory
On Posets, Monomial Ideals, Gorenstein Ideals and their Combinatorics

Geir Agnarsson,Neil Epstein

DOI: https://doi.org/10.1007/s11083-024-09669-7

2024-05-09

Order

Abstract:In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra over a field K that are not in the ideal itself with Macaulay's inverse systems of such polynomial algebras in a purely combinatorial way for monomial ideals, and then develop some closure operational properties for the related poset . We then derive some algebraic propositions of -graded rings (a natural generalization of the usual -grading where is a monoid) that then have some combinatorial consequences. Interestingly, some of the results from this part that uniformly hold for polynomial rings are always false when the ring is local. We finally delve into some direct computations, in relation to a given term order of the monomials, for general zero-dimensional Gorenstein ideals, and we deduce a few explicit observations and results for the inverse systems from some recent results about socles.

mathematics
Algebras Associated to Inverse Systems of Projective Schemes

Andrew Conner,Peter Goetz

2024-06-25

Abstract:Artin, Tate and Van den Bergh initiated the field of noncommutative projective algebraic geometry by fruitfully studying geometric data associated to noncommutative graded algebras. More specifically, given a field $\mathbb K$ and a graded $\mathbb K$-algebra $A$, they defined an inverse system of projective schemes $\Upsilon_A = \{{\Upsilon_d(A)}\}$. This system affords an algebra, $\mathbf B(\Upsilon_A)$, built out of global sections, and a $\mathbb K$-algebra morphism $\tau: A \to \mathbf B(\Upsilon_A)$. We study and extend this construction. We define, for any natural number $n$, a category ${\tt PSys}^n$ of projective systems of schemes and a contravariant functor $\mathbf B$ from ${\tt PSys}^n$ to the category of associative $\mathbb K$-algebras. We realize the schemes ${\Upsilon_d(A)}$ as ${\rm Proj \ } {\mathbf U}_d(A)$, where ${\mathbf U}_d$ is a functor from associative algebras to commutative algebras. We characterize when the morphism $\tau: A \to \mathbf B(\Upsilon_A)$ is injective or surjective in terms of local cohomology modules of the ${\mathbf U}_d(A)$. Motivated by work of Walton, when $\Upsilon_A$ consists of well-behaved schemes, we prove a geometric result that computes the Hilbert series of $\mathbf B(\Upsilon_A)$. We provide many detailed examples that illustrate our results. For example, we prove that for some non-AS-regular algebras constructed as twisted tensor products of polynomial rings, $\tau$ is surjective or an isomorphism.

Algebraic Geometry,Rings and Algebras
Depth Zero Representations of Nonlinear Covers of $p$-adic Groups

Tatiana K. Howard,Martin H. Weissman

DOI: https://doi.org/10.48550/arXiv.0812.3870

2008-12-20

Abstract:We generalize the methods of Moy-Prasad, in order to define and study the genuine depth zero representations of some nonlinear covers of reductive groups over $p$-adic local fields. In particular, we construct all depth zero supercuspidal representations of the metaplectic group $Mp_{2n}$ over a $p$-adic field of odd residue characteristic.

Representation Theory,Number Theory
ADE subalgebras of the triplet vertex algebra W(p): D_m-series

Drazen Adamovic,Xianzu Lin,Antun Milas

DOI: https://doi.org/10.48550/arXiv.1304.5711

2013-04-21

Abstract:We are continuing our study of ADE-orbifold subalgebras of the triplet vertex algebra W(p). This part deals with the dihedral series. First, subject to a certain constant term identity, we classify all irreducible modules for the vertex algebra $\bar{M(1)} ^+$, the $\Z_2$--orbifold of the singlet vertex algebra $\bar{M(1)}$. Then we classify irreducible modules and determine Zhu's and $C_2$--algebra for the vertex algebra $\triplet ^{D_2}$. A general method for construction of twisted $\triplet$--modules is also introduced. We also discuss classification of twisted $\bar{M(1)}$--modules including the twisted Zhu's algebra $A_{\Psi} (\bar{M(1)})$, which is of independent interest. The category of admissible $\Psi$-twisted $\bar{M(1)}$-modules is expected to be semisimple. We also prove $C_2$-cofiniteness of $\triplet^{D_m}$ for all $m$, and give a conjectural list of irreducible $\triplet^{D_m}$-modules. Finally, we compute characters of the relevant irreducible modules and describe their modular closure.

Quantum Algebra,High Energy Physics - Theory,Mathematical Physics,Representation Theory
Zero-sum multisets mod p with an application to surface automorphisms

Anthony Weaver

2024-04-18

Abstract:We solve a problem in enumerative combinatorics which is equivalent to counting topological types of certain group actions on compact Riemann surfaces. Let $V_2(F_p)$ be the two-dimensional vector space over $F_p$, the field with $p$ elements, $p$ an odd prime. We count orbits of the general linear group $GL_2(F_p)$ on certain multisets consisting of $R \geq 3$ non-zero columns from $V_2(F_p)$. The $R$-multisets are `zero-sum,' that is, the sum (mod $p$) over the columns in the multiset is $[\begin{smallmatrix} 0 \\ 0 \end{smallmatrix}]$. The orbit count yields the number of topological types of fully ramified actions of the elementary abelian $p$-group of rank $2$ on compact Riemann surfaces of genus $1+ Rp(p-1)/2-p^2.$

Combinatorics
Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids

Mark V. Lawson

DOI: https://doi.org/10.48550/arXiv.1501.06824

2016-02-09

Abstract:Under non-commutative Stone duality, there is a correspondence between second countable Hausdorff étale groupoids which have a Cantor space of identities and what we call Tarski inverse monoids: that is, countable Boolean inverse $\wedge$-monoids with semilattices of idempotents which are countable and atomless. Tarski inverse monoids are therefore the algebraic counterparts of the étale groupoids studied by Matui and provide a natural setting for many of his calculations. Under this duality, we prove that natural properties of the étale groupoid correspond to natural algebraic properties of the Tarski inverse monoid: effective groupoids correspond to fundamental Tarski inverse monoids and minimal groupoids correspond to $0$-simplifying Tarski inverse monoids. Particularly interesting are the principal groupoids which correspond to Tarski inverse monoids where every element is a finite join of infinitesimals and idempotents. Here an infinitesimal is simply a non-zero element with square zero. Such inverse monoids are natural infinite generalizations of finite symmetric inverse monoids. The groups of units of fundamental Tarski inverse monoids generalize the finite symmetric groups and include amongst their number the Thompson groups $G_{n,1}$ as well as the groups of units of what we term AF inverse monoids, Krieger's ample groups being examples. We characterize such groups as subgroups of particular kinds of the group of homeomorphisms of the Cantor space.

Category Theory

Poc Sets, Median Algebras and Group Actions

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Algebraic actions I. C*-algebras and groupoids

Noncommutative point spaces of symbolic dynamical systems

On a Theorem by Lin and Shinder through the Lens of Median Geometry

Banach algebras associated to twisted étale groupoids: inverse semigroup disintegration and representations on $L^p$-spaces

Koszul duality for generalized Steinberg representations of $p$-adic groups

Ozone groups of Artin--Schelter regular algebras satisfying a polynomial identity

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Koszulity, supersolvability, and Stirling representations

On a question of Blecher, Pisier, Shlyakhtenko

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Splitting Algebras: Koszul, Cohen-Macaulay and Numerically Koszul

Triality over Schemes

Sen Operators and Lie Algebras arising from Galois Representations over $p$-adic Varieties

On Posets, Monomial Ideals, Gorenstein Ideals and their Combinatorics

Algebras Associated to Inverse Systems of Projective Schemes

Depth Zero Representations of Nonlinear Covers of $p$-adic Groups

ADE subalgebras of the triplet vertex algebra W(p): D_m-series

Zero-sum multisets mod p with an application to surface automorphisms

Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids