A new conservation result of WKL0 over RCA0

In this paper we give a partial answer to a conjecture of Tanaka. We prove that: if WKL₀ proves a sentence of the form (∀X)(∃!Y)ψ(X, Y) for a Σ⁰ ₃-formula ψ, then so does RCA₀. Received: 12 April 1999 / Published online: 3 October 2001     

A result on resolutions of Veronese embeddings

This paper deals with syzygies of the ideals of the Veronese embeddings. By Green’s Theorem we know thatO _P ⁿ (d) satisfies Green-Lazarsfeld’s PropertyN _p ∀d≥p, ∀n. By Ottaviani-Paoletti’s theorem ifn≥2, d≥3 and 3d−2≤p thenO _P ⁿ (d) does not satisfy PropertyN _p. The casesn≥3, d≥3, d<p<3d−2 are still open (exceptn=d=3). Here we deal with one of these cases, namely we prove thatO _P ⁿ (3) satisfies PropertyN ₄ ∀n. Besides we prove thatO _P ⁿ (d) satisfiesN _p ∀n≥p iffO _P ⁿ (d) satisfiesN _p.

---

Sunto L’argomento di questo articolo sono le sizigie degli ideali delle varietà di Veronese. Per il teorema di Green sappiamo cheO _P ⁿ (d) soddisfa la proprietàN _p di Green-Lazarsfeld ∀d≥p, ∀n. Per il teorema di Ottaviani-Paoletti sen≥2, d≥3 and 3d−2≤p alloraO _P ⁿ (d) non soddisfa la ProprietàN _p. I casin≥3, d≥3, d<p<3d−2 sono ancora aperti (eccetton=d=3). Qui consideriamo uno di tali casi, precisamente proviamo cheO _P ⁿ (3) soddisfa la ProprietàN ₄ ∀n. Inoltre proviamo cheO _P ⁿ (d) soddisfaN _p ∀n≥p se e solo seO _P ^p (d) satisfiesN _p.

     

A new decidable Horn fragment of predicate calculus

We describe an extension of the class ∀∃ of Horn formulas in predicate calculus. We prove the decidability of this class. We describe complexity characteristics such that fixing them splits this extended class into polynomially decidable subclasses. Fixing the maximum arity of predicates splits our class into subclasses belonging to NP. Bibliography: 11 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 316, 2004, pp. 147–162.     

Estimates on Conjectures of Minkowski and woods

Let ℝ ⁿ be the n-dimensional Euclidean space. Let ∧ be a lattice of determinant 1 such that there is a sphere |X| < R which contains no point of ∧ other than the origin O and has n linearly independent points of ∧ on its boundary. A well known conjecture in the geometry of numbers asserts that any closed sphere in ℝ ⁿ of radius $ \sqrt {n/4} $ \sqrt {n/4} contains a point of ∧. This is known to be true for n ≤ 8. Here we give estimates on a more general conjecture of Woods for n ≥ 9. This leads to an improvement for 9 ≤ n ≤ 22 on estimates of Il’in (1991) to the long standing conjecture of Minkowski on product of n non-homogeneous linear forms.     

Inversion and characterization of the hemispherical transform

Explicit inversion formulas are obtained for the hemispherical transform(FΜ)(x) = Μ{y ∃S ⁿ :x. y ≥ 0},x ∃S ⁿ, whereS ⁿ is thendimensional unit sphere in ℝⁿ⁺¹,n ≥ 2, and Μ is a finite Borel measure onS ⁿ. If Μ is absolutely continuous with respect to Lebesgue measuredy onS ⁿ, i.e.,dΜ(y) =f(y)dy, we write(F f)(x) = ∫ _{x.y> 0} f(y)dy and consider the following cases: (a)f ∃C ^∞(Sⁿ); (b)f ∃ L^p(S ⁿ), 1 ≤ p < ∞; and (c)f ∃C(Sⁿ). In the case (a), our inversion formulas involve a certain polynomial of the Laplace-Beltrami operator. In the remaining cases, the relevant wavelet transforms are employed. The range ofF is characterized and the action in the scale of Sobolev spacesL _p ^γ (Sⁿ) is studied. For zonalf ∃ L¹(S ²), the hemispherical transformF f was inverted explicitly by P. Funk (1916); we reproduce his argument in higher dimensions. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany).     

