Vector Lattice Powers: f-Algebras and Functional Calculus

Let s ∈ {2.3,…} and E be an Archimedean vector lattice. We prove that there exists a unique pair (E ^? ,?), where E ^? is an Archimedean vector lattice and ?:E× ··· ×E (s times) → E ^? is a symmetric lattice s-morphism, such that for every Archimedean vector lattice F and every symmetric lattice s-morphism T:E × ··· × E (s times) → F, there exists a unique lattice homomorphism T ^? :E ^?  → F such that T = T ^? ○?. We give two approaches to construct (E ^? ,?) based on f-algebras and functional calculus, respectively, provided that E is also uniformly complete.     

Pseudodifferential Operators on Prehomogeneous Vector Spaces

ABSTRACT

Let G be a connected, linear algebraic group defined over ?, acting regularly on a finite dimensional vector space V over ? with ?-structure V _?. Assume that V possesses a Zariski-dense orbit, so that (G, ?, V) becomes a prehomogeneous vector space over ?. We consider the left regular representation π of the group of ?-rational points G _? on the Banach space C₀(V _?) of continuous functions on V _? vanishing at infinity, and study the convolution operators π(f), where f is a rapidly decreasing function on the identity component of G _?. Denote the complement of the dense orbit by S, and put S _? = S ∩ V _?. It turns out that, on V _? ? S _?, π(f) is a smooth operator. If S _? = {0}, the restriction of the Schwartz kernel of π(f) to the diagonal defines a homogeneous distribution on V _? ? {0}. Its nonunique extension to V _? can then be regarded as a trace of π(f). If G is reductive, and S and S _? are irreducible hypersurfaces, π(f) corresponds, on each connected component of V _? ? S _?, to a totally characteristic pseudodifferential operator. In this case, the restriction of the Schwartz kernel of π(f) to the diagonal defines a distribution on V _? ? S _? given by some power |p(m)| ^s of a relative invariant p(m) of (G, ?, V) and, as a consequence of the Fundamental Theorem of Prehomogeneous Vector Spaces, its extension to V _?, and the complex s-plane, satisfies functional equations similar to those for local zeta functions. A trace of π(f) can then be defined by subtracting the singular contributions of the poles of the meromorphic extension.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.     

On the Invariant Fields and Rings of Some Groups of Polynomial Automorphisms

Abstract

We consider the group G of C-automorphisms of C(x, y) (resp. C[x, y]) generated by s, t such that t(x) = y, t(y) = x and s(x) = x, s(y) = ? y + u(x) where u ∈ C[x] is of degree k ≥ 2. Using Galois's theory, we show that the invariant field and the invariant algebra of G are equal to C.     

The Edge Ideals of Complete Multipartite Hypergraphs

We classify all complete uniform multipartite hypergraphs with respect to some algebraic properties, such as being (almost) complete intersection, Gorenstein, level, l-Cohen-Macaulay, l-Buchsbaum, unmixed, and satisfying Serre's condition S _r , via some combinatorial terms. Also, we prove that for a complete s-uniform t-partite hypergraph ?, vertex decomposability, shellability, sequentially S _r , and sequentially Cohen–Macaulay properties coincide with the condition that ? has t ? 1 sides consisting of a single vertex. Moreover, we show that the latter condition occurs if and only if it is a chordal hypergraph.     

Constant tolerance intersection graphs of subtrees of a tree

A chordal graph is the intersection graph of a family of subtrees of a host tree. In this paper we generalize this. A graph G=(V,E) has an (h,s,t)-representation if there exists a host tree T of maximum degree at most h, and a family of subtrees {S_v}_v∈V of T, all of maximum degree at most s, such that uv∈E if and only if |S_u∩S_v|?t. For given h,s, and t, there exist infinitely many forbidden induced subgraphs for the class of (h,s,t)-graphs. On the other hand, for fixed h?s?3, every graph is an (h,s,t)-graph provided that we take t large enough. Under certain conditions representations of larger graphs can be obtained from those of smaller ones by amalgamation procedures. Other representability and non-representability results are presented as well.     

Tensor Product Representations of the Lie Superalgebra 𝔭(n) and Their Centralizers

Abstract

