A Pair of Garside Shadows

Piotr Przytycki,Yeeka Yau

2023-10-10

Abstract:We prove that the smallest elements of Shi parts and cone type parts exist and form Garside shadows. The latter resolves a conjecture of Parkinson and the second author as well as a conjecture of Hohlweg, Nadeau and Williams.

Group Theory,Combinatorics

What problem does this paper attempt to address?

New Garside structures and applications to Artin groups

Thomas Haettel,Jingyin Huang

2024-10-16

Abstract:Garside groups are combinatorial generalizations of braid groups which enjoy many nice algebraic, geometric, and algorithmic properties. In this article we propose a method for turning the direct product of a group $G$ by $\mathbb{Z}$ into a Garside group, under simple assumptions on $G$. This method gives many new examples of Garside groups, including groups satisfying certain small cancellation condition (including surface groups) and groups with a systolic presentation. Our method also works for a large class of Artin groups, leading to many new group theoretic, geometric and topological consequences for them. In particular, we prove new cases of $K(\pi,1)$-conjecture for some hyperbolic type Artin groups.

Group Theory,Geometric Topology
Simplicial pseudohyperplane arrangements give weak Garside groups

Katherine Goldman

2024-09-24

Abstract:In this note we connect the language of Bessis's Garisde categories with Salvetti's metrical-hemisphere complexes in order to find new examples of weak Garside groups. As our main example, we show that the fundamental group of the (appropriately defined) complexified complement of a pseudohyperplane arrangement is a weak Garside group. As a consequence of the Folkman-Lawrence topological realization theorem, we also show that fundamental group of the Salvetti complex of a ("simplicial") oriented matroid is a weak Garside group. This provides novel examples of weak Garside groups.

Group Theory,Algebraic Topology,Combinatorics
Dual Pairs and Contragredients of Irreducible Representations

Binyong Sun

DOI: https://doi.org/10.2140/pjm.2011.249.485

2011-01-01

Pacific Journal of Mathematics

Abstract:Let G be one of the classical groups GL(n), U(n), O(n) or Sp(2n), over a nonarchimedean local field of characteristic zero. It is well known that the contragredient of an irreducible admissible smooth representation of G is isomorphic to a twist of it by an automorphism of G. We prove that similar results hold for double covers of G that occur in the study of local theta correspondences.
The Action of GT-Shadows on Child's Drawings

Vasily A. Dolgushev

2024-07-16

Abstract:GT-shadows are tantalizing objects that can be thought of as approximations of elements of the mysterious Grothendieck-Teichmueller group $\widehat{GT}$ introduced by V. Drinfeld in 1990. GT-shadows form a groupoid GTSh whose objects are finite index subgroups of the pure braid group PB_4, that are normal in B_4. The goal of this paper is to describe the action of GT-shadows on Grothendieck's child's drawings and show that this action agrees with that of $\widehat{GT}$. We discuss the hierarchy of orbits of child's drawings with respect to the actions of GTSh, $\widehat{GT}$, and the absolute Galois group G_Q of rationals. We prove that the monodromy group and the passport of a child's drawing are invariant with respect to the action of the subgroupoid of charming GT-shadows. We use the action of GT-shadows on child's drawings to prove that every Abelian child's drawing admits a Belyi pair defined over rationals. Finally, we describe selected examples of non-Abelian child's drawings.

Algebraic Topology,Number Theory
Algorithms for Garside calculus

Patrick Dehornoy,Volker Gebhardt

DOI: https://doi.org/10.1016/j.jsc.2013.11.001

2013-01-15

Abstract:Garside calculus is the common mechanism that underlies a certain type of normal form for the elements of a monoid, a group, or a category. Originating from Garside's approach to Artin's braid groups, it has been extended to more and more general contexts, the latest one being that of categories and what are called Garside families. One of the benefits of this theory is to lead to algorithms solving effectively the naturally occurring problems, typically the Word Problem. The aim of this paper is to present and solve these algorithmic questions in the new extended framework.

