Real Hypersurfaces Having Many Pseudo-hyperplanes

Abstract

Let nand dbe natural integers satisfying n ≥ 3 and d ≥ 10. Let Xbe an irreducible real hypersurface Xin ? ⁿ of degree dhaving many pseudo-hyperplanes. Suppose that Xis not a projective cone. We show that the arrangement ? of all d ? 2 pseudo-hyperplanes of Xis trivial, i.e., there is a real projective linear subspace Lof ? ⁿ (?) of dimension n ? 2 such that L ? Hfor all H ∈ ?. As a consequence, the normalization of Xis fibered over ?¹in quadrics. Both statements are in sharp contrast with the case n = 2; the first statement also shows that there is no Brusotti-type result for hypersurfaces in ? ⁿ , for n ≥ 3.     

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.     

Projective Varieties Swept Out by Rational Normal Curves

Let X ? ? ⁿ be a complex nondegenerate projective variety of dimension m ≥ 2. For t ≤ n ? m and a general q ∈ ? ⁿ , the linear space L _q spanned by q and t general points of X meets X in a finite set of points. We classify those X ? ? ⁿ for which there exists a point q ∈ ? ⁿ such that L _q meets X in a positive dimensional variety. If this occurs, there exists d ≤ n ? m such that a degree d rational normal curve through d general points of X is contained in X. Examples of this situation are provided. An infinitesimal generalization of part of the main result is also stated.     

The Stanley Depth in the Upper Half of the Koszul Complex

Let R = K[X₁, ?c, X_n] be a polynomial ring over some field K. In this article, we prove that the kth syzygy module of the residue class field K of R has Stanley depth n ? 1 for ?n/2? ≤k < n, as it had been conjectured by Bruns et al. in 2010. In particular, this gives the Stanley depth for a whole family of modules whose graded components have dimension greater than 1. So far, the Stanley depth is known only for a few examples of this type. Our proof consists in a close analysis of a matching in the Boolean algebra.     

On Singular Varieties Having an Extremal Secant Line

ABSTRACT

Let X be a nondegenerate subvariety of degree d and codimension e in the projective space ? ⁿ . If X is smooth, any multisecant line to X cuts X along a 0-dimensional scheme of length at most d ? e + 1. Moreover, smooth varieties X having a (d ? e + 1)-secant line (an extremal secant line) have been completely classified, extending del Pezzo and Bertini classification of varieties of minimal degree. In this article, we almost completely classify possibly singular varieties having an extremal secant line, without any assumptions on the singularities of X. First, we show that, if e ≠ 2, a multisecant line to X meets X along a 0-dimensional scheme of length at most d ? e + 1. Then, we completely classify singular varieties having a (d ? e + 1)-secant line for e ≠ 3. A partial result is provided in case e = 3.     

Numerical Semigroup Rings and Almost Prüfer v-Multiplication Domains

Let D be an integral domain with quotient field K, X be an indeterminate over D, Γ be a numerical semigroup with Γ ? ?₀, D[Γ] be the semigroup ring of Γ over D (and hence D ? D[Γ] ? D[X]), and D + X ⁿ K[X] = {a + X ⁿ g∣a ∈ D and g ∈ K[X]}. We show that there exists an order-preserving bijection between Spec(D[X]) and Spec(D[Γ]), which also preserves t-ideals. We also prove that D[Γ] is an APvMD (resp., AGCD-domain) if and only if D[X] is an APvMD (resp., AGCD-domain) and char(D) ≠ 0. We show that if n ≥ 2, then D is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain) and char(D) ≠ 0 if and only if D + X ⁿ K[X] is an APvMD (resp., AGCD-domain, AGGCD-domain, AP-domain, AB-domain). Finally, we give some examples of APvMDs which are not AGCD-domains by using the constructions D[Γ] and D + X ⁿ K[X].     

On the Splitting Ring of a Polynomial

