相关论文: Complete Reducibility of t-Motives

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…

Using punctual gluing of $t$-structures, we construct an analogue of S. Morel's weight truncation functors (for certain weight profiles) in the setting of motivic sheaves. As an application we construct a canonical motivic analogue of the…

This paper is withdrawn. We found a mistake in Lemma 4.1

We show how to express intuitionistic Zermelo set theory in deduction modulo (i.e. by replacing its axioms by rewrite rules) in such a way that the corresponding notion of proof enjoys the normalization property. To do so, we first rephrase…

We show in many cases the existence of adjoints to extension of scalars on categories of motivic nature, in the framework of field extensions. This is to be contrasted with the more classical situation where one deals with a finite type…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

Making use of noncommutative motives we relate exceptional collections (and more generally semi-orthogonal decompositions) to motivic decompositions. On one hand we prove that the Chow motive M(X) of every smooth proper Deligne-Mumford…

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.

We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a…

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

Let $P(T,X)$ be an irreducible polynomial in two variables with rational coefficients. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $t$ the specialized polynomial $P(t,X)$ is irreducible and has the same…

In this article, for generalized projective spaces with any weights, we prove four main theorems in three different contexts where the Unital Set Condition USC (Definition $2.8$) on ideals is further examined. In the first context we prove,…

In the standard sequent presentations of Girard's Linear Logic (LL), there are two "non-decreasing" rules, where the premises are not smaller than the conclusion, namely the cut and the contraction rules. It is a universal concern to…

We state a general conjecture that T-duality trivialises a model for the bulk-boundary correspondence in the parametrised context. We give evidence that it is valid by proving it in a special interesting case, which is relevant both to…

The celebrated Trakhtenbrot's theorem states that the set of finitely valid sentences of first-order logic is not computably enumerable. In this note we will extend this theorem by proving that the finite satisfiability problem of any…

The representation of the superalgebra so(2,1) that resulted in the relativistic wave equation (2.1) and Eq. (2.4) is fully reducible. In fact, its even part that lead to Eq. (3.1) is the direct sum of two spin 1/2 representations of the…

We present a renormalizability proof for spontaneously broken SU(2) gauge theory based on Flow Equations. It is a conceptually and technically simplified version of the earlier paper [KM] including some extensions. The proof of [KM] also…

We prove that the multiplication of sections of globally generated line bundles on a model wonderful variety M of simply connected type is always surjective. This follows by a general argument which works for every wonderful variety and…

We prove a canonical Kuenneth decomposition of the relative motive with rational coefficients of a smooth commutative group scheme over a noetherian finite dimensional base. This paper is a follow-up of "On the motive of a commutative…

The principal objective of this paper is to determine the structure of $n$-Lie derivations ($n\geq 3$) on generalized matrix algebras.It is shown that under certain mild assumptions, every $n$-Lie derivation can be decomposed into the sum…