BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Michael Larsen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We conjecture that if $G$ is a simple compact Lie group with trivial center, then every $d$-variable non-constant word map with coefficients in $G$ defines a non-constant function on $G^d$. We prove the conjecture for $A_r$, $B_r$, $E_6$, and $G_2$ using a ping-pong argument.
We show that, if $w_1, \ldots , w_6$ are words which are not an identity of any (non-abelian) finite simple group, then $w_1(G)w_2(G) \cdots w_6(G) = G$ for all (non-abelian) finite simple groups $G$. In particular, for every word $w$, either $w(G)^6 = G$ for all finite simple groups, or $w(G)=1$ for some finite simple groups. These theorems follow from more general results we obtain on characteristic collections of finite groups and their covering numbers, which are of independent interest and have additional applications.
In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that for each $ε> 0$ there exists $N > 0$ such that, if $|G| \ge N$ and $S, T$ are normal subsets of $G$ with at least $ε|G|$ elements each, then every non-trivial element of $G$ is the product of an element of $S$ and an element of $T$. We show that this holds in a strong sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{PSL}}_n(q)$ where $q$ is fixed and $n$ tends to infinity. Our second main result is that any element in a transitive permutation representation of a sufficiently large finite simple group is a product of two derangements.
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$-Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$-algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.
For a very general product $A$ of seven or more elliptic curves, every rational curve on the Kummer variety of $A$ projects trivially onto the Kummer variety of at least one of its factors. As a consequence, a very general member of certain families of abelian varieties parametrized by connected Shimura varieties of unitary type has the property that its Kummer variety has no rational curves.
This paper contributes to the study of the fibers of the commutator map on special linear groups in characteristic zero. Specifically, we show that the fibers over non-central elements all have the same dimension. Also we explain that the fibers over central elements can be of larger dimension and compute how large. We use the character tables of finite general linear groups constructed by J.A. Green to count solutions to the commutator equation $[x,y]=g$ over finite fields and use algebraic geometry to go from characteristic $p$ to characteristic $0$. To deal with fibers over central elements, we compute the orbits of the conjugation action of $\mathrm{GL}_n$ on these fibers.
If w is a word in d>1 letters and G is a finite group, evaluation of w on a uniformly randomly chosen d-tuple in G gives a random variable with values in G, which may or may not be uniform. It is known that if G ranges over finite simple groups of given root system and characteristic, a positive proportion of words w give a distribution which approaches uniformity in the limit as |G| goes to infinity. In this paper, we show that the proportion is in fact 1.
Let $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}]$ denote the Grothendieck ring of $\mathbb{Q}$-varieties with the Lefschetz class inverted. We show that there exists a K3 surface X over $\mathbb{Q}$ such that the motivic zeta function $ζ_X(t) := \sum_n [\mathrm{Sym}^n X]t^n$ regarded as an element in $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}][[t]]$ is not a rational function in $t$, thus disproving a conjecture of Denef and Loeser.
We develop the concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups. We give characterizations of the level of a character in terms of its Lusztig's label and in terms of its degree. Then we prove explicit upper bounds for character values at elements with not-too-large centralizers and derive upper bounds on the covering number and mixing time of random walks corresponding to these conjugacy classes. We also characterize the level of the character in terms of certain dual pairs and prove explicit exponential character bounds for the character values, provided that the level is not too large.
We give upper bounds for the number of irreducible representations of dimension at most n for a compact semisimple Lie group. In particular, we prove that there are at most n irreducible representations of dimension at most n for a simple compact Lie group. We use this prove that the number of conjugacy classes of maximal subgroups of a compact simple Lie group is O(r) where r is the Lie rank. We also give a short proof that the dimensions of the weight spaces of a maximal torus are small relative to the dimension of an irreducible module.
For every n there exists an elliptic curve E over the rational numbers and an n-dimensional subspace V of non-zero rationals modulo squares such that for all v in V, the quadratic twist of E by v has positive rank.
Let G be a finite group and V a finite-dimensional rational G-representation. We ask whether there exists a finite Galois extension L/K of number fields with Galois group G, an elliptic curve E/K, and a G-submodule of E(L) tensor Q isomorphic to V.