p-Groupes abéliens de type (p,…,p) et disques ouverts p-adiques

Let k be an algebraically closed field of characteristic p>0, W(k) its ring of Witt vectors and R a complete discrete valuation ring dominating W(k). Consider finite groups G≃ (ℤ/pℤ) ⁿ , p≥ 2, n≥1. In a former paper we showed that a given realization of such a G as a group of k-automorphisms of k[[z]] must satisfy some conditions in order to have a lifting as a group of R-automorphisms of R[[Z]]. In this note, we give for every G (all p≥ 2, n>1) a realization as an automorphism group of k[[z]] which ca be lifted as a group of R-automorphisms of R[[Z]] for suitable R. Received: 22 December 1998     

On the essential dimension of cyclic <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime number, let K be a field of characteristic not p, containing the p-th roots of unity, and let r≥1 be an integer. We compute the essential dimension of ℤ/p ^r ℤ over K (Theorem 4.1). In particular, i) We have ed_ℚ(ℤ/8ℤ)=4, a result which was conjectured by Buhler and Reichstein in 1995 (unpublished). ii) We have ed_ℚ(ℤ/p ^r ℤ)≥p ^r-1.     

Classification of (0,2)-geometries embedded in AG (3,q)

In De Clerck and Delanote (Des. Codes Cryptogr, 32: 103–110, 2004) it is shown that if a (0,α)-geometry with α ≥  3 is fully embedded in AG (n,q) then it is a linear representation. In De Feyter (J. Combin Theory Ser A, 109(1): 1–23, 2005; Discrete math, 292: 45–54, 2005) the (0,2)-geometries fully embedded in AG(3,q) are classified apart from two open cases. In this paper, we solve these two open cases. This classification for AG(3,q) is used in De Feyter (Adv Geom, 5: 279–292, 2005) to classify the (0,2)-geometries fully embedded in AG(n,q).      

Dennis–Vaserstein type decompositions

A generalization of the Dennis–Vaserstein decomposition is proved for an arbitrary pair of maximal parabolic subgroups P _r and P _s in the general linear group GL(n, R), provided that r − s ≥ sr (R). The usual Dennis–Vaserstein decomposition is the special case where r = n − 1, s =1. Bibliography: 23 titles.     

L-fuzzy ⋎ and ⋏ hyperoperations and the associated l-fuzzy hyperalgebras

In this paper we study two fuzzy hyperoperations, denoted by ⋎ (which can be seen as a generalization of ∨) and ⋏ (which can be seen as a generalization of ∧). ⋎ is obtained from a family of crisp ∨; _p hyperoperations and ⋏ is obtained from a family of crisp ∧ _p hyperoperations. The hyperstructure (X, ⋎, ∧) resembles ahyperlattice and the hyperstructure (X, ∨, ⋏) resembles adual hyperlattice     

Elimination of quantifiers for modules

Every first-order formula in the language ofR-modules (R an associative ring) is equivalent relative to the theory ofR-modules to a boolean combination of positive primitive formulas and ∀∃-sentence. Supported by Schweizerischer Nationalfonds.     

Quasilinear elliptic equations with boundary blow-up

Assume that Ω is a bounded domain in ℝ _N withN ≥2, which has aC ²-boundary. We show that forp ∃ (1, ∞) there exists a weak solutionu of the problem δ_p u(x) = f(u(x)), x ∃ Ω with boundary blow-up, wheref is a positive, increasing function which meets some natural conditions. The boundary blow-up ofu(x) is characterized in terms of the distance ofx from ∂Ω. For the Laplace operator, our results coincide with those of Bandle and Essén [1]. Finally, for a rather wide subclass of the class of the admissible functionsf, the solution is unique whenp ∃ (1, 2].     

Applications of operator semigroups to Fourier analysis

