Equivariant uniformization theorem for subanalytic sets

In this paper we prove an equivariant version of the uniformization theorem for closed subanalytic sets: Let G be a Lie group and let M be a proper real analytic G-manifold. Let X be a closed subanalytic G-invariant subset of M. We show that there exist a proper real analytic G-manifold N of the same dimension as X and a proper real analytic G-equivariant map such that .      

Goldie Extending Modules

In this article, we define a module M to be 𝒢-extending if and only if for each X ≤ M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We consider the decomposition theory for 𝒢-extending modules and give a characterization of the Abelian groups which are 𝒢-extending. In contrast to the charac-terization of extending Abelian groups, we obtain that all finitely generated Abelian groups are 𝒢-extending. We prove that a minimal cogenerator for 𝒢od-R is 𝒢-extending, but not, in general, extending. It is also shown that if M is (𝒢-) extending, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

The Rough Laplacian and Harmonicity of Hopf Vector Fields

Let M be an orientable real hypersurface of a general Kähler manifold . The characteristic vector field ξ of the induced almost contact metric structure (ξ,η, g,ϕ) is also called the Hopf vector field of M. In this paper, we compute the ‘rough’ Laplacian of ξ in terms of the shape operator A and also (as a natural generalization of the contact metric case) in terms of torsion τ = L_ξ g. Then we give some criteria of harmonicity of ξ. Moreover, we consider hypersurfaces M of contact type and give some criteria for M to admit an H-contact structure.Mathematics Subject Classifications (2000): 53C25, 53C20, 53C40, 53D35.     

Relative homological dimensions and Tate cohomology of complexes with respect to cotorsion pairs

Let (𝒳,𝒴) be a complete and hereditary cotorsion pair in a bicomplete abelian category 𝒜. We introduce a Gorenstein category 𝒢(𝒳) and 𝒢(𝒳)-resolution dimension of complexes with respect to (𝒳,𝒴). For complexes with finite 𝒢(𝒳)-resolution dimension, Tate 𝒳-resolutions are constructed. Furthermore, we study relative Tate cohomology of complexes, which is useful for detecting the finiteness of the relative homological dimensions of complexes.     

Feuilletages holomorphes locaux et analyticité partielle d'applications C ∞

 Let f : M → M′ be a smooth CR mapping between a generic real analytic submanifold M ⊂ ℂ ⁿ , n > 1, and a real analytic subset M′ ⊂ ℂ ^n′ . We prove that if M is minimal and if M′ does not contain any complex curves, then f is analytic on a dense open subset of M. More generally, we establish an upper estimate of the partial analyticity of f, which depends on the maximal dimension of local holomorphic foliations contained in M ^′ . Received: 7 August 2001 Mathematics Subject Classification (2000): 32V25, 32V40, 32H99     

Some results on (k, μ)′-almost Kenmotsu manifolds

In this paper, we study the Weyl conformal curvature tensor 𝒲 and the concircular curvature tensor 𝒞 on a (k, μ)′-almost Kenmotsu manifold M²ⁿ⁺¹ of dimension greater than 3. We obtain that if M²ⁿ⁺¹ satisfies either R · 𝒲 = 0 or 𝒞 · 𝒞 = 0, then it is locally isometric to either the hyperbolic space ?²ⁿ⁺¹ (?1) or the Riemannian product ?ⁿ⁺¹(?4) × ?ⁿ.     

A cellular automaton model for collective neural dynamics

A stochastic epidemic model for the collective behaviour of a large set of Boolean automata placed upon the sites of a complete graph is revisited. In this paper we study the generalisation of the model to take into account inhibitory neurons. The resulting stochastic cellular automata are completely defined by five parameters: the number of excitatory neurons, N, the number of inhibitory neurons, M, the probabilities of excitation, α, and inhibition, γ, among neurons and the spontaneous transition rate from the firing to the quiescent state, β.We propose that the background of the electroencephalographic signals could be mimicked by the fluctuations in the total number of firing neurons in the excitatory subnetwork. These fluctuations are Gaussian and the mean-square displacement from an initial state displays a strongly subdiffusive behaviour approximately given by , where NA=β/(β+Mγ), τ=2(Nα−β). Comparison with real EEG records exhibits good agreement with these predictions.     

The heat flow in nonlinear Hodge theory

