Post-Newtonian Approximation of the Vlasov–Nordström System

ABSTRACT

We study the Nordström–Vlasov system, which describes the dynamics of a self-gravitating ensemble of collisionless particles in the framework of the Nordström scalar theory of gravitation. If the speed of light c is considered as a parameter, it is known that in the Newtonian limit c → ∞ the Vlasov–Poisson system is obtained. In this paper we determine a higher approximation and establish a pointwise error estimate of order 𝒪(c ^?4). Such an approximation is usually called a 1.5 post-Newtonian approximation.     

Star-Configurations in ℙ2 Having Generic Hilbert Function and the Weak Lefschetz Property

We prove that a star-configuration 𝕏 in ?² is defined by general forms of degrees ≤2 if and only if 𝕏 has generic Hilbert function. We also show that if 𝕏 and 𝕐 are star-configurations in ?² defined by general forms of degrees ≤2 and σ(𝕏) ≠ σ(𝕐), then the ring R/(I _𝕏 + I _𝕐) has the Weak Lefschetz property. These two results generalize results of Ahn and Shin [3 Ahn , J. , Shin , Y. S. ( 2012 ). The minimal free resolution of a star-configuration in ? ⁿ and the weak lefschetz property . J. Korean Math. Soc. 49 ( 2 ): 405 – 417 . [Google Scholar]]. Furthermore, we find the Lefschetz element of the graded Artinian ring R/(I _𝕏 + I _?) precisely when 𝕏 and ? are two star-configurations in ?² defined by general forms F ₁,…, F _s , and G ₁,…, G _s , L, respectively, with deg F _i  = deg G _i  = 2 for every i ≥ 1, and deg L = 1 with s ≥ 3.     

The Convergence of the Navier–Stokes–Poisson System to the Incompressible Euler Equations

ABSTRACT

The combining quasineutral and inviscid limit of the Navier–Stokes–Poisson system in the torus 𝕋 ^d , d ≥ 1 is studied. The convergence of the Navier–Stokes–Poisson system to the incompressible Euler equations is proven for the global weak solution and for the case of general initial data.     

Completely 𝒲-Resolved Complexes

Let R be a ring and 𝒲 a self-orthogonal class of left R-modules which is closed under finite direct sums and direct summands. A complex C of left R-modules is called a 𝒲-complex if it is exact with each cycle Z ⁿ (C) ∈ 𝒲. The class of such complexes is denoted by 𝒞_𝒲. A complex C is called completely 𝒲-resolved if there exists an exact sequence of complexes D _· = … → D _?1 → D ₀ → D ₁ → … with each term D _i in 𝒞_𝒲 such that C = ker(D ₀ → D ₁) and D _· is both Hom(𝒞_𝒲, ?) and Hom(?, 𝒞_𝒲) exact. In this article, we show that C = … → C ^?1 → C ⁰ → C ¹ → … is a completely 𝒲-resolved complex if and only if C ⁿ is a completely 𝒲-resolved module for all n ∈ ?. Some known results are obtained as corollaries.     

The Coxeter Quotient of the Fundamental Group of a Galois Cover of 𝕋 × 𝕋

ABSTRACT

Let X be the surface 𝕋 × 𝕋, where 𝕋 is the complex torus. This article is the third in a series studying the fundamental group of the Galois cover of X with respect to a generic projection onto ??².

Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quotient (obtained by identifying pairs of generators), prove it is a quotient of a Coxeter group related to the degeneration of X, and show that this quotient is virtually nilpotent.

Communicated by C. Pedrini.     

L p Error Estimates for Scattered Data Interpolation On Spheres

In this article, working with the sphere 𝕊 ^d embedded in the (d + 1)-dimensional Euclidean space ? ^d+1 as the underlying manifold, we obtain an error estimate for interpolating functions f ∈ H _μ from shifts of a smooth positive definite function defined on 𝕊 ^d , where H _μ is a Sobolev space. We also get an L ^p error estimate for f by using a method of Duchon framework.     

Toric Rings Arising from Cyclic Polytopes

Let d and n be positive integers with n ≥ d + 1 and 𝒫 ? ? ^d an integral cyclic polytope of dimension d with n vertices, and let K[𝒫] = K[?_≥0𝒜_𝒫] denote its associated semigroup K-algebra, where 𝒜_𝒫 = {(1, α) ∈ ? ^d+1: α ∈ 𝒫} ∩ ? ^d+1 and K is a field. In the present paper, we consider the problem when K[𝒫] is Cohen–Macaulay by discussing Serre's condition (R ₁), and we give a complete characterization when K[𝒫] is Gorenstein. Moreover, we study the normality of the other semigroup K-algebra K[Q] arising from an integral cyclic polytope, where Q is a semigroup generated by its vertices only.     

Linear Restriction Estimates for Schrödinger Equation on Metric Cones

In this paper, we study some modified linear restriction estimates of the dynamics generated by Schrödinger operator on metric cone M, where the metric cone M is of the form M = (0, ∞) _r  × Σ, with the cross section Σ being a compact (n ? 1)-dimensional Riemannian manifold (Σ, h) and the equipped metric being g = dr ² + r ² h. Assuming the initial data possesses additional regularity in angular variable θ ∈ Σ, we show some linear restriction estimates for the solutions. In terms of their applications, we obtain global-in-time Strichartz estimates for radial initial data and show small initial data scattering theory for the mass-critical nonlinear Schrödinger equation on two-dimensional metric cones.     

Exceptional Pairs in Hereditary Categories

