Search

The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double point divisor from outer projection is always base point free, and Bo Ilic proved that it is ample except for a Roth variety. The first aim of this paper is to show that the double point divisor from outer projection is very ample except in the Roth case. This answers a question of Bo Ilic. Unlike the case of outer projection, the double point divisor from inner projection may not be base point free nor ample. However, Atsushi Noma proved that it is semiample except when a variety is neither a Roth variety, a scroll over a curve, nor the second Veronese surface. In this paper, we investigate when the double point divisor from inner projection is base point free or big., Comment: 33 pages, comments are welcome

This is a survey paper on recent work on syzygies of algebraic varieties. We discuss the gonality conjecture on weight-one syzygies of algebraic curves, syzygies of secant varieties of algebraic curves, syzygies of tangent developable surfaces and Green's conjecture on syzygies of canonical curves, and asymptotic syzygies of algebraic varieties. All results considered in this paper were proven using the geometry of symmetric products of algebraic curves., Comment: 22 pages, survey paper for Proceedings of MSJ-KMS Joint Meeting held in Sendai in September 2023

In 1986, Green-Lazarsfeld raised the gonality conjecture asserting that the gonality $\operatorname{gon}(C)$ of a smooth projective curve $C$ of genus $g\geq 2$ can be read off from weight-one syzygies of a sufficiently positive line bundle $L$ on $C$, and also proposed possible least degree of such a line bundle. In 2015, Ein-Lazarsfeld proved the conjecture when $\operatorname{deg} L$ is sufficiently large, but the effective part of the conjecture remained widely open and was reformulated explicitly by Farkas-Kemeny. In this paper, we establish an effective vanishing theorem for weight-one syzygies, which implies that the gonality conjecture holds if $\operatorname{deg} L \geq 2g+\operatorname{gon}(C)$ or $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$ and $C$ is not a plane curve. As Castryck observed that the gonality conjecture may not hold for a plane curve when $\operatorname{deg} L = 2g+\operatorname{gon}(C)-1$, our theorem is the best possible and thus gives a complete answer to the gonality conjecture., Comment: 21 pages, comments are welcome

The purpose of this note is twofold. First, we give a quick proof of Ballico-Chiantini's theorem stating that a Fano or Calabi-Yau variety of dimension at least 4 in codimension two is a complete intersection. Second, we improve Barth-Van de Ven's result asserting that if the degree of a smooth projective variety of dimension $n$ is less than approximately $0.63 \cdot n^{1/2}$, then it is a complete intersection. We show that the degree bound can be improved to approximately $0.79 \cdot n^{2/3}$., Comment: 10 pages

While recent advancements in animatable human rendering have achieved remarkable results, they require test-time optimization for each subject which can be a significant limitation for real-world applications. To address this, we tackle the challenging task of learning a Generalizable Neural Human Renderer (GNH), a novel method for rendering animatable humans from monocular video without any test-time optimization. Our core method focuses on transferring appearance information from the input video to the output image plane by utilizing explicit body priors and multi-view geometry. To render the subject in the intended pose, we utilize a straightforward CNN-based image renderer, foregoing the more common ray-sampling or rasterizing-based rendering modules. Our GNH achieves remarkable generalizable, photorealistic rendering with unseen subjects with a three-stage process. We quantitatively and qualitatively demonstrate that GNH significantly surpasses current state-of-the-art methods, notably achieving a 31.3% improvement in LPIPS.

We tackle the task of multi-view, multi-person 3D human pose estimation from a limited number of uncalibrated depth cameras. Recently, many approaches have been proposed for 3D human pose estimation from multi-view RGB cameras. However, these works (1) assume the number of RGB camera views is large enough for 3D reconstruction, (2) the cameras are calibrated, and (3) rely on ground truth 3D poses for training their regression model. In this work, we propose to leverage sparse, uncalibrated depth cameras providing RGBD video streams for 3D human pose estimation. We present a simple pipeline for Multi-View Depth Human Pose Estimation (MVD-HPE) for jointly predicting the camera poses and 3D human poses without training a deep 3D human pose regression model. This framework utilizes 3D Re-ID appearance features from RGBD images to formulate more accurate correspondences (for deriving camera positions) compared to using RGB-only features. We further propose (1) depth-guided camera-pose estimation by leveraging 3D rigid transformations as guidance and (2) depth-constrained 3D human pose estimation by utilizing depth-projected 3D points as an alternative objective for optimization. In order to evaluate our proposed pipeline, we collect three video sets of RGBD videos recorded from multiple sparse-view depth cameras and ground truth 3D poses are manually annotated. Experiments show that our proposed method outperforms the current 3D human pose regression-free pipelines in terms of both camera pose estimation and 3D human pose estimation., Comment: 17 pages including appendix

