arXiv subjects
Publications and source records attributed to Bronson Lim.
We give a computer-free proof that $J_2$ is isomorphic to the progenitor $2^{\star 32}: (2^{1+4}:A_5)$ factored by two relations, one of length 3 and and one of length 6, in the symmetric generators.
Suppose $\mathcal{S}$ is a smooth, proper, and tame Deligne-Mumford stack. To\"en's Grothendieck-Riemann-Roch theorem requires correction terms, involving components of the inertia stack, to the standard formula for schemes. We give a brief overview of To\"en's Grothendieck-Riemann-Roch theorem, and explicitly compute the correction terms in the case of an orbifold surface with stabilizers of types ADE.
Let $\mathcal{X}$ be a smooth Deligne-Mumford stack which is generically a scheme and has quasi-projective coarse moduli. If $\mathcal{X}$ has elementary Abelian 2-group stabilizers and the coarse moduli of the inertia stack is smooth, we show there exists a semiorthogonal decomposition of the derived category of $\mathcal{X}$ where the pieces are equivalent to the derived category of the components of the coarse moduli of the inertia stack.
Suppose $G$ is a finite group acting on an Abelian variety $A$ such that the coarse moduli space $A/G$ is smooth. Using the recent classification result due to Auffarth, Lucchini Arteche, and Quezada, we construct an orbifold semiorthogonal decomposition for $\mathcal{D}[A/G]$ provided $G = T\rtimes H$ with $T$ a subgroup of translations and $H$ is a subgroup of group automorphisms.
We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's work on Kleinian singularities. The construction hinges on an orbifold version of the Bogomolov-Gieseker inequality for slope semistable sheaves on the stack, and makes use of the To\"en-Hirzebruch-Riemann-Roch theorem.
Suppose $F\colon \mathcal{D}(X)\to \mathcal{T}$ is an exact functor from the bounded derived category of coherent sheaves on a smooth projective variety $X$ to a triangulated category $\mathcal{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.
Given a smooth variety $X$ with an action of a finite group $G$, and a semiorthogonal decomposition of the derived category, $\mathcal{D}([X/G])$, of $G$-equivariant coherent sheaves on $X$ into subcategories equivalent to derived categories of smooth varieties, we construct a similar semiorthogonal decomposition for a smooth $G$-invariant divisor in $X$ (under certain technical assumptions). Combining this procedure with the semiorthogonal decompositions constructed in [PV15], we construct semiorthogonal decompositions of some equivariant derived categories of smooth projective varieties.
Suppose $f,g$ are homogeneous polynomials of degree $d$ defining smooth hypersurfaces $X_f = V(f)\subset \mathbb{P}^{m-1}$ and $X_g = V(g)\subset\mathbb{P}^{n-1}$. Then the sum $f(x)+g(y)$ defines a smooth hypersurface $X=V(f(x)+g(y))\subset\mathbb{P}^{m+n-1}$ with an action of $\mu_d$ scaling the $g$ variables. Motivated by the work of Orlov, we construct a semi-orthogonal decomposition of the derived category of coherent sheaves on $[X/\mu_d]$ provided $d\geq \mathrm{max}\{m,n\}$.
We give a computer-free proof that the Mathieu group $M_{22}$ is a homomorphic image of the progenitor $2^{\ast 14}:L_3(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.