Extension of smooth functions in infinite dimensions II: manifolds

C. J. Atkin

Displaying similar documents to “Extension of smooth functions in infinite dimensions II: manifolds”

The Morse-Sard-Brown Theorem for Functionals on Bounded Fréchet-Finsler Manifolds

Kaveh Eftekharinasab (2015)

Communications in Mathematics

Similarity:

In this paper we study Lipschitz-Fredholm vector fields on bounded Fréchet-Finsler manifolds. In this context we generalize the Morse-Sard-Brown theorem, asserting that if $M$ is a connected smooth bounded Fréchet-Finsler manifold endowed with a connection $𝒦$ and if $ξ$ is a smooth Lipschitz-Fredholm vector field on $M$ with respect to $𝒦$ which satisfies condition (WCV), then, for any smooth functional $l$ on $M$ which is associated to $ξ$ , the set of the critical values of $l$ is of first category...

On canonical constructions on connections

Jan Kurek, Włodzimierz Mikulski (2016)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We study how a projectable general connection $Γ$ in a 2-fibred manifold $Y^{2} \to Y^{1} \to Y^{0}$ and a general vertical connection $Θ$ in $Y^{2} \to Y^{1} \to Y^{0}$ induce a general connection $A (Γ, Θ)$ in $Y^{2} \to Y^{1}$ .

The vertical prolongation of the projectable connections

