Going-down pairs of commutative rings

Résumé  D'après D. E. Dobbs, Houston J. Math. 23 (1997), 1–11, nous disons que l'anneau (commutatif)A est un anneau-“going-down” siA/P est un domaine-“going-down” pour chaque idéal premier deA. Etant donné une extension,R⊆T, nous disons que (R, T) est une paire d'anneaux-“going-down” (respectivement, une paire “going-down”) siS est un anneau-“going-down” pour chaque anneau tels queR⊆S⊆T (resp., si “going-down” est satisfait par chaque extension d'anneauxA⊆B tels queR⊆A⊆B⊆T). On montre que siR est un anneau de la dimension 0 (au sens de Krull), alors (R, T) est une paire d'anneaux-“going-down” si et seulement sitr.deg. _R/(P∩R) T/P≤1 pour chaque idéal premier minimalP deT. Des résultats partiels sont obtenus quandR n'est pas de dimension 0. En outre, si (R, T) est une paire d'anneaux-“going-down” tel queT ait un seul idéal premier minimal, alors (R, T) est une paire “going-down”. Des résultats dans l'esprit ci-dessus sont également obtenus pour quelques autres types de paires.

---

---

This paper is taken from the author's doctoral dissertation of May 2000, written under the direction of Professor David E. Dobbs of the University of Tennessee, Knoxville.     

Packing directed circuits exactly

We give an “excluded minor” and a “structural” characterization of digraphs D that have the property that for every subdigraph H of D, the maximum number of disjoint circuits in H is equal to the minimum cardinality of a set T ⊆ V(H) such that H\T is acyclic.     

Invariants forω-categorical,ω-stable theories

In this paper we give a complete solution to the classification problem forω-categorical,ω-stable theories. More explicitly, supposeT isω-categorical,ω-stable with fewer than the maximum number of models in some uncountable power. We associate with each modelM ofT a “simple” invariantI(M), not unlike a vector of dimensions, such thatI(M)=I(N) if and only ifM≅N. The spectrum function,I(−,T), for a first-order theoryT is such that for all infinite cardinals λ,I(λ,T) is the number of nonisomorphic models ofT of cardinality λ. As an application of our “structure theorem” we determine the possible spectrum functions forω-categorical,ω-stable theories.     

Large deviations for random walks on Galton–Watson trees: averaging and uncertainty

 In the study of large deviations for random walks in random environment, a key distinction has emerged between quenched asymptotics, conditional on the environment, and annealed asymptotics, obtained from averaging over environments. In this paper we consider a simple random walk {X _n } on a Galton–Watson tree T, i.e., on the family tree arising from a supercritical branching process. Denote by |X _n | the distance between the node X _n and the root of T. Our main result is the almost sure equality of the large deviation rate function for |X _n |/n under the “quenched measure” (conditional upon T), and the rate function for the same ratio under the “annealed measure” (averaging on T according to the Galton–Watson distribution). This equality hinges on a concentration of measure phenomenon for the momentum of the walk. (The momentum at level n, for a specific tree T, is the average, over random walk paths, of the forward drift at the hitting point of that level). This concentration, or certainty, is a consequence of the uncertainty in the location of the hitting point. We also obtain similar results when {X _n } is a λ-biased walk on a Galton–Watson tree, even though in that case there is no known formula for the asymptotic speed. Our arguments rely at several points on a “ubiquity” lemma for Galton–Watson trees, due to Grimmett and Kesten (1984). Received: 15 November 2000 / Revised version: 27 February 2001 / Published online: 19 December 2001     

On the interior regularity of weak solutions to the non-stationary Stokes system

In this paper, we prove that any weak solution to the non-stationary Stokes system in 3D with right hand side -div f satisfying (1.4) below, belongs to C( ]0, T[; C ^α (Ω)). The proof is based on Campanato-type inequalities and the existence of a local pressure introduced in Wolf [13]. Proc. Conference “Variational analysis and PDE’s”. Intern. Centre “E. Majorana”, Erice, July 5–14, 2006.     

Robinson forcing is not absolute