The first secant variety $\Sigma$ of a rational normal curve of degree $d \geq 3$ is known to be a $\mathbf{Q}$-Fano threefold. In this paper, we prove that $\Sigma$ is K-polystable, and hence, $\Sigma$ admits a weak K\"{a}hler-Einstein metric. We also show that there exists a $(-K_{\Sigma})$-polar cylinder in $\Sigma$., Comment: 17 pages

The gonality conjecture, proved by Ein--Lazarsfeld, asserts that the gonality of a nonsingular projective curve of genus $g$ can be detected from its syzygies in the embedding given by a line bundle of sufficiently large degree. An effective result obtained by Rathmann says that any line bundle of degree at least 4g-3 would work in the gonality theorem. In this note, we improve the degree bound to 4g-4 with two exceptional cases., Comment: 8 pages, comments are welcome

The purpose of this paper is to prove that one can read off the gonality sequence of a smooth projective curve from syzygies of secant varieties of the curve embedded by a line bundle of sufficiently large degree. More precisely, together with Ein-Niu-Park's theorem, our main result shows that the gonality sequence of a smooth projective curve completely determines the shape of the minimal free resolutions of secant varieties of the curve of sufficiently large degree. This is a natural generalization of the gonality conjecture on syzygies of smooth projective curves established by Ein-Lazarsfeld and Rathmann to the secant varieties., Comment: 22 pages, any comments are welcome

We establish precise nonvanishing results for asymptotic syzygies of smooth projective varieties. This refines Ein-Lazarsfeld's asymptotic nonvanishing theorem. Combining with the author's previous asymptotic vanishing result, we completely determine the asymptotic shapes of the minimal free resolutions of the graded section modules of a line bundle on a smooth projective variety as the positivity of the embedding line bundle grows., Comment: 20 pages, comments are welcome! (v2: The last example was wrong in the previous version, so I replaced it with a new example.)

In order to serve better VR experiences to users, existing predictive methods of Redirected Walking (RDW) exploit future information to reduce the number of reset occurrences. However, such methods often impose a precondition during deployment, either in the virtual environment's layout or the user's walking direction, which constrains its universal applications. To tackle this challenge, we propose a novel mechanism F-RDW that is twofold: (1) forecasts the future information of a user in the virtual space without any assumptions, and (2) fuse this information while maneuvering existing RDW methods. The backbone of the first step is an LSTM-based model that ingests the user's spatial and eye-tracking data to predict the user's future position in the virtual space, and the following step feeds those predicted values into existing RDW methods (such as MPCRed, S2C, TAPF, and ARC) while respecting their internal mechanism in applicable ways.The results of our simulation test and user study demonstrate the significance of future information when using RDW in small physical spaces or complex environments. We prove that the proposed mechanism significantly reduces the number of resets and increases the traveled distance between resets, hence augmenting the redirection performance of all RDW methods explored in this work., Comment: 12 pages, 13 figures

We give simple geometric proofs of Aprodu-Farkas-Papadima-Raicu-Weyman's theorem on syzygies of tangent developable surfaces of rational normal curves and Raicu-Sam's result on syzygies of K3 carpets. As a consequence, we obtain a quick proof of Green's conjecture for general curves of genus $g$ over an algebraically closed field $\mathbf{k}$ with $\operatorname{char}(\mathbf{k}) = 0$ or $\operatorname{char}(\mathbf{k}) \geq \lfloor (g-1)/2 \rfloor$. We also show the arithmetic normality of tangent developable surfaces of arbitrary smooth projective curves of large degree., Comment: 16 pages. Comments are welcome

