BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Allen Yuan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
Published work
We show that the map from $K({\mathbb S})$ to its chromatic completion is a connective cover and identify the fiber in $K$-theoretic terms. We combine this with recent work of Land-Mathew-Meier-Tamme to prove a form of "Waldhausen's Chromatic Convergence Conjecture": we show that the map $K({\mathbb S}_{(p)})_{(p)}\to \mathop{\rm holim} K(L^{f}_{n}{\mathbb S})_{(p)}$ is the inclusion of a wedge summand.
Broué's Abelian Defect Conjecture predicts interesting derived equivalences between derived categories of modular representations of finite groups. We investigate a generalization of Broué's Conjecture to ring spectrum coefficients and prove this generalization in the cyclic defect case, following an argument of Rouquier.
Victor Snaith gave a construction of periodic complex bordism by inverting the Bott element in the suspension spectrum of $BU$. This presents an $\mathbb{E}_\infty$ structure on periodic complex bordism by different means than the usual Thom spectrum definition of the $\mathbb{E}_\infty$-ring $MUP$. Here, we prove that these two $\mathbb{E}_\infty$-rings are in fact different, though the underlying $\mathbb{E}_2$-rings are equivalent. Nonetheless, we prove that both rings $\mathbb{E}_\infty$-orient $KU_2^{\wedge}$ and other forms of $K$-theory.
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$, the collection of $\mathbb{E}_\infty$-ring maps from $R$ to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero $T(n)$-local $\mathbb{E}_{\infty}$-ring $R$ admits an $\mathbb{E}_\infty$-ring map to such a Lubin-Tate theory. As consequences, we construct $\mathbb{E}_{\infty}$ complex orientations of algebraically closed Lubin-Tate theories, compute the strict Picard spectra of such Lubin-Tate theories, and prove redshift for the algebraic $\mathrm{K}$-theory of arbitrary $\mathbb{E}_{\infty}$-rings.
We construct a lift of the $p$-complete sphere to the universal height $1$ higher semiadditive stable $\infty$-category tsade-$1$ of Carmeli--Schlank--Yanovski, providing a counterexample, at height $1$, to their conjecture that the natural functor from tsade-$n$ to $\mathrm{Sp}_{T(n)}$ is an equivalence. We then record some consequences of the construction, including an observation of T. Schlank that this gives a conceptual proof of a classical theorem of Lee on the stable cohomotopy of Eilenberg--MacLane spaces.
For $X$ a curve over a field of positive characteristic, we investigate when the canonical representation of $\text{Aut}(X)$ on $H^0(X, Ω_X)$ is irreducible. Any curve with an irreducible canonical representation must either be superspecial or ordinary. Having a small automorphism group is an obstruction to having irreducible canonical representation; with this motivation, the bulk of the paper is spent bounding the size of automorphism groups of superspecial and ordinary curves. After proving that all automorphisms of an $\mathbb{F}_{q^2}$-maximal curve are defined over $\mathbb{F}_{q^2}$, we find all superspecial curves with $g > 82$ having an irreducible representation. In the ordinary case, we provide a bound on the size of the automorphism group of an ordinary curve that improves on a result of Nakajima.
It is well known that for any prime $p\equiv 3$ (mod $4$), the class numbers of the quadratic fields $\mathbb{Q}(\sqrt{p})$ and $\mathbb{Q}(\sqrt{-p})$, $h(p)$ and $h(-p)$ respectively, are odd. It is natural to ask whether there is a formula for $h(p)/h(-p)$ modulo powers of $2$. We show the formula $h(p) \equiv h(-p) m(p)$ (mod $16$), where $m(p)$ is an integer defined using the "negative" continued fraction expansion of $\sqrt{p}$. Our result solves a conjecture of Richard Guy.