Singular cohomology inL

We prove, that in the world of constructible sets, there does not exist a spaceX withH″ (X,Z) isomorphic to the rational numbers. The proof requires a result about the growth of Ext _z ^Emphasis>/i (-, Z) inside of Gödel’s constructible universeL.     

Convergence and left-K-sequential completeness in asymmetrically normed lattices

If (X,∥.∥) is a real normed lattice, then p(x)=∥x ⁺∥ defines an asymmetric norm on X. We study the convergence of sequences in the asymmetrically normed lattice (X,p) and give a characterization of the set of limit points of a convergent sequence in the case X=? ^m . These results enable us to prove the left-K-sequential completeness of the asymmetrically normed lattices ? ^m , C(Ω), c ₀, ? _∞ and ? _p (1≦p<∞).     

Characteristic classes of complex hypersurfaces

The Milnor-Hirzebruch class of a locally complete intersection X in an algebraic manifold M measures the difference between the (Poincaré dual of the) Hirzebruch class of the virtual tangent bundle of X and, respectively, the Brasselet-Schürmann-Yokura (homology) Hirzebruch class of X. In this note, we calculate the Milnor-Hirzebruch class of a globally defined algebraic hypersurface X in terms of the corresponding Hirzebruch invariants of vanishing cycles and singular strata in a Whitney stratification of X. Our approach is based on Schürmann's specialization property for the motivic Hirzebruch class transformation of Brasselet-Schürmann-Yokura. The present results also yield calculations of Todd, Chern and L-type characteristic classes of hypersurfaces.     

Motivic degree zero Donaldson–Thomas invariants

Given a smooth complex threefold X, we define the virtual motive $[\operatorname{Hilb}^{n}(X)]_{\operatorname {vir}}$ of the Hilbert scheme of n points on X. In the case when X is Calabi–Yau, $[\operatorname{Hilb}^{n}(X)]_{\operatorname{vir}}$ gives a motivic refinement of the n-point degree zero Donaldson–Thomas invariant of X. The key example is X=?³, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef–Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives $[\operatorname{Hilb}^{n} (\mathbb{C}^{3})]_{\operatorname{vir}}$ via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Göttsche’s formula for the Poincaré polynomials of the Hilbert schemes of points on surfaces.     

A singularity-based eigenfunction decomposition for Kohn-Sham equations

We show that the eigenfunctions of Kohn-Sham equations can be decomposed as ■ = F ψ, where F depends on the Coulomb potential only and is locally Lipschitz, while ψ has better regularity than ■.     

Local reconstruction for sampling in shift-invariant spaces

The local reconstruction from samples is one of most desirable properties for many applications in signal processing, but it has not been given as much attention. In this paper, we will consider the local reconstruction problem for signals in a shift-invariant space. In particular, we consider finding sampling sets X such that signals in a shift-invariant space can be locally reconstructed from their samples on X. For a locally finite-dimensional shift-invariant space V we show that signals in V can be locally reconstructed from its samples on any sampling set with sufficiently large density. For a shift-invariant space V(? ₁, ..., ? _N ) generated by finitely many compactly supported functions ? ₁, ..., ? _N , we characterize all periodic nonuniform sampling sets X such that signals in that shift-invariant space V(? ₁, ..., ? _N ) can be locally reconstructed from the samples taken from X. For a refinable shift-invariant space V(?) generated by a compactly supported refinable function ?, we prove that for almost all \((x_0, x_1)\in [0,1]^2\), any signal in V(?) can be locally reconstructed from its samples from \(\{x_0, x_1\}+{\mathbb Z}\) with oversampling rate 2. The proofs of our results on the local sampling and reconstruction in the refinable shift-invariant space V(?) depend heavily on the linear independent shifts of a refinable function on measurable sets with positive Lebesgue measure and the almost ripplet property for a refinable function, which are new and interesting by themselves.     

On a Constructive Proof of Kolmogorov’s Superposition Theorem

Kolmogorov (Dokl. Akad. Nauk USSR, 14(5):953–956, 1957) showed that any multivariate continuous function can be represented as a superposition of one-dimensional functions, i.e., $$f(x_{1},\ldots,x_{n})=\sum_{q=0}^{2n}\varPhi _{q}\Biggl(\sum_{p=1}^{n}\psi_{q,p}(x_{p})\Biggr).$$ The proof of this fact, however, was not constructive, and it was not clear how to choose the outer and inner functions Φ _q and ψ _q,p , respectively. Sprecher (Neural Netw. 9(5):765–772, 1996; Neural Netw. 10(3):447–457, 1997) gave a constructive proof of Kolmogorov’s superposition theorem in the form of a convergent algorithm which defines the inner functions explicitly via one inner function ψ by ψ _p,q :=λ _p ψ(x _p +qa) with appropriate values λ _p ,a∈?. Basic features of this function such as monotonicity and continuity were supposed to be true but were not explicitly proved and turned out to be not valid. Köppen (ICANN 2002, Lecture Notes in Computer Science, vol. 2415, pp. 474–479, 2002) suggested a corrected definition of the inner function ψ and claimed, without proof, its continuity and monotonicity. In this paper we now show that these properties indeed hold for Köppen’s ψ, and we present a correct constructive proof of Kolmogorov’s superposition theorem for continuous inner functions ψ similar to Sprecher’s approach.     

Analytic cell decomposition and analytic motivic integration

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the structure of analytic functions in one variable, defined on annuli over K. We also prove that, after parameterization, definable analytic functions are given by terms. The results in this paper pave the way for a theory of analytic motivic integration and analytic motivic constructible functions in the line of R. Cluckers and F. Loeser [Fonctions constructible et intégration motivique I, Comptes rendus de l'Académie des Sciences 339 (2004) 411-416].     

The pseudoweights of a space

Let X be a T_i-space, i ⩽ 2. We define the T_i-pseudoweight of X, ψ _i(X), to be the least weightof a coarser T_i topology on X. Reed and Zenor have shown that if X is a Moore space, and |X| ⩽ 2^ω, then ψ₁(X) = ω, but there is a Moore space, X, such that ψ₂(X) = w(X) = |X| = ω₁.Theorem 1: If X is metric, ψ₀(X) = log w(X), where log κ = min{λ:2^λ ⩾ κ}. Theorem 2: If X is compact and T₂, then ψ₁(X) = ψ₂(X) = w(X) (but it is possible to have ψ₀(X) = log w (X)< w(X)). Theorem 3: If X is a GO-space, then ψ₁(X) = ψ₂(X) (but it is possible to have ψ₀(X) =log ψ₁(X) < ψ₁(X) < w(X) even if X is a LOTS). Finally, Hart has shown that if X is an infinite LOTS, then w(X) = c (X) · ψ₁(X). Theorem 4: If X is an infinite LOTS, then w(X) =c(X) · ψ₀ (X).     

Universal spaces of subdifferentials of sublinear operators ranging in the cone of bounded lower semicontinuous functions

We study Fréchet’s problem of the universal space for the subdifferentials ?P of continuous sublinear operators P: V → BC(X)_～ which are defined on separable Banach spaces V and range in the cone BC(X)_～ of bounded lower semicontinuous functions on a normal topological space X. We prove that the space of linear compact operators L ^c(? ², C(βX)) is universal in the topology of simple convergence. Here ? ² is a separable Hilbert space, and βX is the Stone-?ech compactification of X. We show that the images of subdifferentials are also subdifferentials of sublinear operators.     

Period integrals of CY and general type complete intersections

We develop a global Poincaré residue formula to study period integrals of families of complex manifolds. For any compact complex manifold X equipped with a linear system V ^? of generically smooth CY hypersurfaces, the formula expresses period integrals in terms of a canonical global meromorphic top form on X. Two important ingredients of this construction are the notion of a CY principal bundle, and a classification of such rank one bundles. We also generalize the construction to CY and general type complete intersections. When X is an algebraic manifold having a sufficiently large automorphism group G and V ^? is a linear representation of G, we construct a holonomic D-module that governs the period integrals. The construction is based in part on the theory of tautological systems we have developed in the paper Lian, Song and Yau (arXiv:1105.2984v1, 2011). The approach allows us to explicitly describe a Picard-Fuchs type system for complete intersection varieties of general types, as well as CY, in any Fano variety, and in a homogeneous space in particular. In addition, the approach provides a new perspective of old examples such as CY complete intersections in a toric variety or partial flag variety.     

Reflection classes whose cubes cover the alternating group

A reflection class (REC) over a finite set A is a conjugacy class of a reflection (permutation of order ? 2) of A. It was known that for no REC X, X² = Alt(n) holds, and that for some RECs X, X⁴ = Alt(n) holds (n ? 5). Let i > 0, and let c(θ) denote the number of cycles of θ?S(n). Let X_i = {ψ ∈ S(n): ψ² = 1, ψ has exactly i fixed points}. We prove that θ?X_i³ if and only if: (1) i ≡ n (mod 2); (2) The parity of X_i equals the parity of θ; and (3) $\text{i ?}\text{1}\text{3}\text{(n + 2 c(θ))}$. As a consequence, {X: X is a REC, X³ = Alt(n)} and {X: X is a REC, X³ = S(n) ? Alt(n)} are determined.     

Properties of functions with monotone graphs

A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y)≦cd(x,z) for all x<y<z∈X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, for example, that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that the Hausdorff dimension of the graph of such a function is 1.     

Minimal Translation Hypersurfaces in Euclidean Space

The graph of a function f defined in some open set of the Euclidean space of dimension (p + q) is said to be a translation graph if f may be expressed as the sum of two independent functions ? and ψ defined in open sets of the Euclidean spaces of dimension p and q, respectively. We obtain a useful expression for the mean curvature of the graph of f in terms of the Laplacian, the gradient of ? and ψ as well as of the mean curvatures of their graphs. We study translation graphs having zero mean curvature, that is, minimal translation graphs, by imposing natural conditions on ? and ψ, like harmonicity, minimality and eikonality (constant norm of the gradient), giving several examples as well as characterization results.     

Higher Chern Classes and Steenrod Operations in Motivic Cohomology

In this short paper we investigate the relation between higher Chern classes and reduced power operations in motivic cohomology. More precisely, we translate the well-known arguments [5] into the context of motivic cohomology and define higher Chern classes c_p,q : K _p(X) → H^2q-p (X,Z(q)) → H^2q-p(X, Z/l(q)), where X is a smooth scheme over the base field k, l is a prime number and char(k) ≠ l. The same approach produces the classes for K-theory with coefficients as well. Let further Pⁱ : H^m(X, Z/l(n)) → H^m+2i(l-1) (X, Z/l(n + i(l - 1))) denote the ith reduced power operation in motivic cohomology, constructed in [2]. The main result of the paper looks as follows.     

Extension of maps and ordering

LetX be a topological space,Y a closed subspace and π:x→T, ψ:Y→T be two continuous maps. We shall say that ψ can be extended by π if there exists a continuous man η=ν(π, ψ):X→T such that: η| _x?y ?π, η| _Y =ψ. Clearly a similar definition can be given in the category of real or complex algebraic varietes. In this paper we give some sufficient conditions to ensure that map ψ can be extended by π. In particular we study the topological and the real algebraic case. It seems that the last setting is the more interesting.     

Criteria for embedding of spaces constructed by the method of means with arbitrary quasi-concave functional parameters

We consider a generalization ?(X₀,X₁)_p0,p1 of the method of means to arbitrary non-degenerate functional parameter. In this case non-trivial embedding ?(X₀,X₁)_p0,p1⊂ψ(X₀,X₁)_q0,q1 take place. We find necessary and sufficient condition for such embedding if 1?q₀?p₀?∞ and 1?q₁?p₁?∞ or 1?p₀?q₀?∞ and 1?p₁?q₁?∞.     

A note on geometrical properties of Banach spaces using ψ-direct sums

Let X be a Banach space and ψ a continuous convex function on [0,1] satisfying certain conditions. Let Xψ_⊕X be the ψ-direct sum of X. In this note, we characterize the strict convexity, uniform convexity and uniformly non-squareness of Banach spaces using ψ-direct sums, which extends the well-known characterization of these spaces.     

Left Reductive Congruences on Semigroups

A semigroup S is called a left reductive semigroup if, for all elements a,b∈S, the assumption “xa=xb for all x∈S” implies a=b. A congruence α on a semigroup S is called a left reductive congruence if the factor semigroup S/α is left reductive. In this paper we deal with the left reductive congruences on semigroups. Let S be a semigroup and ? a congruence on S. Consider the sequence ? ⁽⁰⁾?? ⁽¹⁾???? ⁽ⁿ⁾?? of congruences on S, where ? ⁽⁰⁾=? and, for an arbitrary non-negative integer n, ? ⁽ⁿ⁺¹⁾ is defined by (a,b)∈? ⁽ⁿ⁺¹⁾ if and only if (xa,xb)∈? ⁽ⁿ⁾ for all x∈S. We show that $\bigcup_{i=0}^{\infty}\varrho^{(i)}\subseteq \mathit{lrc}(\varrho )$ for an arbitrary congruence ? on a semigroup S, where lrc(?) denotes the least left reductive congruence on S containing ?. We focuse our attention on congruences ? on semigroups S for which the congruence $\bigcup_{i=0}^{\infty}\varrho^{(i)}$ is left reductive. We prove that, for a congruence ? on a semigroup S, $\bigcup_{i=0}^{\infty}\varrho^{(i)}$ is a left reductive congruence of S if and only if $\bigcup_{i=0}^{\infty}\iota_{(S/\varrho)}^{(i)}$ is a left reductive congruence on the factor semigroup S/? (here ι _(S/?) denotes the identity relation on S/?). After proving some other results, we show that if S is a Noetherian semigroup (which means that the lattice of all congruences on S satisfies the ascending chain condition) or a semigroup in which S ⁿ =S ⁿ⁺¹ is satisfied for some positive integer n then the universal relation on S is the only left reductive congruence on S if and only if S is an ideal extension of a left zero semigroup by a nilpotent semigroup. In particular, S is a commutative Noetherian semigroup in which the universal relation on S is the only left reductive congruence on S if and only if S is a finite commutative nilpotent semigroup.