Group Theory
GT-shadows for the gentle version of the Grothendieck-Teichmueller group

Vasily A. Dolgushev,Jacob J. Guynee

2024-01-30

Abstract:Let $B_3$ be the Artin braid group on 3 strands and $PB_3$ be the corresponding pure braid group. In this paper, we construct the groupoid $GTSh$ of GT-shadows for a (possibly more tractable) version $GT_0$ of the Grothendieck-Teichmueller group $GT$ introduced by D. Harbater and L. Schneps in 2000. We call this group the gentle version of $GT$ and denote it by $GT_{gen}$. The objects of $GTSh$ are finite index normal subgroups $N$ of $B_3$ satisfying the condition $N \subset PB_3$. Morphisms of $GTSh$ are called GT-shadows and they may be thought of as approximations to elements of $GT_{gen}$. We show how GT-shadows can be obtained from elements of $GT_{gen}$ and prove that $GT_{gen}$ is isomorphic to the limit of a certain functor defined in terms of the groupoid $GTSh$. Using this result, we get a criterion for identifying genuine GT-shadows.

Group Theory,Number Theory
Shadow Cones: A Generalized Framework for Partial Order Embeddings

Tao Yu,Toni J.B. Liu,Albert Tseng,Christopher De Sa

2024-04-09

Abstract:Hyperbolic space has proven to be well-suited for capturing hierarchical relations in data, such as trees and directed acyclic graphs. Prior work introduced the concept of entailment cones, which uses partial orders defined by nested cones in the Poincaré ball to model hierarchies. Here, we introduce the ``shadow cones" framework, a physics-inspired entailment cone construction. Specifically, we model partial orders as subset relations between shadows formed by a light source and opaque objects in hyperbolic space. The shadow cones framework generalizes entailment cones to a broad class of formulations and hyperbolic space models beyond the Poincaré ball. This results in clear advantages over existing constructions: for example, shadow cones possess better optimization properties over constructions limited to the Poincaré ball. Our experiments on datasets of various sizes and hierarchical structures show that shadow cones consistently and significantly outperform existing entailment cone constructions. These results indicate that shadow cones are an effective way to model partial orders in hyperbolic space, offering physically intuitive and novel insights about the nature of such structures.

Computer Science
Ultra-Low elements and Join Irreducible gates in Coxeter groups

Yeeka Yau

2024-10-30

Abstract:In this note, we study the "tight gates" of the cone type partition of a Coxeter group $W$; a partition giving rise to the minimal automaton recognising the language of reduced words of $W$ recently studied by Parkinson and Yau (2022) and Przytycki and Yau (2024). We show that the tight gates are the join-irreducible elements of the smallest Garside shadow of $W$ and more generally, that "tight" elements are the join-irreducibles of convex Garside shadows. We study the properties of the tight gates and show that they also act as a gate of the witnesses of boundary roots of cone types and that they are closed under suffix. As an application of these results, we give a very efficient method of determining whether two elements have the same cone type without having to compute the minimal automaton. We also apply our results to explicitly describe the set of ultra-low elements in some select classes of Coxeter groups, thereby verifying a conjecture of Parkinson and Yau for these groups. Furthermore, we explicitly describe the set of tight gates in these cases.

Group Theory,Combinatorics
Good shadows, dynamics, and convex hulls

Francisco Fontenele,Frederico Xavier

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

2009-08-28

Abstract:The Ekeland variational principle implies what can be regarded as a strong version, in the $C^1$ category, of the Yau minimum principle: under the appropriate hypotheses {\it every} minimizing sequence admits a {\it good shadow}, a second minimizing sequence that has good properties and is asymptotic to the original one. Using arguments from dynamical systems, we give another proof of this result and also establish, with the aid of Gromov's theorem on monotonicity of volume ratios, a special case of a conjecture claiming the existence of good shadows in the original $C^2$ setting of the Yau minimum principle. The interest in having an abundance of good shadows stems from the fact that this is a desirable property if one wants to refine the applications of the asymptotic minimum principle, as it allows for information to be localized at infinity. These ideas are applied in this paper to the study of the convex hulls of complete submanifolds of Euclidean $n$-space that have controlled Grassmanian-valued Gauss maps.

