Algebraic tori as Nisnevich sheaves with transfers

Bruno Kahn

Displaying similar documents to “Algebraic tori as Nisnevich sheaves with transfers”

G-functors, G-posets and homotopy decompositions of G-spaces

Stefan Jackowski, Jolanta Słomińska (2001)

Fundamenta Mathematicae

Similarity:

We describe a unifying approach to a variety of homotopy decompositions of classifying spaces, mainly of finite groups. For a group G acting on a poset W and an isotropy presheaf d:W → (G) we construct a natural G-map $h o c o l i m_{_{d}} G / d (-) \to | W |$ which is a (non-equivariant) homotopy equivalence, hence $h o c o l i m_{_{d}} E G \times_{G} F_{d} \to E G \times_{G} | W |$ is a homotopy equivalence. Different choices of G-posets and isotropy presheaves on them lead to homotopy decompositions of classifying spaces. We analyze higher limits over the categories associated to isotropy...

Minimal component numbers of fixed point sets

Xuezhi Zhao (2003)

Fundamenta Mathematicae

Similarity:

Let f: (X,A) → (X,A) be a relative map of a pair of compact polyhedra. We introduce a new relative homotopy invariant $N^{C} (f; X, A)$ , which is a lower bound for the component numbers of fixed point sets of the self-maps in the relative homotopy class of f. Some properties of $N^{C} (f; X, A)$ are given, which are very similar to those of the relative Nielsen number N(f;X,A).

Relative subanalytic sheaves

Teresa Monteiro Fernandes, Luca Prelli (2014)

Fundamenta Mathematicae

Similarity:

Given a real analytic manifold Y, denote by $Y_{s a}$ the associated subanalytic site. Now consider a product Y = X × S. We construct the endofunctor $ℱ \mapsto ℱ^{S}$ on the category of sheaves on $Y_{s a}$ and study its properties. Roughly speaking, $ℱ^{S}$ is a sheaf on $X_{s a} \times S$ . As an application, one can now define sheaves of functions on Y which are tempered or Whitney in the relative sense, that is, only with respect to X.

A decomposition of $E^{3}$ into straight arcs and singletons

S. Armentrout

Similarity:

CONTENTS1. Introduction............................................................................................................................................. 52. Notation and. terminology................................................................................................................... 63. Description of G.................................................................................................................................... 64. Preliminaries to the...

On weak $i$ -homotopy equivalences of modules

