Classification of STGQs, I

Koen Thas

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

2014-06-16

Combinatorics

Abstract:We describe new classification results in the theory of generalized quadrangles (= Tits-buildings of rank $2$ and type $\mathbb{B}_2$), more precisely in the (large) sub theory of skew translation generalized quadrangles ("STGQs"). Some of these involve, and solve, long-standing open problems.

What problem does this paper attempt to address?

Central aspects of skew translation quadrangles, I

Koen Thas

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

2014-06-16

Abstract:Except for the Hermitian buildings $\mathcal{H}(4,q^2)$, up to a combination of duality, translation duality or Payne integration, every known finite building of type $\mathbb{B}_2$ satisfies a set of general synthetic properties, usually put together in the term "skew translation generalized quadrangle" (STGQ). In this series of papers, we classify finite skew translation generalized quadrangles. In the first installment of the series, as corollaries of the machinery we develop in the present paper, (a) we obtain the surprising result that any skew translation quadrangle of odd order $(s,s)$ is a symplectic quadrangle; (b) we determine all skew translation quadrangles with distinct elation groups (a problem posed by Payne in a less general setting); (c) we develop a structure theory for root-elations of skew translation quadrangles which will also be used in further parts, and which essentially tells us that a very general class of skew translation quadrangles admits the theoretical maximal number of root-elations for each member, and hence all members are "central" (the main property needed to control STGQs, as which will be shown throughout); (d) we solve the Main Parameter Conjecture for a class of STGQs containing the class of the previous item, and which conjecturally coincides with the class of all STGQs.

Combinatorics
On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Tao Feng,Jianbing Lu

DOI: https://doi.org/10.1007/s10623-023-01203-x

2023-01-01

Abstract: Let $\mathcal{S}$ be a finite thick generalized quadrangle, and suppose that $G$ is an automorphism group of $\mathcal{S}$. If $G$ acts primitively on both the points and lines of $\mathcal{S}$, then it is known that $G$ must be almost simple. In this paper, we show that if the socle of $G$ is $\mathrm{PSL}(2,q)$ with $q\geq4$, then $q=9$ and $\mathcal{S}$ is the unique generalized quadrangle of order $2$.
Infinite cyclic projective skew translation quadrangles do not exist

Koen Thas

DOI: https://doi.org/10.1007/s00208-023-02626-6

2023-05-12

Mathematische Annalen

Abstract:In this paper we completely classify infinite cyclic projective skew translation quadrangles through a new approach first partially introduced in Thas (A question of Frohardt on 2-groups, skew translation quadrangles of even order and cyclic STGQs. Preprint (2022), 11 pp), and in the present paper (unexpectedly) adapted to the infinite case. Very surprisingly, these objects do not exist and only occur in the finite case.

mathematics
Generalized Quadrangles Of Order $(s, s^2)$. IV. Translations, Moufang And Fong-Seitz

Joseph A. Thas

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

2022-05-30

Combinatorics

Abstract:In the period 1994-1999 Thas wrote a series of three papers on generalized quadrangles of order $(s, s^2)$. In this Part IV we classify all finite translation generalized quadrangles of order $(s, s^2)$ having a kernel of size at least 3, containing a regular line not incident with the translation point. There are several applications on generalized quadrangles of order $(s, s^2)$ having at least 2 translation points, on Moufang quadrangles, and concerning the theorem of Fong and Seitz classifying all groups with a BN-pair of rank 2.
Classification of spreads of Tits quadrangles of order 64

Giusy Monzillo,Tim Penttila,Alessandro Siciliano

2023-05-05

Abstract:Brown et al. provide a representation of a spread of the Tits quadrangle $T_2(\mathcal O)$, $\mathcal O$ an oval of $\mathrm PG(2,q)$, $q$ even, in terms of a certain family of $q$ ovals of $\mathrm PG(2,q)$. By combining this representation with the Vandendriessche classification of hyperovals in $\mathrm PG(2,64)$ and the classification of flocks of the quadratic cone in $\mathrm PG(3,64)$, recently given by the authors, in this paper, we classify all the spreads of $T_2(\mathcal O)$, $\mathcal O$ an oval of $\mathrm PG(2,64)$, up to equivalence. These complete the classification of spreads of $T_2(\mathcal O)$ for $q\le 64$.

