Source author record

Mark E. Walker

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

ResearcherUnclaimed source record

math.AG math.AC math.KT math.AT

Catalog footprint

Research overview

14works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Multiplicities and Betti numbers in local algebra via lim Ulrich points

This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$ . The focus is on complexes that have length $\mathrm{dim}\, R$ , which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. The key idea in the proof is the construction of a suitable Ulrich module, or, in the latter case, a sequence of modules that have the Ulrich property asymptotically, and with good convergence properties in the rational Grothendieck group of $R$ . Such a sequence is obtained by constructing an appropriate sequence of sheaves on the associated projective variety.

preprint2020arXiv

Standard Conjecture D for matrix factorizations

We prove the non-commutative analogue of Grothendieck's Standard Conjecture D for the dg-category of matrix factorizations of an isolated hypersurface singularity in characteristic 0. Along the way, we show the Euler pairing for such dg-categories of matrix factorizations is positive semi-definite.

preprint2014arXiv

Chern Characters for Twisted Matrix Factorizations and the Vanishing of the Higher Herbrand Difference

We develop a theory of ``ad hoc'' Chern characters for twisted matrix factorizations associated to a scheme $X$ , a line bundle ${\mathcal L}$ , and a regular global section $W \in Γ(X, {\mathcal L})$ . As an application, we establish the vanishing, in certain cases, of $h_c^R(M,N)$ , the higher Herbrand difference, and, $η_c^R(M,N)$ , the higher codimensional analogue of Hochster's theta pairing, where $R$ is a complete intersection of codimension $c$ with isolated singularities and $M$ and $N$ are finitely generated $R$ -modules. Specifically, we prove such vanishing if $R = Q/(f_1, \dots, f_c)$ has only isolated singularities, $Q$ is a smooth $k$ -algebra, $k$ is a field of characteristic $0$ , the $f_i$ 's form a regular sequence, and $c \geq 2$ .

preprint2014arXiv

On the vanishing of Hochster's theta invariant

Hochster's theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the complex numbers, Buchweitz and van Straten have established an interesting connection between Hochster's theta invariant and the classical linking form on the link of the singularity. In particular, they establish the vanishing of the theta invariant if the hypersurface is even-dimensional by exploiting the fact that the (reduced) cohomology of the Milnor fiber is concentrated in odd degrees in this situation. In this paper, we give purely algebraic versions of some of these results. In particular, we establish the vanishing of the theta invariant for isolated hypersurface singularities of odd dimension in characteristic p > 0, under some mild extra assumptions. This confirms, in a large number of cases, a conjecture of Hailong Dao.

preprint2012arXiv

Matrix factorizations in higher codimension

We observe that there is an equivalence between the singularity category of an affine complete intersection and the homotopy category of matrix factorizations over a related scheme. This relies in part on a theorem of Orlov. Using this equivalence, we give a geometric construction of the ring of cohomology operators, and a generalization of the theory of support varieties, which we call stable support sets. We settle a question of Avramov about which stable support sets can arise for a given complete intersection ring. We also use the equivalence to construct a projective resolution of a module over a complete intersection ring from a matrix factorization, generalizing the well-known result in the hypersurface case.

preprint2012arXiv

Matrix factorizations over projective schemes

We study matrix factorizations of locally free coherent sheaves on a scheme. For a scheme that is projective over an affine scheme, we show that homomorphisms in the homotopy category of matrix factorizations may be computed as the hypercohomology of a certain mapping complex. Using this explicit description, we give another proof of Orlov's theorem that there is a fully faithful embedding of the homotopy category of matrix factorizations into the singularity category of the corresponding zero subscheme. We also give a complete description of the image of this functor.

preprint2012arXiv

The K-theory of toric varieties in positive characteristic

We show that if X is a toric scheme over a regular ring containing a field then the direct limit of the K-groups of X taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was known in characteristic 0. The affine case of our result was conjectured by Gubeladze.

preprint2012arXiv

The vanishing of a higher codimension analog of Hochster's theta invariant

We study H. Dao's invariant $η_c^R$ of pairs of modules defined over a complete intersection ring $R$ of codimension $c$ having an isolated singularity. Our main result is that $η_c^R$ vanishes for all pairs of modules when $R$ is a {\em graded} complete intersection ring of codimension $c > 1$ having an isolated singularity. A consequence of this result is that all pairs of modules over such a ring are $c$ -$\Tor$-rigid.

