Euler homology

We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring of a topological space X. This homology theory Eh _* has coefficients in every nonnegative dimension. There exists a natural transformation that for X = pt assigns to each smooth manifold its Euler characteristic mod 2. The homology theory is constructed using cobordism of stratifolds, which are singular objects defined below. An isomorphism of graded -modules is shown for any CW-complex X. For discrete groups G, we also define an equivariant version of the homology theory Eh _*, generalizing the equivariant Euler characteristic.     

A note on curvature of α-connections of a statistical manifold

The family of α-connections ∇^(α) on a statistical manifold equipped with a pair of conjugate connections and is given as . Here, we develop an expression of curvature R ^(α) for ∇^(α) in relation to those for . Immediately evident from it is that ∇^(α) is equiaffine for any when are dually flat, as previously observed in Takeuchi and Amari (IEEE Transactions on Information Theory 51:1011–1023, 2005). Other related formulae are also developed. The work was conducted when the author was on sabbatical leave as a visiting research scientist at the Mathematical Neuroscience Unit, RIKEN Brain Science Institute, Wako-shi, Saitama 351-0198, Japan.     

Uniqueness in the characteristic Cauchy problem of the Klein–Gordon equation and tame restrictions of generalized functions

We show that every tempered distribution, which is a solution of the (homogenous) Klein–Gordon equation, admits a “tame” restriction to the characteristic (hyper)surface {x ⁰ + x ⁿ = 0} in (1 + n)-dimensional Minkowski space and is uniquely determined by this restriction. The restriction belongs to the space which we have introduced in (Ullrich in J. Math. Phys. 45, 2004). Moreover, we show that every element of appears as the “tame” restriction of a solution of the (homogeneous) Klein–Gordon equation.     

Coincidences of Centers of Edge-Incentric, or Balloon, Simplices

An edge-incentric d-simplex is defined to be a d-simplex S which admits a (d − 1)-sphere that touches all the edges of S internally. The center of such a sphere is called the edge-incenter of S and is denoted by . Equivalently, S is edge-incentric if and only if its vertices are the centers of d + 1 (d − 1)-spheres in mutual external touch, and for this reason one may call such an S a balloon d-simplex. An orthocentric d-simplex is a d-simplex in which the altitudes are concurrent. The point of concurrence is called the orthocenter and is denoted by . The spaces of edge-incentric and of orthocentric d-simplices have the same dimension d in the sense that a d-simplex in either space can be parametrized, up to shape, by d numbers. Edge-incentric and orthocentric tetrahedra are the first two of the four special classes of tetrahedra studied in [1, Chapter IX.B, pp. 294–333]. The degree of regularity implied by the coincidence of two or more centers of a general d-simplex is investigated in [8], where it is shown that the coincidence of the centroid , the circumcenter , and the incenter does not imply much regularity. For an orthocentric d-simplex S, however, it is proved in [9] that if any two of the centers , and coincide, then S is regular. In this paper, the same question is addressed for edge-incentric d-simplices. Among other things, it is proved that if any three of the centers , and of an edge-incentric d-simplex S coincide, then S is regular, and it is also shown that none of the coincidences , and implies regularity (except when d ≤ 3, d ≤ 4, and d ≤ 6, respectively). In contrast with the afore-mentioned results for orthocentric d-simplices, this emphasizes once more the feeling that, regarding many important properties, orthocentric d-simplices are the true generalizations of triangles. Several open questions are posed. Received: June 19, 2006.     

On pointed Hopf algebras associated with the symmetric groups

Let G be the symmetric group . It is an important open problem whether the dimension of the Nichols algebra is finite when is the class of the transpositions and ρ is the sign representation, with m ≥ 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs might give rise to finite-dimensional Nichols algebras. This work was partially supported by CONICET, ANPCyT and Secyt (UNC).     

Codes defined by forms of degree 2 on non-degenerate Hermitian varieties in $${\mathbb{P}^{4}(\mathbb{F}_q)}$$

We study the functional codes of second order on a non-degenerate Hermitian variety as defined by G. Lachaud. We provide the best possible bounds for the number of points of quadratic sections of . We list the first five weights, describe the corresponding codewords and compute their number. The paper ends with two conjectures. The first is about minimum distance of the functional codes of order h on a non-singular Hermitian variety . The second is about distribution of the codewords of first five weights of the functional codes of second order on a non-singular Hermitian variety .      

Tits topology and fundamental groups of compact Riemannian manifolds

Let M be a compact Riemannian manifold without conjugate points. We generalize the Tits topology on the ideal boundary of the universal covering space of M. Then we show that if π₁(M) is amenable and is compact with respect to the Tits topology, then M is flat. This work was supported by Grant No.R01-2006-000-10047-0(2006) from the Basic Research Program of the Korea Science & Engineering Foundation.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

Poincaré inequality and Palais–Smale condition for the <Emphasis Type="Italic">p</Emphasis>-Laplacian