Combinatorics
On finite generalized quadrangles of even order

Tao Feng

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

2023-05-29

Abstract:In this paper, we establish the following two results: (1) a skew translation generalized quadrangle of even order is a translation generalized quadrangle, (2) a generalized quadrangle of even order does not admit a point regular automorphism group. The first result confirms a conjecture of Payne (1975) based on earlier work of Ott (2021), and the second result confirms a conjecture of Ghinelli (1992).

Combinatorics
Simple groups, product actions, and generalised quadrangles

John Bamberg,Tomasz Popiel,Cheryl E. Praeger

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

2017-02-24

Abstract:The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to investigate generalised quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O'Nan-Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in non-Abelian finite simple groups, and about fixities of primitive permutation groups.

Group Theory,Combinatorics
A coarse geometric approach to the generalised Green-Julg Theorem

Liejin Guo,Qin Wang

DOI: https://doi.org/10.48550/arxiv.2208.11595

2022-01-01

Abstract:In this note, we provide a proof of the generalised Green-Julg theorem by using the language of twisted localization algebras introduced by G. Yu. This proof is for those who have interests in coarse geometry but not so familiar with KK-theory or E-theory
A translation generalized quadrangle in characteristic $\ne 0$ is linear

Koen Thas

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

2016-08-08

Combinatorics

Abstract:It is a long-standing conjecture from the 1970s that every translation generalized quadrangle is linear, that is, has an endomorphism ring which is a division ring (or, in geometric terms, that has a projective representation). We show that any translation generalized quadrangle $\Gamma$ is ideally embedded in a translation quadrangle which is linear. This allows us to weakly represent any such $\Gamma$ in projective space, and moreover, to have a well-defined notion of "characteristic" for these objects. We then show that each translation quadrangle in positive characteristic indeed is linear.
On the classification of Generalized Quasitopological Gravities

Javier Moreno,Ángel J. Murcia

DOI: https://doi.org/10.1103/PhysRevD.108.044016

2023-04-18

Abstract:Generalized Quasitopological Gravities (GQTGs) are higher-order extensions of Einstein gravity in $D$ dimensions satisfying a number of interesting properties, such as possessing second-order linearized equations of motion on top of maximally symmetric backgrounds, admitting non-hairy generalizations of the Schwarzschild-Tangherlini black hole which are characterized by a single metric function or forming a perturbative spanning set of the space of effective theories of gravity. In this work, we classify all inequivalent GQTGs at all curvature orders $n$ and spacetime dimension $D \geq 4$. This is achieved after the explicit construction of a dictionary that allows the uplift of expressions evaluated on a single-function static and spherically symmetric ansatz into fully covariant ones. On the one hand, applying such prescription for $D \geq 5$, we find the explicit covariant form of the unique inequivalent Quasitopological Gravity that exists at each $n$ and, for the first time, the covariant expressions of the $n-2$ inequivalent proper GQTGs existing at every curvature order $n$. On the other hand, for $D=4$, we are able to provide the first rigorous proof of the fact that there is one and only one (proper) inequivalent GQTG at each curvature order $n$, deriving along the way a simple expression for such four-dimensional representative at every order $n$.

General Relativity and Quantum Cosmology,High Energy Physics - Theory
Virtual Classes of Character Stacks

Ángel González-Prieto,Márton Hablicsek,Jesse Vogel

2024-02-21

