arXiv research

New tool helps classify invariant subvarieties in degenerations.

New proof for higher rank subvarieties in genus three.

Classifies GL(2,R)-invariant subvarieties with zero Lyapunov exponents.

Study identifies specific subvarieties in translation surfaces with quadratic field.

Constructs subvarieties in translation surface strata using combinatorial input.

Classifies GL(2,R)-invariant subvarieties in complex geometry.

We compute the algebraic hull of the Kontsevich-Zorich cocycle over any GL^+_2(R) invariant subvariety of the Hodge bundle, and derive from this finiteness results on such subvarieties.

A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set, the symplectic form and the metric define an almost complex structure; and the la…

Cominuscule subvarieties found in flag varieties.

Algebraic dimension is zero for generic complex structures on hypercomplex nilmanifolds.

Let G be a (real or complex) linear reductive algebraic group acting on an affine variety V. Let W be a subvariety. In this work we study how the G-orbits intersect W. We develop a criterion to determine when the intersection can be described as a finite union of orbits of a reductive subgroup. The conditions of the cr…

Taubes established fundamental properties of $J-$holomorphic subvarieties in dimension 4 in \cite{T1}. In this paper, we further investigate properties of reducible $J-$holomorphic subvarieties. We offer an upper bound of the total genus of a subvariety when the class of the subvariety is $J-$nef. For a spherical class…

Constructs a function to prove meromorphic differential strata don't have complete subvarieties.

Lecture notes on advanced geometry equations and subvarieties.

Let $X$ be a hyperkaehler manifold. Trianalytic subvarieties of $X$ are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a 2-dimensional complex torus $T$, the Hilbert scheme $T^{[n]}$ classifying zero-dimensional subschemes of $T$ admits a hype…

Let M be a hyperkaehler manifold, not necessarily compact, and $S\cong CP^1$ the set of complex structures induced by the quaternionic action. Trianalytic subvariety of M is a subvariety which is complex analytic with respect to all $I \in CP^1$. We show that for all $I \in S$ outside of a countable set, all compact co…

We study the relation between $J$-anti-invariant $2$-forms and pseudoholomorphic curves in this paper. We show the zero set of a closed $J$-anti-invariant $2$-form on an almost complex $4$-manifold supports a $J$-holomorphic subvariety in the canonical class. This confirms a conjecture of Draghici-Li-Zhang. A higher di…

The paper explores anomalous subvarieties in hyperbolic 3-manifolds and their geometric implications.

Study identifies subvarieties of projective varieties mapping to models.

Classify projective subvarieties in Bogomolov-Guan manifolds using quasi-diagonals.

In this paper we define a new invariant of the incomplete hyperbolic structures on a 1-cusped finite volume hyperbolic 3-manifold M, called the ortholength invariant. We show that away from a (possibly empty) subvariety of excluded values this invariant both locally parameterises equivalence classes of hyperbolic struc…

A natural oriented (2k+2)-chain in CP^{2k+1} with boundary twice RP^{2k+1}, its complex shade, is constructed. Via intersection numbers with the shade, a new invariant, the shade number of k-dimensional subvarieties with normal vector fields along their real part, is introduced. For an even-dimensional real variety, th…

Totally geodesic subvarieties in moduli space are locally rigid.

Gromoll and Meyer have represented a certain exotic 7-sphere $Σ^7$ as a biquotient of the Lie group $G = Sp(2)$. We show for a 2-parameter family of left invariant metrics on $G$ that the induced metric on $Σ^7$ has strictly positive sectional curvature at all points outside four subvarieties of codimension $\geq 1$ wh…

We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the…

We show that any totally geodesic submanifold of Teichmuller space of dimension greater than one covers a totally geodesic subvariety, and only finitely many totally geodesic subvarieties of dimension greater than one exist in each moduli space.

In this paper we give examples of closed smooth submanifolds of RP^n which are isotopic to nonsingular projective subvarieties of RP^n but they can not be isotopic to the real parts of nonsingular complex projective subvarieties of CP^n.