We study the nonlinear Hodge system dω=0 and δ(ρ(|ω|²)ω)=0 for an exterior form ω on a compact oriented Riemannian manifold M, where ρ(Q) is a given positive function. The solutions are called ρ-harmonic forms. They are the stationary points on cohomology classes of the functional with e′(Q)=ρ(Q)/2. The ρ-codifferential of a form ω is defined as δ_ρω=ρ⁻¹δ(ρω) with ρ=ρ(|ω|²).We evolve a given closed form ω₀ by the nonlinear heat flow system for a time-dependent exterior form ω(x,t) on M. This system is the differential of the normalized gradient flow for E(ω) with ω=ω₀+du. Under a technical assumption on the function 2ρ′(Q)Q/ρ(Q), we show that the nonlinear heat flow system , with initial condition ω(·,0)=ω₀, has a unique solution for all times, which converges to a ρ-harmonic form in the cohomology class of ω₀. This yields a nonlinear Hodge theorem that every cohomology class of M has a unique ρ-harmonic representative.     

Everywhere -repetitive sequences and Sturmian words

Local constraints on an infinite sequence that imply global regularity are of general interest in combinatorics on words. We consider this topic by studying everywhere α-repetitive sequences. Such a sequence is defined by the property that there exists an integer N≥2 such that every length-N factor has a repetition of order α as a prefix. If each repetition is of order strictly larger than α, then the sequence is called everywhere α⁺-repetitive. In both cases, the number of distinct minimal α-repetitions (or α⁺-repetitions) occurring in the sequence is finite.A natural question regarding global regularity is to determine the least number, denoted by M(α), of distinct minimalα-repetitions such that an α-repetitive sequence is not necessarily ultimately periodic. We call the everywhere α-repetitive sequences witnessing this property optimal. In this paper, we study optimal 2-repetitive sequences and optimal 2⁺-repetitive sequences, and show that Sturmian words belong to both classes. We also give a characterization of 2-repetitive sequences and solve the values of M(α) for 1≤α≤15/7.     

Coding into Ramsey sets

In [6] W. T. Gowers formulated and proved a Ramsey-type result which lies at the heart of his famous dichotomy for Banach spaces. He defines the notion of weakly Ramsey set of block sequences of an infinite dimensional Banach space and shows that every analytic set of block sequences is weakly Ramsey. We show here that Gowers’ result follows quite directly from the fact that all G_δ sets are weakly Ramsey, if the Banach space does not contain c₀, and from the fact that all F_σδ sets are weakly Ramsey, in the case of an arbitrary Banach space. We also show that every result obtained by the application of Gowers’ theorem to an analytic set can also be obtained by applying the Theorem to a F_σδ set (or to a G_δ set if the space does not contain c₀). This fact explains why the only known applications of this technique are based on very low-ranked Borel sets (open, closed, F_σ, or G_δ).     

Convexes divisibles IV : Structure du bord en dimension 3

Divisible convex sets IV: Boundary structure in dimension 3 Let Ω be an indecomposable properly convex open subset of the real projective 3-space which is divisible i.e. for which there exists a torsion free discrete group Γ of projective transformations preserving Ω such that the quotient M := Γ\Ω is compact. We study the structure of M and of ∂Ω, when Ω is not strictly convex: The union of the properly embedded triangles in Ω projects in M onto an union of finitely many disjoint tori and Klein bottles which induces an atoroidal decomposition of M. Every non extremal point of ∂Ω is on an edge of a unique properly embedded triangle in Ω and the set of vertices of these triangles is dense in the boundary of Ω (see Figs. 1 to 4). Moreover, we construct examples of such divisible convex open sets Ω.      

Deformations of trianalytic subvarieties of hyperkähler manifolds

Let M be a compact complex manifold equipped with a hyperk?hler metric, and X be a closed complex analytic subvariety of M. In alg-geom 9403006, we proved that X is trianalytic (i.e., complex analytic with respect to all complex structures induced by the hyperk?hler structure), provided that M is generic in its deformation class. Here we study the complex analytic deformations of trianalytic subvarieties. We prove that all deformations of X are trianalytic and naturally isomorphic to X as complex analytic varieties. We show that this isomorphism is compatible with the metric induced from M. Also, we prove that the Douady space of complex analytic deformations of X in M is equipped with a natural hyperk?hler structure.     

On Disjoint Sets of Natural Classes

Abstract

An M-natural class is any subclass of σ[M] which is closed under (1) submodules,(2) isomorphic copies,(3) direct sums and (4) M-injective envelopes. Let 𝒞 be any set of pairwise disjoint M-natural classes. We define the 𝒞-dimension of an R-module and examine how finite 𝒞-dimension is related to certain injectivity conditions in σ[M]. We also define a 𝒞-chain and relate ACC on 𝒞-chains again to certain injectivity conditions.     