Of concern are semigroups of linear norm one operators on Hilbert space of the form (discrete case)T={T ⁿ /n=0,1,2,...} or (continuous case)T={T(t)/t=≥0}. Using ergodic theory and Hilbert-Schmidt operators, the Cesàro limits (asn→∞) of |〈T ⁿ f,f〉|², |〈T (n)f,f〉|² are computed (withn∈ℤ⁺ orn∈ℤ⁺). Specializing the Hilbert space to beL ²(T,μ) (discrete case) orL ²(ℝ,μ) (continuous case) where μ is a Borel probability measure on the circle group or the line, the Cesàro limit of (asn→±∞, with,n∈ℤ orn∈ℝ) is obtained and interpreted. Extensions toT ^M , and ℝ ^M are given. Finally, we discuss recent operator theoretic extensions from a Hilbert to a Banach space context. Partially supported by an NSF grant     

A sharper tits alternative for 3-manifold groups

The following theorem is proven. LetM be a closed, orientable, irreducible 3-manifold such that rankH ₁(M, ℤ/pℤ)≥3 for some primep. Then either π₁(M) is virtually solvable or it contains a free group of rank 2.     

An A ∞ structure on simplicial complexes

We consider a discrete (finite-difference) analogue of differential forms defined on simplicial complexes, in particular, on triangulations of smooth manifolds. Various operations are explicitly defined on these forms including the exterior differential d and the exterior product ∧. The exterior product is nonassociative but satisfies a more general relation, the so-called A _∞ structure. This structure includes an infinite set of operations constrained by the nilpotency relation (d + ∧ + m + …)ⁿ = 0 of the second degree, n = 2. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 1, pp. 3–37, July, 2008.     

On the subspace L((x ∧ y)m) of Sm(∧2?4)

We take the exterior power ℝ⁴ ∧ ℝ⁴ of the space ℝ⁴, its mth symmetric power V = S ^m (∧²ℝ⁴) = (ℝ⁴ ∧ ℝ⁴) ∨ (ℝ⁴ ∧ ℝ⁴) ∨ ... ∨(ℝ⁴ ∧ ℝ⁴), and put V ₀ = L((x ∧ y)∨ ... ∨(x ∧ y): x, y ∈ ℝ⁴). We find the dimension of V ₀ and an algorithm for distinguishing a basis for V ₀ efficiently. This problem arose in vector tomography for the purpose of reconstructing the solenoidal part of a symmetric tensor field. Original Russian Text Copyright ? 2009 Gubarev V. Yu. The author was supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-344.2008.1). __________ Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 3, pp. 503–514, May–June, 2009.     

On the pontryagin-steenrod-wu theorem

We present a short and direct proof (based on the Pontryagin-Thom construction) of the following Pontryagin-Steenrod-Wu theorem: (a) LetM be a connected orientable closed smooth (n + 1)-manifold,n≥3. Define the degree map deg: π ⁿ (M) →H ⁿ (M; ℤ) by the formula degf =f*[S ⁿ ], where [S ⁿ ] εH ⁿ (M; ℤ) is the fundamental class. The degree map is bijective, if there existsβ εH ₂(M, ℤ/2ℤ) such thatβ ·w ₂(M) ε 0. If suchβ does not exist, then deg is a 2-1 map; and (b) LetM be an orientable closed smooth (n+2)-manifold,n≥3. An elementα lies in the image of the degree map if and only ifρ ₂ α ·w ₂(M)=0, whereρ ₂: ℤ → ℤ/2ℤ is reduction modulo 2.     

On a cardinal group invariant related to decompositions of Abelian groups

For each Abelian groupG, a cardinal invariant χ(G) is introduced and its properties are studied. In the special caseG = ℤ ⁿ , the cardinalχ(ℤ ⁿ ) is equal to the minimal cardinality of an essential subset of ℤ ⁿ , i.e., a of a subsetA ⊂ ℤ ⁿ such that, for any coloring of the group ℤ ⁿ inn colors, there exists an infinite one-color subset that is symmetric with respect to some pointα ofA. The estimaten( ^{n +} l)/2 ≤χ(ℤ ⁿ ) < 2n is proved for alln and the relationχ(ℤ ⁿ ) =n(n + 1)/2 forn ≤ 3. The structure of essential subsets of cardinalityχ(ℤ ⁿ ) in ℤ ⁿ is completely described forn ≤ 3. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 341–350, September, 1998.