While recent camera-only 3D detection methods leverage multiple timesteps, the limited history they use significantly hampers the extent to which temporal fusion can improve object perception. Observing that existing works' fusion of multi-frame images are instances of temporal stereo matching, we find that performance is hindered by the interplay between 1) the low granularity of matching resolution and 2) the sub-optimal multi-view setup produced by limited history usage. Our theoretical and empirical analysis demonstrates that the optimal temporal difference between views varies significantly for different pixels and depths, making it necessary to fuse many timesteps over long-term history. Building on our investigation, we propose to generate a cost volume from a long history of image observations, compensating for the coarse but efficient matching resolution with a more optimal multi-view matching setup. Further, we augment the per-frame monocular depth predictions used for long-term, coarse matching with short-term, fine-grained matching and find that long and short term temporal fusion are highly complementary. While maintaining high efficiency, our framework sets new state-of-the-art on nuScenes, achieving first place on the test set and outperforming previous best art by 5.2% mAP and 3.7% NDS on the validation set. Code will be released $\href{https://github.com/Divadi/SOLOFusion}{here.}$, Comment: Code will be released at https://github.com/Divadi/SOLOFusion

Let $X$ be a Gorenstein canonical Fano variety of coindex $4$ and dimension $n$ with $H$ fundamental divisor. Assume $h^0(X, H) \geq n -2$. We prove that a general element of the linear system $|mH|$ has at worst canonical singularities for any integer $m \geq 1$. When $X$ has terminal singularities and $n \geq 5$, we show that a general element of $|mH|$ has at worst terminal singularities for any integer $m \geq 1$. When $n=4$, we give an example of Gorenstein terminal Fano fourfold $X$ such that a general element of $|H|$ does not have terminal singularities., Comment: 11 pages, contributed to Moscow-Shanghai-Pohang conference proceedings

While numerous 3D detection works leverage the complementary relationship between RGB images and point clouds, developments in the broader framework of semi-supervised object recognition remain uninfluenced by multi-modal fusion. Current methods develop independent pipelines for 2D and 3D semi-supervised learning despite the availability of paired image and point cloud frames. Observing that the distinct characteristics of each sensor cause them to be biased towards detecting different objects, we propose DetMatch, a flexible framework for joint semi-supervised learning on 2D and 3D modalities. By identifying objects detected in both sensors, our pipeline generates a cleaner, more robust set of pseudo-labels that both demonstrates stronger performance and stymies single-modality error propagation. Further, we leverage the richer semantics of RGB images to rectify incorrect 3D class predictions and improve localization of 3D boxes. Evaluating on the challenging KITTI and Waymo datasets, we improve upon strong semi-supervised learning methods and observe higher quality pseudo-labels. Code will be released at https://github.com/Divadi/DetMatch, Comment: https://github.com/Divadi/DetMatch

The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibers of a generic projection of $X$ by using Loewy length, and also bound the dimension of the varieties swept out by secant lines through the singular locus of $X$., Comment: 17 pages, to appear in Adv. Math

Learning the physical dynamics of deformable objects with particle-based representation has been the objective of many computational models in machine learning. While several state-of-the-art models have achieved this objective in simulated environments, most existing models impose a precondition, such that the input is a sequence of ordered point sets. That is, the order of the points in each point set must be the same across the entire input sequence. This precondition restrains the model from generalizing to real-world data, which is considered to be a sequence of unordered point sets. In this paper, we propose a model named time-wise PointNet (TP-Net) that solves this problem by directly consuming a sequence of unordered point sets to infer the future state of a deformable object with particle-based representation. Our model consists of a shared feature extractor that extracts global features from each input point set in parallel and a prediction network that aggregates and reasons on these features for future prediction. The key concept of our approach is that we use global features rather than local features to achieve invariance to input permutations and ensure the stability and scalability of our model. Experiments demonstrate that our model achieves state-of-the-art performance with real-time prediction speed in both synthetic dataset and real-world dataset. In addition, we provide quantitative and qualitative analysis on why our approach is more effective and efficient than existing approaches.

The purpose of this paper is to establish a subadditivity theorem of Okounkov bodies for algebraic fiber spaces. As applications, we obtain a product formula of the restricted canonical volumes for algebraic fiber spaces and a sufficient condition for an algebraic fiber space to be birationally isotrivial in terms of Okounkov bodies when a general fiber is of general type. Furthermore, we also prove the subadditivity of the numerical Iitaka dimensions for algebraic fiber spaces, and this confirms some numerical variants of the Iitaka conjecture. We hope that our results would provide a new approach toward the Iitaka conjecture.