preprint2012arXiv

Toric varieties, monoid schemes and $cdh$ descent

We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to topological cyclic homology in characteristic p. To achieve our goals, we develop for monoid schemes many notions from classical algebraic geometry, such as separated and proper maps.

preprint2010arXiv

$K$ -theory of cones of smooth varieties

Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$ -theory of $R$ in terms of the geometry of the projective embedding of $X$ . In particular, if $X$ is a curve then we calculate $K_0(R)$ and $K_1(R)$ , and prove that $K_{-1}(R)=\oplus H^1(C,\cO(n))$. The formula for $K_0(R)$ involves the Zariski cohomology of twisted Kähler differentials on the variety.

preprint2010arXiv

A negative answer to a question of Bass

In this companion paper to arXiv:0802.1928 we provide an example of an isolated surface singularity $R$ over a number field such that $K_0(R) = K_0(R[t])$ but $K_0(R) \neq K_0(R[t_1,t_2])$ . This answers, negatively, a question of Bass.

preprint2010arXiv

Bass' $NK$ groups and $cdh$ -fibrant Hochschild homology

The $K$ -theory of a polynomial ring $R[t]$ contains the $K$ -theory of $R$ as a summand. For $R$ commutative and containing $\Q$, we describe $K_*(R[t])/K_*(R)$ in terms of Hochschild homology and the cohomology of Kähler differentials for the $cdh$ topology. We use this to address Bass' question, on whether $K_n(R)=K_n(R[t])$ implies $K_n(R)=K_n(R[t_1,t_2])$ . The answer is positive over fields of infinite transcendence degree; the companion paper arXiv:1004.3829 provides a counterexample over a number field.

preprint2010arXiv

Hochster's theta invariant and the Hodge-Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., Tor_i^R(M,N) is isomorphic to Tor_{i+2}^R(M,N) for i sufficiently large). Since R has only an isolated singularity, these torsion modules are of finite length for i sufficiently large. The theta invariant of the pair (M,N) is defined by Hochster to be length(Tor_{2i}^R(M,N)) - length(Tor_{2i+1}^R(M,N)) for i sufficiently large. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).

preprint2007arXiv

The $K$ -theory of toric varieties

Recent advances in computational techniques for $K$ -theory allow us to describe the $K$ -theory of toric varieties in terms of the $K$ -theory of fields and simple cohomological data.

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.

Mark E. Walker

Research overview

Is this your work?

14 publications

Multiplicities and Betti numbers in local algebra via lim Ulrich points

Standard Conjecture D for matrix factorizations

Chern Characters for Twisted Matrix Factorizations and the Vanishing of the Higher Herbrand Difference

On the vanishing of Hochster's theta invariant

Matrix factorizations in higher codimension

Matrix factorizations over projective schemes

The K-theory of toric varieties in positive characteristic

The vanishing of a higher codimension analog of Hochster's theta invariant

Toric varieties, monoid schemes and $cdh$ descent

$K$ -theory of cones of smooth varieties

A negative answer to a question of Bass

Bass' $NK$ groups and $cdh$ -fibrant Hochschild homology

Hochster's theta invariant and the Hodge-Riemann bilinear relations

The $K$ -theory of toric varieties

See the researcher in context

Building this map preview

Mark E. Walker

Research overview

Is this your work?

14 publications

Multiplicities and Betti numbers in local algebra via lim Ulrich points

Standard Conjecture D for matrix factorizations

Chern Characters for Twisted Matrix Factorizations and the Vanishing of the Higher Herbrand Difference

On the vanishing of Hochster's theta invariant

Matrix factorizations in higher codimension

Matrix factorizations over projective schemes

The K-theory of toric varieties in positive characteristic

The vanishing of a higher codimension analog of Hochster's theta invariant

Toric varieties, monoid schemes and cdhcdhcdh descent

KKK-theory of cones of smooth varieties

A negative answer to a question of Bass

Bass' NKNKNK groups and cdhcdhcdh-fibrant Hochschild homology

Hochster's theta invariant and the Hodge-Riemann bilinear relations

The KKK-theory of toric varieties

See the researcher in context

Building this map preview

Toric varieties, monoid schemes and $cdh$ descent

$K$ -theory of cones of smooth varieties

Bass' $NK$ groups and $cdh$ -fibrant Hochschild homology

The $K$ -theory of toric varieties