arXiv subjects
Publications and source records attributed to Jens Hornbostel.
We refine several results of Bhatt-Morrow-Scholze on THH to THR. In particular, we compute THR of perfectoid rings. This will be useful for establishing motivic filtrations on real topological Hochschild and cyclic homology of quasisyntomic rings. We also establish a real refinement of the Hochschild-Kostant-Rosenberg theorem.
We study equivariant Hermitian K-theory for representations of symplectic groups, especially $\mathrm{SL}_2$. The results are used to establish an Atiyah-Segal completion theorem for Hermitian $K$-theory and symplectic groups.
We investigate the surjectivity of the real cycle class map from $I$-cohomology to classical intergral cohomology for some real smooth varieties, in particular surfaces. This might be considered as one of several possible incarnations of real integral Hodge theory.
We prove that real topological Hochschild homology THR for schemes with involution satisfies base change and descent for the Z/2-isovariant étale topology. As an application, we provide computations for the projective line (with and without involution) and the higher dimensional projective spaces.
We develop the algebraic formalism of the formal ternary laws of C. Walter and we compare them to Buchstaber's 2-valued formal group laws. We also compute the "elementary" formal ternary laws (after inverting 2) using a computer program available online.
The classical cycle class map for a smooth complex variety sends cycles in the Chow ring to cycles in the singular cohomology ring. We study two cycle class maps for smooth real varieties: the map from the I-cohomology ring to singular cohomology induced by the signature, and a new cycle class map defined on the Chow-Witt ring. For both maps, we establish basic compatibility results like compatibility with pullbacks, pushforwards and cup products. As a first application of these general results, we show that both cycle class maps are isomorphisms for cellular varieties.
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question when an oriented vector bundle of odd rank splits off a trivial summand.
We provide a proof in the language of model categories and symmetric spectra of Lurie's theorem that topological complex $K$-theory represents orientations of the derived multiplicative group. Then we generalize this result to the motivic situation. Along the way, a number of useful model structures and Quillen adjunctions both in the classical and in the motivic case are established.
We provide several ingredients towards a generalization of the Littlewood-Richardson rule from Chow groups to algebraic cobordism. In particular, we prove a simple product-formula for multiplying classes of smooth Schubert varieties with any Bott-Samelson class in algebraic cobordism of the grassmannian. We also establish some results for generalized Schubert polynomials for hyperbolic formal group laws.
We discuss some results and conjectures related to the existence of the non-nilpotent motivic maps $η$ and $μ_9$. To this purpose, we establish a theory of power operations for motivic $H_{\infty}$-spectra. Using this, we show that the naive motivic analogue of the unstable Kahn-Priddy theorem fails. Over the complex numbers, we show that the motivic $T$-spectrum $S[η^{-1},μ_9^{-1}]$ is closely related to higher Witt groups, where $S$ is the motivic sphere spectrum and $η$, $σ$ and $μ_9$ are explicit elements in $π_{**}(S)$.
We study semistable symmetric spectra based on quite general monoidal model categories, including motivic examples. In particular, we establish a generalization of Schwede's list of equivalent characterizations of semistability in the case of motivic symmetric spectra. We also show that the motivic Eilenberg-MacLane spectrum and the algebraic cobordism spectrum are semistable. Finally, we show that semistability is preserved under localization if some reasonable conditions - which often hold in practice - are satisfied.
Expanding a result of Serre on finite CW-complexes, we show that the Brauer group coincides with the cohomological Brauer group for arbitrary compact spaces. Using results from the homotopy theory of classifying spaces for Lie groups, we give another proof of the result of Antieau and Williams that equality does not hold for Eilenberg--MacLane spaces of type K(Z/nZ,2). Employing a result of Dwyer and Zabrodsky, we show the same for the classifying spaces BG where G is an infinite-dimensional F_p-vector space. In this context, we also give a formula expressing phantom cohomology in terms of homology.
We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.
We define push-forwards for Witt groups of schemes along proper morphisms, using Grothendieck duality theory. This article is an application of results of the authors on tensor-triangulated closed categories to such structures on some derived categories of schemes together with classical derived functors.
We establish a Schubert calculus for Bott-Samelson resolutions in the algebraic cobordism ring of a complete flag variety G/B.
In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary commutative diagrams for f^* and f_* to respect certain dualities, for a projection formula to hold between them (as duality preserving functors) and for classical base change and composition formulas to hold when such duality preserving functors are composed. This framework is for example useful to define push-forwards for Witt groups.
The f-invariant is an injective homomorphism from the 2-line of the Adams-Novikov spectral sequence to a group which is closely related to divided congruences of elliptic modular forms. We compute the f-invariant for two infinite families of beta-elements and explain the relation of the arithmetic of divided congruences with the Kervaire invariant one problem.