skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A CLASSIFICATION OF LAGRANGIAN PLANES IN HOLOMORPHIC SYMPLECTIC VARIETIES
Classically, an indecomposable class $$R$$ in the cone of effective curves on a K3 surface $$X$$ is representable by a smooth rational curve if and only if $$R^{2}=-2$$ . We prove a higher-dimensional generalization conjectured by Hassett and Tschinkel: for a holomorphic symplectic variety $$M$$ deformation equivalent to a Hilbert scheme of $$n$$ points on a K3 surface, an extremal curve class $$R\in H_{2}(M,\mathbb{Z})$$ in the Mori cone is the line in a Lagrangian $$n$$ -plane $$\mathbb{P}^{n}\subset M$$ if and only if certain intersection-theoretic criteria are met. In particular, any such class satisfies $$(R,R)=-\frac{n+3}{2}$$ , and the primitive such classes are all contained in a single monodromy orbit.  more » « less
Award ID(s):
1702149
PAR ID:
10066075
Author(s) / Creator(s):
Date Published:
Journal Name:
Journal of the Institute of Mathematics of Jussieu
Volume:
16
Issue:
04
ISSN:
1474-7480
Page Range / eLocation ID:
859 to 877
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We show that if an exact special Lagrangian $$N\subset {\mathbb {C}}^n$$ N ⊂ C n has a multiplicity one, cylindrical tangent cone of the form $${\mathbb {R}}^{k}\times {\textbf{C}}$$ R k × C where $${\textbf{C}}$$ C is a special Lagrangian cone with smooth, connected link, then this tangent cone is unique provided $${\textbf{C}}$$ C satisfies an integrability condition. This applies, for example, when $${\textbf{C}}= {\textbf{C}}_{HL}^{m}$$ C = C HL m is the Harvey-Lawson $$T^{m-1}$$ T m - 1 cone for $$m\ne 8,9$$ m ≠ 8 , 9 . 
    more » « less
  2. Abstract We prove Ilmanen’s resolution of point singularities conjecture by establishing short-time smoothness of the level set flow of a smooth hypersurface with isolated conical singularities. This shows how the mean curvature flow evolves through asymptotically conical singularities. Precisely, we prove that the level set flow of a smooth hypersurface$$M^{n}\subset \mathbb{R}^{n+1}$$ M n R n + 1 ,$$2\leq n\leq 6$$ 2 n 6 , with an isolated conical singularity is modeled on the level set flow of the cone. In particular, the flow fattens (instantaneously) if and only if the level set flow of the cone fattens. 
    more » « less
  3. null (Ed.)
    Abstract The duality principle for group representations developed in Dutkay et al. (J Funct Anal 257:1133–1143, 2009), Han and Larson (Bull Lond Math Soc 40:685–695, 2008) exhibits a fact that the well-known duality principle in Gabor analysis is not an isolated incident but a more general phenomenon residing in the context of group representation theory. There are two other well-known fundamental properties in Gabor analysis: the biorthogonality and the fundamental identity of Gabor analysis. The main purpose of this this paper is to show that these two fundamental properties remain to be true for general projective unitary group representations. Moreover, we also present a general duality theorem which shows that that muti-frame generators meet super-frame generators through a dual commutant pair of group representations. Applying it to the Gabor representations, we obtain that $$\{\pi _{\Lambda }(m, n)g_{1} \oplus \cdots \oplus \pi _{\Lambda }(m, n)g_{k}\}_{m, n \in {\mathbb {Z}}^{d}}$$ { π Λ ( m , n ) g 1 ⊕ ⋯ ⊕ π Λ ( m , n ) g k } m , n ∈ Z d is a frame for $$L^{2}({\mathbb {R}}\,^{d})\oplus \cdots \oplus L^{2}({\mathbb {R}}\,^{d})$$ L 2 ( R d ) ⊕ ⋯ ⊕ L 2 ( R d ) if and only if $$\cup _{i=1}^{k}\{\pi _{\Lambda ^{o}}(m, n)g_{i}\}_{m, n\in {\mathbb {Z}}^{d}}$$ ∪ i = 1 k { π Λ o ( m , n ) g i } m , n ∈ Z d is a Riesz sequence, and $$\cup _{i=1}^{k} \{\pi _{\Lambda }(m, n)g_{i}\}_{m, n\in {\mathbb {Z}}^{d}}$$ ∪ i = 1 k { π Λ ( m , n ) g i } m , n ∈ Z d is a frame for $$L^{2}({\mathbb {R}}\,^{d})$$ L 2 ( R d ) if and only if $$\{\pi _{\Lambda ^{o}}(m, n)g_{1} \oplus \cdots \oplus \pi _{\Lambda ^{o}}(m, n)g_{k}\}_{m, n \in {\mathbb {Z}}^{d}}$$ { π Λ o ( m , n ) g 1 ⊕ ⋯ ⊕ π Λ o ( m , n ) g k } m , n ∈ Z d is a Riesz sequence, where $$\pi _{\Lambda }$$ π Λ and $$\pi _{\Lambda ^{o}}$$ π Λ o is a pair of Gabor representations restricted to a time–frequency lattice $$\Lambda $$ Λ and its adjoint lattice $$\Lambda ^{o}$$ Λ o in $${\mathbb {R}}\,^{d}\times {\mathbb {R}}\,^{d}$$ R d × R d . 
    more » « less
  4. Abstract Given $$n$$ general points $$p_1, p_2, \ldots , p_n \in{\mathbb{P}}^r$$ it is natural to ask whether there is a curve of given degree $$d$$ and genus $$g$$ passing through them; by counting dimensions a natural conjecture is that such a curve exists if and only if $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor.\end{equation*}$$The case of curves with nonspecial hyperplane section was recently studied in [2], where the above conjecture was shown to hold with exactly three exceptions. In this paper, we prove a “bounded-error analog” for special linear series on general curves; more precisely we show that existence of such a curve subject to the stronger inequality $$\begin{equation*}n \leq \left\lfloor \frac{(r + 1)d - (r - 3)(g - 1)}{r - 1}\right\rfloor - 3.\end{equation*}$$Note that the $-3$ cannot be replaced with $-2$ without introducing exceptions (as a canonical curve in $${\mathbb{P}}^3$$ can only pass through nine general points, while a naive dimension count predicts twelve). We also use the same technique to prove that the twist of the normal bundle $$N_C(-1)$$ satisfies interpolation for curves whose degree is sufficiently large relative to their genus, and deduce from this that the number of general points contained in the hyperplane section of a general curve is at least $$\begin{equation*}\min\left(d, \frac{(r - 1)^2 d - (r - 2)^2 g - (2r^2 - 5r + 12)}{(r - 2)^2}\right).\end{equation*}$$ As explained in [7], these results play a key role in the author’s proof of the maximal rank conjecture [9]. 
    more » « less
  5. Abstract A hyperplane arrangement in $$\mathbb P^n$$ is free if $R/J$ is Cohen–Macaulay (CM), where $$R = k[x_0,\dots ,x_n]$$ and $$J$$ is the Jacobian ideal. We study the CM-ness of two related unmixed ideals: $$ J^{un}$$, the intersection of height two primary components, and $$\sqrt{J}$$, the radical. Under a mild hypothesis, we show these ideals are CM. Suppose the hypothesis fails. For equidimensional curves in $$\mathbb P^3$$, the Hartshorne–Rao module measures the failure of CM-ness and determines the even liaison class of the curve. We show that for any positive integer $$r$$, there is an arrangement for which $$R/J^{un}$$ (resp. $$R/\sqrt{J}$$) fails to be CM in only one degree, and this failure is by $$r$$. We draw consequences for the even liaison class of $$J^{un}$$ or $$\sqrt{J}$$. 
    more » « less