Robinson (or infinite model theoretic) forcing is studied in the context of set theory. The major result is that infinite forcing, genericity, and related notions are not absolute relative to ZFC. This answers a question of G. Sacks and provides a non-trivial example of a non-absolute notion of model theory. This non-absoluteness phenomenon is shown to be intrinsic to the concept of infinite forcing in the sense that any ZFC-definable set theory, relative to which forcing is absolute, has the flavor of asserting self-inconsistency. More precisely: IfT is a ZFC-definable set theory such that the existence of a standard model ofT is consistent withT, then forcing is not absolute relative toT. For example, if it is consistent that ZFC+ “there is a measureable cardinal” has a standard model then forcing is not absolute relative to ZFC+ “there is a measureable cardinal.” Some consequences: 1) The resultants for infinite forcing may not be chosen “effectively” in general. This answers a question of A. Robinson. 2) If ZFC is consistent then it is consistent that the class of constructible division rings is disjoint from the class of generic division rings. 3) If ZFC is consistent then the generics may not be axiomatized by a single sentence ofL _w/w. In Memoriam: Abraham Robinson     

Yang-Baxter invariants for line configurations

We study line configurations in 3-space by means of “line diagrams”, projections into a plane with an indication of over and under crossing at the vertices. If we orient such a diagram, we can associate a “contracted tensor”T with it in the same spirit as is done in Knot Theory. We give conditions to makeT independent of the orientation, and invariant under isotopy. The Yang-Baxter equation is one such condition. Afterwards we restrict ourselves to Yang-Baxter invariants with a topological state model, and give some new invariants for line isotopy.     

Bipartite Distance-regular Graphs, Part II

This is a continuation of “Bipartite Distance-regular Graphs, Part I”. We continue our study of the Terwilliger algebra T of a bipartite distance-regular graph. In this part we focus on the thin irreducible T-modules of endpoint 2 and on those distance-regular graphs for which every irreducible T-module of endpoint 2 is thin. Revised: June 2, 1997     

Efficient Estimation of Spectral Functionals for Continuous-Time Stationary Models

The paper considers a problem of construction of asymptotically efficient estimators for functionals defined on a class of spectral densities, and bounding the minimax mean square risks. We define the concepts of H- and IK-efficiency of estimators, based on the variants of Hájek-Ibragimov-Khas’minskii convolution theorem and Hájek-Le Cam local asymptotic minimax theorem, respectively, and show that the simple “plug-in” statistic Φ(I _T ), where I _T =I _T (λ) is the periodogram of the underlying stationary Gaussian process X(t) with an unknown spectral density θ(λ), λ∈ℝ, is H- and IK-asymptotically efficient estimator for a linear functional Φ(θ), while for a nonlinear smooth functional Φ(θ) an H- and IK-asymptotically efficient estimator is the statistic F([^(q)]_T)\Phi(\widehat{\theta}_{T}), where [^(q)]_T\widehat{\theta}_{T} is a suitable sequence of the so-called “undersmoothed” kernel estimators of the unknown spectral density θ(λ). Exact asymptotic bounds for minimax mean square risks of estimators of linear functionals are also obtained.     

On the doubled tetrus

The “tetrus” is a member of a family of hyperbolic 3-manifolds with totally geodesic boundary, described by Paoluzzi–Zimmerman, which also contains W.P. Thurston’s “tripus.” Each member of this family has a branched cover to B ³ over a certain tangle T. This map on the tripus has degree three, and on the tetrus degree four. We describe a cover of the double of the tetrus, itself a double across a closed surface, which fibers over the circle.     

Strong Solutions to Non-stationary Channel Flows of Heat-Conducting Viscous Incompressible Fluids with Dissipative Heating

We study an initial-boundary-value problem for time-dependent flows of heat-conducting viscous incompressible fluids in channel-like domains on a time interval (0,T). For the parabolic system with strong nonlinearities and including the artificial (the so called “do nothing”) boundary conditions, we prove the local in time existence, global uniqueness and smoothness of the solution on a time interval (0,T ^∗), where 0<T ^∗≤T.     

Some Open Problems and Conjectures Associated with the Invariant Subspace Problem

