相关论文: Complete Reducibility of t-Motives

Let $\M(A,\theta)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,\theta)=\M(B,\theta\_B).T$ be also partially…

For odd $N\geq 5$, we establish a short exact sequence about motivic double zeta values $\zeta^{\mathfrak{m}}(r,N-r)$ with $r\geq3$ odd, $N-r\geq2$. From this we classify all the relations among depth-graded motivic double zeta values…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

Let G be a connected reductive linear algebraic group. The aim of this note is to settle a question of J-P. Serre concerning the behaviour of his notion of G-complete reducibility under separable field extensions. Part of our proof relies…

Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…

This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).

We study cut elimination for a multifocused variant of full linear logic in the sequent calculus. The multifocused normal form of proofs yields problems that do not appear in a standard focused system, related to the constraints in grouping…

In this article we propose an extension to the typed natural deduction calculus TNDPQ to model verification of counterfactual fairness in probabilistic classifiers. This is obtained formulating specific structural conditions for causal…

We generalize an earlier result of Segev, which shows that {\em some\/} component in a minimal counterexample to Quillen's conjecture must admit an outer automorphism. We show in fact that {\em every\/} component must admit an outer…

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…

We consider an extension of first-order logic with a recursion operator that corresponds to allowing formulas to refer to themselves. We investigate the obtained language under two different systems of semantics, thereby obtaining two…

After recalling the various tautological algebras of the moduli space of curves and some of its partial compactifications and stating several well-known results and conjectures concerning these algebras, we prove that the natural extension…

This paper has been withdrawn by the author due to that the main results and approaches are closedly parallel to the ones in Lie algebra case.

We study certain 'weights' for triangulated categories endowed with $t$-structures. Our results axiomatize and describe in detail the relations between the Chow weight structure (introduced in a preceding paper), the (conjectural) motivic…

Let $G$ be a group containing a nilpotent normal subgroup $N$ with central series $\{N_j\}$, such that each $N_j/N_{j+1}$ is a $\mathbb{F}$-vector space over a field $\mathbb{F}$ and the action of $G$ on $N_j/N_{j+1}$ induced by the…

The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, viz. reinstatement and floating conclusions. I shall argue…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the…

We consider the problem of comparing t-structures under the derived McKay correspondence and for tilting equivalences. We relate the t-structures using certain natural torsion theories. As an application, we give a criterion for rationality…

In this article we give examples which show that the TQFT representations of the mapping class groups derived from quantum SU(N) for N>2 are generically decomposable. One general decomposition of the representations is induced by the…