skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Algebraic cobordism and a Conner–Floyd isomorphism for algebraic K-theory
We formulate and prove a Conner–Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable ∞<#comment/> \infty -category of non- A 1 \mathbb {A}^1 -invariant motivic spectra, which turns out to be equivalent to the ∞<#comment/> \infty -category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this ∞<#comment/> \infty -category satisfies P 1 \mathbb {P}^1 -homotopy invariance and weighted A 1 \mathbb {A}^1 -homotopy invariance, which we use in place of A 1 \mathbb {A}^1 -homotopy invariance to obtain analogues of several key results from A 1 \mathbb {A}^1 -homotopy theory. These allow us in particular to define a universal oriented motivic E ∞<#comment/> \mathbb {E}_\infty -ring spectrum M G L \mathrm {MGL} . We then prove that the algebraic K-theory of a qcqs derived scheme X X can be recovered from its M G L \mathrm {MGL} -cohomology via a Conner–Floyd isomorphism\[ M G L ∗<#comment/> ∗<#comment/> ( X ) ⊗<#comment/> L Z [ β<#comment/> ±<#comment/> 1 ] ≃<#comment/> K ∗<#comment/> ∗<#comment/> ( X ) , \mathrm {MGL}^{**}(X)\otimes _{\mathrm {L}{}}\mathbb {Z}[\beta ^{\pm 1}]\simeq \mathrm {K}{}^{**}(X), \]where L \mathrm {L}{} is the Lazard ring and K p , q ( X ) = K 2 q −<#comment/> p ( X ) \mathrm {K}{}^{p,q}(X)=\mathrm {K}{}_{2q-p}(X) . Finally, we prove a Snaith theorem for the periodized version of M G L \mathrm {MGL} more » « less
Award ID(s):
1926686
PAR ID:
10626316
Author(s) / Creator(s):
; ;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Journal of the American Mathematical Society
Volume:
38
Issue:
1
ISSN:
0894-0347
Page Range / eLocation ID:
243 to 289
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let Ω<#comment/> + ⊂<#comment/> R n + 1 \Omega ^+\subset \mathbb {R}^{n+1} be a bounded δ<#comment/> \delta -Reifenberg flat domain, with δ<#comment/> > 0 \delta >0 small enough, possibly with locally infinite surface measure. Assume also that Ω<#comment/> −<#comment/> = R n + 1 ∖<#comment/> Ω<#comment/> + ¯<#comment/> \Omega ^-= \mathbb {R}^{n+1}\setminus \overline {\Omega ^+} is an NTA (non-tangentially accessible) domain as well and denote by ω<#comment/> + \omega ^+ and ω<#comment/> −<#comment/> \omega ^- the respective harmonic measures of Ω<#comment/> + \Omega ^+ and Ω<#comment/> −<#comment/> \Omega ^- with poles p ±<#comment/> ∈<#comment/> Ω<#comment/> ±<#comment/> p^\pm \in \Omega ^\pm . In this paper we show that the condition that log ⁡<#comment/> d ω<#comment/> −<#comment/> d ω<#comment/> + ∈<#comment/> VMO ⁡<#comment/> ( ω<#comment/> + ) \log \dfrac {d\omega ^-}{d\omega ^+} \in \operatorname {VMO}(\omega ^+) is equivalent to Ω<#comment/> + \Omega ^+ being a chord-arc domain with inner unit normal belonging to VMO ⁡<#comment/> ( H n | ∂<#comment/> Ω<#comment/> + ) \operatorname {VMO}(\mathcal {H}^n|_{\partial \Omega ^+})
    more » « less
  2. We consider minimizing harmonic maps u u from Ω<#comment/> ⊂<#comment/> R n \Omega \subset \mathbb {R}^n into a closed Riemannian manifold N \mathcal {N} and prove: 1. an extension to n ≥<#comment/> 4 n \geq 4 of Almgren and Lieb’s linear law. That is, if the fundamental group of the target manifold N \mathcal {N} is finite, we have\[ H n −<#comment/> 3 ( sing ⁡<#comment/> u ) ≤<#comment/> C ∫<#comment/> ∂<#comment/> Ω<#comment/> | ∇<#comment/> T u | n −<#comment/> 1 d H n −<#comment/> 1 ; \mathcal {H}^{n-3}(\operatorname {sing} u) \le C \int _{\partial \Omega } |\nabla _T u|^{n-1} \,\mathrm {d}\mathcal {H}^{n-1}; \]2. an extension of Hardt and Lin’s stability theorem. Namely, assuming that the target manifold is N = S 2 \mathcal {N}=\mathbb {S}^2 we obtain that the singular set of u u is stable under small W 1 , n −<#comment/> 1 W^{1,n-1} -perturbations of the boundary data. In dimension n = 3 n=3 both results are shown to hold with weaker hypotheses, i.e., only assuming that the trace of our map lies in the fractional space W s , p W^{s,p} with s ∈<#comment/> ( 1 2 , 1 ] s \in (\frac {1}{2},1] and p ∈<#comment/> [ 2 , ∞<#comment/> ) p \in [2,\infty ) satisfying s p ≥<#comment/> 2 sp \geq 2 . We also discuss sharpness. 
    more » « less
  3. We prove a number of results on the survival of the type-I property under extensions of locally compact groups: (a) that given a closed normal embedding N ⊴<#comment/> E \mathbb {N}\trianglelefteq \mathbb {E} of locally compact groups and a twisted action ( α<#comment/> , τ<#comment/> ) (\alpha ,\tau ) thereof on a (post)liminal C ∗<#comment/> C^* -algebra A A the twisted crossed product A ⋊<#comment/> α<#comment/> , τ<#comment/> E A\rtimes _{\alpha ,\tau }\mathbb {E} is again (post)liminal and (b) a number of converses to the effect that under various conditions a normal, closed, cocompact subgroup N ⊴<#comment/> E \mathbb {N}\trianglelefteq \mathbb {E} is type-I as soon as E \mathbb {E} is. This happens for instance if N \mathbb {N} is discrete and E \mathbb {E} is Lie, or if N \mathbb {N} is finitely-generated discrete (with no further restrictions except cocompactness). Examples show that there is not much scope for dropping these conditions. In the same spirit, call a locally compact group G \mathbb {G} type-I-preserving if all semidirect products N ⋊<#comment/> G \mathbb {N}\rtimes \mathbb {G} are type-I as soon as N \mathbb {N} is, andlinearlytype-I-preserving if the same conclusion holds for semidirect products V ⋊<#comment/> G V\rtimes \mathbb {G} arising from finite-dimensional G \mathbb {G} -representations. We characterize the (linearly) type-I-preserving groups that are (1) discrete-by-compact-Lie, (2) nilpotent, or (3) solvable Lie. 
    more » « less
  4. In this paper we derive the best constant for the following L ∞<#comment/> L^{\infty } -type Gagliardo-Nirenberg interpolation inequality ‖<#comment/> u ‖<#comment/> L ∞<#comment/> ≤<#comment/> C q , ∞<#comment/> , p ‖<#comment/> u ‖<#comment/> L q + 1 1 −<#comment/> θ<#comment/> ‖<#comment/> ∇<#comment/> u ‖<#comment/> L p θ<#comment/> , θ<#comment/> = p d d p + ( p −<#comment/> d ) ( q + 1 ) , \begin{equation*} \|u\|_{L^{\infty }}\leq C_{q,\infty ,p} \|u\|^{1-\theta }_{L^{q+1}}\|\nabla u\|^{\theta }_{L^p},\quad \theta =\frac {pd}{dp+(p-d)(q+1)}, \end{equation*} where parameters q q and p p satisfy the conditions p > d ≥<#comment/> 1 p>d\geq 1 , q ≥<#comment/> 0 q\geq 0 . The best constant C q , ∞<#comment/> , p C_{q,\infty ,p} is given by C q , ∞<#comment/> , p = θ<#comment/> −<#comment/> θ<#comment/> p ( 1 −<#comment/> θ<#comment/> ) θ<#comment/> p M c −<#comment/> θ<#comment/> d , M c ∫<#comment/> R d u c , ∞<#comment/> q + 1 d x , \begin{equation*} C_{q,\infty ,p}=\theta ^{-\frac {\theta }{p}}(1-\theta )^{\frac {\theta }{p}}M_c^{-\frac {\theta }{d}},\quad M_c≔\int _{\mathbb {R}^d}u_{c,\infty }^{q+1} dx, \end{equation*} where u c , ∞<#comment/> u_{c,\infty } is the unique radial non-increasing solution to a generalized Lane-Emden equation. The case of equality holds when u = A u c , ∞<#comment/> ( λ<#comment/> ( x −<#comment/> x 0 ) ) u=Au_{c,\infty }(\lambda (x-x_0)) for any real numbers A A , λ<#comment/> > 0 \lambda >0 and x 0 ∈<#comment/> R d x_{0}\in \mathbb {R}^d . In fact, the generalized Lane-Emden equation in R d \mathbb {R}^d contains a delta function as a source and it is a Thomas-Fermi type equation. For q = 0 q=0 or d = 1 d=1 , u c , ∞<#comment/> u_{c,\infty } have closed form solutions expressed in terms of the incomplete Beta functions. Moreover, we show that u c , m →<#comment/> u c , ∞<#comment/> u_{c,m}\to u_{c,\infty } and C q , m , p →<#comment/> C q , ∞<#comment/> , p C_{q,m,p}\to C_{q,\infty ,p} as m →<#comment/> + ∞<#comment/> m\to +\infty for d = 1 d=1 , where u c , m u_{c,m} and C q , m , p C_{q,m,p} are the function achieving equality and the best constant of L m L^m -type Gagliardo-Nirenberg interpolation inequality, respectively. 
    more » « less
  5. In this brief note, we investigate the C P 2 \mathbb {CP}^2 -genus of knots, i.e., the least genus of a smooth, compact, orientable surface in C P 2 ∖<#comment/> B 4 ˚<#comment/> \mathbb {CP}^2\smallsetminus \mathring {B^4} bounded by a knot in S 3 S^3 . We show that this quantity is unbounded, unlike its topological counterpart. We also investigate the C P 2 \mathbb {CP}^2 -genus of torus knots. We apply these results to improve the minimal genus bound for some homology classes in C P 2 #<#comment/> C P 2 \mathbb {CP}^2\# \mathbb {CP} ^2
    more » « less