Source author record

Skip Garibaldi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.RT math.RA math.AG hep-th math.NT cond-mat.stat-mech math-ph math.DG math.KT math.MP math.PR

Catalog footprint

Research overview

25works

12topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A class of continuous non-associative algebras arising from algebraic groups including $E_8$

We give a construction that takes a simple linear algebraic group $G$ over a field and produces a commutative, unital, and simple non-associative algebra $A$ over that field. Two attractions of this construction are that (1) when $G$ has type $E_8$ , the algebra $A$ is obtained by adjoining a unit to the 3875-dimensional representation and (2) it is effective, in that the product operation on $A$ can be implemented on a computer. A description of the algebra in the $E_8$ case has been requested for some time, and interest has been increased by the recent proof that $E_8$ is the full automorphism group of that algebra. The algebras obtained by our construction have an unusual Peirce spectrum.

preprint2019arXiv

Generically free representations I: large representations

For a simple linear algebraic group $G$ acting faithfully on a vector space $V$ and under mild assumptions, we show: if $V$ is large enough, then the Lie algebra of $G$ acts generically freely on $V$ . That is, the stabilizer in the Lie algebra of $G$ of a generic vector in $V$ is zero. The bound on $\dim V$ grows like $(\mathrm{rank} G)^2$ and holds with only mild hypotheses on the characteristic of the underlying field. The proof relies on results on generation of Lie algebras by conjugates of an element that may be of independent interest. We use the bound in subsequent works to determine which irreducible faithful representations are generically free, with no hypothesis on the characteristic of the field. This in turn has applications to the question of which representations have a stabilizer in general position as well as the determination of the invariants of the representation.

preprint2019arXiv

Generically free representations II: irreducible representations

We determine which faithful irreducible representations $V$ of a simple linear algebraic group $G$ are generically free for Lie( $G$ ), i.e., which $V$ have an open subset consisting of vectors whose stabilizer in Lie( $G$ ) is zero. This relies on bounds on $\dim V$ obtained in prior work (part I), which reduce the problem to a finite number of possibilities for $G$ and highest weights for $V$ , but still infinitely many characteristics. The remaining cases are handled individually, some by computer calculation. These results were previously known for fields of characteristic zero, although new phenomena appear in prime characteristic; we provide a shorter proof that gives the result with very mild hypotheses on the characteristic. (The few characteristics not treated here are settled in part III.) These results are related to questions about invariants and the existence of a stabilizer in general position.

preprint2019arXiv

Generically free representations III: extremely bad characteristic

In parts I and II, we determined which faithful irreducible representations $V$ of a simple linear algebraic group $G$ are generically free for Lie( $G$ ), i.e., which $V$ have an open subset consisting of vectors whose stabilizer in Lie( $G$ ) is zero, with some assumptions on the characteristic of the field. This paper settles the remaining cases, which are of a different nature because Lie( $G$ ) has a more complicated structure and there need not exist general dimension bounds of the sort that exist in good characteristic.

preprint2016arXiv

Essential dimension of algebraic groups, including bad characteristic

We give upper bounds on the essential dimension of (quasi-)simple algebraic groups over an algebraically closed field that hold in all characteristics. The results depend on showing that certain representations are generically free. In particular, aside from the cases of spin and half-spin groups, we prove that the essential dimension of a simple algebraic group $G$ of rank at least two is at most $\mathrm{dim}(G) - 2(\mathrm{rank}(G)) - 1$ . It is known that the essential dimension of spin and half-spin groups grows exponentially in the rank. In most cases, our bounds are as good or better than those known in characteristic zero and the proofs are shorter. We also compute the generic stabilizer of an adjoint group on its Lie algebra.

preprint2015arXiv

Bilinear and Quadratic Forms on Rational Modules of Split Reductive Groups

