Related papers: Varieties and pure symbols

After surveying higher K-theory of toric varieties, we present Totaro's old (c. 1997) unpublished result on expressing the corresponding homotopy theory via singular cohomology. It is a higher analog of the rational Chern character…

We discover a class of projective self-dual algebraic varieties. Namely, we consider actions of isotropy groups of complex symmetric spaces on the projectivized nilpotent varieties of isotropy modules. For them, we classify all orbit…

The stable reduction theorem says that a family of curves of genus $g\geq 2$ over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new proof of this…

We conjecture that a natural twisted derived category of any hyper-K\"ahler variety of $K3^{[n]}$-type is controlled by its Markman-Mukai lattice. We prove the conjecture under numerical constraints, and our proof relies heavily on…

A coordinate-free definition for Wick-type symbols is given for symplectic manifolds by means of the Fedosov procedure. The main ingredient of this approach is a bilinear symmetric form defined on the complexified tangent bundle of the…

Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut…

Let X be a smooth algebraic variety on which a solvable Lie group acts freely on a dense open orbit. Such varieties include generalized flag varieties, toric varieties, Bott-Samelson varieties, and many spherical varieties, as well as…

This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if…

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

This paper consists of variations upon the theme of limiting modular symbols. Topics covered are: an expression of limiting modular symbols as Birkhoff averages on level sets of the Lyapunov exponent of the shift of the continued fraction,…

We classify smooth Euler-symmetric varieties corresponding to the symbol system generated by a single reduced polynomial.

Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of…

The signature transform, defined by the formal tensor series of global iterated path integrals, is a homomorphism between the path space and the tensor algebra that has been studied in geometry, control theory, number theory as well as…

Iterations of odd piecewise continuous maps with two discontinuities, i.e., symmetric discontinuous bimodal maps, are studied. Symbolic dynamics is introduced. The tools of kneading theory are used to study the homology of the discrete…

We apply our previous work on the relation between groupoid homology and K-theory to Smale spaces. More precisely, we consider the unstable equivalence relation of a Smale space with totally disconnected stable sets, and prove that the…

We give a non-abelian analogue of Whitney's 2-isomorphism theorem for graphs. Whitney's theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an abelian…

We discuss $\pmb{SC}_*$, a simplicial homotopy model of $K(Z,2)$ constructed from circular permutations. In any dimension, the number of simplices in the model is finite. The complex $\pmb{SC}_*$ naturally manifests as a simplicial set…

This note gives an overview of the mathematical framework underlying topological insulators, highlighting the connection to K-theory and vector bundles. We see ``real'' and ``quaternionic'' vector bundles arise naturally in the presence of…

Given a cycle module M with a ring structure we show that the cycle complex with coefficients in M of a smooth scheme of finite type over a field has a A-infinity algebra structure. In the case of Milnor K-theory this gives a homotopy model…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…