Related papers: Varieties and pure symbols
We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the…
We prove that the function field of an algebraic variety of dimension greater than 1 over an algebraically closed field of characteristic zero is determined by its first and second Milnor K-groups.
The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in…
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological…
We prove uniform boundedness statements for semistable pure sheaves on projective manifolds. For example, we prove that the set of isomorphism classes of pure sheaves of dimension 2 that are slope semistable with respect to ample classes…
We generalize the Tutte polynomial of a matroid to a morphism of matroids via the K-theory of flag varieties. We introduce two different generalizations, and demonstrate that each has its own merits, where the trade-off is between the ease…
For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal…
We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on…
We prove that smooth projective varieties with equivalent derived categories have isogenous (and sometimes isomorphic) Picard varieties. In particular their irregularity and number of independent vector fields are the same. This is turn…
We develop a symbol calculus for normal bimodule maps over a masa that is the natural analogue of the Schur product theory. Using this calculus we are able to easily give a complete description of the ranges of contractive normal bimodule…
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the…
We show that, for a complete simplicial toric variety $X$, we can determine its homotopy $\KH$-theory entirely in terms of the torus pieces of open sets forming an open cover of $X$. We then construct conditions under which, given two…
Symmetric $k$-varieties generalize Riemannian sym\-me\-tric spaces to reductive groups defined over arbitrary fields. For most perfect fields, it is known that symmetric $k$-varieties are in one-to-one correspondence with isomorphy classes…
We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We…
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
We show that any Abelian module category over the (degenerate or quantum) Heisenberg category satisfying suitable finiteness conditions may be viewed as a 2-representation over a corresponding Kac-Moody 2-category (and vice versa). This…
The purpose of the present article is to show the multilinearity for symbols in Goodwillie-Lichtenbaum complex in two cases. The first case shown is where the degree is equal to the weight. In this case, the motivic cohomology groups of a…
We show that the Andr\'{e} motive of a hyper-K\"{a}hler variety $X$ over a field $K \subset \mathbb{C}$ with $b_2(X)>6$ is governed by its component in degree $2$. More precisely, we prove that if $X_1$ and $X_2$ are deformation equivalent…
We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication…
We establish an isomorphism between the stable homotopy groups of the 2-completed motivic sphere spectrum over the real numbers and the corresponding stable homotopy groups of the 2-completed Z/2-equivariant sphere spectrum, in a certain…