The representation theory of semisimple algebraic groups over the complex numbers (equivalently, semisimple complex Lie algebras or Lie groups, or real compact Lie groups) and the question of whether a given representation is symplectic or orthogonal has been solved over the complex numbers since at least the 1950s. Similar results for Weyl modules of split reductive groups over fields of characteristic different from 2 hold by using similar proofs. This paper considers analogues of these results for simple, induced and tilting modules of split reductive groups over fields of prime characteristic as well as a complete answer for Weyl modules over fields of characteristic 2.

preprint2015arXiv

Outer automorphisms of algebraic groups and a Skolem-Noether theorem for Albert algebras

The question of existence of outer automorphisms of a simple algebraic group $G$ arises naturally both when working with the Galois cohomology of $G$ and as an example of the algebro-geometric problem of determining which connected components of the automorphism group of $G$ have rational points. The existence question remains open only for four types of groups, and we settle one of the remaining cases, type $^3D_4$ . The key to the proof is a Skolem-Noether theorem for cubic etale subalgebras of Albert algebras which is of independent interest. Necessary and sufficient conditions for a simply connected group of outer type $A$ to admit outer automorphisms of order 2 are also given.

preprint2015arXiv

Simple groups stabilizing polynomials

We study the problem of determining, for a polynomial function $f$ on a vector space $V$ , the linear transformations $g$ of $V$ such that $f g = f$ . In case $f$ is invariant under a simple algebraic group $G$ acting irreducibly on $V$ , we note that the subgroup of $GL(V)$ stabilizing $f$ often has identity component $G$ and we give applications realizing various groups, including the largest exceptional group $E_8$ , as automorphism groups of polynomials and algebras. We show that starting with a simple group $G$ and an irreducible representation $V$ , one can almost always find an $f$ whose stabilizer has identity component $G$ and that no such $f$ exists in the short list of excluded cases. This relies on our core technical result, the enumeration of inclusions $G < H \le SL(V)$ such that $V/H$ has the same dimension as $V/G$ . The main results of this paper are new even in the special case where $k$ is the complex numbers.

preprint2015arXiv

Some people have all the luck

We look at the Florida Lottery records of winners of prizes worth $600 or more. Some individuals claimed large numbers of prizes. Were they lucky, or up to something? We distinguish the "plausibly lucky" from the "implausibly lucky" by solving optimization problems that take into account the particular games each gambler won, where plausibility is determined by finding the minimum expenditure so that if every Florida resident spent that much, the chance that any of them would win as often as the gambler did would still be less than one in a million. Dealing with dependent bets relies on the BKR inequality; solving the optimization problem numerically relies on the log-concavity of the regularized Beta function. Subsequent investigation by law enforcement confirmed that the gamblers we identified as "implausibly lucky" were indeed behaving illegally.

preprint2014arXiv

Shells of twisted flag varieties and the Rost invariant

We introduce two new general methods to compute the Chow motives of twisted flag varieties and settle a 20-year-old conjecture of Markus Rost about the Rost invariant for groups of type E7.

preprint2012arXiv

Exceptional collections of line bundles on projective homogeneous varieties

We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G-varieties for split linear algebraic groups G of rank at most 2.

preprint2012arXiv

Weakly commensurable S-arithmetic subgroups in almost simple algebraic groups of types B and C

Let G and G' be absolutely almost simple algebraic groups of types B and C respectively, of rank at least 3, and defined over a number field K. We determine when G and G' have the same isomorphism or isogeny classes of maximal K-tori. This leads to the necessary and sufficient conditions for two Zariski-dense S-arithmetic subgroups of G and G' to be weakly commensurable.

preprint2011arXiv

Did a 1-dimensional magnet detect a 248-dimensional Lie algebra?

About a year ago, a team of physicists reported in Science that they had observed "evidence for E8 symmetry" in the laboratory. This expository article is aimed at mathematicians and explains the chain of reasoning connecting measurements on a quasi-1-dimensional magnet with a 248-dimensional Lie algebra.

preprint2011arXiv

Outer automorphisms of algebraic groups and determining groups by their maximal tori