Generalized Hilbert Functions

Let M be a finite module, and let I be an arbitrary ideal over a Noetherian local ring. We define the generalized Hilbert function of I on M using the zeroth local cohomology functor. We show that our definition reconciliates with that of Ciuperc?. By generalizing Singh's formula (which holds in the case of λ(M/IM) < ∞), we prove that the generalized Hilbert coefficients 𝔧₀,…, 𝔧 _d?2 are preserved under a general hyperplane section, where d = dim M. We also keep track of the behavior of 𝔧 _d?1. Then we apply these results to study the generalized Hilbert function for ideals that have minimal j-multiplicity or almost minimal j-multiplicity. We provide counterexamples to show that the generalized Hilbert series of ideals having minimal or almost minimal j-multiplicity does not have the ‘expected’ shape described in the case where λ(M/IM) < ∞. Finally, we give a sufficient condition such that the generalized Hilbert series has the desired shape.     

Analytic Discs and Extension of CR Functions

Let M be a manifold of X = C ⁿ , A a small analytic disc attached to M, z ^o a point of A where A is tangent to M, z ¹ another point of A where M extends to a germ of manifold M ₁ with boundary M. We prove that CR functions on M which extend to M ₁ at z ¹ also extend at z ^o to a new manifold M ₂. The directions M ₁ and M ₂ point to, are related by a sort of connection associated to A which is dual to the connection obtained by attaching 'partial analytic lifts' of A to the co-normal bundle to M in X.     

Right n-angulated categories arising from covariantly finite subcategories

We define right n-angulated categories, which are analogous to right triangulated categories. Let 𝒞 be an additive category and 𝒳 a covariantly finite subcategory of 𝒞. We show that under certain conditions, the quotient 𝒞∕[𝒳] is a right n-angulated category. This has immediate applications to n-angulated quotient categories.     

An explicit extension formula of bounded holomorphic functions from analytic varieties to strictly convex domains

We consider a strictly convex domain D ⁿ and m holomorphic functions, φ₁,…, φ_m, in a domain . We set V = {z ε Ω: φ₁(z) = ··· = φ_m(z) = 0}, M = V ∩ D and ∂M = V ∩ ∂D. Under the assumptions that the variety V has no singular point on ∂M and that V meets ∂D transversally we construct an explicit kernel K(ζ, z) defined for ζ ε ∂M and z ε D so that the integral operator Ef(z) = ∝ _{ζ ε ∂M} f(ζ) K(ζ, z) (z ε D), defined for f ε H^∞(M) (using the boundary values f(ζ) for a.e. ζ ε ∂M), is an extension operator, i.e., Ef(z) = f(z) for z ε M and furthermore E is a bounded operator from H^∞ to H^∞(D).     

Free Interpolation in the Spaces of Analytic Functions With Derivative of Order <Emphasis Type="Italic">s</Emphasis> From the Hardy Space

We consider the problem of free interpolation for the spaces of analytic functions with derivative of order s in the Hardy space H^p. For the sets that satisfy the Stolz condition, we obtain a condition necessary for interpolation: if 1 ≤ p < ∞, then the set must be a union of s sparse sets. For p = ∞, we obtain a necessary and sufficient condition for interpolation: the set must be a union of s + 1 sparse sets. In this case, we construct an extension operator. Bibliography 11 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 303, 2003, pp. 169–202.     

On the Real Zeros of Positive Semidefinite Biquadratic Forms

For a positive semidefinite biquadratic forms F in (3, 3) variables, we prove that, if F has a finite number but at least 7 real zeros 𝒵(F), then it is not a sum of squares. We show also that if F has at least 11 zeros, then it has infinitely many real zeros and it is a sum of squares. It can be seen as the counterpart for biquadratic forms as the results of Choi, Lam, and Reznick for positive semidefinite ternary sextics.

We introduce and compute some of the numbers BB _{n, m} which are set to be equal to sup |𝒵(F)| where F ranges over all the positive semidefinite biquadratic forms F in (n, m) variables such that |𝒵(F)| < ∞.

We also recall some old constructions of positive semidefinite biquadratic forms which are not sums of squares and we give some new families of examples.     

A Regularity Result for CR Mappings Between Infinite Type Hypersurfaces

The Schwarz reflection principle in one complex variable can be stated as follows. Let M and M′ be two real analytic curves in ? and f a holomorphic function defined on one side of M, extending continuously through M, and mapping M into M′. Then f has a holomorphic extension across M. In this paper, we extend this classical theorem to higher complex dimensions for a class of hypersurfaces of infinite type.