相关论文: Cancellation theorem

The purpose of this paper is twofold. First, we use the motivic Landweber exact functor theorem to deduce that the Bott inverted infinite projective space is homotopy algebraic $K$-theory. The argument is considerably shorther than any…

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom…

We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in…

As a higher genus version of universal mixed elliptic motives by Hain and Matsumoto, we consider mixed Teichm\"uller motives as certain motivic local systems on the moduli space of pointed curves. We show that the category of mixed…

We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized…

Recently, Amnon Neeman settled a bold conjecture by Antieau, Gepner, and Heller regarding the relationship between the regularity of finite-dimensional noetherian schemes and the existence of bounded $t$-structures on their derived…

By virtue of Balmer's celebrated theorem, the classification of thick tensor ideals of a tensor triangulated category $\T$ is equivalent to the topological structure of its Balmer spectrum $\spc \T$. Motivated by this theorem, we discuss…

Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the \'etale cohomology with…

In [5] I solved the Thom's conjecture that a proper Thom map is triangulable. In this paper I drop the properness condition in the semialgebraic case and, moreover, in the definable case in an o-minimal structure.

The Module Cancellation Problem solicits hypotheses that, when imposed on modules $K$, $L$, and $M$ over a ring $S$, afford the implication $K\oplus L\cong K\oplus M\Longrightarrow L\cong M$. In a well-known paper on basic element theory…

In recent work, for a triangulated category $\cT$, the author introduced a topological space $\tSpec(\cT)$ which we call the triangular spectrum of $\cT$ as a tensor-free analog of the Balmer spectrum for a tensor triangulated category. In…

We consider T(x), a tensor of arbitrary rank that is symmetric in all of its indices and conserved in the sense that the divergence on any one index vanishes. Our conjecture is that all integral moments of this tensor will vanish if the…

We revisit classical results of Serre, Fr\"ohlich and Saito in the theory of quadratic forms. Given a neutral Tannakian category $(\mathcal{T},\omega)$ over a field $k$ of characteristic $\neq 2$, another fiber functor $\eta$ over a…

In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$\Delta$Cs). The tensor structure of an M$\Delta$C enables one to view these categories like…

We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…

We compute the tensor triangular spectrum of perfect complexes of filtered modules over a commutative ring, and deduce a classification of the thick tensor ideals. We give two proofs: one by reducing to perfect complexes of graded modules…

A natural place to study the Chow ring of the classifying space $BG$, for $G$ a linear algebraic group, is Voevodsky's triangulated category of motives, inside which Morel and Voevodsky, and Totaro have defined motives $M(BG)$ and…

In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and…

A smooth projective scheme $X$ over a field $k$ is said to satisfy the Rost nilpotence principle if any endomorphism of $X$ in the category of Chow motives that vanishes on an extension of the base field $k$ is nilpotent. We show that an…

We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the…