Symmetric Generation of on 32 Letters
We give a computer-free proof that is isomorphic to the progenitor factored by two relations, one of length 3 and and one of length 6, in the symmetric generators.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We give a computer-free proof that J2 is isomorphic to the progenitor 2⋆32:(21+4:A5) factored by two relations, one of length 3 and and one of length 6, in the symmetric generators.
Suppose F:D(X)→T is an exact functor from the bounded derived category of coherent sheaves on a smooth projective variety X to a triangulated category T. If F possesses left and right adjoints, then the Bondal-Orlov criterion gives a simple way of determining if F is fully faithful. We prove a natural extension to the case when X is a smooth and proper DM stack with projective coarse moduli space.
We give a computer-free proof that the Mathieu group M22 is a homomorphic image of the progenitor 2∗14:L3(2) factorized by three relations.
A curvature model (V,A) is a real vector space V which is equipped with a "curvature operator" A(x,y)z that A has the same symmetries as an affine curvature operator; A(x,y)z=-A(y,x)z and A(x,y)z+A(y,z)x+A(z,x)y=0. Such a model is called projective affine Osserman if the spectrum of the Jacobi operator J(y):x->A(x,y)y, is projectively constant. There are topological conditions imposed on such a model by Adam's Theorem concerning vector fields on spheres. In this paper we construct projective affine Osserman curvature models when the dimension is odd, when the dimension is congruent to 2 mod 4, and when the dimension is congruent to 4 mod 8 for all the eigenvalue structure is allowed by Adam's Theorem.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.