Abstract:In this paper, we extend the Topological Quantum Field Theory developed by González-Prieto, Logares, and Muñoz for computing virtual classes of $G$-representation varieties of closed orientable surfaces in the Grothendieck ring of varieties to the setting of the character stacks. To this aim, we define a suitable Grothendieck ring of representable stacks, over which this Topological Quantum Field Theory is defined. In this way, we compute the virtual class of the character stack over $BG$, that is, a motivic decomposition of the representation variety with respect to the natural adjoint action. We apply this framework in two cases providing explicit expressions for the virtual classes of the character stacks of closed orientable surfaces of arbitrary genus. First, in the case of the affine linear group of rank $1$, the virtual class of the character stack fully remembers the natural adjoint action, in particular, the virtual class of the character variety can be straightforwardly derived. Second, we consider the non-connected group $\mathbb{G}_m \rtimes \mathbb{Z}/2\mathbb{Z}$, and we show how our theory allows us to compute motivic information of the character stacks where the classical naïve point-counting method fails.

Algebraic Geometry,Representation Theory
On the classification of quadratic forms over an integral domain of a global function field

Rony A. Bitan

DOI: https://doi.org/10.1016/j.jnt.2017.03.007

2017-05-30

Abstract:Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Any finite set $S$ of closed points of $C$ gives rise to an integral domain $\mathcal{O}_S:=\mathbb{F}_q[C-S]$ in $K$. We show that given an $\mathcal{O}_S$-regular quadratic space $(V,q)$ of rank $n \geq 3$, the set of genera in the proper classification of quadratic $\mathcal{O}_S$-spaces isomorphic to $(V,q)$ in the flat or étale topology, is in $1:1$ correspondence with ${_2\text{Br}}(\mathcal{O}_S)$, thus there are $2^{|S|-1}$ such. If $(V,q)$ is isotropic, then $\text{Pic}(\mathcal{O}_S)/2$ classifies the forms in the genus of $(V,q)$. For $n \geq 5$ this is true for all genera, hence the full classification is via the abelian group $H^2_{\text{ét}}(\mathcal{O}_S,\underline{\mu}_2)$.

Algebraic Geometry
On the classification of symplectic DQ-algebroids

Paul Bressler,Juan Diego Rojas

2023-04-07

Abstract:DQ-algebroids locally defined on a symplectic manifold form a 2-gerbe. By adapting the method of P. Deligne to the setting of DQ-algebroids we show that this 2-gerbe admits a canonical global section, namely that every symplectic manifold admits a canonical DQ-algebroid quantizing the structure sheaf. The construction relies on methods of non-abelian cohomology and local computations in the Weyl algebra. As a corollary we obtain a classification of symplectic DQ-algebroids.

Symplectic Geometry,Algebraic Topology,Category Theory,Quantum Algebra
Virtual motives for synthetic geometries, A. Definition and properties of $K_0(\mathcal{Q}_\ell)$

Koen Thas

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

2022-01-11

Algebraic Geometry

Abstract:In this note, we introduce the first basics on Grothendieck rings for incidence geometries as a new motivic way and tool to study synthetic geometry. In this first instance, we concentrate on generalized quadrangles and related geometries. Many questions, new properties and insights arise along the way.
Toward a classification of finite quandles

G. Ehrman,A. Gurpinar,M. Thibault,D.N. Yetter

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

2005-12-07