Zheng-Xu He (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si definisce il gruppo di $i$ —omotopia di un singolo modulo e si introduce la nozione di equivalenza $i$ -omotopica debole. Sotto determinate condizioni per l'anello di base $\Lambda$ oppure per i moduli considerati, le equivalenze $i$ -omotopiche deboli coincidono con le equivalenze $i$ -omotopiche (forti).

Unstable homotopy invariance for finite fields

Kevin P. Knudson (2002)

Fundamenta Mathematicae

Similarity:

We prove that if k is a finite field with $p^{d}$ elements, then the natural map $H_{i} (G L ₙ (k), ℤ) \to H_{i} (G L ₙ (k [t]), ℤ)$ is an isomorphism for 0 ≤ i < d(p-1) and for all n.

On Verlinde sheaves and strange duality over elliptic Noether-Lefschetz divisors

Alina Marian, Dragos Oprea (2014)

Annales de l’institut Fourier

Similarity:

We extend results on generic strange duality for $K 3$ surfaces by showing that the proposed isomorphism holds over an entire Noether-Lefschetz divisor in the moduli space of quasipolarized $K 3$ s. We interpret the statement globally as an isomorphism of sheaves over this divisor, and also describe the global construction over the space of polarized $K 3 s$ .

Stratified Whitney jets and tempered ultradistributions on the subanalytic site

N. Honda, G. Morando (2011)

Bulletin de la Société Mathématique de France

Similarity:

In this paper we introduce the sheaf of stratified Whitney jets of Gevrey order on the subanalytic site relative to a real analytic manifold $X$ . Then, we define stratified ultradistributions of Beurling and Roumieu type on $X$ . In the end, by means of stratified ultradistributions, we define tempered-stratified ultradistributions and we prove two results. First, if $X$ is a real surface, the tempered-stratified ultradistributions define a sheaf on the subanalytic site relative to $X$ . Second,...

Involutivity of truncated microsupports

Masaki Kashiwara, Térésa Monteiro Fernandes, Pierre Schapira (2003)

Bulletin de la Société Mathématique de France

Similarity:

Using a result of J.-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and $k \in ℤ$ , if two functions vanish on ${SS}_{k} (F)$ , then so does their Poisson bracket.

On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials

Sal Barone, Saugata Basu (2014)

Journal of the European Mathematical Society

Similarity:

We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order formula defining the family. As an important consequence, we derive that the number of distinct homotopy types of semi-algebraic subsets of $ℝ^{k}$ defined by a quantifier-free first order formula $Φ$ , where the sum of the additive complexities of the polynomials...

Homotopy decompositions of orbit spaces and the Webb conjecture

Jolanta Słomińska (2001)

Fundamenta Mathematicae

Similarity:

Let p be a prime number. We prove that if G is a compact Lie group with a non-trivial p-subgroup, then the orbit space $(B_{p} (G)) / G$ of the classifying space of the category associated to the G-poset $_{p} (G)$ of all non-trivial elementary abelian p-subgroups of G is contractible. This gives, for every G-CW-complex X each of whose isotropy groups contains a non-trivial p-subgroup, a decomposition of X/G as a homotopy colimit of the functor $X^{E ₙ} / (N E ₀ \cap . . . \cap N E ₙ)$ defined over the poset $(s d_{p} (G)) / G$ , where sd is the barycentric subdivision....

Algebraic Superconnections, $S U (2 ∣ 1)$ and Electroweak Interactions

R. Coquereaux (1992)

Recherche Coopérative sur Programme n°25

Similarity:

Strong density for higher order Sobolev spaces into compact manifolds

Pierre Bousquet, Augusto C. Ponce, Jean Van Schaftingen (2015)

Journal of the European Mathematical Society

Similarity:

Given a compact manifold $N^{n}$ , an integer $k \in ℕ_{*}$ and an exponent $1 \leq p < \infty$ , we prove that the class $C^{\infty} ({\bar{Q}}^{m}; N^{n})$ of smooth maps on the cube with values into $N^{n}$ is dense with respect to the strong topology in the Sobolev space $W^{k, p} (Q^{m}; N^{n})$ when the homotopy group $π_{⌊ k p ⌋} (N^{n})$ of order $⌊ k p ⌋$ is trivial. We also prove density of maps that are smooth except for a set of dimension $m - ⌊ k p ⌋ - 1$ , without any restriction on the homotopy group of $N^{n}$ .

Twisted cotangent sheaves and a Kobayashi-Ochiai theorem for foliations

Andreas Höring (2014)

Annales de l’institut Fourier

Similarity:

Let $X$ be a normal projective variety, and let $A$ be an ample Cartier divisor on $X$ . Suppose that $X$ is not the projective space. We prove that the twisted cotangent sheaf $Ω_{X} \otimes A$ is generically nef with respect to the polarisation $A$ . As an application we prove a Kobayashi-Ochiai theorem for foliations: if $ℱ ⊊ T_{X}$ is a foliation such that $det ℱ \equiv i_{ℱ} A$ , then $i_{ℱ}$ is at most the rank of $ℱ$ .

Interplay between strongly universal spaces and pairs

Taras Banakh, Robert Cauty

Similarity:

Given a pair (M,X) of spaces we investigate the connections between the (strong) universality of (M,X) and that of the space X. We apply this to prove Enlarging, Deleting, and Strong Negligibility Theorems for strongly universal and absorbing spaces. Given an absorbing space Ω we also study the question of topological uniqueness of the pair (M,X), where $M = {[0, 1]}^{ω}$ or $M = {(0, 1)}^{ω}$ and X is a copy of Ω in M having a locally homotopy negligible complement in M.

The Salvetti complex and the little cubes

Dai Tamaki (2012)

Journal of the European Mathematical Society

Similarity:

For a real central arrangement $𝒜$ , Salvetti introduced a construction of a finite complex Sal $(𝒜)$ which is homotopy equivalent to the complement of the complexified arrangement in [Sal87]. For the braid arrangement $𝒜_{k - 1}$ , the Salvetti complex Sal $(𝒜_{k - 1})$ serves as a good combinatorial model for the homotopy type of the configuration space $F (ℂ, k)$ of $k$ points in $C$ , which is homotopy equivalent to the space $C_{2} (k)$ of k little $2$ -cubes. Motivated by the importance of little cubes in homotopy theory, especially in...

On weak $i$ -homotopy equivalences of modules

Zheng-Xu He (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Algebraic independence of the values at algebraic points of a class of functions considered by Mahler

N. Ch. Wass

Similarity:

This thesis is concerned with the problem of determining a measure of algebraic independence for a particular m-tuple θ₁,..., $θ_{m}$ of complex numbers. Specifically, let K be a number field and let f₁(z),..., $f_{m} (z)$ be elements of K[[z]] algebraically independent over K(z) satisfying equations of the form(*) $f_{j} (z^{b}) = \sum_{i = 1}^{m} f_{i} (z) a_{i j} (z) + b_{j} (z)$ (j = i,...,m)for b ≥ 2, $a_{i j} (z)$ , $b_{j} (z)$ in K(z). Suppose finally that α ∈ K is such that 0 < |α| < 1, the $f_{j} (z$ ) converge at z = α and the $a_{i j} (z)$ , $b_{j} (z)$ are analytic at $z = α, α^{b}, α^{b ²}, . . .$ Then the $θ_{i} = f_{i} (α)$ are algebraically independent...

The signature package on Witt spaces

Pierre Albin, Éric Leichtnam, Rafe Mazzeo, Paolo Piazza (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In this paper we prove a variety of results about the signature operator on Witt spaces. First, we give a parametrix construction for the signature operator on any compact, oriented, stratified pseudomanifold $X$ which satisfies the Witt condition. This construction, which is inductive over the ‘depth’ of the singularity, is then used to show that the signature operator is essentially self-adjoint and has discrete spectrum of finite multiplicity, so that its index—the analytic signature...

Algebraic homotopy classes of rational functions

Christophe Cazanave (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $k$ be a field. We compute the set ${[𝐏^{1}, 𝐏^{1}]}^{N}$ ofhomotopy classes of pointed $k$ -scheme endomorphisms of the projective line $𝐏^{1}$ . Our result compares well with Morel’s computation in [11] of the ${[𝐏^{1}, 𝐏^{1}]}^{𝐀^{1}}$ of $𝐀^{1}$ -homotopy classes of pointed endomorphisms of $𝐏^{1}$ : the set ${[𝐏^{1}, 𝐏^{1}]}^{N}$ admits an a priori monoid structure such that the canonical map ${[𝐏^{1}, 𝐏^{1}]}^{N} \to {[𝐏^{1}, 𝐏^{1}]}^{𝐀^{1}}$ is a group completion.

Tilting Bundles on Rational Surfaces and Quasi-Hereditary Algebras

Lutz Hille, Markus Perling (2014)

Annales de l’institut Fourier

Similarity:

Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$ . Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is equivalent to the bounded derived category of finitely generated modules over a finite dimensional quasi-hereditary algebra $A$ . The construction starts with a full exceptional sequence of line bundles on $X$ and uses universal extensions. If $X$ is any smooth projective...

Real algebraic actions on projective spaces - A survey

Ted Petrie (1973)

Annales de l'institut Fourier

Similarity:

Let $G$ be a compact lie group. We introduce the set $S_{G} (Y)$ for every smooth $G$ manifold $Y$ . It consists of equivalence classes of pair $(X, f)$ where $f : X \to Y$ is a $G$ map which defines a homotopy equivalence from $X$ to $Y$ . Two pairs $(X_{i}, f_{i})$ , for $i = 0, 1$ , are equivalent if there is a $G$ homotopy equivalence $φ : X_{0} \to X_{1}$ such that $f_{0}$ is $G$ homotopic to $f_{1} \circ φ$ . Properties of the set $S_{G} (Y)$ and related to the representation of $G$ on the tangent spaces of $X$ and $Y$ at the fixed points. For the case $G = S^{1}$ and $Y$ is the $S^{1}$ manifold defined by a “linear”...

Self-intersection of the relative dualizing sheaf on modular curves $X_{1} (N)$

Hartwig Mayer (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $N$ be an odd and squarefree positive integer divisible by at least two relative prime integers bigger or equal than $4$ . Our main theorem is an asymptotic formula solely in terms of $N$ for the stable arithmetic self-intersection number of the relative dualizing sheaf for modular curves $X_{1} (N) / ℚ$ . From our main theorem we obtain an asymptotic formula for the stable Faltings height of the Jacobian $J_{1} (N) / ℚ$ of $X_{1} (N) / ℚ$ , and, for sufficiently large $N$ , an effective version of Bogomolov’s conjecture for $X_{1} (N) / ℚ$ . ...