Let f(Z) = Zⁿ ? a₁Z^n?1 + … + (?1)^n?1a_n?1Z + (?1)ⁿa_n be a monic polynomial with coefficients in a ring R with identity, not necessarily commutative. We study the ideal I_f of R[X₁,…, X_n] generated by σ_i(X₁,…, X_n) ? a_i, where σ₁,…, σ_n are the elementary symmetric polynomials, as well as the quotient ring R[X₁,…, X_n]/I_f.     

Optical Tomography for Variable Refractive Index with Angularly Averaged Measurements

In optical tomography one seeks to use near-infrared light to determine the optical absorption and scattering properties of a medium X ? ? ⁿ . If the refractive index is constant throughout the medium, the steady-state case is modeled by the stationary linear transport equation in terms of the Euclidean metric. In this work we consider the case of variable refractive index where the dynamics are modeled by writing the transport equation in terms of a Riemannian metric; in the absence of interaction, photons follow the geodesics of this metric. In particular we study the problem where our measurements allow the application of an in-going flux depending on both position and direction, but we allow only a weighted average measurement of the out-going flux. We show that making measurements on all of ? X determines the extinction coefficient and that once this is known, under additional assumptions, measurements at a single point on ? X determine the scattering kernel.     

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).     

A Note on Noncancellable Varieties

Given two affine algebraic varieties X and Y such that X × ? ? Y × ?, it may happen that X and Y are not isomorphic. This is shown, for example, by so-called “Danielewski surfaces.” In this note, we give a simple construction of such varieties X, Y of an arbitrary dimension n > 1.     

Idempotent Generation in the Endomorphism Monoid of a Uniform Partition

Denote by 𝒯_n and 𝒮_n the full transformation semigroup and the symmetric group on the set {1,…, n}, and ?_n = {1} ∪ (𝒯_n?𝒮_n). Let 𝒯(X, 𝒫) denote the monoid of all transformations of the finite set X preserving a uniform partition 𝒫 of X into m subsets of size n, where m, n ≥ 2. We enumerate the idempotents of 𝒯(X, 𝒫), and describe the submonoid S = ? E ? generated by the idempotents E = E(𝒯(X, 𝒫)). We show that S = S₁ ∪ S₂, where S₁ is a direct product of m copies of ?_n, and S₂ is a wreath product of 𝒯_n with 𝒯_m?𝒮_m. We calculate the rank and idempotent rank of S, showing that these are equal, and we also classify and enumerate all the idempotent generating sets of minimal size. In doing so, we also obtain new results about arbitrary idempotent generating sets of ?_n.     

Sample Path Properties of a Class of Operator Stable Processes

Abstract

Let X = {X(t), t ? ?₊} be an operator stable Lévy process on ? ^d with the exponent B, where B is a diagonal matrix. In the present paper, we consider the asymptotic behavior of the first passage time out of a sphere, and of the sojourn time in a sphere. We shall also determine the exact Hausdorff measure function for the range of X over unit time interval [0, 1].     

Decompositions of Quotient Rings and m-Power Commuting Maps

Let R be a semiprime ring with symmetric Martindale quotient ring Q, n ≥ 2 and let f(X) = X ⁿ h(X), where h(X) is a polynomial over the ring of integers with h(0) = ±1. Then there is a ring decomposition Q = Q ₁ ⊕ Q ₂ ⊕ Q ₃ such that Q ₁ is a ring satisfying S _2n?2, the standard identity of degree 2n ? 2, Q ₂ ? M _n (E) for some commutative regular self-injective ring E such that, for some fixed q > 1, x ^q  = x for all x ∈ E, and Q ₃ is a both faithful S _2n?2-free and faithful f-free ring. Applying the theorem, we characterize m-power commuting maps, which are defined by linear generalized differential polynomials, on a semiprime ring.     

The Dimension of the Hilbert Scheme of Special Threefolds #

The Hilbert scheme of 3-folds in ? ⁿ , n ≥  6 , that are scrolls over ? ² or over a smooth quadric surface Q  ? ? ³ or that are quadric or cubic fibrations over ? ¹ is studied. All known such threefolds of degree 7  ≤ d ≤  11 are shown to correspond to smooth points of an irreducible component of their Hilbert scheme, whose dimension is computed.     

