Questions tagged [extension]
The extension tag has no usage guidance.
54
questions
4
votes
1
answer
162
views
Explicit formula for general group extension in terms of cartesian product set
According to Wikipedia and ncat lab general group extensions
$$N\rightarrow G\rightarrow Q$$
are classified by a group homomorphism
$$\rho: Q\rightarrow \operatorname{Out}(N)$$
subject to a constraint ...
5
votes
2
answers
394
views
How is the classification of groups extensions by $H^2$ related to Yoneda Ext?
It is well-known that group extensions
$$1\to A \to H \to G \to 1$$
where $A$ is abelian with a $G$-action such that the conjugation action of $G$ on $A$ agree with this fixed action are classified ...
0
votes
1
answer
176
views
Finite subgroups of $\mathrm{O}_n(\mathbb R)$ from finite subgroups of $\mathrm{SO}_n(\mathbb R)$
Let $G$ be a finite subgroup of $\mathrm{SO}_n(\mathbb R)$. We also assume $G$ to be "maximal" in the sense that for every $g\in\mathrm{SO}_n(\mathbb R)\setminus G$, we have that $\overline{\...
2
votes
0
answers
109
views
Homotopy equivalence of chain complexes from subcomplexes and quotient complexes
Let $C_1$ be a finite-dimensional chain complex over $\mathbb{C}$ coefficients. Let $S_i$ be a subcomplex of $C_1$ and let $Q_1$ be the quotient complex. Suppose $S_1$ and $Q_1$ are chain homotopy ...
5
votes
1
answer
170
views
On the property P in the Whitney extension theorem
Let $D$ be a possibly unbounded domain in $\mathbb{R}^d$, $d \ge 2.$
We say that $D$ has the property P if there exists $C>0$ such that such that any pair of points $x,y \in D$ can be joined by a ...
1
vote
0
answers
34
views
extension from a dense subset in completely uniformizable spaces
Let $\mathbf{CReg}$ the category of completely regular spaces and continuous maps and let $\mathbf{Unif}$ be the category of uniform spaces and uniformly continuous maps.
There is a functor $F:\mathbf{...
3
votes
1
answer
158
views
Homeomorphic extension of a discrete function
Let $f : \{ 0,1 \} ^ {n} \rightarrow \{ 0,1 \} ^ {n}$ be a bijective map. Then is there a known computable way to extend it to a homeomorphism $g:[ 0,1 ] ^ {n} \rightarrow [ 0,1 ] ^ {n}?$
2
votes
1
answer
159
views
Lie algebras for which all one-dimensional extensions split
I was recently trying to prove the following "well-known" theorem for myself, given that I could not find a proof in the literature that I could understand. In what that follows, I will ...
4
votes
2
answers
149
views
A ball with slit at the radius is not $W^{1,1}$-extension domain
Recall that: A domain $\Omega\subset \mathbb{R}^d$ is an $W^{1,1}$-extension domain if there exists an operator $E:W^{1,1}(\Omega)\to W^{1,1}(\mathbb{R^d})$ and a constant $c= c(d,\Omega)>0$ such ...
3
votes
1
answer
151
views
Boundedness of an extension operator
Let $d \ge 2$ be a positive integer. For $x=(x_1,\dotsc,x_{d-1},x_d)$, we write $x'=(x_1,\dotsc,x_{d-1})$. Let $\mathbb{H}^d=\{x=(x',x_d) \mid x_d>0\}$ denote the $d$-dimensional upper half-space.
...
2
votes
0
answers
103
views
Any connection between extension of algebraic structure and forcing of set theory?
Any connection between extension of algebraic structure and forcing of set theory? And more, are there any approach from one of the two to other field to solve problem?
5
votes
1
answer
244
views
Extension of first order deformations of a line bundle
Let $X$ be a smooth complex algebraic variety with $H^0(X,\mathcal{O}_X) = \mathbb{C}$ and $V \subset X$ an open subvariety whose complement has codimension two. Now, let $L_{\varepsilon}$ be a line ...
1
vote
0
answers
39
views
$H^1 \cap C^0$ boundary, smooth $H^1$ extension
Assume we have a $u \in H^1(\Omega; \mathbb{R}^n) \cap C^0$ where $\Omega$ is a bounded open Set with smooth boundary. Also $u\vert_{\partial \Omega} \in H^1(\partial \Omega; \mathbb{R}^n) \cap C^0$. ...
2
votes
0
answers
76
views
Reference for an extension theorem for Neumann boundary data
$\DeclareMathOperator\Tr{Tr}$Let $\Omega \subset \mathbb{R}^d$ be a smooth bounded domain (we denote by $n$ the normal to $\partial\Omega$) and $p\in(1,\infty)$. Do you know where I can find (book or ...
8
votes
3
answers
714
views
Is there some example that nicely extends the multiplication of natural numbers?
Motivation: In mathematics, it is natural to decompose a complicated thing into simpler ones. In the system of natural numbers, the process to decompose large number is to factor it. The ...
3
votes
1
answer
462
views
Yoneda Ext theorem and extensions
Consider the category of chain complexes over a ring $R$.
We can show that $\text{Ext}^1(M, N)$ classifies extensions using the triangulated category structure: the homotopy kernel of a map $N \...
2
votes
1
answer
373
views
$C^1$ extension with compact support
Knowing that $\omega\Subset\Omega\subset\mathbb{R}^2$ (compactly included) are two open and bounded sets with $C^2$ boundary, is it true that for any function $\phi_0:\overline{\omega}\to\mathbb{R},\ \...
2
votes
0
answers
105
views
Extensions in a full subcategory
Let $\mathcal{C}$ be an abelian category (feel free to put more adjectives here) and $\mathcal{D}$ a full abelian subcategory closed under kernels and cokernels.
Then by definition for $A,B\in \...
4
votes
0
answers
140
views
Continuous extension preserving modulus of continuity
Let $X$ be a (non-empty) compact subset of $D(0,M):=\left\{x\in \mathbb{R}^n:\, \|x\|\leq M\right\}$, and let $f:X\rightarrow Y$ be uniformly continuous; for some metric space $Y$. Are there any ...
2
votes
0
answers
254
views
Extension of Lipschitz functions that preserve the Frobenius norm of the Jacobian
Let $n,m\ge 1$ be integers and let $f:E\to R^m$ be $L$-Lipschitz for some subset $E\subset R^n$.
Kirszbraun's theorem, https://en.wikipedia.org/wiki/Kirszbraun_theorem, states that there exists ...
2
votes
0
answers
56
views
Extension of differentiable structure to guarantee continuous extension of prescribed vector fields
Consider the lower half space $\{(x,y) \in \mathbb{R}^2 \; | \; y < 0\}$ and let $X_1, X_2$ be two vector fields on the lower half space which are continuous with respect to its canonical ...
6
votes
0
answers
232
views
How much does Ext tell me about isomorphisms?
So this was a question I sort of stumbled on and realised I was quite stumped. Suppose we have two finitely generated $R$-modules $M, N$ (I have the group ring $R=\mathbb{Z}[G]$ in mind) which appear ...
1
vote
0
answers
48
views
Can we say that $f$ admits a $m(X,X^*)$-continuous extension to $X$?
Let $X$ be a Banach space equipped with the Mackey topology $m(X,X^*)$. We suppose that $\big(X,m(X,X^*)\big)$ is separable space. Let $H$ be a countable, $m(X,X^*)$-dense subset with $(H=-H)$.
Let $...
6
votes
1
answer
158
views
Extension Operator for $W^{1,\infty}(U,X)$
I am reading through some lectures on Sobolev spaces and the vector-valued (or Banach space valued) version of them. At this moment I am very interested in extension operators for the vector-valued ...
1
vote
1
answer
136
views
Computation of extension groups in the category of pairs $(M,f)$
Let $A$ be a unitary commutative ring, and let $B$ be an $A$-algebra. We consider the category whose objects are pairs $\textbf{M}=(M,f)$ where $M$ is an $A$-module and where $f$ is a $B$-linear ...
2
votes
1
answer
212
views
Homomorphisms of ring extending nicely ideal intersections
Let $\varphi\!:\!S\to R$ be a homomorphisms of $K$-algebras for some field $K$.
Let $\{a_{\lambda}\}_{\lambda}$ be a family of ideals of $S$.
Is there some "natural" assumption on $\varphi$ to ...
1
vote
1
answer
103
views
Extend a bundle "trivially"
Suppose I have a fibre bundle $E\to B$ with compact fibre. Furthermore, $B$ is open in a larger, compact space, e. g. $B\subseteq B'$. I want to get a map $E'\to B'$ (not a bundle any more!) with
$E'|...
21
votes
1
answer
743
views
Extending $\Bbb N$ to a semiring with isomorphic additive and multiplicative structure
Seen $(\Bbb N,+,\cdot)$ as a semiring, is it possible to extend it to a semiring $(R,+,\cdot)$ so that the additive and multiplicative monoids become isomorphic? This means there is some monoid-...
1
vote
0
answers
152
views
Finite field extension
Suppose $$f_a=x^p-x-\left [\prod_{j=1}^{a-1} \alpha_j\right]^{p-1} \in \mathbb{F}_p(\alpha_1,\ldots,\alpha_{a-1})[x]$$ is irreducible over $\mathbb{F}_p(\alpha_1,\ldots,\alpha_{a-1}) $, where $\...
4
votes
0
answers
251
views
Do all fields with internal absolute values arise as ordered fields or like $\mathbb{C}$ from them?
$\def\abs#1{\lvert#1\rvert}
\def\Im{\operatorname{Im}}
\def\Re{\operatorname{Re}}$
(Crossposted from math.stackexchange.com after 5 days with no correct answer.)
Let $\langle F,+,\cdot\rangle$ be ...
5
votes
2
answers
2k
views
Extensions of local vector fields to whole manifold
Let $M$ be a smooth manifold (with boundary). Suppose I have a smooth vector field $T$ defined on the complement of a compact subset $K$ of $M$ and I wish to extend $T$ to the whole of $M$. What are ...
2
votes
0
answers
66
views
Ref Request: Extension Operators for Slobodeckii Spaces of Higher Order
I have been looking for (linear) Extension Operators for Slobodeckii spaces $W^{s,p}(\Omega)$ where $s>1$ and $\Omega \subset\mathbb{R}^N$ is a sufficiently smooth domain, where the influence of $\...
3
votes
1
answer
387
views
busby invariant of extensions of $C^*$-algebras
I have a question of an explicit example of a busby invariant of a extension, which can be found in Blackadars book "K-theory for Operator Algebras".
Let $0\to B\to E\to A\to 0$ be a short exact ...
1
vote
0
answers
435
views
Quotient of two smooth functions extension
Assume we are given smooth functions $f, g: U \to \mathbb{C}$, where $0 \in U \subset \mathbb{R}^n$ is open and $0 \in g^{-1}(0) \subset \{x_n = 0\}$. Furthermore, suppose that $\nabla g \neq 0$ on ...
5
votes
1
answer
342
views
Extension of functions from geodesically convex compact sets in a Riemannian manifold
In the paper Extension operators for spaces of infinite differentiable Whitney jets (J. reine angew. Math. 602 (2007), 123—154, DOI:10.1515/crelle.2007.005) by Leonhard Frerick, a convenient condition ...
9
votes
0
answers
113
views
General approaches to extension theorems as Caratheodory
I would like to know if there are some general studies about extension-like theorem, in the sense which i'm going to describe. This paragraph is not rigorous; I just would like the idea to be clear.
I ...
3
votes
1
answer
3k
views
Extension of continuous and smooth functions
Let us consider any subset $U \subset \mathbb{R}^{n}$. By definition, a function $f: U \rightarrow \mathbb{R}^m$ is smooth if, for every $x \in U$, there exist an open neighbourhood $\Omega_{x}$ of $x$...
3
votes
1
answer
845
views
Fractional Sobolev spaces and extension by zero
The all-wise Wikipedia suggest (https://en.wikipedia.org/wiki/Sobolev_space#Extension_by_zero) that for $s > 1/2$ any function from $H^s_0(\Omega)$ can be extended by zero
to whole $\mathbb{R}^n$ (...
5
votes
2
answers
444
views
Conjugation in associative algebras over finite fields
Let $A$ be a finite dimensional associative algebra (with unity) over a finite field $F$. Let $L$ be a field extension of $F$. Suppose that after extending scalars to $L$, two elements $a,b$ of $A$ ...
3
votes
1
answer
2k
views
Extensions of Real Analytic to Holomorphic Functions in One & Several Variables: References?
A problem I'm working on requires the application of Cauchy's estimate for the modulus of the coefficients of a holomorphic function's power series representation, but the original functions with ...
-1
votes
1
answer
201
views
Ext functor for more than two modules? [closed]
The question is natural. Let's just work in the category of modules over a ring. Pick three modules $M_1, M_2, M_3$. Consider consecutive extensions of these modules, i.e., consider M, such that we ...
4
votes
1
answer
299
views
Triviality of local system extension
Take a nice space $X$. Let us call a local system on $X$ a functor from the fundamental groupoid of $X$ to groups, so that $G$ is a local system on $X$ if for each $x \in X$ there is a group $G_x$ and ...
17
votes
2
answers
2k
views
The letters of the word "ART"
Edit: According to the Gelfand duality between topological spaces and commutative $C^{*}$algebras, I add some new tags. So the question is that what is the structure of $ Ext (A,A)$ where $A$ is $...
4
votes
0
answers
146
views
A question on extension of $Z^{*}$ algebras
A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor.
Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence of ...
2
votes
1
answer
365
views
Extensions in parabolic Hölder spaces
Let $\alpha\in ]0,1[,k\in\mathbb{N}.$Let $\Omega$ be a open and bounded subset or $\mathbb{R}^n$ of class $C^{k+\alpha}$.
As one could find in G.M. Troianello "Elliptic Differential Equations and ...
0
votes
1
answer
154
views
Units of an extension of $\mathbb{Z}$ [closed]
Let $P(x)\in\mathbb{Z}[x]$ be monic and irreducible over $\mathbb{Q}[x]$, and let $\theta$ be a root of $P(x)$. Let $K = \{a + b\theta\} \subseteq \mathbb{Z}[\theta]$. When is it the case that there ...
3
votes
2
answers
238
views
"Degree 3 fields"
I was wondering what was known about fields $k$ having the property that any polynomial
over $k$ of degree $3$ has at least one root in $k$. Does such a field have a special name ?
Is there some kind ...
5
votes
1
answer
661
views
Group extensions isomorphic as groups
Let $G$ be a group and $A$ a $G$-module. It well know that there is a group isomorphism between the second cohomologoy group $H^2(G,A)$ and the abelian group $OpExt(G,A)$ of classes of extension $$1\...
6
votes
1
answer
2k
views
${\rm Ext}^1$ and extensions of line bundles on a curve
I am confused about the following. I know that for two line bundles $L_1, L_2$ on an algebraic curve $C$ the vector space ${\rm Ext}^1(L_1,L_2)$ classifies isomorphism classes of rank two vector ...
5
votes
1
answer
219
views
Does every locally finite acyclic directed set embed into a linear order locally isomorphic to the integers? (Edit: extend, not merely embed.)
Let $S=(S,\prec)$ be a set together with an acyclic binary relation, generally nontransitive. $S$ is locally finite if, for every element $x\in S$, the sets $\{w|w\prec x\}$ ("direct past of $x$") ...