BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Marc Levine

Marc Levine contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ATmath.KT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Algebraic Cobordism and Étale Cohomology

Thomason's étale descent theorem for Bott periodic algebraic $K$-theory \cite{aktec} is generalized to any $MGL$ module over a regular Noetherian scheme of finite dimension. Over arbitrary Noetherian schemes of finite dimension, this generalizes the analog of Thomason's theorem for Weibel's homotopy $K$-theory. This is achieved by amplifying the effects from the case of motivic cohomology, using the slice spectral sequence in the case of the universal example of algebraic cobordism. We also obtain integral versions of these statements: Bousfield localization at étale motivic cohomology is the universal way to impose étale descent for these theories. As applications, we describe the étale local objects in modules over these spectra and show that they satisfy the full six functor formalism, construct an étale descent spectral sequence converging to Bott-inverted motivic Landweber exact theories, and prove cellularity and effectivity of the étale versions of these motivic spectra.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Euler characteristics of homogeneous and weighted-homogeneous hypersurfaces

Let $k$ be a field and let $\text{GW}(k)$ be the Grothendieck-Witt ring of virtual non-degenerate symmetric bilinear forms over $k$. We develop methods for computing the quadratic Euler characteristic $χ(X/k)\in \text{GW}(k)$ for $X$ a smooth hypersurface in a projective space or a weighted projective space. We raise the question of a quadratic refinement of classical conductor formulas and find such a formula for the degeneration of a smooth hypersurface $X$ in $\mathbb{P}^{n+1}$ to the cone over a smooth hyperplane section of $X$; we also find a similar formula in the weighted homogeneous case. We formulate a conjecture that generalizes these computations to similar types of degenerations. Finally, we give an interpretation of the quadratic conductor formulas in terms of Ayoub's nearby cycles functor.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Motivic Gauß-Bonnet formulas

The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck-Witt ring of the base field. Previous work of the first author and recent work of Déglise-Jin-Khan establishes a "Gauß-Bonnet formula" relating this Euler characteristic to pushforwards of Euler classes in motivic cohomology theories. In this paper, we apply this formula to SL-oriented motivic cohomology theories to obtain explicit characterizations of this Euler characteristic. The main new input is a unicity result for pushforward maps in SL-oriented theories, identifying these maps concretely in examples of interest.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic elliptic cohomology theory and flops, I

We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Index of varieties over Henselian fields and Euler characteristic of coherent sheaves

Let X be a smooth proper variety over the quotient field of a Henselian discrete valuation ring with algebraically closed residue field of characteristic p. We show that for any coherent sheaf E on X, the index of X divides the Euler-Poincaré characteristic χ(X,E) if p=0 or p>dim(X)+1. If 0<p\leq dim(X)+1, the prime-to-p part of the index of X divides χ(X,E). Combining this with the Hattori-Stong theorem yields an analogous result concerning the divisibility of the cobordism class of X by the index of X. As a corollary, rationally connected varieties over the maximal unramified extension of a p-adic field possess a zero-cycle of p-power degree (a zero-cycle of degree 1 if p>dim(X)+1). When p=0, such statements also have implications for the possible multiplicities of singular fibers in degenerations of complex projective varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Motivic Landweber exact theories and their effective covers

Let $k$ be a field of characteristic zero and let $(F,R)$ be a Landweber exact formal group law. We consider a Landweber exact $T$-spectrum $\mathcal{E}:=R\otimes_{\mathbb{L}}\text{MGL}$ and its effective cover $f_0\mathcal{E}\to \mathcal{E}$ with respect to Voevodsky&#39;s slice tower. The coefficient ring $R_0$ of $f_0\mathcal{E}$ is the subring of $R$ consisting of elements of $R$ of non-positive degree; the power series $F\in R[[u,v]]$ has coefficients in $R_0$ although $(F,R_0)$ is not necessarily Landweber exact. We show that the geometric part $X\mapsto f_0\mathcal{E}^*(X):=(f_0\mathcal{E})^{2*,*}(X)$ of $f_0\mathcal{E}$ is canonically isomorphic to the oriented cohomology theory $X\mapsto R_0 \otimes_{\mathbb{L}} Ω^*(X)$, where $Ω^*$ is the theory of algebraic cobordism, as defined by Levine-Morel. This recovers results of Dai-Levine as the special case of algebraic $K$-theory and its effective cover, connective algebraic $K$-theory.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Quotients of MGL, their slices and their geometric parts