Differential Geometry
Garside Groups and Yang–Baxter Equation

Fabienne Chouraqui

DOI: https://doi.org/10.1080/00927870903386502

2010-12-15

Communications in Algebra

Abstract:We establish a one-to-one correspondence between a class of Garside groups admitting a certain presentation and the structure groups of non-degenerate, involutive, and braided set-theoretical solutions of the quantum Yang–Baxter equation. We also characterize indecomposable solutions in terms of Δ-pure Garside groups.

mathematics
Stability through non-shadows

Jun Gao,Hong Liu,Zixiang Xu

2023-06-25

Abstract:We study families $\mathcal{F}\subseteq 2^{[n]}$ with restricted intersections and prove a conjecture of Snevily in a stronger form for large $n$. We also obtain stability results for Kleitman's isodiametric inequality and families with bounded set-wise differences. Our proofs introduce a new twist to the classical linear algebra method, harnessing the non-shadows of $\mathcal{F}$, which may be of independent interest.

Combinatorics
Strongly modular lattices with long shadow

Gabriele Nebe

DOI: https://doi.org/10.48550/arXiv.math/0211232

2002-11-15

Abstract:We classify strongly modular lattices with longest and second longest possible shadow.

Number Theory
The algebraic Green-Griffiths-Lang conjecture for complements of very general pairs of divisors

Kenneth Ascher,Amos Turchet,Wern Yeong

2024-10-01

Abstract:We prove that the complement of a very general pair of hypersurfaces of total degree $2n$ in $\mathbb{P}^n$ is algebraically hyperbolic modulo a proper closed subvariety. This provides evidence towards conjectures of Lang-Vojta and Green-Griffiths, and partially extends previous work of Chen, Pacienza-Rousseau, and Chen-Riedl and the third author.

Algebraic Geometry,Number Theory
Partial Heights and the Geometric Bombieri-Lang Conjecture

Junyi Xie,Xinyi Yuan

2023-01-01

Abstract: We prove the geometric Bombieri-Lang conjecture for projective varieties which have finite morphisms to abelian varieties over function fields of characteristic 0. Our proof is complex analytic, which applies the classical Brody lemma to construct entire curves on complex varieties. Our key ingredients includes a new notion of partial height and its non-degeneracy in a suitable sense. The non-degeneracy is required in the application of the Brody lemma.
Duality for generalized Gan-Gross-Prasad relevant pairs for $p$-adic $\mathrm{GL}_n$

Kei Yuen Chan

2024-06-14

Abstract:The main goal of this article is to formulate a notion, called a generalized GGP relevant pair, governing the quotient branching law for $p$-adic general linear groups. Such notion relies on a commutation relation between derivatives (from Jacquet functors) and integrals (from parabolic inductions), for which we provide both representation-theoretic and combinatorial perspectives. Our main result proves a duality on those relevant pairs, which is compatible with a dual restriction in branching law.

Representation Theory,Number Theory
A descent basis for the Garsia-Procesi module

Erik Carlsson,Raymond Chou

2024-03-25

