Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userCohomology of exact categories and (non-)additive sheaves
174
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We use (non-)additive sheaves to introduce an (absolute) notion of Hochschild cohomology for exact categories as Exts in a suitable bisheaf category. We compare our approach to various definitions present in the literature.
rate research
Read More
The main aim of this paper is the construction of a smooth (sometimes called differential) extension hat{MU} of the cohomology theory complex cobordism MU, using cycles for hat{MU}(M) which are essentially proper maps Wto M with a fixed U(n)-structure and U(n)-connection on the (stable) normal bundle of Wto M. Crucial is that this model allows the construction of a product structure and of pushdown maps for this smooth extension of MU, which have all the expected properties. Moreover, we show, using the Landweber exact functor principle, that hat{R}(M):=hat{MU}(M)otimes_{MU^*}R defines a multiplicative smooth extension of R(M):=MU(M)otimes_{MU^*}R whenever R is a Landweber exact MU*-module. An example for this construction is a new way to define a multiplicative smooth K-theory.
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.
For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann, involves loops in extension categories, and the algebraic definition involves homotopy liftings as introduced by the first author. As a consequence of our description, we prove that the topological definition indeed yields a Gerstenhaber algebra structure in the monoidal category setting, answering a question of Hermann. For use in proofs, we generalize $A_{infty}$-coderivation and homotopy lifting techniques from bimodule categories to some exact monoidal categories.
v2: We improved a little bit according to the referees wishes. v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim Xle p$, if $k$ has characteristic $p>0$. They show this if $k$ has characteristic 0 and if $n$ is prime to $p$ in characteristic $p>0$. We show the conjecture in characteristic $p>0$ if $n=p$ assuming in addition that $X$ is ordinary (in the sense of Bloch-Kato).
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