Let $x_1, x_2,\ldots$ be a system of homogeneous polynomial generators for the Lazard ring $\mathbb{L}^*=MU^{2*}$ and let $MGL_S$ denote Voevodsky&#39;s algebraic cobordism spectrum in the motivic stable homotopy category over a base-scheme $S$.Take $S$ essentially smooth over a field $k$. Relying on Hopkins-Morel-Hoyois isomorphism of the 0th slice $s_0MGL_S$ for Voevodsky&#39;s slice tower with $MGL_S/(x_1, x_2,\ldots)$ (after inverting the characteristic of $k$), Spitzweck computes the remaining slices of $MGL_S$ as $s_nMGL_S=Σ^n_TH\mathbb{Z}\otimes \mathbb{L}^{-n}$ (again, after inverting the characteristic of $k$). We apply Spitzweck&#39;s method to compute the slices of a quotient spectrum $MGL_S/(\{x_i:i\in I\})$ for $I$ an arbitrary subset of $\mathbb{N}$, as well as the mod $p$ version $MGL_S/(\{p, x_i:i\in I\})$ and localizations with respect to a system of homogeneous elements in $\mathbb{Z}[\{x_j:j\not\in I\}]$. In case $S=\text{Spec}\, k$, $k$ a field of characteristic zero, we apply this to show that for $\mathcal{E}$ a localization of a quotient of $MGL$ as above, there is a natural isomorphism for the theory with support \[ Ω_*(X)\otimes_{\mathbb{L}^{-*}}\mathcal{E}^{-2*,-*}(k)\to \mathcal{E}^{2m-2*, m-*}_X(M) \] for $X$ a closed subscheme of a smooth quasi-projective $k$-scheme $M$, $m=$dim${}_kM$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A comparison of motivic and classical homotopy theories

Let k be an algebraically closed field of characteristic zero. Let SH(k) denote the motivic stable homotopy category of T-spectra over k and SH the classical stable homotopy category. Let c:SH -> SH(k) be the functor induced by sending a space to the constant presheaf of spaces on Sm/k. We show that c is fully faithful. In particular, c induces an isomorphism π_n(E)-> π_{n,0}c(E) for all spectra E. Fix an embedding of k into the complex numbers and let Re:SH(k) -> SH be the associated Betti realization. We show that the slice tower for the motivic sphere spectrum has Betti realization which is strongly convergent. This gives a spectral sequence &#34;of motivic origin&#34; converging to the homotopy groups of the classical sphere spectrum; this spectral sequence at E_2 agrees with the E_2 terms in the Adams-Novikov spectral sequence.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Convergence of Voevodsky&#39;s slice tower

We consider Voevodsky&#39;s slice tower for a finite spectrum E in the motivic stable homotopy category over a perfect field k. In case k has finite cohomological dimension (in characteristic two, we also require that k is infinite), we show that the slice tower converges, in that the induced filtration on the bi-graded homotopy sheaves for each term in the tower for E is finite, exhaustive and separated at each stalk. This partially verifies a conjecture of Voevodsky.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Connective algebraic K-theory

We examine the theory of connective algebraic K-theory, CK, defined by taking the -1 connective cover of algebraic K-theory with respect to Voevodsky&#39;s slice tower in the motivic stable homotopy category. We extend CK to a bi-graded oriented duality theory (CK&#39;, CK) in case the base scheme is the spectrum of a field k of characteristic zero. The homology theory CK&#39; may be viewed as connective algebraic G-theory. We identify CK&#39; theory in bi-degree (2n, n) on some finite type k-scheme X with the image of K_0(M(X,n)) in K_0(M(X, n+1)), where M(X,n) is the abelian category of coherent sheaves on X with support in dimension at most n; this agrees with the (2n,n) part of the theory defined by Cai. We also show that the classifying map from algebraic cobordism identifies CK&#39; with the universal oriented Borel-Morel homology theory Ω_*^{CK}:=Ω_*\otimes_L\Z[β] having formal group law u+v-βuv with coefficient ring \Z[β]. As an application, we show that every pure dimension d finite type k scheme has a well-defined fundamental class [X] in Ω_d^{CK}(X), and this fundamental class is functorial with respect to pull-back for lci morphisms. Finally, the fundamental class maps to the fundamental class in G-theory after inverting β, and to the fundamental class in CH after moding out by β.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Slices and Transfers

We study the slice filtration for S^1-spectra over a field k, and raise a number of questions regardings its properties. We show that the slices, except for the 0th slice, admit a further filtration whose layers are in a natural way the Eilenberg-Maclane spectra associated to a homotopy invariant complex of Nisnevic sheaves with transfer, i.e., an effective motive. We give an example to show that in general the 0th slice does not admit transfers.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

The homotopy coniveau tower

We examine the &#34;homotopy coniveau tower&#34; for a general cohomology theory on smooth k-schemes and give a new proof that the layers of this tower for K-theory agree with motivic cohomology. In addition, the homotopy coniveau tower agrees with Voevodsky&#39;s slice tower for $S^1$-spectra, giving a proof of a connectedness conjecture of Voevodsky. The homotopy coniveau tower construction extends to a tower of functors on the Morel-Voevodsky stable homotopy category, and we identify this $P^1$-stable homotopy coniveau tower with Voevodsky&#39;s slice filtration for $P^1$-spectra. We also show that the 0th layer for the motivic sphere spectrum is the motivic cohomology spectrum, which gives the layers for a general $P^1$-spectrum the structure of a module over motivic cohomology. This recovers and extends recent results of Voevodsky on the 0th layer of the slice filtration, and yields a spectral sequence that is reminiscent of the classical Atiyah-Hirzebruch spectral sequence.

0 citations0 reviewsNo code linkedOpen access