A self-dual harmonic 2-form on a 4-dimensional Riemannian manifold is symplectic where it does not vanish. Furthermore, away from the form's zero set, the metric with the 2-form give a compatible almost complex structure and thus pseudo-holomorphic subvarieties. Such a subvariety is said to have finite energy when the …

In this paper, we obtain optimal $L^2$ extension of holomorphic sections of a holomorphic vector bundle from subvarieties in weakly pseudoconvex Kähler manifolds. Moreover, in the case of line bundle the Hermitian metric is allowed to be singular.

For certain compact complex Fano manifolds $M$ with reductive Lie algebras of holomorphic vector fields, we determine the analytic subvariety of the second cohomology group of $M$ consisting of Kähler classes whose Bando-Calabi-Futaki character vanishes. Then a Kähler class contains a Kähler metric of constant scalar c…

We show that a general $n$-dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp lower bound for the volume of a purely one-dimensional complex analytic subvariety i…

We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these fa…

A hypercomplex manifold M is a manifold with a triple I,J,K of complex structure operators satisfying quaternionic relations. For each quaternion L=aI +bJ+cK, L^2=-1, L is also a complex structure operator on M, called an induced complex structure. We are studying compact complex subvarieties of (M,L), when L is a gene…

The Oeljeklaus-Toma (OT-) manifolds are compact, complex, non-Kahler manifolds constructed by Oeljeklaus and Toma, and generalizing the Inoue surfaces. Their construction uses the number-theoretic data: a number field $K$ and a torsion-free subgroup $U$ in the group of units of the ring of integers of $K$, with rank of…

A new flow connects manifold invariants with critical exponents.

We classify GL(2,R) invariant point markings over components of strata of Abelian differentials. Such point markings exist only when the component is hyperelliptic and arise from marking Weierstrass points or two points exchanged by the hyperelliptic involution. We show that these point markings can be used to determin…

This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$. A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1…

The study proves semisimplicity of totally geodesic subvarieties in moduli spaces of Riemann surfaces.

In this article we use the "escape from subvarieties lemma" introduced by Eskin--Mozes--Oh to prove finite step rigidity results for the Jordan-Lyapunov projection spectra of Hitchin representations and the Margulis-Smilga invariant spectra of some special Margulis-Smilga spacetimes. In the process, we also prove a sim…

In this note we survey recent results on the extrinsic geometry of the Jacobian locus inside $\mathsf{A}_g$. We describe the second fundamental form of the Torelli map as a multiplication map, recall the relation between totally geodesic subvarieties and Hodge loci and survey various results related to totally geodesic…

Let $(M,ω)$ be a Kahler manifold. An integrable function on M is called $ω^q$-plurisubharmonic if it is subharmonic on all q-dimensional complex subvarieties. We prove that a smooth $ω^q$-plurisubharmonic function is q-convex. A continuous $ω^q$-plurisubharmonic function admits a local approximation by smooth, $ω^q$-pl…

Study linear subvarieties of meromorphic differential strata, proving toric closures and new proofs of theorems.

I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results ha…

The generalized volume conjecture and the AJ conjecture (a.k.a. the quantum volume conjecture) are extended to $U_q(\fraksl_2)$ colored quantum invariants of the theta and tetrahedron graph. The $\SL(2,\bC)$ character variety of the fundamental group of the complement of a trivalent graph with $E$ edges in $S^3$ is a L…

Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on 2-forms. If the curvature is square-integrable, then $F$ is stable and its singulariti…

Totally geodesic subvarieties in moduli spaces are studied.

We describe a family of calibrations arising naturally on a hyperkähler manifold $M$. These calibrations calibrate the holomorphic Lagrangian, holomorphic isotropic and holomorphic coisotropic subvarieties. When $M$ is an HKT (hyperkaehler with torsion) manifold with holonomy $SL(n, {\Bbb H})$, we construct another fam…

Study on images and singularities of pseudoholomorphic maps.