Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCompactly supported $mathbb{A}^{1}$-Euler characteristic and the Hochschild complex
82
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We show the $mathbb{A}^{1}$-Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $mathbb{A}^{1}$-Euler characteristic $chi^{c}_{mathbb{A}^{1}}: K_0(mathbf{Var}_{k}) to text{GW}(k)$ from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations.
rate research
Read More
We prove a Hochschild-Kostant-Rosenberg decomposition theorem for smooth proper schemes $X$ in characteristic $p$ when $dim Xleq p$. The best known previous result of this kind, due to Yekutieli, required $dim X<p$. Yekutielis result follows from the observation that the denominators appearing in the classical proof of HKR do not divide $p$ when $dim X<p$. Our extension to $dim X=p$ requires a homological fact: the Hochschild homology of a smooth proper scheme is self-dual.
We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$, both in the untwisted and twisted settings. We also prove that the de Rham--$mathrm{HP}$ and crystalline--$mathrm{TP}$ spectral sequences need not degenerate.
We give a general structure theorem for affine A 1-fibrations on smooth quasi-projective surfaces. As an application, we show that every smooth A 1-fibered affine surface non-isomorphic to the total space of a line bundle over a smooth affine curve fails the Zariski Cancellation Problem. The present note is an expanded version of a talk given at the Kinosaki Algebraic Geometry Symposium in October 2019.
We continue our study on smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying $chi(X, omega_X)=0$. We formulate a conjectural characterization of such varieties and prove this conjecture when the Albanese variety has only three simple factors.
In a tight-binding lattice model with $n$ orbitals (single-particle states) per site, Wannier functions are $n$-component vector functions of position that fall off rapidly away from some location, and such that a set of them in some sense span all states in a given energy band or set of bands; compactly-supported Wannier functions are such functions that vanish outside a bounded region. They arise not only in band theory, but also in connection with tensor-network states for non-interacting fermion systems, and for flat-band Hamiltonians with strictly short-range hopping matrix elements. In earlier work, it was proved that for general complex band structures (vector bundles) or general complex Hamiltonians---that is, class A in the ten-fold classification of Hamiltonians and band structures---a set of compactly-supported Wannier functions can span the vector bundle only if the bundle is topologically trivial, in any dimension $d$ of space, even when use of an overcomplete set of such functions is permitted. This implied that, for a free-fermion tensor network state with a non-trivial bundle in class A, any strictly short-range parent Hamiltonian must be gapless. Here, this result is extended to all ten symmetry classes of band structures without additional crystallographic symmetries, with the result that in general the non-trivial bundles that can arise from compactly-supported Wannier-type functions are those that may possess, in each of $d$ directions, the non-trivial winding that can occur in the same symmetry class in one dimension, but nothing else. The results are obtained from a very natural usage of algebraic $K$-theory, based on a ring of polynomials in $e^{pm ik_x}$, $e^{pm ik_y}$, . . . , which occur as entries in the Fourier-transformed Wannier functions.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
