Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCounterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$
84
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
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 generalize the basic results of Vinbergs theta-groups, or periodically graded reductive Lie algebras, to fields of good positive characteristic. To this end we clarify the relationship between the little Weyl group and the (standard) Weyl group. We deduce that the ring of invariants associated to the grading is a polynomial ring. This approach allows us to prove the existence of a KW-section for a classical graded Lie algebra (in zero or good characteristic), confirming a conjecture of Popov in this case.
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild cohomology to conclude that the analog of Kontsevichs formality theorem, for the cup product, does not hold for Deligne--Mumford stacks in general. We discuss relationships with orbifold cohomology, extending Ruans cohomological conjectures. This employs a trivialization of the determinants in the case of a symplectic group action on a symplectic variety X, which requires (for the cup product) a nontrivial normalization missing in previous literature.
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.
In this paper we focus on pairs consisting of the affine $N$-space and multiideals with a positive exponent. We introduce a method lifting to characteristic 0 which is a kind of the inversion of modulo p reduction. By making use of it, we prove that Mustata-Nakamuras conjecture and some uniform bound of divisors computing log canonical thresholds descend from characteristic 0 to certain classes of pairs in positive characteristic. We also pose a problem whose affirmative answer gives the descent of the statements to the whole set of pairs in positive characteristic.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