We construct an associative algebra A _k and show that there is a representation of A _k on V ^?k , where V is the natural 2n-dimensional representation of the Lie superalgebra 𝔭(n). We prove that A _k is the full centralizer of 𝔭(n) on V ^?k , thereby obtaining a “Schur-Weyl duality” for the Lie superalgebra 𝔭(n). This result is used to understand the representation theory of the Lie superalgebra 𝔭(n). In particular, using A _k we decompose the tensor space V ^?k , for k = 2 or 3, and show that V ^?k is not completely reducible for any k ≥ 2.     

Asymptotic Behavior of Poisson Kernels on NA Groups

On a Lie group S = NA, that is a split extension of a nilpotent Lie group N by a one-parameter group of automorphisms A, a probability measure μ is considered and treated as a distribution according to which transformations s ∈ S acting on N = S/A are sampled. Under natural conditions, formulated some over thirty years ago, there is a μ-invariant measure m on N. Properties of m have been intensively studied by a number of authors. The present article deals with the situation when μ(A) = ?(s _t  ∈ A), where ?⁺ ? t → s _t  ∈ S is the diffusion on S generated by a second order subelliptic, hypoelliptic, left-invariant operator on S. In this article the most general operators of this kind are considered. Precise asymptotic for m at infinity and for the Green function of the operator are given. To achieve this goal a pseudodifferential calculus for operators with coefficients of finite smoothness is formulated and applied.     

Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.     

Remarks on Taylor Series Expansions and Conditional Expectations for Stratonovich SDEs with Complete V‐Commutativity

Abstract

It may happen that there is not a finite maximum order bound for numerical approximations of stochastic processes X = (X _t : 0 ≤ t ≤ T) satisfying Stratonovich stochastic differential equations (SDEs) with some commutative structure along an appropriate functional V(t, X _t ). This statement can be proven with respect to the concept of mean square convergence under the assumption of “infinite smoothness” of drift a(t, x) and diffusion coefficients b ^j (t, x) and with finite initial second moments. As a result, we obtain an infinite series expansion of the conditional expectation 𝔼[V(t, X _t )|? _t ^N ] on any fixed finite time interval [0, T], provided that the information is collected by discretized σ‐field ? _T ^N  = σ{W _{t 0} , W _{t 1} , …, W _{t N?1} , W _T } at N + 1 given time instants t _i  ∈ [0, T] with t ₀ ≤ t ₁ ≤ ··· ≤ t _N?1 ≤ t _N  = T.     

Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme

We describe a method that serves to simultaneously determine the topological configuration of the intersection curve of two parametric surfaces and generate compatible decompositions of their parameter domains, that are amenable to the application of existing perturbation schemes ensuring exact topological consistency of the trimmed surface representations. To illustrate this method, we begin with the simpler problem of topology resolution for a planar algebraic curve F(x,y)=0 in a given domain, and then extend concepts developed in this context to address the intersection of two tensor-product parametric surfaces p(s,t) and q(u,v) defined on (s,t)∈[0,1]² and (u,v)∈[0,1]². The algorithms assume the ability to compute, to any specified precision, the real solutions of systems of polynomial equations in at most four variables within rectangular domains, and proofs for the correctness of the algorithms under this assumption are given. Mathematics subject classification (2000)  65D17     

Reducibility of Punctual Hilbert Schemes of Cone Varieties

In this short note we show that for any pair of positive integers (d, n) with n > 2 and d > 1 or n = 2 and d > 4, there always exist projective varieties X ? ? ^N of dimension n and degree d and an integer s ₀ such that Hilb ^s (X) is reducible for all s ≥ s ₀. X will be a projective cone in ? ^N over an arbitrary projective variety Y ? ? ^N?1. In particular, we show that, opposite to the case of smooth surfaces, there exist projective surfaces with a single isolated singularity which have reducible Hilbert scheme of points.     

The Degree and Regularity of Vanishing Ideals of Algebraic Toric Sets Over Finite Fields

Let X* be a subset of an affine space 𝔸 ^s , over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x → [x] and x → [(x, 1)], respectively, where [x] and [(x, 1)] are points in the projective spaces ? ^s?1 and ? ^s , respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properties of the vanishing ideals I(X) and I(Y). In a number of interesting cases, we compute its degree and regularity. For Hamiltonian bipartite graphs, we show the Eisenbud–Goto regularity conjecture. We give optimal bounds for the regularity when the graph is bipartite. It is shown that X* is an affine torus if and only if I(Y) is a complete intersection. We present some applications to coding theory and show some bounds for the minimum distance of parameterized linear codes for connected bipartite graphs.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.