Higher Complex Torsion and the Framing Principle

Higher Complex Torsion and the Framing Principle PDF Author: Kiyoshi Igusa
Publisher: American Mathematical Soc.
ISBN: 9781470404369
Category : Mathematics
Languages : en
Pages : 94

Book Description
We prove that higher Franz-Reidemeister (FR) torsion satisfies the transfer property and a formula known as the 'Framing Principle' in full generality. We use these properties to compute the higher FR-torsion for all smooth bundles with oriented closed even dimensional manifold fibers. We also show that the higher complex torsion invariants of bundles with closed almost complex fibers are multiples of generalized Miller-Morita-Mumford classes.

Higher Complex Torsion and the Framing Principle

Higher Complex Torsion and the Framing Principle PDF Author: Kiyoshi Igusa
Publisher: American Mathematical Soc.
ISBN: 0821837737
Category : Mathematics
Languages : en
Pages : 114

Book Description
Intends to prove that higher Franz-Reidemeister (FR) torsion satisfies the transfer property and a formula known as the 'Framing Principle' in full generality. This title uses these properties to compute the higher FR-torsion for various smooth bundles with oriented closed even dimensional manifold fibers.

The Beilinson Complex and Canonical Rings of Irregular Surfaces

The Beilinson Complex and Canonical Rings of Irregular Surfaces PDF Author: Alberto Canonaco
Publisher: American Mathematical Soc.
ISBN: 0821841939
Category : Mathematics
Languages : en
Pages : 114

