1-loop graphs and configuration space integral for embedding spaces

We will construct differential forms on the embedding spaces Emb(R^j,R^n) for n-j>=2 using configuration space integral associated with 1-loop graphs, and show that some linear combinations of these forms are closed in some dimensions. There are other dimensions in which we can show the closedness if we replace Emb(R^j,R^n) by fEmb(R^j,R^n), the homotopy fiber of the inclusion Emb(R^j,R^n) -> Imm(R^j,R^n). We also show that the closed forms obtained give rise to nontrivial cohomology classes, evaluating them on some cycles of Emb(R^j,R^n) and fEmb(R^j,R^n). In particular we obtain nontrivial cohomology classes (for example, in H^3(Emb(R^2,R^5))) of higher degrees than those of the first nonvanishing homotopy groups.Comment: 35 pages, to appear in Mathematical Proceedings of the Cambridge Philosophical Societ

Isotropic realizability of current fields in R^3

This paper deals with the isotropic realizability of a given regular divergence free field j in R^3 as a current field, namely to know when j can be written as sigma Du for some isotropic conductivity sigma, and some gradient field Du. The local isotropic realizability in R^3 is obtained by Frobenius' theorem provided that j and curl j are orthogonal in R^3. A counter-example shows that Frobenius' condition is not sufficient to derive the global isotropic realizability in R^3. However, assuming that (j, curl j, j x curl j) is an orthogonal basis of R^3, an admissible conductivity sigma is constructed from a combination of the three dynamical flows along the directions j/|j|, curl j/|curl j| and (j/|j|^2) x curl j. When the field j is periodic, the isotropic realizability in the torus needs in addition a boundedness assumption satisfied by the flow along the third direction (j/|j|^2) x \curl j. Several examples illustrate the sharpness of the realizability conditions.Comment: 22 page

Construction of frames for shift-invariant spaces

We construct a sequence {\phi_i(\cdot-j)\mid j\in{\ZZ}, i=1,...,r} which constitutes a $p$-frame for the weighted shift-invariant space [V^p_{\mu}(\Phi)=\Big{\sum\limits_{i=1}^r\sum\limits_{j\in{\mathbb{Z}}}c_i(j)\phi_i(\cdot-j) \Big| {c_i(j)}_{j\in{\mathbb{Z}}}\in\ell^p_{\mu}, i=1,...,r\Big}, p\in[1,\infty],] and generates a closed shift-invariant subspace of $L^p_\mu(\mathbb{R})$. The first construction is obtained by choosing functions $\phi_i$, $i=1,...,r$, with compactly supported Fourier transforms $\hat{\phi}_i$, $i=1,...,r$. The second construction, with compactly supported $\phi_i,i=1,...,r,$ gives the Riesz basis