There is a subtle difference as far as the invariant subspace problem is concerned for operators acting on real Banach spaces and operators acting on complex Banach spaces. For instance, the classical hyperinvariant subspace theorem of Lomonosov [Funktsional. Anal. nal. i Prilozhen 7(3)(1973), 55–56. (Russian)], while true for complex Banach spaces is false for real Banach spaces. When one starts with a bounded operator on a real Banach space and then considers some “complexification technique” to extend the operator to a complex Banach space, there seems to be no pattern that indicates any connection between the invariant subspaces of the “real” operator and those of its “complexifications.” The purpose of this note is to examine two complexification methods of an operator T acting on a real Banach space and present some questions regarding the invariant subspaces of T and those of its complexifications Mathematics Subject Classification 1991: 47A15, 47C05, 47L20, 46B99 Y.A. Abramovich: 1945–2003 The research of Aliprantis is supported by the NSF Grants EIA-0075506, SES-0128039 and DMI-0122214 and the DOD Grant ACI-0325846     

On αβ-sets

A closed setE⊂T is an αβ-set, where α and β are elements of infinite order inT ifE⊂E−α). ∪ (E−β). We give two constructions of “thin” αβ-sets.     

The Boggess-Polking extension theorem for<Emphasis Type="Italic">CR</Emphasis> functions on manifolds with corners

We give the “boundary version” of the Boggess-PolkingCR extension theorem. LetM andN be real generic submanifolds of ℂ ⁿ withN ⊂M and letV be a “wedge” inM with “edge”N and “profile” Σ ⊂T _NM in a neighborhood of a pointz _o.We identify in natural manner and assume that for a holomorphic vector fieldL tangent toM and verifying we have that the Levi form takes a value . Then we prove thatCR functions onV extend ∀_ω to a wedgeV ₁ “attached” toV in direction of a vector fieldiV such that |pr(iV(z ₀))−iv ₀| < ε (where pr is the projection pr:T _NX →T _MX | _N ).We then prove that when the Levi cone “relative to Σ”iZ _Σ = convex hull is open inT _MX, thenCR functions extend to a “full” wedge with edgeN (that is, with a profile which is an open cone ofT _NX). Finally, we prove that iff is defined in a couple of wedges ±V with profiles ±Σ such thatiZ _Σ =T _MX, and is continuous up toN, thenf is in fact holomorphic atz _o.     

Optimal gaussian approximation in the fluctuating field theory

We consider the problem of calculating the partition function given by the functional integral over an external field that fluctuates in space and in “time” τ ∈ [0, 1/T] (T is temperature). A method is presented for calculating such integrals with the help of the Gaussian approximation that takes into account dynamics and non-locality of the fluctuations. The method is based on the free energy minimum principle.     

Almost periodic sets and measures on the torus

We establish some “number theoretical” results about a continuous functionh from the circleT into itself, which generalize Kronecker’s theorem in several ways. These results are used to characterize the almost periodic sets of the flow on the torusT ² generated by (θ, φ) → (θ+α, φ+h(θ)), where α is irrational. The almost periodic measures are characterized in the caseh(θ)=θ.     

Joint Hyponormality of Rational Toeplitz Pairs

We characterize hyponormal “rational” Toeplitz pairs which are pairs of Toeplitz operators whose symbols are rational functions in L^∞. The main result of this article is as follows. If T = (T_ϕ, T_ψ) is a hyponormal rational Toeplitz pair then ϕ − βψ ∈H² for some constant β; in other words, their co-analytic parts necessarily coincide up to a constant multiple. As a corollary we get a complete characterization of hyponormal rational Toeplitz pairs.     

Coordinatizing R-trees in terms of universal c-trees

A complete ℝ-treeT will be constructed such that, for everyxσT, the cardinality of the set of connected components ofT{x} is the same and equals a pre-given cardinalityc; by this construction simultaneously the valuated matroid of the ends of this ℝ-tree is given. In addition, for any arbitrary ℝ-tree, an embedding into such a “universalc-tree” (for suitablec) will be constructed.     

Extensions of ordered semigroups

The present note summarizes the author's dissertation [2]. Let S and T be ordered semigroups, the latter with a zero element O. Let Σ be an ideal extension of S by T determined by a partial homomorphism ϕ of T^*=T/O into S. A partial solution is given to the problem of determining all ways of extending the given orders on S and T^* to Σ=S U T^*. Every such “extending order” (≤) on Σ carries with it a certain “null decomposition” T^*=X∪Y (X∩Y=ℴ) of T^*, and the existence and behavior of extending orders is discussed in terms of properties of null decompositions of T^*.