Abstract:This paper summarizes substantive new results derived by a student team (the first three authors) under the direction of the fourth author at the 2005 session of the KSU REU ``Brainstorming and Barnstorming''. The main results are a decomposition theorem for quandles in terms of an operation of `semidisjoint union' showing that all finite quandles canonically decompose via iterated semidisjoint unions into connected subquandles, and a structure theorem for finite connected quandles with prescribe inner automorphism group. The latter theorem suggests a new approach to the classification of finite connected quandles.

Quantum Algebra
Covers of generalized quadrangles

Joseph A. Thas,Koen Thas

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

2016-07-20

Abstract:We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in particular we study the isomorphism problem for such covers and associated geometries. As a byproduct, we obtain new results about semipartial geometries coming from $\theta$-covers, and consider related problems.

Combinatorics
On the Classification of Finite Quasi-Quantum Groups over Abelian Groups

Hua-Lin Huang,Gongxiang Liu,Yuping Yang,Yu Ye

2024-03-07

Abstract:Using a variety of methods developed in the theory of finite-dimensional quasi-Hopf algebras, we classify all finite-dimensional coradically graded pointed coquasi-Hopf algebras over abelian groups. As a consequence, we partially confirm the generation conjecture of pointed finite tensor categories due to Etingof, Gelaki, Nikshych and Ostrik.

Quantum Algebra,Rings and Algebras
On the classification of primitive ideals for complex classical Lie algebras, IV

William McGovern,Thomas Pietraho

2023-09-26

Abstract:This paper is the fourth and last in the series "On the classification of primitive ideals for complex classical Lie algebras", extending earlier results in other classical types to type D. The generalized tau-invariant used in earlier work must now be defined in a different way, using a family of operators attached to a quadruple of simple roots spanning a subsystem of type D_4. each taking one or two values. Using these operators we show that primitive ideals of trivial infinitesimal character are characterized by their generalized tau-invariants and are parametrized by standard domino tableaux of the appropriate special shape.

Representation Theory
Cohomology of character stacks via TQFTs

Jesse Vogel

2024-06-28

Abstract:We study the cohomology of $G$-representation varieties and $G$-character stacks by means of a topological quantum field theory (TQFT). This TQFT is constructed as the composite of a so-called field theory and the 6-functor formalism of sheaves on topological stacks. We apply this framework to compute the cohomology of various $G$-representation varieties and $G$-character stacks of closed surfaces for $G = \text{SU}(2), \text{SO}(3)$ and $\text{U}(2)$. This work can be seen as a categorification of earlier work, in which such a TQFT was constructed on the level of Grothendieck groups to compute the corresponding Euler characteristics.

Algebraic Geometry,Algebraic Topology
Arithmetic-Geometric Correspondence of Character Stacks via Topological Quantum Field Theory

Ángel González-Prieto,Márton Hablicsek,Jesse Vogel

2023-09-27

Abstract:In this paper, we introduce Topological Quantum Field Theories (TQFTs) generalizing the arithmetic computations done by Hausel and Rodríguez-Villegas and the geometric construction done by Logares, Muñoz, and Newstead to study cohomological invariants of $G$-representation varieties and $G$-character stacks. We show that these TQFTs are related via a natural transformation that we call the 'arithmetic-geometric correspondence' generalizing the classical formula of Frobenius on the irreducible characters of a finite group. We use this correspondence to extract some information on the character table of finite groups using the geometric TQFT, and vice versa, we greatly simplify the geometric calculations in the case of upper triangular matrices by lifting its irreducible characters to the geometric setting.

Algebraic Geometry,Mathematical Physics,Category Theory,Representation Theory

Classification of STGQs, I

Central aspects of skew translation quadrangles, I

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Infinite cyclic projective skew translation quadrangles do not exist

Generalized Quadrangles Of Order $(s, s^2)$. IV. Translations, Moufang And Fong-Seitz

Classification of spreads of Tits quadrangles of order 64

On finite generalized quadrangles of even order

Simple groups, product actions, and generalised quadrangles

A coarse geometric approach to the generalised Green-Julg Theorem

A translation generalized quadrangle in characteristic $\ne 0$ is linear

On the classification of Generalized Quasitopological Gravities

Virtual Classes of Character Stacks

On the classification of quadratic forms over an integral domain of a global function field

On the classification of symplectic DQ-algebroids

Virtual motives for synthetic geometries, A. Definition and properties of $K_0(\mathcal{Q}_\ell)$

Toward a classification of finite quandles

Covers of generalized quadrangles

On the Classification of Finite Quasi-Quantum Groups over Abelian Groups

On the classification of primitive ideals for complex classical Lie algebras, IV

Cohomology of character stacks via TQFTs

Arithmetic-Geometric Correspondence of Character Stacks via Topological Quantum Field Theory