BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Skip Garibaldi

Skip Garibaldi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRmath.RTmath.RAmath.AGhep-thmath.NTcond-mat.stat-mechmath-phmath.DGmath.KTmath.MPmath.PR

Catalog footprint

What is connected

25works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

25 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access