We generalize the motivic incarnation morphism from the theory of arithmetic integration to the relative case, where we work over a base variety S over a field k of characteristic zero. We develop a theory of constructible effective Chow motives over S, and we show how to associate a motive to any S-variety. We give a geometric proof of relative quantifier elimination for pseudo-finite fields, ...

In this work we study the problem of network morphism, an effective learning scheme to morph a well-trained neural network to a new one with the network function completely preserved. Different from existing work where basic morphing types on the layer level were addressed, we target at the central problem of network morphism at a higher level, i.e., how a convolutional layer can be morphed int...

We use Quillen model structures to show a systematic method lift recollements of hereditary abelian categories their associated homotopy categories. To that end, we the notion adjoint triples and investigate transfers along pairs. Applications include liftings module derived counterpart, provide models for stable Gorenstein projective injective modules n-morphism over Iwanaga-Gorenstein rings.

Let k be a commutative ring, A a commutative k-algebra and D the filtered ring of k-linear differential operators of A. We prove that: (1) The graded ring grD admits a canonical embedding θ into the graded dual of the symmetric algebra of the module ΩA/k of differentials of A over k, which has a canonical divided power structure. (2) There is a canonical morphism θ from the divided power algebr...

Contents 1. Introduction 1 2. Advice for the reader 2 3. The cotangent complex of a ring map 2 4. Simplicial resolutions and derived lower shriek 3 5. Constructing a resolution 6 6. Functoriality 11 7. The fundamental triangle 13 8. Localization andétale ring maps 17 9. Smooth ring maps 19 10. Comparison with the naive cotangent complex 19 11. A spectral sequence of Quillen 21 12. Comparison wi...

Contents 1. Introduction 1 2. Advice for the reader 2 3. The cotangent complex of a ring map 2 4. Simplicial resolutions and derived lower shriek 3 5. Constructing a resolution 6 6. Functoriality 11 7. The fundamental triangle 13 8. Localization andétale ring maps 17 9. Smooth ring maps 19 10. Comparison with the naive cotangent complex 19 11. A spectral sequence of Quillen 21 12. Comparison wi...

08P5 Contents 1. Introduction 1 2. Advice for the reader 2 3. The cotangent complex of a ring map 2 4. Simplicial resolutions and derived lower shriek 3 5. Constructing a resolution 6 6. Functoriality 11 7. The fundamental triangle 13 8. Localization andétale ring maps 17 9. Smooth ring maps 19 10. Comparison with the naive cotangent complex 19 11. A spectral sequence of Quillen 21 12. Comparis...

let $r$ be a commutative noetherian ring with non-zero identity and $fa$ an ideal of $r$. let $m$ be a finite $r$--module of finite projective dimension and $n$ an arbitrary finite $r$--module. we characterize the membership of the generalized local cohomology modules $lc^{i}_{fa}(m,n)$ in certain serre subcategories of the category of modules from upper bounds. we define and study the properti...

We prove the following. Let R be a Noetherian commutative ring, B a finitely generated R-algebra, and A a pure R-subalgebra of B. Then A is finitely generated over R. In this paper, all rings are commutative. Let A be a ring and B an A-algebra. We say that A → B is pure, or A is a pure subring of B, if for any A-module M , the map M = M ⊗A A → M ⊗A B is injective. Considering the case M = A/I, ...