An improved Poincaré inequality and validity of the Palais-Smale condition are investigated for the energy functional on , 1 < p < ∞, where Ω is a bounded domain in , is a spectral (control) parameter, and is a given function, in Ω. Analysis is focused on the case λ = λ₁, where −λ₁ is the first eigenvalue of the Dirichlet p-Laplacian Δ _p on , λ₁ > 0, and on the “quadratization” of within an arbitrarily small cone in around the axis spanned by , where stands for the first eigenfunction of Δ _p associated with −λ₁.     

Formule de torsion pour le facteur epsilon d’un caractère sur une surface

Let be a smooth proper surface over a finite field of characteristic p > 2, and let be a rank one smooth l-adic sheaf (l ≠ p) on a dense open subset . In this paper, under some assumptions on the wild ramification of , we prove a torsion formula for the epsilon factor (that is the global constant) of the functional equation of the L-function . Our torsion formula is a generalization to higher dimension of the classical torsion formula for the local constants.

---

Résumé  Soit une surface propre et lisse sur un corps fini de caractéristique p > 2, et un caractère l-adique (avec l ≠ p) lisse sur un ouvert dense . Sous certaines hypothèses sur la ramification sauvage de , on prouve une formule de torsion pour le facteur epsilon (i.e. la constante globale) de l’équation fonctionnelle de la fonction . Notre formule de torsion est une généralisation en dimension supérieure de la formule de torsion pour les constantes locales, qui est à la base de la théorie des constantes locales.

     

On $${\mathcal{F}}$$ -supplemented subgroups of finite groups

Let G be a finite group and a formation of finite groups. We say that a subgroup H of G is -supplemented in G if there exists a subgroup T of G such that G = TH and is contained in the -hypercenter of G/H _G . In this paper, we use -supplemented subgroups to study the structure of finite groups. A series of previously known results are unified and generalized. Research of the author is supported by a NNSF grant of China (Grant #10771180).     

Pointwise estimates for relative fundamental solutions of heat equations in $${\mathbb{R} \times \mathbb{C}}$$

Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C ^∞ off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.      

On deformations of maps and curve singularities

We study several deformation functors associated to the normalization of a reduced curve singularity . The main new results are explicit formulas, in terms of classical invariants of (X, 0), for the cotangent cohomology groups T ⁱ , i  =  0,1,2, of these functors. Thus we obtain precise statements about smoothness and dimension of the corresponding local moduli spaces. We apply the results to obtain explicit formulas, respectively, estimates for the -codimension of a parametrized curve singularity, where denotes the Mather–Wall group of left-right equivalence.     

Inertial Iterative Process for Fixed Points of Certain Quasi-nonexpansive Mappings

This paper deals with a general formalism which consists in approximating a point in a nonempty set , in a real Hilbert space , by a sequence such that , where , are in and is a sequence included in a certain class of self-mappings on , such that every fixed point set of contains . This iteration method is inspired by an implicit discretization of the second order ‘heavy ball with friction’ dynamical system. Under suitable conditions on the parameters and the operators , we prove that this scheme generates a sequence which converges weakly to an element of . In particular, by appropriate choices of , this algorithm works for approximating common fixed points of infinite countable families of a wide class of operators which includes -averaged quasi-nonexpansive mappings for .      

Strong density results in trace spaces of maps between manifolds

We deal with strong density results of smooth maps between two manifolds and in the fractional spaces given by the traces of Sobolev maps in W ^1,p .     

Sums of random symmetric matrices and quadratic optimization under orthogonality constraints

Let B _i be deterministic real symmetric m × m matrices, and ξ _i be independent random scalars with zero mean and “of order of one” (e.g., ). We are interested to know under what conditions “typical norm” of the random matrix is of order of 1. An evident necessary condition is , which, essentially, translates to ; a natural conjecture is that the latter condition is sufficient as well. In the paper, we prove a relaxed version of this conjecture, specifically, that under the above condition the typical norm of S _N is : for all Ω > 0 We outline some applications of this result, primarily in investigating the quality of semidefinite relaxations of a general quadratic optimization problem with orthogonality constraints , where F is quadratic in X = (X ₁,... ,X _k ). We show that when F is convex in every one of X _j , a natural semidefinite relaxation of the problem is tight within a factor slowly growing with the size m of the matrices . Research was partly supported by the Binational Science Foundation grant #2002038.     

Optimal Lp-Lq-estimates for parabolic boundary value problems with inhomogeneous data

In this paper we investigate vector-valued parabolic initial boundary value problems , subject to general boundary conditions in domains G in with compact C ^2m -boundary. The top-order coefficients of are assumed to be continuous. We characterize optimal L ^p -L ^q -regularity for the solution of such problems in terms of the data. We also prove that the normal ellipticity condition on and the Lopatinskii–Shapiro condition on are necessary for these L ^p -L ^q -estimates. As a byproduct of the techniques being introduced we obtain new trace and extension results for Sobolev spaces of mixed order and a characterization of Triebel-Lizorkin spaces by boundary data.      

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU