Global solvability for first order real linear partial differential operators

F. Treves, in [17], using a notion of convexity of sets with respect to operators due to B. Malgrange and a theorem of C. Harvey, characterized globally solvable linear partial differential operators on C^∞(X), for an open subset X of Rn.Let P=L+c be a linear partial differential operator with real coefficients on a C^∞ manifold X, where L is a vector field and c is a function. If L has no critical points, J. Duistermaat and L. Hörmander, in [2], proved five equivalent conditions for global solvability of P on C^∞(X).Based on Harvey-Treves's result we prove sufficient conditions for the global solvability of P on C^∞(X), in the spirit of geometrical Duistermaat-Hörmander's characterizations, when L is zero at precisely one point. For this case, additional non-resonance type conditions on the value of c at the equilibrium point are necessary.     

Regularity and solvability of linear differential operators in Gevrey spaces

We are interested in the following question: when regularity properties of a linear differential operator imply solvability of its transpose in the sense of Gevrey ultradistributions? This question is studied for a class of abstract operators that contains the usual differential operators with real‐analytic coefficients. We obtain a new proof of a global result on compact manifolds (global Gevrey hypoellipticity implying global solvability of the transpose), as well as some results in the non‐compact case by means of the so‐called property of non‐confinement of singularities. We provide applications to Hörmander operators, to operators of constant strength and to locally integrable systems of vector fields. We also analyze a conjecture stated in a recent paper of Malaspina and Nicola, which asserts that, in differential complexes naturally arising from locally integrable structures, local solvability in the sense of ultradistributions implies local solvability in the sense of distributions. We establish the validity of the conjecture when the cotangent structure bundle is spanned by the differential of a single first integral.     

Gevrey solvability near the characteristic set for a class of planar complex vector fields of infinite type

We study the Gevrey solvability of a class of complex vector fields, defined on Ω?=(−?,?)×S¹, given by L=∂/∂t+(a(x)+ib(x))∂/∂x, b?0, near the characteristic set Σ={0}×S¹. We show that the interplay between the order of vanishing of the functions a and b at x=0 plays a role in the Gevrey solvability.     

Solvability near the characteristic set for a class of first‐order linear partial differential operators

In this work we deal with solvability of first‐order differential equations in the form , where L is a planar complex vector field, elliptic everywhere except along a simple closed curve Σ on which it is tangent and vanishes of order . In contrast with the local solvability, it is shown that the zero order term p has influence in the solvability in a full neighborhood of Σ.     

On W-solvability for special vectorial Hamilton-Jacobi systems

We study the solvability of special vectorial Hamilton-Jacobi systems of the form F(Du(x))=0 in a Sobolev space. In this paper we establish the general existence theorems for certain Dirichlet problems using suitable approximation schemes called W^1,p-reduction principles that generalize the similar reduction principle for Lipschitz solutions. Our approach, to a large extent, unifies the existing methods for the existence results of the special Hamilton-Jacobi systems under study. The method relies on a new Baire's category argument concerning the residual continuity of a Baire-one function. Some sufficient conditions for W^1,p-reduction are also given along with certain generalization of some known results and a specific application to the boundary value problem for special weakly quasiregular mappings.     

On the F-fundamental group scheme

Let X be a smooth projective variety defined over a perfect field k of positive characteristic, and let FX be the absolute Frobenius morphism of X. For any vector bundle E→X, and any polynomial g with non-negative integer coefficients, define the vector bundle using the powers of FX and the direct sum operation. We construct a neutral Tannakian category using the vector bundles with the property that there are two distinct polynomials f and g with non-negative integer coefficients such that . We also investigate the group scheme defined by this neutral Tannakian category.     

Normalization of complex-valued planar vector fields which degenerate along a real curve

Taking as a start point the recent article of Meziani [7], we present several results concerning the normalization of a class of complex vector fields in the plane which degenerate along a real curve. We mainly deal with operators with finite regularity and analyze both the local situation as well as the case of normalization near a circle. Some related questions (e.g., on semi-global solvability and on the normalization of a class of generalized Mizohata operators) are also discussed.     

Superspecial abelian varieties and the Eichler Basis Problem for Hilbert modular forms

Let p be an unramified prime in a totally real field L such that h⁺(L)=1. Our main result shows that Hilbert modular newforms of parallel weight two for Γ₀(p) can be constructed naturally, via classical theta series, from modules of isogenies of superspecial abelian varieties with real multiplication on a Hilbert moduli space. This may be viewed as a geometric reinterpretation of the Eichler Basis Problem for Hilbert modular forms.     

Absolutely split real algebraic vector bundles over a real form of projective space

Let M be a projective variety, defined over the field of real numbers, with the property that the base change MR_×C is isomorphic to CPN for some N. A real algebraic vector bundle E over M will be called absolutely split if the vector bundle ER_⊗C over MR_×C splits into a direct sum of line bundles. We classify the isomorphism classes of absolutely split vector bundles over M.     

Global s-solvability and global s-hypoellipticity for certain perturbations of zero order of systems of constant real vector fields

The main purpose of this paper is to show, in the two-dimensional torus, a necessary and sufficient condition in order to certain perturbations of zero order of a system of constant real vector fields to be globally s-solvable. We are also interested in studying its global s-hypoellipticity. We present connections between these global concepts and a priori estimates. We also present two applications of our results for systems of operators with variable coefficients.     