A Generalized Global Cartan Decomposition: A Basic Example

Suppose G ₁ ?  G are complex linear simple Lie groups. Let  ₁ ?  be the corresponding pair of Lie algebras. For the Killing-orthogonal  of  ₁ in  we have a vector space direct sum  =  ₁⊕ , which generalizes the classical Cartan decomposition on the Lie algebras level. In this article we study the corresponding problem of a ‘generalized global Cartan decomposition’ on the Lie groups level for the pair of groups ( G , G ₁) = (SL (4,?),Sp (2,?)); here  =  (4,?),  ₁ =  (2,?), and  = {X ?  | X ^? = X}, where X? X ^? is the symplectic involution. We prove that G  =  G ₁exp  ∪ i G ₁exp . The key point of the proof is to study in detail the set exp ; and for that purpose we introduce the J-twisted Pfaffian of size 2n defined on the set of all 2n × 2n matrices X satisfying X ^? = X, which is here a natural counterpart of the standard Pfaffian.     

Rings of Continuous Functions on Spaces of Finite Rank and the SV Property

Let X be a compact topological space and let C(X) denote the f-ring of all continuous real-valued functions defined on X. A point x in X is said to have rank n if, in C(X), there are n minimal prime ?-ideals contained in the maximal ?-ideal M _x  = {f ? C(X):f(x) = 0}. The space X has finite rank if there is an n ? N such that every point x ? X has rank at most n. We call X an SV space (for survaluation space) if C(X)/P is a valuation domain for each minimal prime ideal P of C(X). Every compact SV space has finite rank. For a bounded continuous function h defined on a cozeroset U of X, we say there is an h-rift at the point z if h cannot be extended continuously to U ∪ {z}. We use sets of points with h-rift to investigate spaces of finite rank and SV spaces. We show that the set of points with h-rift is a subset of the set of points of rank greater than 1 and that whether or not a compact space of finite rank is SV depends on a characteristic of the closure of the set of points with h-rift for each such h. If X has finite rank and the set of points with h-rift is an F-space for each h, then X is an SV space. Moreover, if every x ? X has rank at most 2, then X is an SV space if and only if for each h, the set of points with h-rift is an F-space.     

Algebraic Versus Homological Equivalence for Singular Varieties

Let Y ? ?^N be a possibly singular projective variety, defined over the field of complex numbers. Let X be the intersection of Y with h general hypersurfaces of sufficiently large degrees. Let d > 0 be an integer, and assume that dimY = n + h and dimY_sing ≤ min {d + h ? 1, n ? 1}. Let Z be an algebraic cycle on Y of dimension d + h, whose homology class in H_2(d+h)(Y; ?) is nonzero. In the present article, we prove that the restriction of Z to X is not algebraically equivalent to zero. This is a generalization to the singular case of a result due to Nori in the case Y is smooth. As an application we provide explicit examples of singular varieties for which homological equivalence is different from the algebraic one.     

Semistability of Logarithmic Cotangent Bundle on Some Projective Manifolds

In this article, we investigate the semistability of logarithmic de Rham sheaves on a smooth projective variety (X, D), under suitable conditions. This is related to existence of Kähler–Einstein metric on the open variety. We investigate this problem when the Picard number is one. Fix a normal crossing divisor D on X and consider the logarithmic de Rham sheaf Ω _X (log D) on X. We prove semistability of this sheaf, when the log canonical sheaf K _X  + D is ample or trivial, or when ?K _X  ? D is ample, i.e., when X is a log Fano n-fold of dimension n ≤ 6. We also extend the semistability result for Kawamata coverings, and this gives examples whose Picard number can be greater than one.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Threefolds in ℙ5 with One Apparent Quadruple Point

Abstract

In this article we classify all the smooth threefolds in ?⁵ with an apparent quadruple point provided that the family of its 4-secant lines is an irreducible (first order) congruence. This is sufficient to conclude the classification of all the smooth codimension two varieties in ? ⁿ with one apparent (n ? 1)-point and with irreducible family of (n ? 1)-secant lines.