Abstract:We assign to each Young diagram $\lambda$ a subset $\mathcal{B}_{\lambda'}$ of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module $R_\lambda$, whose graded character is the Hall-Littlewood polynomial $\tilde{H}_{\lambda}[X;t]$. This basis is a major index analogue of the basis $\mathcal{B}_\lambda \subset R_\lambda$ defined by certain recursions in due to Garsia and Procesi, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra $R_n$, which in fact corresponds to the case when $\lambda=1^n$. By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of $\tilde{H}_{\lambda}[X;t]$. Despite a similar appearance, it does not appear obvious how to connect these formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at $q=0$.

Representation Theory,Combinatorics
Positive links with arrangements of pseudocircles as shadows

Carolina Medina,Santino Ramírez,Jorge L. Ramírez-Alfonsín,Gelasio Salazar

DOI: https://doi.org/10.1016/j.topol.2024.108999

IF: 0.583

2024-06-20

Topology and its Applications

Abstract:An arrangement of pseudocircles A is a collection of Jordan curves in the plane that pairwise intersect (transversally) at exactly two points. How many non-equivalent links have A as their shadow? Motivated by this question, we study the number of non-equivalent positive oriented links that have an arrangement of pseudocircles as their shadow. We give sharp estimates on this number when A is one of the three unavoidable arrangements of pseudocircles.

mathematics, applied
A new presentation for Specht modules with distinct parts

Tamar Friedmann,Phil Hanlon,Michelle L. Wachs

2024-10-01

Abstract:We obtain a new presentation for Specht modules whose conjugate shapes have strictly decreasing parts by introducing a linear operator on the space generated by column tabloids. The generators of the presentation are column tabloids and the relations form a proper subset of the Garnir relations of Fulton. The results in this paper extend earlier results of the authors and Stanley on Specht modules of staircase shape.

Combinatorics
On Heights of Characters of Finite Groups

Zhicheng Feng,Yanjun Liu,Jiping Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2020.02.035

IF: 0.908

2020-01-01

Journal of Algebra

Abstract:In this paper we first state a conjecture on the lower bound of the maximal height of characters in a p-block of a finite group. Then we show that our conjecture holds for all blocks of covering groups of a sporadic simple group, for all blocks of a quasi-simple group G with G/Z(G) isomorphic to A6,A7 or a simple group of Lie type with an exceptional covering group, for all blocks of a symmetric group, as well as for all blocks of finite general linear or unitary groups. For the proof of the case with symmetric groups, it relates to an open question of Olsson on the existence of t-core partitions, where t≥3 is an integer. As a byproduct, our investigation on heights of characters of the symmetric groups and of the general linear or unitary groups also gives evidence for the Isaacs-Moretó-Navarro-Tiep Conjecture, claiming that the number of distinct irreducible character degrees of a Sylow p-subgroup P of an arbitrary finite group G is at most one more than the number of irreducible character degrees of G that are multiples of p.
Heights of pre-special points of Shimura varieties

Christopher Daw,Martin Orr

DOI: https://doi.org/10.1007/s00208-015-1328-3

2017-07-12

Abstract:Let s be a special point on a Shimura variety, and x a pre-image of s in a fixed fundamental set of the associated Hermitian symmetric domain. We prove that the height of x is polynomially bounded with respect to the discriminant of the centre of the endomorphism ring of the corresponding Z-Hodge structure. Our bound is the final step needed to complete a proof of the Andre-Oort conjecture under the conjectural lower bounds for the sizes of Galois orbits of special points, using a strategy of Pila and Zannier.

Number Theory

A Pair of Garside Shadows

New Garside structures and applications to Artin groups

Simplicial pseudohyperplane arrangements give weak Garside groups

Dual Pairs and Contragredients of Irreducible Representations

The Action of GT-Shadows on Child's Drawings

Algorithms for Garside calculus

GT-shadows for the gentle version of the Grothendieck-Teichmueller group

Shadow Cones: A Generalized Framework for Partial Order Embeddings

Ultra-Low elements and Join Irreducible gates in Coxeter groups

Good shadows, dynamics, and convex hulls

Garside Groups and Yang–Baxter Equation

Stability through non-shadows

Strongly modular lattices with long shadow

The algebraic Green-Griffiths-Lang conjecture for complements of very general pairs of divisors

Partial Heights and the Geometric Bombieri-Lang Conjecture

Duality for generalized Gan-Gross-Prasad relevant pairs for $p$-adic $\mathrm{GL}_n$

A descent basis for the Garsia-Procesi module

Positive links with arrangements of pseudocircles as shadows

A new presentation for Specht modules with distinct parts

On Heights of Characters of Finite Groups

Heights of pre-special points of Shimura varieties