We give a cohomological criterion for existence of outer automorphisms of a semisimple algebraic group over an arbitrary field. This criterion is then applied to the special case of groups of type D_2n over a global field, which completes some of the main results from the paper "Weakly commensurable arithmetic groups and isospectral locally symmetric spaces" (Pub. Math. IHES, 2009) by Prasad and Rapinchuk and gives a new proof of a result from another paper by the same authors.

preprint2010arXiv

Open Problems on Central Simple Algebras

We provide a survey of past research and a list of open problems regarding central simple algebras and the Brauer group over a field, intended both for experts and for beginners.

preprint2010arXiv

The gamma-filtration and the Rost invariant

Let X be the variety of Borel subgroups of a simple and strongly inner linear algebraic group G over a field k. We prove that the torsion part of the second quotient of Grothendieck's gamma-filtration on X is a cyclic group of order the Dynkin index of G. As a byproduct of the proof we obtain an explicit cycle that generates this cyclic group; we provide an upper bound for the torsion of the Chow group of codimension-3 cycles on X; we relate the generating cycle with the Rost invariant and the torsion of the respective generalized Rost motives; we use this cycle to obtain a uniform lower bound for the essential dimension of (almost) all simple linear algebraic groups.

preprint2010arXiv

The Rost invariant has zero kernel for quasi-split trialitarian groups

The Book of Involutions includes the NON-trivial parts of a proof that the kernel of the Rost invariant is zero for quasi-split trialitarian groups. We record the missing (mechanical) details here. This note is recorded here on the arxiv only for the convenience of readers who like the style of The Book and obviously does not merit publication. A proof in Harder's style can be found in a paper by Chernousov (see the bibliography).

preprint2010arXiv

Wild Pfister forms over Henselian fields, K-theory, and conic division algebras

The epicenter of this paper concerns Pfister quadratic forms over a field $F$ with a Henselian discrete valuation. All characteristics are considered but we focus on the most complicated case where the residue field has characteristic 2 but $F$ does not. We also prove results about round quadratic forms, composition algebras, generalizations of composition algebras we call conic algebras, and central simple associative symbol algebras. Finally we give relationships between these objects and Kato's filtration on the Milnor $K$ -groups of $F$ .

preprint2009arXiv

Degree 5 invariant of E8

We investigate a degree 5 invariant of groups of type E8 and give its applications to the structure of finite subgroups in algebraic groups.

preprint2009arXiv

Quaternion algebras with the same subfields

G. Prasad and A. Rapinchuk asked if two quaternion division F -algebras that have the same subfields are necessarily isomorphic. The answer is known to be "no" for some very large fields. We prove that the answer is "yes" if F is an extension of a global field K so that F /K is unirational and has zero unramified Brauer group. We also prove a similar result for Pfister forms and give an application to tractable fields.

preprint2009arXiv

There is no "Theory of Everything" inside E8

We analyze certain subgroups of real and complex forms of the Lie group E8, and deduce that any "Theory of Everything" obtained by embedding the gauge groups of gravity and the Standard Model into a real or complex form of E8 lacks certain representation-theoretic properties required by physical reality. The arguments themselves amount to representation theory of Lie algebras in the spirit of Dynkin's classic papers and are written for mathematicians.

preprint2009arXiv

Vanishing of trace forms in low characteristics

Every finite-dimensional representation of an algebraic group G gives a trace symmetric bilinear form on the Lie algebra of G. We give criteria in terms of root system data for the existence of a representation such that this form is nonzero or nondegenerate. As a corollary, we show that a Lie algebra of type E8 over a field of characteristic 5 does not have a so-called "quotient trace form", answering a question posed in the 1960s.

preprint2008arXiv

Orthogonal involution on algebras of degree 16 and the Killing form of E8

