Source author record

Allen Yuan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
5topics
4close collaborators

Published work

7 publications

preprint2026arXiv

Chromatic convergence for the algebraic K-theory of the sphere spectrum

We show that the map from K(S)K({\mathbb S}) to its chromatic completion is a connective cover and identify the fiber in KK-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(S(p))(p)→holimK(LnfS)(p)K({\mathbb S}_{(p)})_{(p)}\to \mathop{\rm holim} K(L^{f}_{n}{\mathbb S})_{(p)} is the inclusion of a wedge summand.

preprint2022arXiv

Exotic Multiplications on Periodic Complex Bordism

Victor Snaith gave a construction of periodic complex bordism by inverting the Bott element in the suspension spectrum of BUBU. This presents an E∞\mathbb{E}_\infty structure on periodic complex bordism by different means than the usual Thom spectrum definition of the E∞\mathbb{E}_\infty-ring MUPMUP. Here, we prove that these two E∞\mathbb{E}_\infty-rings are in fact different, though the underlying E2\mathbb{E}_2-rings are equivalent. Nonetheless, we prove that both rings E∞\mathbb{E}_\infty-orient KU2∧KU_2^{\wedge} and other forms of KK-theory.

preprint2022arXiv

The Chromatic Nullstellensatz

We show that Lubin--Tate theories attached to algebraically closed fields are characterized among T(n)T(n)-local E∞\mathbb{E}_{\infty}-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every T(n)T(n)-local E∞\mathbb{E}_{\infty}-ring RR, the collection of E∞\mathbb{E}_\infty-ring maps from RR to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero T(n)T(n)-local E∞\mathbb{E}_{\infty}-ring RR admits an E∞\mathbb{E}_\infty-ring map to such a Lubin-Tate theory. As consequences, we construct E∞\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 K\mathrm{K}-theory of arbitrary E∞\mathbb{E}_{\infty}-rings.

preprint2022arXiv

The sphere of semiadditive height 1

We construct a lift of the pp-complete sphere to the universal height 11 higher semiadditive stable ∞\infty-category tsade-11 of Carmeli--Schlank--Yanovski, providing a counterexample, at height 11, to their conjecture that the natural functor from tsade-nn to SpT(n)\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.

preprint2014arXiv

Irreducible Canonical Representations in Positive Characteristic

For XX a curve over a field of positive characteristic, we investigate when the canonical representation of Aut(X)\text{Aut}(X) on H0(X,ΩX)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 Fq2\mathbb{F}_{q^2}-maximal curve are defined over Fq2\mathbb{F}_{q^2}, we find all superspecial curves with g>82g > 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.

preprint2014arXiv

Proof of a conjecture of Guy on class numbers

It is well known that for any prime p≡3p\equiv 3 (mod 44), the class numbers of the quadratic fields Q(p)\mathbb{Q}(\sqrt{p}) and Q(−p)\mathbb{Q}(\sqrt{-p}), h(p)h(p) and h(−p)h(-p) respectively, are odd. It is natural to ask whether there is a formula for h(p)/h(−p)h(p)/h(-p) modulo powers of 22. We show the formula h(p)≡h(−p)m(p)h(p) \equiv h(-p) m(p) (mod 1616), where m(p)m(p) is an integer defined using the "negative" continued fraction expansion of p\sqrt{p}. Our result solves a conjecture of Richard Guy.

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.