Holomorphic Hermitian vector bundles over the Riemann sphere

We give a complete classification of isomorphism classes of all SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹. We construct a canonical bijective correspondence between the isomorphism classes of SU(2)-equivariant holomorphic Hermitian vector bundles on CP¹ and the isomorphism classes of pairs ({Hn}_n∈Z,T), where each Hn is a finite dimensional Hilbert space with Hn=0 for all but finitely many n, and T is a linear operator on the direct sum _⊕n∈ZHn such that T(Hn)⊂Hn+2 for all n.     

Stable étale realization and étale cobordism

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an étale topological realization of the stable A¹-homotopy theory of smooth schemes over a base field of arbitrary characteristic in analogy to the complex realization functor for fields of characteristic zero.On the other hand we get a natural setting for étale cohomology theories. In particular, we define and discuss an étale topological cobordism theory for schemes. It is equipped with an Atiyah-Hirzebruch spectral sequence starting from étale cohomology. Finally, we construct maps from algebraic to étale cobordism and discuss algebraic cobordism with finite coefficients over an algebraically closed field after inverting a Bott element.     

Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space

We consider the entire graph S of a continuous real function over RN−1 with N?3. Let Ω be a domain in RN with S as a boundary. Consider in Ω the heat flow with initial temperature 0 and boundary temperature 1. The problem we consider is to characterize S in such a way that there exists a stationary isothermic surface in Ω. We show that S must be a hyperplane under some general conditions on S. This is related to Liouville or Bernstein-type theorems for some elliptic Monge-Ampère-type equation.     

Extensions and new observations of Tychonoff,Stone-Weierstrass theorems,compactifications and the realcompactification

An extension of the Tychonoff theorem is obtained in characterizing a compact space by the nets and the images induced by any family of continuous functions on it. The idea of this extension is applied to get a new process and new observations of compactifications and the realcompactification. Finally, a sufficient and necessary condition of a vector sublattice or a subalgebra of C¹(X) to be dense in (C¹(X),∥·∥) is provided in terms of the nets in X induced by C¹(X), where C¹(X) is the space of all bounded real continuous functions on a topological space X with pointwise ordering, and ∥·∥ is the supremum norm.     

On a nonclassical fractional boundary-value problem for the Laplace operator

In this paper we consider a boundary-value problem for the Poisson equation with a boundary condition comprising the fractional derivative in time and the right-hand sides dependent on time. We prove the one-valued solvability of this problem, and provide the coercive estimates of the solution.     

Optimal rates of convergence in the Weibull model based on kernel-type estimators

Let F be a distribution function in the maximal domain of attraction of the Gumbel distribution such that −log(1−F(x))=x^1/θL(x) for a positive real number θ, called the Weibull tail index, and a slowly varying function L. It is well known that the estimators of θ have a very slow rate of convergence. We establish here a sharp optimality result in the minimax sense, that is when L is treated as an infinite dimensional nuisance parameter belonging to some functional class. We also establish the rate optimal asymptotic property of a data-driven choice of the sample fraction that is used for estimation.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

Large time behavior for some nonlinear degenerate parabolic equations

We study the asymptotic behavior of Lipschitz continuous solutions of nonlinear degenerate parabolic equations in the periodic setting. Our results apply to a large class of Hamilton–Jacobi–Bellman equations. Defining Σ as the set where the diffusion vanishes, i.e., where the equation is totally degenerate, we obtain the convergence when the equation is uniformly parabolic outside Σ and, on Σ, the Hamiltonian is either strictly convex or satisfies an assumption similar of the one introduced by Barles–Souganidis (2000) for first-order Hamilton–Jacobi equations. This latter assumption allows to deal with equations with nonconvex Hamiltonians. We can also release the uniform parabolic requirement outside Σ. As a consequence, we prove the convergence of some everywhere degenerate second-order equations.     

Relative uniform completeness and order-convex representations of archimedean ?-groups and f-rings

Results of Henriksen and Johnson, for archimedean f-rings with identity, and of Aron and Hager, for archimedean ?-groups with unit, relating uniform completeness to order-convexity of a representation in a D(X) (the lattice of almost real continuous functions on the space X) are extended to situations without identity or unit. For an archimedean ?-group, G, we show: if G admits any representation G?D(X) in which G is order-convex, then G is divisible and relatively uniformly complete. A converse to this would seem to require some sort of canonical representation of G, which seems not to exist in the ?-group case. But for a reduced archimedean f-ring, A, there is the Johnson representation A?D(XA), and we show: A is divisible, relatively uniformly complete and square-dominated if and only if A is order-convex in D(XA) and square-root-closed. Also, we expand on the situation with unit, where we have the Yosida representation, G?D(YG): if G is divisible, relatively uniformly complete, and the unit is a near unit, then G is order-convex in D(YG).     

Hölder continuous homomorphisms between infinite-dimensional Lie groups are smooth

Let f:G→H be a homomorphism between smooth Lie groups modelled on Mackey complete, locally convex real topological vector spaces. We show that if f is Hölder continuous at 1, then f is smooth.