Anna Bednarska (2012)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We prove that any first order $ℱ_{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operator transforming projectable general connections on an $(m_{1}, m_{2}, n_{1}, n_{2})$ -dimensional fibred-fibred manifold $p = (p, p) : (p_{Y} : Y \to Y) \to (p_{M} : M \to M)$ into general connections on the vertical prolongation $V Y \to M$ of $p : Y \to M$ is the restriction of the (rather well-known) vertical prolongation operator $𝒱$ lifting general connections $\bar{Γ}$ on a fibred manifold $Y \to M$ into $𝒱 \bar{Γ}$ (the vertical prolongation of $\bar{Γ}$ ) on $V Y \to M$ .

$Z ₂^{k}$ -actions with a special fixed point set

Pedro L. Q. Pergher, Rogério de Oliveira (2005)

Fundamenta Mathematicae

Similarity:

Let Fⁿ be a connected, smooth and closed n-dimensional manifold satisfying the following property: if $N^{m}$ is any smooth and closed m-dimensional manifold with m > n and $T : N^{m} \to N^{m}$ is a smooth involution whose fixed point set is Fⁿ, then m = 2n. We describe the equivariant cobordism classification of smooth actions $(M^{m}; Φ)$ of the group $G = Z ₂^{k}$ on closed smooth m-dimensional manifolds $M^{m}$ for which the fixed point set of the action is a submanifold Fⁿ with the above property. This generalizes a result of F....

On lifts of projectable-projectable classical linear connections to the cotangent bundle

Anna Bednarska (2013)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We describe all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $D : Q_{p r o j - p r o j}^{τ} ⇝ Q T^{*}$ transforming projectable-projectable classical torsion-free linear connections $\nabla$ on fibred-fibred manifolds $Y$ into classical linear connections $D (\nabla)$ on cotangent bundles $T^{*} Y$ of $Y$ . We show that this problem can be reduced to finding $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $D : Q_{p r o j - p r o j}^{τ} ⇝ (T^{*}, \otimes^{p} T^{*} \otimes \otimes^{q} T)$ for $p = 2$ , $q = 1$ and $p = 3$ , $q = 0$ .

On prolongations of projectable connections

Jan Kurek, Włodzimierz M. Mikulski (2011)

Annales Polonici Mathematici

Similarity:

We extend the concept of r-order connections on fibred manifolds to the one of (r,s,q)-order projectable connections on fibred-fibred manifolds, where r,s,q are arbitrary non-negative integers with s ≥ r ≤ q. Similarly to the fibred manifold case, given a bundle functor F of order r on (m₁,m₂,n₁,n₂)-dimensional fibred-fibred manifolds Y → M, we construct a general connection ℱ(Γ,Λ):FY → J¹FY on FY → M from a projectable general (i.e. (1,1,1)-order) connection $Γ : Y \to J^{1, 1, 1} Y$ on Y → M by means of an...

A criterion for pure unrectifiability of sets (via universal vector bundle)

Silvano Delladio (2011)

Annales Polonici Mathematici

Similarity:

Let m,n be positive integers such that m < n and let G(n,m) be the Grassmann manifold of all m-dimensional subspaces of ℝⁿ. For V ∈ G(n,m) let $π_{V}$ denote the orthogonal projection from ℝⁿ onto V. The following characterization of purely unrectifiable sets holds. Let A be an $^{m}$ -measurable subset of ℝⁿ with $^{m} (A) < \infty$ . Then A is purely m-unrectifiable if and only if there exists a null subset Z of the universal bundle $(V, v) | V \in G (n, m), v \in V$ such that, for all P ∈ A, one has $^{m (n - m)} (V \in G (n, m) | (V, π_{V} (P)) \in Z) > 0$ . One can replace “for all P ∈ A” by “for...

Constructions on second order connections

J. Kurek, W. M. Mikulski (2007)

Annales Polonici Mathematici

Similarity:

We classify all $ℱ ℳ_{m, n}$ -natural operators $: J ² ⟿ J ² V^{A}$ transforming second order connections Γ: Y → J²Y on a fibred manifold Y → M into second order connections $(Γ) : V^{A} Y \to J ² V^{A} Y$ on the vertical Weil bundle $V^{A} Y \to M$ corresponding to a Weil algebra A.

Lagrangians and Euler morphisms on fibered-fibered frame bundles from projectable-projectable classical linear connections

Anna Bednarska (2011)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

We classify all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $A$ transforming projectable-projectable torsion-free classical linear connections $\nabla$ on fibered-fibered manifolds $Y$ of dimension $(m_{1}, m_{2}, n_{1}, n_{2})$ into $r$ th order Lagrangians $A (r)$ on the fibered-fibered linear frame bundle $L^{f i b - f i b} (Y)$ on $Y$ . Moreover, we classify all $ℱ^{2} ℳ_{m_{1}, m_{2}, n_{1}, n_{2}}$ -natural operators $B$ transforming projectable-projectable torsion-free classical linear connections r on fiberedfibered manifolds $Y$ of dimension $(m_{1}, m_{2}, n_{1}, n_{2})$ into Euler morphism $B (\nabla)$ on $L^{f i b - f i b} (Y)$ . These classifications can be expanded on...

Spaces of polynomial functions of bounded degrees on an embedded manifold and their duals

Shuzo Izumi (2015)

Annales Polonici Mathematici

Similarity:

Let (U) denote the algebra of holomorphic functions on an open subset U ⊂ ℂⁿ and Z ⊂ (U) its finite-dimensional vector subspace. By the theory of least spaces of de Boor and Ron, there exists a projection $_{b}$ from the local ring $_{n, b}$ onto the space $Z_{b}$ of germs of elements of Z at b. At a general point b ∈ U its kernel is an ideal and $_{b}$ induces the structure of an Artinian algebra on $Z_{b}$ . In particular, this holds at points where the kth jets of elements of Z form a vector bundle for each k ∈...

Holomorphic line bundles and divisors on a domain of a Stein manifold

Makoto Abe (2007)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

Let $D$ be an open set of a Stein manifold $X$ of dimension $n$ such that $H^{k} (D, 𝒪) = 0$ for $2 \leq k \leq n - 1$ . We prove that $D$ is Stein if and only if every topologically trivial holomorphic line bundle $L$ on $D$ is associated to some Cartier divisor $𝔡$ on $D$ .

On lifting of connections to Weil bundles

Jan Kurek, Włodzimierz M. Mikulski (2012)

Annales Polonici Mathematici

Similarity:

We prove that the problem of finding all $ℳ f_{m}$ -natural operators $B : Q ⟿ Q T^{A}$ lifting classical linear connections ∇ on m-manifolds M to classical linear connections $B_{M} (\nabla)$ on the Weil bundle $T^{A} M$ corresponding to a p-dimensional (over ℝ) Weil algebra A is equivalent to the one of finding all $ℳ f_{m}$ -natural operators $C : Q ⟿ (T ¹_{p - 1}, T * \otimes T * \otimes T)$ transforming classical linear connections ∇ on m-manifolds M into base-preserving fibred maps $C_{M} (\nabla) : T ¹_{p - 1} M = ⨁_{M}^{p - 1} T M \to T * M \otimes T * M \otimes T M$ .

Local density of diffeomorphisms with large centralizers

Christian Bonatti, Sylvain Crovisier, Gioia M. Vago, Amie Wilkinson (2008)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Given any compact manifold $M$ , we construct a non-empty open subset $𝒪$ of the space ${Diff}^{1} (M)$ of $C^{1}$ -diffeomorphisms and a dense subset $𝒟 \subset 𝒪$ such that the centralizer of every diffeomorphism in $𝒟$ is uncountable, hence non-trivial.

Finiteness problems on Nash manifolds and Nash sets

José F. Fernando, José Manuel Gamboa, Jesús M. Ruiz (2014)

Journal of the European Mathematical Society

Similarity:

We study here several finiteness problems concerning affine Nash manifolds $M$ and Nash subsets $X$ . Three main results are: (i) A Nash function on a semialgebraic subset $Z$ of $M$ has a Nash extension to an open semialgebraic neighborhood of $Z$ in $M$ , (ii) A Nash set $X$ that has only normal crossings in $M$ can be covered by finitely many open semialgebraic sets $U$ equipped with Nash diffeomorphisms $(u_{1}, \dots, u_{m}) : U \to ℝ^{m}$ such that $U \cap X = {u_{1} \dots u_{r} = 0}$ , (iii) Every affine Nash manifold with corners $N$ is a closed subset of an affine Nash...

On almost complex structures from classical linear connections

Jan Kurek, Włodzimierz M. Mikulski (2017)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

Let $ℳ f_{m}$ be the category of $m$ -dimensional manifolds and local diffeomorphisms and let $T$ be the tangent functor on $ℳ f_{m}$ . Let $𝒱$ be the category of real vector spaces and linear maps and let $𝒱_{m}$ be the category of $m$ -dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F : 𝒱_{m} \to 𝒱$ admitting $ℳ f_{m}$ -natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$ -dimensional manifolds $M$ into almost complex structures $\tilde{J} (\nabla)$ on $F (T) M = ⋃_{x \in M} F (T_{x} M)$ .

Foliated structure of the Kuranishi space and isomorphisms of deformation families of compact complex manifolds

Laurent Meersseman (2011)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Consider the following uniformization problem. Take two holomorphic (parametrized by some analytic set defined on a neighborhood of $0$ in $ℂ^{p}$ , for some $p > 0$ ) or differentiable (parametrized by an open neighborhood of $0$ in $ℝ^{p}$ , for some $p > 0$ ) deformation families of compact complex manifolds. Assume they are pointwise isomorphic, that is for each point $t$ of the parameter space, the fiber over $t$ of the first family is biholomorphic to the fiber over $t$ of the second family. Then, under which conditions...

On the Picard number of divisors in Fano manifolds

Cinzia Casagrande (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $X$ be a complex Fano manifold of arbitrary dimension, and $D$ a prime divisor in $X$ . We consider the image $𝒩_{1} (D, X)$ of $𝒩_{1} (D)$ in $𝒩_{1} (X)$ under the natural push-forward of $1$ -cycles. We show that $ρ_{X} - ρ_{D} \leq codim 𝒩_{1} (D, X) \leq 8$ . Moreover if $codim 𝒩_{1} (D, X) \geq 3$ , then either $X ≅ S \times T$ where $S$ is a Del Pezzo surface, or $codim 𝒩_{1} (D, X) = 3$ and $X$ has a fibration in Del Pezzo surfaces onto a Fano manifold $T$ such that $ρ_{X} - ρ_{T} = 4$ .

Steinness of bundles with fiber a Reinhardt bounded domain

Karl Oeljeklaus, Dan Zaffran (2006)

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

Similarity:

Let $E$ denote a holomorphic bundle with fiber $D$ and with basis $B$ . Both $D$ and $B$ are assumed to be Stein. For $D$ a Reinhardt bounded domain of dimension $d = 2$ or $3$ , we give a necessary and sufficient condition on $D$ for the existence of a non-Stein such $E$ (Theorem $1$ ); for $d = 2$ , we give necessary and sufficient criteria for $E$ to be Stein (Theorem $2$ ). For $D$ a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for $E$ to be Stein (Theorem...

The $p$ -Laplace eigenvalue problem as $p \to \infty$ in a Finsler metric

M. Belloni, Bernhard Kawohl, P. Juutinen (2006)

Journal of the European Mathematical Society

Similarity:

We consider the $p$ -Laplacian operator on a domain equipped with a Finsler metric. We recall relevant properties of its first eigenfunction for finite $p$ and investigate the limit problem as $p \to \infty$ .

The $L^{2}$ $\bar{\partial}$ -Cauchy problem on weakly $q$ -pseudoconvex domains in Stein manifolds

Sayed Saber (2015)

Czechoslovak Mathematical Journal

Similarity:

Let $X$ be a Stein manifold of complex dimension $n \geq 2$ and $Ω ⋐ X$ be a relatively compact domain with $C^{2}$ smooth boundary in $X$ . Assume that $Ω$ is a weakly $q$ -pseudoconvex domain in $X$ . The purpose of this paper is to establish sufficient conditions for the closed range of $\bar{\partial}$ on $Ω$ . Moreover, we study the $\bar{\partial}$ -problem on $Ω$ . Specifically, we use the modified weight function method to study the weighted $\bar{\partial}$ -problem with exact support in $Ω$ . Our method relies on the $L^{2}$ -estimates by Hörmander (1965) and by Kohn (1973). ...

The general rigidity result for bundles of $A$ -covelocities and $A$ -jets

Jiří M. Tomáš (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $M$ be an $m$ -dimensional manifold and $A = 𝔻_{k}^{r} / I = ℝ \oplus N_{A}$ a Weil algebra of height $r$ . We prove that any $A$ -covelocity $T_{x}^{A} f \in T_{x}^{A *} M$ , $x \in M$ is determined by its values over arbitrary $max {width A, m}$ regular and under the first jet projection linearly independent elements of $T_{x}^{A} M$ . Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A *} M ≃ T^{r *} M$ without coordinate computations, which improves and generalizes the partial...

Rigidity of CR morphisms between compact strongly pseudoconvex CR manifolds

Stephen S.-T. Yau (2011)

Journal of the European Mathematical Society

Similarity:

Let $X_{1}$ and $X_{2}$ be two compact strongly pseudoconvex CR manifolds of dimension $2 n - 1 \geq 5$ which bound complex varieties $V_{1}$ and $V_{2}$ with only isolated normal singularities in $ℂ^{N 1}$ and $ℂ^{N 2}$ respectively. Let $S_{1}$ and $S_{2}$ be the singular sets of $V_{1}$ and $V_{2}$ respectively and $S_{2}$ is nonempty. If $2 n - N_{2} - 1 \geq 1$ and the cardinality of $S_{1}$ is less than 2 times the cardinality of $S_{2}$ , then we prove that any non-constant CR morphism from $X_{1}$ to $X_{2}$ is necessarily a CR biholomorphism. On the other hand, let $X$ be a compact strongly pseudoconvex CR...

On the Configuration Spaces of Grassmannian Manifolds

Sandro Manfredini, Simona Settepanella (2014)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

Let $ℱ_{h}^{i} (k, n)$ be the $i$ -th ordered configuration space of all distinct points $H_{1}, ..., H_{h}$ in the Grassmannian $G r (k, n)$ of $k$ -dimensional subspaces of $ℂ^{n}$ , whose sum is a subspace of dimension $i$ . We prove that $ℱ_{h}^{i} (k, n)$ is (when non empty) a complex submanifold of $G r {(k, n)}^{h}$ of dimension $i (n - i) + h k (i - k)$ and its fundamental group is trivial if $i = m i n (n, h k)$ , $h k \neq n$ and $n > 2$ and equal to the braid group of the sphere $ℂ$ $P^{1}$ if $n = 2$ . Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k = n - 1$ .