We exploit various inclusions of algebraic groups to give a new construction of groups of type E8, determine the Killing forms of the resulting E8's, and define an invariant of central simple algebras of degree 16 with orthogonal involution "in I^3", equivalently, groups of type D8 with a half-spin representation defined over the base field. The determination of the Killing form is done by restricting the adjoint representation to various twisted forms of PGL2 and requires very little computation. An appendix by Kirill Zainoulline contains a type of "index reduction" result for groups of type D.

preprint2008arXiv

Pfister's Theorem for orthogonal involutions of degree 12

We use the fact that a projective half-spin representation of $Spin_{12}$ has an open orbit to generalize Pfister's result on quadratic forms of dimension 12 in $I^3$ to orthogonal involutions.

preprint2006arXiv

Restricting the Rost Invariant to the Center

For simple simply connected algebraic groups of classical type, Merkurjev, Parimala, and Tignol gave a formula for the restriction of the Rost invariant to torsors induced from the center of the group. We complete their results by proving formulas for exceptional groups. Our method is somewhat different and recovers also their formula for classical groups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Skip Garibaldi

Research overview

Is this your work?

25 publications

A class of continuous non-associative algebras arising from algebraic groups including $E_8$

Generically free representations I: large representations

Generically free representations II: irreducible representations

Generically free representations III: extremely bad characteristic

Essential dimension of algebraic groups, including bad characteristic

Bilinear and Quadratic Forms on Rational Modules of Split Reductive Groups

Outer automorphisms of algebraic groups and a Skolem-Noether theorem for Albert algebras

Simple groups stabilizing polynomials

Some people have all the luck

Shells of twisted flag varieties and the Rost invariant

Exceptional collections of line bundles on projective homogeneous varieties

Weakly commensurable S-arithmetic subgroups in almost simple algebraic groups of types B and C

Did a 1-dimensional magnet detect a 248-dimensional Lie algebra?

Outer automorphisms of algebraic groups and determining groups by their maximal tori

Open Problems on Central Simple Algebras

The gamma-filtration and the Rost invariant

The Rost invariant has zero kernel for quasi-split trialitarian groups

Wild Pfister forms over Henselian fields, K-theory, and conic division algebras

Degree 5 invariant of E8

Quaternion algebras with the same subfields

There is no "Theory of Everything" inside E8

Vanishing of trace forms in low characteristics

Orthogonal involution on algebras of degree 16 and the Killing form of E8

Pfister's Theorem for orthogonal involutions of degree 12

Restricting the Rost Invariant to the Center

See the researcher in context

Building this map preview

Skip Garibaldi

Research overview

Is this your work?

25 publications

A class of continuous non-associative algebras arising from algebraic groups including E8E_8E8​

Generically free representations I: large representations

Generically free representations II: irreducible representations

Generically free representations III: extremely bad characteristic

Essential dimension of algebraic groups, including bad characteristic

Bilinear and Quadratic Forms on Rational Modules of Split Reductive Groups

Outer automorphisms of algebraic groups and a Skolem-Noether theorem for Albert algebras

Simple groups stabilizing polynomials

Some people have all the luck

Shells of twisted flag varieties and the Rost invariant

Exceptional collections of line bundles on projective homogeneous varieties

Weakly commensurable S-arithmetic subgroups in almost simple algebraic groups of types B and C

Did a 1-dimensional magnet detect a 248-dimensional Lie algebra?

Outer automorphisms of algebraic groups and determining groups by their maximal tori

Open Problems on Central Simple Algebras

The gamma-filtration and the Rost invariant

The Rost invariant has zero kernel for quasi-split trialitarian groups

Wild Pfister forms over Henselian fields, K-theory, and conic division algebras

Degree 5 invariant of E8

Quaternion algebras with the same subfields

There is no "Theory of Everything" inside E8

Vanishing of trace forms in low characteristics

Orthogonal involution on algebras of degree 16 and the Killing form of E8

Pfister's Theorem for orthogonal involutions of degree 12

Restricting the Rost Invariant to the Center

See the researcher in context

Building this map preview

A class of continuous non-associative algebras arising from algebraic groups including $E_8$