We study the category 𝒞(X, Y) generated by an exceptional pair (X, Y) in a hereditary category ?. If r = dim _k Hom(X, Y) ≥ 1 we show that there are exactly 3 possible types for 𝒞(X, Y), all derived equivalent to the category of finite dimensional modules mod(H _r ) over the r-Kronecker algebra H _r . In general 𝒞(X, Y) will not be equivalent to a module category. More specifically, if ? is the category of coherent sheaves over a weighted projective line 𝕏, then 𝒞(X, Y) is equivalent to the category of coherent sheaves on the projective line ?¹ or to mod(H _r ) and, if 𝕏 is wild, then every r ≥ 1 can occur in this way.     

A Generalization of a Lemma of Sullivan

Consider an irreducible polynomial of the form f(X) = X ^p  ? aX ? b ∈ 𝔽[X] and α a root of f(X), where 𝔽 is a field of characteristic p. In 1975, F.J. Sullivan stated a lemma that provides the trace, taken with respect to the extension 𝔽(α)/𝔽, of elements of the form α ⁿ , where 0 ≤ n ≤ p ² ? 1. We present a generalization of Sullivan's Lemma and provide another proof of the original lemma. We explain how computing Tr(α ⁿ ) for n < p ^r can be reduced to computing the traces Tr(α ^m ) for all m ≤ r(p ? 1).     

Über Die Assoziierten Primideale des Bidualen

Let (R, 𝔪) be a commutative, noetherian, local ring, E the injective hull of the residue field R/𝔪, and M ^○○ = Hom _R (Hom _R (M, E), E) the bidual of an R-module M. We investigate the elements of Ass(M ^○○) as well as those of Coatt(M) = {𝔭 ∈ Spec(R)|𝔭 = Ann _R (Ann _M (𝔭))} and provide criteria for equality in one of the two inclusions Ass(M) ? Ass(M ^○○) ? Coatt(M). If R is a Nagata ring and M a minimax module, i.e., an extension of a finitely generated R-module by an artinian R-module, we show that Ass(M ^○○) = Ass(M) ∪ {𝔭 ∈ Coatt(M)| R/𝔭 is incomplete}.     

Generalized Skew Derivations with Nilpotent Values in Prime Rings

Let ? be a prime ring, 𝒞 the extended centroid of ?, ? a Lie ideal of ?, F be a nonzero generalized skew derivation of ? with associated automorphism α, and n ≥ 1 be a fixed integer. If (F(xy) ? yx) ⁿ  = 0 for all x, y ∈ ?, then ? is commutative and one of the following statements holds:

(1) Either ? is central;

(2) Or ? ? M ₂(𝒞), the 2 × 2 matrix ring over 𝒞, with char(𝒞) = 2.     

Group Laws [x,y −1] ≡ u(x,y) and Varietal Properties

Let F = ?x, y? be a free group. It is known that the commutator [x, y ^?1] cannot be expressed in terms of basic commutators, in particular in terms of Engel commutators. We show that the laws imposing such an expression define specific varietal properties. For a property 𝒫 we consider a subset U(𝒫) ? F such that every law of the form [x, y ^?1] ≡ u, u ∈ U(𝒫) provides the varietal property 𝒫. For example, we show that each subnormal subgroup is normal in every group of a variety 𝔙 if and only if 𝔙 satisfies a law of the form [x, y ^?1] ≡ u, where u ∈ [F′, ?x?].     

On 𝔬𝔰𝔭(1 | 2)-Relative Cohomology on S 1|1

We compute the second 𝔬𝔰𝔭(1 | 2) ?relative cohomology space of 𝒦(1) with coefficients in the module of λ-densities 𝔉_λ on S ^1|1. This result allows us to compute the second 𝔬𝔰𝔭(1 | 2) ?relative cohomology space of 𝒦(1) with coefficients in the Poisson superalgebra 𝒮𝒫. We explicitly give 2-cocycles spanning these cohomology spaces.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

The formation of black holes in spherically symmetric gravitational collapse

We consider the spherically symmetric, asymptotically flat Einstein–Vlasov system. We find explicit conditions on the initial data, with ADM mass M, such that the resulting spacetime has the following properties: there is a family of radially outgoing null geodesics where the area radius r along each geodesic is bounded by 2M, the timelike lines \({r=c\in [0,2M]}\) are incomplete, and for r > 2M the metric converges asymptotically to the Schwarzschild metric with mass M. The initial data that we construct guarantee the formation of a black hole in the evolution. We give examples of such initial data with the additional property that the solutions exist for all r ≥ 0 and all Schwarzschild time, i.e., we obtain global existence in Schwarzschild coordinates in situations where the initial data are not small. Some of our results are also established for the Einstein equations coupled to a general matter model characterized by conditions on the matter quantities.     

The multiplier ideal is a universal test ideal

Abstract

For a canonical threefold X, we know that h ⁰(X, 𝒪 _X (nK _X )) ≥ 1 for a sufficiently large n. When χ(𝒪 _X ) > 0, it is not easy to get such an integer n. Fletcher showed that h ⁰(X, 𝒪 _X (12K _X )) ≥ 1 and h ⁰(X, 𝒪 _X (24K _X )) ≥ 2 when χ(𝒪 _X ) = 1. He inquired about existence of a canonical threefold with given conditions which shows the result sharp. We show that such an example does not exist. Using a different technique, we prove h ⁰(X, 𝒪 _X (12K _X )) ≥ 2.     

Global Well-Posedness of mKdV in L 2 (𝕋, ℝ)

ABSTRACT

We show that the Miura map L ²(𝕋) → H ^?1(𝕋), r?r _x  + r ² is a global fold and then apply our results on global well-posedness of KdV in H ^?1(𝕋) to show that mKdV is globally well-posed in L ²(𝕋).     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.