Source author record

Niko Naumann

Niko Naumann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.AG math.NT math.KT math.CT

Catalog footprint

What is connected

9works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

On conjectures of Hovey--Strickland and Chai

We prove the height two case of a conjecture of Hovey and Strickland that provides a $K(n)$-local analogue of the Hopkins--Smith thick subcategory theorem. Our approach first reduces the general conjecture to a problem in arithmetic geometry posed by Chai. We then use the Gross--Hopkins period map to verify Chai's Hope at height two and all primes. Along the way, we show that the graded commutative ring of completed cooperations for Morava $E$-theory is coherent, and that every finitely generated Morava module can be realized by a $K(n)$-local spectrum as long as $2p-2>n^2+n$. Finally, we deduce consequences of our results for descent of Balmer spectra.

preprint2019arXiv

Rigidity in equivariant algebraic $K$-theory

If $(R,I)$ is a henselian pair with an action of a finite group $G$ and $n\ge 1$ is an integer coprime to $|G|$ and such that $n\cdot |G|\in R^*$, then the reduction map of mod-$n$ equivariant $K$-theory spectra \[ K^G(R)/n\stackrel{\simeq}{\longrightarrow} K^G(R/I)/n\] is an equivalence. We prove this by revisiting the recent proof of non-equivariant rigidity by Clausen, Mathew, and Morrow.

preprint2017arXiv

Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes

Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.

preprint2016arXiv

Nilpotence and descent in equivariant stable homotopy theory

Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper. In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.

preprint2015arXiv

Existence and uniqueness of E-infinity structures on motivic K-theory spectra

We show that algebraic K-theory KGL, the motivic Adams summand ML and their connective covers acquire unique E-infinity structures refining naive multiplicative structures in the motivic stable homotopy category. The proofs combine Gamma-homology computations and work due to Robinson giving rise to motivic obstruction theory. As an application we employ a motivic to simplicial delooping argument to show a uniqueness result for E-infinity structures on the K-theory Nisnevich presheaf of spectra.

preprint2013arXiv

Strictly commutative realizations of diagrams over the Steenrod algebra and topological modular forms at the prime 2

Previous work constructed a generalized truncated Brown-Peterson spectrum of chromatic height 2 at the prime 2 as an E_infinity-ring spectrum, based on the study of elliptic curves with level-3 structure. We show that the natural map forgetting this level structure induces an E_infinity-ring map from the spectrum of topological modular forms to this truncated Brown-Peterson spectrum, and that this orientation fits into a diagram of E_infinity-ring spectra lifting a classical diagram of modules over the mod-2 Steenrod algebra. In an appendix we document how to organize Morava's forms of K-theory into a sheaf of E_infinity-ring spectra.

preprint2011arXiv

Commutativity conditions for truncated Brown-Peterson spectra of height 2

An algebraic criterion, in terms of closure under power operations, is determined for the existence and uniqueness of generalized trun- cated Brown-Peterson spectra of height 2 as E_\infty-ring spectra. The criterion is checked for an example at the prime 2 derived from the universal elliptic curve equipped with a level Γ_1(3)-structure.

preprint2007arXiv

Arithmetically defined dense subgroups of Morava stabilizer groups

For every prime $p$ and integer $n\ge 3$ we explicitly construct an abelian variety $A/\F_{p^n}$ of dimension $n$ such that for a suitable prime $l$ the group of quasi-isogenies of $A/\F_{p^n}$ of $l$-power degree is canonically a dense subgroup of the $n$-th Morava stabilizer group at $p$. We also give a variant of this result taking into account a polarization. This is motivated by a perceivable generalization of topological modular forms to more general topological automorphic forms. For this, we prove some results about approximation of local units in maximal orders which is of independent interest. For example, it gives a precise solution to the problem of extending automorphisms of the $p$-divisible group of a simple abelian variety over a finite field to quasi-isogenies of the abelian variety of degree divisible by as few primes as possible.

preprint2002arXiv

On the irreducibility of the two variable zeta-function for curves over finite fields

In [P] R. Pellikaan introduced a two variable zeta-function for a curve over a finite field and proved that it is a rational function. Here we show that its denominator is absolutely irreducible. This is motivated by work of J. Lagarias and E. Rains on an analogous two variable zeta-funtion for number fields.