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.     

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

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

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.     

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.     

Classes of Commutative Rings Defined by Special Conditions

ABSTRACT

In this article, we are mainly concerned with (n, d)-Krull rings, i.e., rings in which each n-presented prime ideal has height at most d. Precisely, we show that weakly n-Von Neumann regular rings are (n ? 1, 0)-Krull rings. Also, we prove that (n, d)-Krull property is not local property and that R is an (n, d)-Krull ring if and only if dim(R _P ) ≤ d for each n-presented prime ideal P of R. Finally, we construct a class of (2, d)-Krull rings which are neither (2, d ? 1)-Krull rings (for d = 1) nor (1, d)-Krull rings for d = 0,1.     

Relative Group Cohomology and The Orbit Category

Let G be a finite group and ? be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative ?-projective resolution for ? when ? is the family of all subgroups H ≤ G with rk H ≤ rkG ? 1. We answer this question negatively by calculating the relative group cohomology ?H*(G, 𝔽₂) where G = ?/2 × ?/2 and ? is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology ?H*(G, M) can be calculated using the ext-groups over the orbit category of G restricted to the family ?. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group G and whose horizontal line at E ₂ page is isomorphic to the relative group cohomology of G.     

Transfer of Krull Dimension,Lying-Over,and Going-Down to the Fixed Ring

Let G be a group acting via ring automorphisms on a commutative unital ring R. If Spec(R) has no infinite antichains and either R a domain or G finitely generated, then R ^G  ? R has the lying-over property. If R is semiquasilocal and dim(R) = 0, then dim(R ^G ) = 0. If 1 ≤ d ≤ ∞, new examples are given such that d = dim(R) ≠ dim(R ^G ) < ∞. If G is locally finite on R, then R ^G  ? R satisfies universally going-down. Consequently, if G is locally finite, the S-domain, strong S-domain and universally strong S-domain properties descend from R to R ^G . If R is a domain, then G is locally finite on R ? R is integral over R ^G . One cannot delete the “domain” hypothesis.     

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.     

The Leading Ideal of a Complete Intersection of Height Two in a 2-Dimensional Regular Local Ring

Let (S,𝔫) be a 2-dimensional regular local ring and let I = (f, g) be an ideal in S generated by a regular sequence f, g of length two. Let I* be the leading ideal of I in the associated graded ring gr𝔫(S), and set R = S/I and 𝔪 = 𝔫/I. In Goto et al. (2007 Goto , S. , Heinzer , W. , Kim , M.-K. ( 2007 ). The leading ideal of a complete intersection of height two, II . J. Algebra 312 : 709 – 732 . [Google Scholar]), we prove that if μ _G (I*) = n, then I* contains a homogeneous system {ξ _i }_1≤i≤n of generators such that deg ξ _i  + 2 ≤ deg ξ _i+1 for 2 ≤ i ≤ n ? 1, and ht _G (ξ₁, ξ₂,…, ξ _n?1) = 1, and we describe precisely the Hilbert series H(gr𝔪(R), λ) in terms of the degrees c _i of the ξ _i and the integers d _i , where d _i is the degree of D _i  = GCD(ξ₁,…, ξ _i ). To the complete intersection ideal I = (f, g)S we associate a positive integer n with 2 ≤ n ≤ c ₁ + 1, an ascending sequence of positive integers (c ₁, c ₂,…, c _n ), and a descending sequence of integers (d ₁ = c ₁, d ₂,…, d _n  = 0) such that c _i+1 ? c _i  > d _i?1 ? d _i  > 0 for each i with 2 ≤ i ≤ n ? 1. We establish here that this necessary condition is also sufficient for there to exist a complete intersection ideal I = (f, g) whose leading ideal has these invariants. We give several examples to illustrate our theorems.     

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.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

Weak Global Dimension of Coherent Rings

In this article, we study the weak global dimension of coherent rings in terms of the left FP-injective resolutions of modules. Let R be a left coherent ring and ? ? the class of all FP-injective left R-modules. It is shown that wD(R) ≤ n (n ≥ 1) if and only if every nth ? ?-syzygy of a left R-module is FP-injective; and wD(R) ≤ n (n ≥ 2) if and only if every (n ? 2)th ? ?-syzygy in a minimal ? ?-resolution of a left R-module has an FP-injective cover with the unique mapping property. Some results for the weak global dimension of commutative coherent rings are also given.     

Inverse Spectral Problems in Rectangular Domains

We consider the Schrödinger operator ? Δ + q in domains of the form R = {x ∈ ? ⁿ : 0 ≤ x _i  ≤ a _i , i = 1,…, n} with either Dirichlet or Neumann boundary conditions on the faces of R, and study the constraints on q imposed by fixing the spectrum of ? Δ + q with these boundary conditions. We work in the space of potentials, q, which become real-analytic on ? ⁿ when they are extended evenly across the coordinate planes and then periodically. Our results have the corollary that there are no continuous isospectral deformations for these operators within that class of potentials. This work is based on new formulas for the trace of the wave group in this setting. In addition to the inverse spectral results these formulas lead to asymptotic expansions for the traces of the wave and heat kernels on rectangular domains.     

Flat Riemannian Manifolds as Torus Bundles

Vasquez showed that for any finite group G there exists a number n(G) such that for every flat Riemannian manifold M with holonomy group G there exists a fiber bundle T → M → N, where T is a flat torus and N is a flat manifold of dimension less than or equal to n(G). We show that n(H) ≤ n(G) if H Δ leftG or G = N ? H and use this result to describe groups with the Vasquez number equal to 2 or 3.     

Prophet Regions for Independent [0, 1]-Valued Random Variables with Random Discounting

Abstract

Let X ₁, X ₂… and B ₁, B ₂… be mutually independent [0, 1]-valued random variables, with EB _j  = β > 0 for all j. Let Y _j  = B ₁ … sB _j?1 X _j for j ≥ 1. A complete comparison is made between the optimal stopping value V(Y ₁,…,Y _n ):=sup{EY _τ:τ is a stopping rule for Y ₁,…,Y _n } and E(max _1≤j≤n Y _j ). It is shown that the set of ordered pairs {(x, y):x = V(Y ₁,…,Y _n ), y = E(max _1≤j≤n Y _j ) for some sequence Y ₁,…,Y _n obtained as described} is precisely the set {(x, y):0 ≤ x ≤ 1, x ≤ y ≤ Ψ _{n, β}(x)}, where Ψ _{n, β}(x) = [(1 ? β)n + 2β]x ? β^?(n?2) x ² if x ≤ β ^n?1, and Ψ _{n, β}(x) = min _j≥1{(1 ? β)jx + β ^j } otherwise. Sharp difference and ratio prophet inequalities are derived from this result, and an analogous comparison for infinite sequences is obtained.