English
Related papers

Related papers: High-Dimensional Expanders from Chevalley Groups

200 papers

In this paper we study the Diophantine problem in Chevalley groups $G_\pi (\Phi,R)$, where $\Phi$ is an indecomposable root system of rank $> 1$, $R$ is an arbitrary commutative ring with $1$. We establish a variant of double centralizer…

Number Theory · Mathematics 2023-04-14 Elena Bunina , Alexey Miasnikov , Eugene Plotkin

Let W be a finite reflection group acting orthogonally on R^n, P be the Chevalley polynomial mapping determined by an integrity basis of the algebra of W-invariant polynomials, and h be the highest degree of the coordinate polynomials in…

Functional Analysis · Mathematics 2010-03-04 Gerard Barbançon

Higher order random walks (HD-walks) on high dimensional expanders (HDX) have seen an incredible amount of study and application since their introduction by Kaufman and Mass [KM16], yet their broader combinatorial and spectral properties…

Computational Complexity · Computer Science 2021-07-20 Mitali Bafna , Max Hopkins , Tali Kaufman , Shachar Lovett

Let $H$ be an ample line bundle on a non-singular projective surface $X$, and $M(H)$ the coarse moduli scheme of rank-two $H$-semistable sheaves with fixed Chern classes on $X$. We show that if $H$ changes and passes through walls to get…

Algebraic Geometry · Mathematics 2008-12-20 Kimiko Yamada

In this paper, we introduce and characterize a class of parabolically extended structures for relatively hyperbolic groups. A characterization of relative quasiconvexity with respect to parabolically extended structures is obtained using…

Group Theory · Mathematics 2011-11-15 Wenyuan Yang

We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded…

Metric Geometry · Mathematics 2024-11-21 David Hume

Let $\pi$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(\pi)$, the equivariant geometric dimension ${\sf gd}_G(\pi)$, and the equivariant…

Algebraic Topology · Mathematics 2020-04-24 Mark Grant , Ehud Meir , Irakli Patchkoria

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

Group Theory · Mathematics 2014-02-26 Igor A. Rapinchuk

For a suitable irreducible \textit{base} polynomial $f(x)\in \mathbf{Z}[x]$ of degree $k$, a family of polynomials $F_m(x)$ depending on $f(x)$ is constructed with the properties: (i) there is exactly one irreducible factor $\Phi_{d,f}(x)$…

Number Theory · Mathematics 2021-11-30 P Vanchinathan , Krithika M

We construct an explicit family of 3-XOR instances hard for $\Omega(n)$-levels of the Sum-of-Squares (SoS) semi-definite programming hierarchy. Not only is this the first explicit construction to beat brute force search (beyond low-order…

Computational Complexity · Computer Science 2022-04-26 Max Hopkins , Ting-Chun Lin

Let $\Phi$ be a reduced irreducible root system of rank $\ge 2$, let $R$ be a commutative ring and let $I,J$ be two ideals of $R$. In the present paper we describe generators of the commutator groups of relative elementary subgroups…

Rings and Algebras · Mathematics 2012-12-24 Roozbeh Hazrat , Nikolai Vavilov , Zuhong Zhang

We state strong Marstrand properties for two related families of fractals in Heisenberg groups $\mathcal{H}^d$: limit sets of Schottky groups in good position, and attractors of self-similar IFS enjoying the open set condition in the…

Metric Geometry · Mathematics 2019-01-23 Laurent Dufloux

Let $R=k[x_1,..., x_r]$ be the polynomial ring in $r$ variables over an infinite field $k$, and let $M$ be the maximal ideal of $R$. Here a \emph{level algebra} will be a graded Artinian quotient $A$ of $R$ having socle $Soc(A)=0:M$ in a…

Commutative Algebra · Mathematics 2008-09-27 Mats Boij , Anthony Iarrobino

We prove a higher-dimensional Chevalley restriction theorem for orthogonal groups, which was conjectured by Chen and Ng\^{o} for reductive groups. In characteristic $p>2$, we also prove a weaker statement. In characteristic $0$, the theorem…

Representation Theory · Mathematics 2023-05-26 Lei Song , Xiaopeng Xia , Jinxing Xu

We construct finite-dimensional Hopf algebras whose coradical is the group algebra of a central extension of an abelian group. They fall into families associated to a semisimple Lie algebra together with a Dynkin diagram automorphism. We…

Quantum Algebra · Mathematics 2022-06-23 Iván Angiono , Simon Lentner , Guillermo Sanmarco

There is a large literature on cover-free families of finite sets, because of their many applications in combinatorial group testing, cryptographic and communications. This work studies the generalization of cover-free families from sets to…

Combinatorics · Mathematics 2024-07-31 Yunjing Shan , Junling Zhou

In this article we improve the known uniform bound for subgroup growth of Chevalley groups over $\mathbf{G}(\mathbb{F}_p[[t]])$. We introduce a new parameter, the ridgeline number $v(\mathbf{G})$, and give new bounds for the subgroup growth…

Group Theory · Mathematics 2016-11-03 Inna Capdeboscq , Karina Kirkina , Dmitriy Rumynin

We introduce a novel approach to Bertini irreducibility theorems over an arbitrary field, based on random hyperplane slicing over a finite field. Extending a result of Benoist, we prove that for a morphism $\phi \colon X \to \mathbb{P}^n$…

Algebraic Geometry · Mathematics 2021-07-08 Bjorn Poonen , Kaloyan Slavov

We study Fano 3-folds with Fano index 2: that is, 3-folds X with rank Pic(X) = 1, Q-factorial terminal singularities and -K_X = 2A for an ample Weil divisor A. We give a first classification of all possible Hilbert series of such polarised…

Algebraic Geometry · Mathematics 2007-05-23 Gavin Brown , Kaori Suzuki

We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has…

Algebraic Geometry · Mathematics 2007-05-23 Tommaso de Fernex , Alex Kuronya , Robert Lazarsfeld