Book Description
An important theorem by Beilinson describes the bounded derived category of coherent sheaves on $\mathbb{P n$, yielding in particular a resolution of every coherent sheaf on $\mathbb{P n$ in terms of the vector bundles $\Omega {\mathbb{P n j(j)$ for $0\le j\le n$. This theorem is here extended to weighted projective spaces. To this purpose we consider, instead of the usual category of coherent sheaves on $\mathbb{P ({\rm w )$ (the weighted projective space of weights $\rm w=({\rm w 0,\dots,{\rm w n)$), a suitable category of graded coherent sheaves (the two categories are equivalent if and only if ${\rm w 0=\cdots={\rm w n=1$, i.e. $\mathbb{P ({\rm w )= \mathbb{P n$), obtained by endowing $\mathbb{P ({\rm w )$ with a natural graded structure sheaf. The resulting graded ringed space $\overline{\mathbb{P ({\rm w )$ is an example of graded scheme (in chapter 1 graded schemes are defined and studied in some greater generality than is needed in the rest of the work). Then in chapter 2 we prove This weighted version of Beilinson's theorem is then applied in chapter 3 to prove a structure theorem for good birational weighted canonical projections of surfaces of general type (i.e., for morphisms, which are birational onto the image, from a minimal surface of general type $S$ into a $3$-dimensional $\mathbb{P ({\rm w )$, induced by $4$ sections $\sigma i\in H0(S,\mathcal{O S({\rm w iK S))$). This is a generalization of a theorem by Catanese and Schreyer (who treated the case of projections into $\mathbb{P 3$), and is mainly interesting for irregular surfaces, since in the regular case a similar but simpler result (due to Catanese) was already known. The theorem essentially states that giving a good birational weighted canonical projection is equivalent to giving a symmetric morphism of (graded) vector bundles on $\overline{\mathbb{P ({\rm w )$, satisfying some suitable conditions. Such a morphism is then explicitly determined in chapter 4 for a family of surfaces with numerical invariant

Tangential Boundary Stabilization of Navier-Stokes Equations

Tangential Boundary Stabilization of Navier-Stokes Equations PDF Author: Viorel Barbu
Publisher: American Mathematical Soc.
ISBN: 0821838741
Category : Mathematics
Languages : en
Pages : 146

Book Description
In order to inject dissipation as to force local exponential stabilization of the steady-state solutions, an Optimal Control Problem (OCP) with a quadratic cost functional over an infinite time-horizon is introduced for the linearized N-S equations. As a result, the same Riccati-based, optimal boundary feedback controller which is obtained in the linearized OCP is then selected and implemented also on the full N-S system. For $d=3$, the OCP falls definitely outside the boundaries of established optimal control theory for parabolic systems with boundary controls, in that the combined index of unboundedness--between the unboundedness of the boundary control operator and the unboundedness of the penalization or observation operator--is strictly larger than $\tfrac{3}{2}$, as expressed in terms of fractional powers of the free-dynamics operator. In contrast, established (and rich) optimal control theory [L-T.2] of boundary control parabolic problems and corresponding algebraic Riccati theory requires a combined index of unboundedness strictly less than 1. An additional preliminary serious difficulty to overcome lies at the outset of the program, in establishing that the present highly non-standard OCP--with the aforementioned high level of unboundedness in control and observation operators and subject, moreover, to the additional constraint that the controllers be pointwise tangential--be non-empty; that is, it satisfies the so-called Finite Cost Condition [L-T.2].

Ramanujan's Forty Identities for the Rogers-Ramanujan Functions

Ramanujan's Forty Identities for the Rogers-Ramanujan Functions PDF Author: Bruce C. Berndt
Publisher: American Mathematical Soc.
ISBN: 082183973X
Category : Mathematics
Languages : en
Pages : 110

Book Description
Sir Arthur Conan Doyle's famous fictional detective Sherlock Holmes and his sidekick Dr. Watson go camping and pitch their tent under the stars. During the night, Holmes wakes his companion and says, ``Watson, look up at the stars and tell me what you deduce.'' Watson says, ``I see millions of stars, and it is quite likely that a few of them are planets just like Earth. Therefore there may also be life on these planets.'' Holmes replies, ``Watson, you idiot. Somebody stole ourtent.'' When seeking proofs of Ramanujan's identities for the Rogers-Ramanujan functions, Watson, i.e., G. N. Watson, was not an ``idiot.'' He, L. J. Rogers, and D. M. Bressoud found proofs for several of the identities. A. J. F. Biagioli devised proofs for most (but not all) of the remaining identities.Although some of the proofs of Watson, Rogers, and Bressoud are likely in the spirit of those found by Ramanujan, those of Biagioli are not. in particular, Biagioli used the theory of modular forms. Haunted by the fact that little progress has been made into Ramanujan's insights on these identities in the past 85 years, the present authors sought ``more natural'' proofs. Thus, instead of a missing tent, we have had missing proofs, i.e., Ramanujan's missing proofs of his forty identities for theRogers-Ramanujan functions. in this paper, for 35 of the 40 identities, the authors offer proofs that are in the spirit of Ramanujan. Some of the proofs presented here are due to Watson, Rogers, and Bressoud, but most are new. Moreover, for several identities, the authors present two or threeproofs. For the five identities that they are unable to prove, they provide non-rigorous verifications based on an asymptotic analysis of the associated Rogers-Ramanujan functions. This method, which is related to the 5-dissection of the generating function for cranks found in Ramanujan's lost notebook, is what Ramanujan might have used to discover several of the more difficult identities. Some of the new methods in this paper can be employed to establish new identities for the Rogers-Ramanujanfunctions.

An Axiomatic Approach to Function Spaces, Spectral Synthesis, and Luzin Approximation

An Axiomatic Approach to Function Spaces, Spectral Synthesis, and Luzin Approximation PDF Author: Lars Inge Hedberg
Publisher: American Mathematical Soc.
ISBN: 0821839837
Category : Mathematics
Languages : en
Pages : 112

Book Description
The authors define axiomatically a large class of function (or distribution) spaces on $N$-dimensional Euclidean space. The crucial property postulated is the validity of a vector-valued maximal inequality of Fefferman-Stein type. The scales of Besov spaces ($B$-spaces) and Lizorkin-Triebel spaces ($F$-spaces), and as a consequence also Sobolev spaces, and Bessel potential spaces, are included as special cases. The main results of Chapter 1 characterize our spaces by means of local approximations, higher differences, and atomic representations. In Chapters 2 and 3 these results are applied to prove pointwise differentiability outside exceptional sets of zero capacity, an approximation property known as spectral synthesis, a generalization of Whitney's ideal theorem, and approximation theorems of Luzin (Lusin) type.

Stability of Spherically Symmetric Wave Maps

Stability of Spherically Symmetric Wave Maps PDF Author: Joachim Krieger
Publisher: American Mathematical Soc.
ISBN: 0821838776
Category : Mathematics
Languages : en
Pages : 96

Book Description
Presents a study of Wave Maps from ${\mathbf{R}}^{2+1}$ to the hyperbolic plane ${\mathbf{H}}^{2}$ with smooth compactly supported initial data which are close to smooth spherically symmetric initial data with respect to some $H^{1+\mu}$, $\mu>0$.

Operator Valued Hardy Spaces

Operator Valued Hardy Spaces PDF Author: Tao Mei
Publisher: American Mathematical Soc.
ISBN: 0821839802
Category : Mathematics
Languages : en
Pages : 78

Book Description
The author gives a systematic study of the Hardy spaces of functions with values in the noncommutative $Lp$-spaces associated with a semifinite von Neumann algebra $\mathcal{M .$ This is motivated by matrix valued Harmonic Analysis (operator weighted norm inequalities, operator Hilbert transform), as well as by the recent development of noncommutative martingale inequalities. in this paper noncommutative Hardy spaces are defined by noncommutative Lusin integral function, and it isproved that they are equivalent to those defined by noncommutative Littlewood-Paley G-functions. The main results of this paper include: (i) The analogue in the author's setting of the classical Fefferman duality theorem between $\mathcal{H 1$ and $\mathrm{BMO $. (ii) The atomic decomposition of theauthor's noncommutative $\mathcal{H 1.$ (iii) The equivalence between the norms of the noncommutative Hardy spaces and of the noncommutative $Lp$-spaces $(1

On Boundary Interpolation for Matrix Valued Schur Functions

On Boundary Interpolation for Matrix Valued Schur Functions PDF Author: Vladimir Bolotnikov
Publisher: American Mathematical Soc.
ISBN: 0821840479
Category : Mathematics
Languages : en
Pages : 122

Book Description
A number of interpolation problems are considered in the Schur class of $p\times q$ matrix valued functions $S$ that are analytic and contractive in the open unit disk. The interpolation constraints are specified in terms of nontangential limits and angular derivatives at one or more (of a finite number of) boundary points. Necessary and sufficient conditions for existence of solutions to these problems and a description of all the solutions when these conditions are met is given.The analysis makes extensive use of a class of reproducing kernel Hilbert spaces ${\mathcal{H (S)$ that was introduced by de Branges and Rovnyak. The Stein equation that is associated with the interpolation problems under consideration is analyzed in detail. A lossless inverse scattering problem isalso considered.

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees

The Role of True Finiteness in the Admissible Recursively Enumerable Degrees PDF Author: Noam Greenberg
Publisher: American Mathematical Soc.
ISBN: 0821838857
Category : Mathematics
Languages : en
Pages : 114

Book Description
When attempting to generalize recursion theory to admissible ordinals, it may seem as if all classical priority constructions can be lifted to any admissible ordinal satisfying a sufficiently strong fragment of the replacement scheme. We show, however, that this is not always the case. In fact, there are some constructions which make an essential use of the notion of finiteness which cannot be replaced by the generalized notion of $\alpha$-finiteness. As examples we discuss bothcodings of models of arithmetic into the recursively enumerable degrees, and non-distributive lattice embeddings into these degrees. We show that if an admissible ordinal $\alpha$ is effectively close to $\omega$ (where this closeness can be measured by size or by cofinality) then such constructions maybe performed in the $\alpha$-r.e. degrees, but otherwise they fail. The results of these constructions can be expressed in the first-order language of partially ordered sets, and so these results also show that there are natu