To seek for the useful numerical analogues to the Iitaka dimension, various numerical Iitaka dimensions have been defined from a number of different perspectives. It has been accepted that all the known numerical Iitaka dimensions coincide with each other until the recent discovery of a counterexample constructed by Lesieutre. In this paper, we prove that many of them still coincide with the numerical Iitaka dimension introduced by Boucksom-Demailly-P\u{a}un-Peternell. On the other hand, we show that some other numerical Iitaka dimensions introduced by Nakayama and Lehmann can be arbitrarily larger than the rest of numerical Iitaka dimensions. We also study some properties of abundant divisors., Comment: 22 pages, comments welcome

The purpose of this paper is to prove Ein--Lazarsfeld's conjecture on asymptotic vanishing of syzygies of algebraic varieties. This result, together with Ein--Lazarsfeld's asymptotic nonvanishing theorem, describes the overall picture of asymptotic behaviors of the minimal free resolutions of the graded section rings of line bundles on a projective variety as the positivity of the line bundles grows. Previously, Raicu reduced the problem to the case of products of three projective spaces, and we resolve this case here., Comment: 14 pages, final version (to appear in Comm. Amer. Math. Soc.)

Point clouds and RGB images are naturally complementary modalities for 3D visual understanding - the former provides sparse but accurate locations of points on objects, while the latter contains dense color and texture information. Despite this potential for close sensor fusion, many methods train two models in isolation and use simple feature concatenation to represent 3D sensor data. This separated training scheme results in potentially sub-optimal performance and prevents 3D tasks from being used to benefit 2D tasks that are often useful on their own. To provide a more integrated approach, we propose a novel Multi-Modality Task Cascade network (MTC-RCNN) that leverages 3D box proposals to improve 2D segmentation predictions, which are then used to further refine the 3D boxes. We show that including a 2D network between two stages of 3D modules significantly improves both 2D and 3D task performance. Moreover, to prevent the 3D module from over-relying on the overfitted 2D predictions, we propose a dual-head 2D segmentation training and inference scheme, allowing the 2nd 3D module to learn to interpret imperfect 2D segmentation predictions. Evaluating our model on the challenging SUN RGB-D dataset, we improve upon state-of-the-art results of both single modality and fusion networks by a large margin ($\textbf{+3.8}$ mAP@0.5). Code will be released $\href{https://github.com/Divadi/MTC_RCNN}{\text{here.}}$

In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfies the property $N_{k+2, p}$. In addition, the singularities of the secant varieties are further classified according to the genus of the curve, and the Castelnuovo--Mumford regularities are also obtained as well. As one of the main technical ingredients, we establish a vanishing theorem on the Cartesian products of the curve, which may have independent interests and may find applications elsewhere., Comment: 36 pages. Comments are welcome

In recent years, the interaction between the local positivity of divisors and Okounkov bodies has attracted considerable attention, and there have been attempts to find a satisfactory theory of positivity of divisors in terms of convex geometry of Okounkov bodies. Many interesting results in this direction have been established by Choi--Hyun--Park--Won and K\"{u}ronya--Lozovanu separately. The first aim of this paper is to give uniform proofs of these results. Our approach provides not only a simple new outlook on the theory but also proofs for positive characteristic in the most important cases. Furthermore, we extend the theorems on Seshadri constants to graded linear series setting. Finally, we introduce the integrated volume function to investigate the relation between Seshadri constants and filtered Okounkov bodies introduced by Boucksom--Chen., Comment: 21 pages. Final version

Let $X\subseteq \mathbb{P}^N$ be a non-degenerate normal projective variety of codimension $e$ and degree $d$ with isolated $\mathbb{Q}$-Gorenstein singularities. We prove that the Castelnuovo-Mumford regularity $\text{reg}(\mathcal{O}_{X})\le d-e$, as predicted by the Eisenbud-Goto regularity conjecture. Such a bound fails for general projective varieties. The main techniques are Noma's classification of non-degenerated projective varieties and Nadel vanishing for multiplier ideals. We also classify the extremal and the next to extremal cases., Comment: A mistake in Section 3.4 of the last version is corrected with the proof presented in Section 4 of the current version. Previous Section 4, now 5, is simplified

We continue to explore the numerical nature of the Okounkov bodies focusing on the local behaviors near given points. More precisely, we show that the set of Okounkov bodies of a pseudoeffective divisor with respect to admissible flags centered at a fixed point determines the local numerical equivalence class of divisors which is defined in terms of refined divisorial Zariski decompositions. Our results extend Ro\'{e}'s work on surfaces to higher dimensional varieties although our proof is essentially different in nature., Comment: 20 pages

We generalize Kawamata's product formula for volumes of canonical divisors to arbitrary divisors using Okounkov bodies, Comment: 13 pages. Final version

The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: smooth projective varieties with 2-regular structure sheaf. First, we give a classification of such varieties using adjunction mappings. Next, under suitable conditions, we study the syzygies of section rings of those varieties to understand the structure of the Betti tables, and show a sharp bound for Castelnuovo-Mumford regularity., Comment: 13 pages

The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations., Comment: 28 pages, comments welcome, we have clarified the issue on numerical Iitaka dimensions

We first prove some basic properties of Okounkov bodies, and give a characterization of Nakayama and positive volume subvarieties of a pseudoeffective divisor in terms of Okounkov bodies. Next, we show that each valuative and limiting Okounkov bodies of a pseudoeffective divisor which admits the birational good Zariski decomposition is a rational polytope with respect to some admissible flag. This is an extension of the result of Anderson-K\"{u}ronya-Lozovanu about the rational polyhedrality of Okounkov bodies of big divisors with finitely generated section rings., Comment: 14 pages, deleted previous Section 5 and fixed several gaps in the previous version. to appear in Taiwanese J. Math. (special issue for the proceedings of the conference Algebraic Geometry in East Asia 2016)

The aim of this paper is twofold. Firstly, we determine which blow-ups of products of projective spaces at general points are varieties of Fano type, and give boundary divisors making these spaces log Fano pairs. Secondly, we describe generators of the Cox rings of some cases., Comment: 8 pages, final version, to appear in Proc. Amer. Math. Soc

Let $X \subseteq \mathbb{P}^r$ be a scroll of codimension $e$ and degree $d$ over a smooth projective curve of genus $g$. The purpose of this paper is to prove a linear Castelnuovo-Mumford regularity bound that reg$(X) \leq d-e+1+g(e-1)$. This bound works over an algebraically closed field of arbitrary characteristic., Comment: 10 pages. to appear in J. Algebra

The purpose of this paper is to investigate the close relation between Okounkov bodies and Zariski decompositions of pseudoeffective divisors on smooth projective surfaces. Firstly, we completely determine the limiting Okounkov bodies on such surfaces, and give applications to Nakayama constants and Seshadri constants. Secondly, we study how the shapes of Okounkov bodies change as we vary the divisors in the big cone., Comment: 16 pages, Changed Section 5 and corrected typos, to appear in Bull. Korean. Math. Soc. (special volume for Magadan Conference)

The aim of this paper is to study geometric properties of non-degenerate smooth projective varieties of small degree from a birational point of view. First, using the positivity property of double point divisors and the adjunction mappings, we classify smooth projective varieties in $\mathbb P^r$ of degree $d \leq r+2$, and consequently, we show that such varieties are simply connected and rationally connected except in a few cases. This is a generalization of P. Ionescu's work. We also show the finite generation of Cox rings of smooth projective varieties in $\mathbb P^r$ of degree $d \leq r$ with counterexamples for $d=r+1, r+2$. On the other hand, we prove that a non-uniruled smooth projective variety in $\mathbb P^r$ of dimension $n$ and degree $d \leq n(r-n)+2$ is Calabi-Yau, and give an example that shows this bound is also sharp., Comment: To appear in Math. Proc. Cambridge Philos. Soc

To study syzygies of the Cox rings of del Pezzo surfaces, we calculate important syzygetic invariants such as the Hilbert functions, the Green-Lazarsfeld indices, the projective dimensions, and the Castelnuovo-Mumford regularities. Using these computations as well as the natural multigrading structures by the Picard groups of del Pezzo surfaces and Weyl group actions on Picard lattices, we determine the Betti diagrams of the Cox rings of del Pezzo surfaces of degree at most four., Comment: 15 pages, final version

An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective divisors as in the case with big divisors. Our results extend the works of Lazarsfeld-Musta\c{t}\u{a} and Kaveh-Khovanskii. For this purpose, we define and study special subvarieties, called the Nakayama subvarieties and the positive volume subvarieties, associated to pseudoeffective divisors., Comment: 24 pages. Final version. To appear in J. London Math. Soc

An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the size of simplexes contained in the Okounkov bodies., Comment: 17 pages. Final version