Higher Secant Varieties of ℙ n × ℙ1 Embedded in Bi-Degree (a,b)

In this article, we compute the dimension of all the higher secant varieties to the Segre–Veronese embedding of ? ⁿ × ?¹ via the section of the sheaf 𝒪(a, b) for any n, a, b ∈ ?⁺. We relate this result to the Grassmann Defectivity of Veronese varieties and we classify all the Grassmann (1, s ? 1)-defective Veronese varieties.     

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.     

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.     

Irreducibility Criterion Over Finite Fields

The aim of this article is to prove the irreducibility of the polynomial Λ(Y) = Y ^d  + λ _d?1 Y ^d?1 + … + λ₀ over 𝔽 _q [X] where λ _i ∈ 𝔽 _q [X] and deg λ _d?1 > deg λ _i for each i ≠ d ? 1. We discuss in particular connections between the irreducible polynomials Λ and the number of Pisot elements in the case of formal power series.     

On multisecants and the Green-Lazarsfeld index of projective varieties

It is well known that a nondegenerate projective subvariety X ì \mathbb P^r{X \subset \mathbb {P}^r} of degree d and codimension c > 1 has minimal degree (i.e., d = c + 1) if and only if index(X) ≥ c if and only if X has no multisecant c-space. In this paper we extend this result by classifying varieties with index(X) ≥ c − s or with no multisecant (c − s)-space for s = 1 and 2.     

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.     

Irreducible Representations of the Quantum Weyl Algebra at Roots of Unity Given by Matrices

To describe the representation theory of the quantum Weyl algebra at an lth primitive root γ of unity, Boyette, Leyk, Plunkett, Sipe, and Talley found all nonsingular irreducible matrix solutions to the equation yx ? γxy = 1, assuming yx ≠ xy. In this note, we complete their result by finding and classifying, up to equivalence, all irreducible matrix solutions (X, Y), where X is singular.     

Geometry of curves with exceptional secant planes: linear series along the general curve

We study linear series on a general curve of genus g, whose images are exceptional with regard to their secant planes. Working in the framework of an extension of Brill?CNoether theory to pairs of linear series, we prove that a general curve has no linear series with exceptional secant planes, in a very precise sense, whenever the total number of series is finite. Next, we partially solve the problem of computing the number of linear series with exceptional secant planes in a one-parameter family in terms of tautological classes associated with the family, by evaluating our hypothetical formula along judiciously-chosen test families. As an application, we compute the number of linear series with exceptional secant planes on a general curve equipped with a one-dimensional family of linear series. We pay special attention to the extremal case of d-secant (d ? 2)-planes to (2d ? 1)-dimensional series, which appears in the study of Hilbert schemes of points on surfaces. In that case, our formula may be rewritten in terms of hypergeometric series, which allows us both to prove that it is nonzero and to deduce its asymptotics in d.     

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 Normality of Special Scrolls

We study the projective normality of a linearly normal special scroll R of degree d and speciality i over a smooth curve X of genus g. We relate it with the Clifford index of the base curve X. If d ≥ 4g ? 2i ? Cliff(X) + 1, i ≥ 3 and R is smooth, we prove that the projective normality of the scroll is equivalent to the projective normality of its directrix curve of minimum degree.     

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.     

Secant planes of projective curves embedded by nonspecial line bundles

For a nonspecial line bundle ? on a smooth curve X we consider a presentation ??𝒦_X?D+E which is minimal with respect to deg E. If ? is very ample, then this minimality means that any n-points of φ_?(X) with n≤deg E?1 are in general position while φ_?(E) spans a (deg E?2)-plane. In this work, we investigate conditions on D and E for ??𝒦_X?D+E to be minimal. We also observe s-secant (s?k?1)-planes which are minimal with respect to the secant degree s for a given k. We apply minimal presentations to problems about the exactness of Green-Lazarsfeld’s conjecture on property (N_p).     

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 Commutativity and Centrality in Infinite Rings

We show that if R is an infinite ring such that XY ∩ YX ≠ ? for all infinite subsets X and Y, then R is commutative. We also prove that in an infinite ring R, an element a ∈ R is central if and only if aX ∩ Xa ≠ ? for all infinite subsets X.     

Remotality of Closed Bounded Convex Sets in Reflexive Spaces

Let X be a Banach space and E be a closed bounded subset of X. For x ? X, we define D(x, E) = sup{‖ x ? e‖:e ? E}. The set E is said to be remotal (in X) if, for every x ? X, there exists e ? E such that D(x, E) = ‖x ? e‖. The object of this paper is to characterize those reflexive Banach spaces in which every closed bounded convex set is remotal. Such a result enabled us to produce a convex closed and bounded set in a uniformly convex Banach space that is not remotal. Further, we characterize Banach spaces in which every bounded closed set is remotal.     

Explicitly Extending Frobenius Splittings over Finite Maps

Suppose that π: Y → X is a finite map of normal varieties over a perfect field of characteristic p > 0. Previous work of the authors gave a criterion for when Frobenius splittings on X (or more generally any p ^?e -linear map) extend to Y. In this paper we give an alternate and highly explicit proof of this criterion (checking term by term) when π is tamely ramified in codimension 1. Some additional examples are also explored.     

The Primitive Sharp Permutation Groups of Twisted Wreath Type

A permutation group G ≤ Sym(X) on a finite set X is sharp if |G|=∏ _l?L(G)(|X| ? l), where L(G) = {|fix(g)| | 1 ≠ g ? G}. We show that no finite primitive permutation groups of twisted wreath type are sharp.     

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.     

Effective divisors on {\overline{\mathcal{M}}_g} associated to curves with exceptional secant planes

This article is a sequel to Cotterill (Math Zeit 267(3):549–582, 2011), in which the author studies secant planes to linear series on a curve that is general in moduli. In that paper, the author proves that a general curve has no linear series with exceptional secant planes, in a very precise sense. Consequently, it makes sense to study effective divisors on ${\overline{\mathcal{M}}_g}$ associated to curves equipped with secant-exceptional linear series. Here we describe a strategy for computing the classes of those divisors. We pay special attention to the extremal case of (2d ? 1)-dimensional series with d-secant (d ? 2)-planes, which appears in the study of Hilbert schemes of points on surfaces. In that case, modulo a combinatorial conjecture, we obtain hypergeometric expressions for tautological coefficients that enable us to deduce the asymptotics in d of our divisors’ virtual slopes.