-
D-convolution categories and Hopf algebras
Authors:
Wenjun Niu
Abstract:
For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of Harish-Chandra bimodules. Combining the work of Beilinson-Drinfeld on D-modules and Hecke patterns with the recent work of the author with Dimofte and Py, we show that each…
▽ More
For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of Harish-Chandra bimodules. Combining the work of Beilinson-Drinfeld on D-modules and Hecke patterns with the recent work of the author with Dimofte and Py, we show that each of the above categories (more precisely the equivariant version) is monoidal equivalent to a localization of the DG category of modules of a graded Hopf algebra. As a consequence, we give an explicit braided monoidal structure to the derived category of D-modules on $G/G_{ad}$, which when restricted to the heart, recovers the braiding of Bezrukavnikov-Finkelberg-Ostrik.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
1-shifted Lie bialgebras and their quantizations
Authors:
Wenjun Niu,
Victor Py
Abstract:
In this paper, we define (cohomologically) 1-shifted Manin triples and 1-shifted Lie bialgebras, and study their properties. We derive many results that are parallel to those found in ordinary Lie bialgebras, including the double construction and the existence of a 1-shifted $r$-matrix satisfying the classical Yang-Baxter equation.
Turning to quantization, we first construct a canonical quantiza…
▽ More
In this paper, we define (cohomologically) 1-shifted Manin triples and 1-shifted Lie bialgebras, and study their properties. We derive many results that are parallel to those found in ordinary Lie bialgebras, including the double construction and the existence of a 1-shifted $r$-matrix satisfying the classical Yang-Baxter equation.
Turning to quantization, we first construct a canonical quantization for each 1-shifted metric Lie algebra $\mathfrak{g}$, producing a deformation to the symmetric monoidal category of $\mathfrak{g}$ modules over a formal variable $\hbar$. This quantization is in terms of a curved differential graded algebra. Under a further technical assumption, we construct quantizations of transverse Lagrangian subalgebras of $\mathfrak{g}$, which is a pair of DG algebras connected by Koszul duality, and give rise to monoidal module categories of the quantized double.
Finally, we apply this to Manin triples arising from Lie algebras of loop groups, and construct 1-shifted meromorphic $r$-matrices. The resulting quantizations are the cohomologically-shifted analogue of Yangians.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
Quantum groupoids from moduli spaces of $G$-bundles
Authors:
Raschid Abedin,
Wenjun Niu
Abstract:
In a previous work, we have constructed the Yangian $Y_\hbar (\mathfrak{d})$ of the cotangent Lie algebra $\mathfrak{d}=T^*\mathfrak{g}$ for a simple Lie algebra $\mathfrak{g}$, from the geometry of the equivariant affine Grassmanian associated to $G$ with $\mathfrak{g}=\mathrm{Lie}(G)$. In this paper, we construct a quantum groupoid $Υ_\hbar^σ(\mathfrak{d})$ associated to $\mathfrak{d}$ over a fo…
▽ More
In a previous work, we have constructed the Yangian $Y_\hbar (\mathfrak{d})$ of the cotangent Lie algebra $\mathfrak{d}=T^*\mathfrak{g}$ for a simple Lie algebra $\mathfrak{g}$, from the geometry of the equivariant affine Grassmanian associated to $G$ with $\mathfrak{g}=\mathrm{Lie}(G)$. In this paper, we construct a quantum groupoid $Υ_\hbar^σ(\mathfrak{d})$ associated to $\mathfrak{d}$ over a formal neighbourhood of the moduli space of $G$-bundles and show that it is a dynamical twist of $Y_\hbar(\mathfrak{d})$. Using this dynamical twist, we construct a dynamical quantum spectral $R$-matrix, which essentially controls the meromorphic braiding of $Υ_\hbar^σ(\mathfrak{d})$.
This construction is motivated by the Hecke action of the equivariant affine Grassmanian on the moduli space of $G$-bundles in the setting of coherent sheaves. Heuristically speaking, the quantum groupoid $Υ_\hbar^σ(\mathfrak{d})$ controls this action at a formal neighbourhood of a regularly stable $G$-bundle. From the work of Costello-Witten-Yamazaki, it is expected that this Hecke action should give rise to a dynamical integrable system. Our result gives a mathematical confirmation of this and an explicit $R$-matrix underlying the integrability.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Quantum Groups and Symplectic Reductions
Authors:
Wenjun Niu
Abstract:
Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody algebra. In this paper, we show that this Lie algebra can be made into a sheaf of Lie algebras over $T^*[V/G]=[μ^{-1}(0)/G]$, where $μ: T^*V\to \mathfrak{g}^*$ is…
▽ More
Let $G$ be a reductive algebraic group with Lie algebra $\mathfrak{g}$ and $V$ a finite-dimensional representation of $G$. Costello-Gaiotto studied a graded Lie algebra $\mathfrak{d}_{\mathfrak{g}, V}$ and the associated affine Kac-Moody algebra. In this paper, we show that this Lie algebra can be made into a sheaf of Lie algebras over $T^*[V/G]=[μ^{-1}(0)/G]$, where $μ: T^*V\to \mathfrak{g}^*$ is the moment map. We identify this sheaf of Lie algebras with the tangent Lie algebra of the stack $T^*[V/G]$. Moreover, we show that there is an equivalence of braided tensor categories between the bounded derived category of graded modules of $\mathfrak{d}_{\mathfrak{g}, V}$ and graded perfect complexes of $[μ^{-1}(0)/G]$.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Tannakian QFT: from spark algebras to quantum groups
Authors:
Tudor Dimofte,
Wenjun Niu
Abstract:
We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary conditions. The construction is a direct implementation of Tannakian formalism in QFT. Focusing on d=3 dimensional theories, we find topological definitions of R-m…
▽ More
We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary conditions. The construction is a direct implementation of Tannakian formalism in QFT. Focusing on d=3 dimensional theories, we find topological definitions of R-matrices, ribbon twists, and the Drinfeld double construction for generalized quantum groups. We illustrate our construction in finite-group gauge theory, and apply it to obtain new results for B-twisted 3d $\mathcal{N}=4$ gauge theories, a.k.a. equivariant Rozansky-Witten theory, or supergroup BF theory (including ordinary BF theory with compact gauge group). We reformulate our construction mathematically in terms of abelian and dg tensor categories, and discuss connections with Koszul duality.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
Yangian for cotangent Lie algebras and spectral $R$-matrices
Authors:
Raschid Abedin,
Wenjun Niu
Abstract:
In this paper, we present a canonical quantization of Lie bialgebra structures on the formal power series $\mathfrak{d}[\![t]\!]$ with coefficients in the cotangent Lie algebra $\mathfrak{d} = T^*\mathfrak{g} = \mathfrak{g} \ltimes \mathfrak{g}^*$ to a simple complex Lie algebra $\mathfrak{g}$. We prove that these quantizations produce twists to the natural analog of the Yangian for…
▽ More
In this paper, we present a canonical quantization of Lie bialgebra structures on the formal power series $\mathfrak{d}[\![t]\!]$ with coefficients in the cotangent Lie algebra $\mathfrak{d} = T^*\mathfrak{g} = \mathfrak{g} \ltimes \mathfrak{g}^*$ to a simple complex Lie algebra $\mathfrak{g}$. We prove that these quantizations produce twists to the natural analog of the Yangian for $\mathfrak{d}$. Moreover, we construct spectral $R$-matrices for these twisted Yangians as compositions of twisting matrices.
The motivation for the construction of these twisted Yangians over $\mathfrak{d}$ comes from certain 4d holomorphic-topological gauge theory. More precisely, we show that pertubative line operators in this theory can be realized as representations of these Yangians. Moreover, the comultiplications of these Yangians correspond to the monodial structure of the category of line operators.
△ Less
Submitted 17 October, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Uniform Calderón-Zygmund estimates in multiscale elliptic homogenization
Authors:
Weisheng Niu,
Jinping Zhuge
Abstract:
This paper is concerned with the elliptic equation $-\text{div} (A_\varepsilon \nabla u_\varepsilon) = \text{div} f$ in a bounded $C^1$ domain, where $A_\varepsilon$ takes a form of $A_\varepsilon(x) = A(x/\varepsilon_1, x/\varepsilon_2,\cdots, x/\varepsilon_n)$, with $A(y_1,y_2,\cdots,y_n)$ being 1-periodic in each $y_i$. We prove the uniform Calderón-Zygmund estimate, namely, the uniform $L^p$ b…
▽ More
This paper is concerned with the elliptic equation $-\text{div} (A_\varepsilon \nabla u_\varepsilon) = \text{div} f$ in a bounded $C^1$ domain, where $A_\varepsilon$ takes a form of $A_\varepsilon(x) = A(x/\varepsilon_1, x/\varepsilon_2,\cdots, x/\varepsilon_n)$, with $A(y_1,y_2,\cdots,y_n)$ being 1-periodic in each $y_i$. We prove the uniform Calderón-Zygmund estimate, namely, the uniform $L^p$ boundedness of the linear map $f\mapsto \nabla u_\varepsilon$ for any $p\in (1,\infty)$ with a constant independent of small parameters $(\varepsilon_1,\varepsilon_2,\cdots, \varepsilon_n) \in (0,1]^n$. Our result includes the uniform Calderón-Zygmund estimate in quasiperiodic elliptic homogenization (even without the Diophantine condition), which was previously unknown. The proof novelly combines the Dirichlet's theorem on the simultaneous Diophantine approximation from number theory, a technique of reperiodization, reiterated periodic homogenization and a large-scale real-variable argument. Using the idea of reperiodization, we also obtain some large-scale or mesoscopic-scale Lipschitz estimates.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Effective gonality theorem on weight-one syzygies of algebraic curves
Authors:
Wenbo Niu,
Jinhyung Park
Abstract:
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 suffici…
▽ More
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.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Kazhdan-Lusztig Correspondence for Vertex Operator Superalgebras from Abelian Gauge Theories
Authors:
Thomas Creutzig,
Wenjun Niu
Abstract:
We prove the Kazhdan-Lusztig correspondence for a class of vertex operator superalgebras which, via the work of Costello-Gaiotto, arise as boundary VOAs of topological B twist of 3d $\mathcal{N}=4$ abelian gauge theories. This means that we show equivalences of braided tensor categories of modules of certain affine vertex superalgebras and corresponding quantum supergroups.
We build on the work…
▽ More
We prove the Kazhdan-Lusztig correspondence for a class of vertex operator superalgebras which, via the work of Costello-Gaiotto, arise as boundary VOAs of topological B twist of 3d $\mathcal{N}=4$ abelian gauge theories. This means that we show equivalences of braided tensor categories of modules of certain affine vertex superalgebras and corresponding quantum supergroups.
We build on the work of Creutzig-Lentner-Rupert to this large class of VOAs and extend it since in our case the categories don't have projective objectives and objects can have arbitrary Jordan Hölder length.
Our correspondence significantly improves the understanding of the braided tensor category of line defects associated to this class of TQFT, by realizing line defects as modules of a Hopf algebra. In the process, we prove a case of the conjecture of Semikhatov-Tipunin, relating logarithmic CFTs to Nichols algebras of screening operators.
△ Less
Submitted 24 August, 2024; v1 submitted 4 March, 2024;
originally announced March 2024.
-
Well-posedness and regularity of the Darcy-Boussinesq system in layered porous media
Authors:
Yining Cao,
Weisheng Niu,
Xiaoming Wang
Abstract:
We establish the existence of global weak solution in 2D and 3D, as well as the uniqueness of weak solution in 2D, for the Darcy-Boussinesq model for convection in layered porous media with square integrable initial data. We also derived tangential regularity in the 2D case. In addition, we obtain the existence and uniqueness of regular solution in a novel piecewise $H^2$ space in both 2D and 3D u…
▽ More
We establish the existence of global weak solution in 2D and 3D, as well as the uniqueness of weak solution in 2D, for the Darcy-Boussinesq model for convection in layered porous media with square integrable initial data. We also derived tangential regularity in the 2D case. In addition, we obtain the existence and uniqueness of regular solution in a novel piecewise $H^2$ space in both 2D and 3D under uniform porosity assumption and $H^1$ initial data. This is the first rigorous result for this model in the physically important layered setting.
△ Less
Submitted 18 November, 2024; v1 submitted 23 October, 2023;
originally announced October 2023.
-
A note on an effective bound for the gonality conjecture
Authors:
Alexander Duncan,
Wenbo Niu,
Jinhyung Park
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
3d mirror symmetry of braided tensor categories
Authors:
Andrew Ballin,
Thomas Creutzig,
Tudor Dimofte,
Wenjun Niu
Abstract:
We study the braided tensor structure of line operators in the topological A and B twists of abelian 3d $\mathcal{N}=4$ gauge theories, as accessed via boundary vertex operator algebras (VOA's). We focus exclusively on abelian theories. We first find a non-perturbative completion of boundary VOA's in the B twist, which start out as certain affine Lie superalebras; and we construct free-field reali…
▽ More
We study the braided tensor structure of line operators in the topological A and B twists of abelian 3d $\mathcal{N}=4$ gauge theories, as accessed via boundary vertex operator algebras (VOA's). We focus exclusively on abelian theories. We first find a non-perturbative completion of boundary VOA's in the B twist, which start out as certain affine Lie superalebras; and we construct free-field realizations of both A and B-twist VOA's, finding an interesting interplay with the symmetry fractionalization group of bulk theories. We use the free-field realizations to establish an isomorphism between A and B VOA's related by 3d mirror symmetry. Turning to line operators, we extend previous physical classifications of line operators to include new monodromy defects and bound states. We also outline a mechanism by which continuous global symmetries in a physical theory are promoted to higher symmetries in a topological twist -- in our case, these are infinite one-form symmetries, related to boundary spectral flow, which structure the categories of lines and control abelian gauging. Finally, we establish the existence of braided tensor structure on categories of line operators, viewed as non-semisimple categories of modules for boundary VOA's. In the A twist, we obtain the categories by extending modules of symplectic boson VOA's, corresponding to gauging free hypermultiplets; in the B twist, we instead extend Kazhdan-Lusztig categories for affine Lie superalgebras. We prove braided tensor equivalences among the categories of 3d-mirror theories. All results on VOA's and their module categories are mathematically rigorous; they rely strongly on recently developed techniques to access non-semisimple extensions.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
On vanishing of fundamental forms of algebraic varieties
Authors:
Lawrence Ein,
Wenbo Niu
Abstract:
We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties.
We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Line Operators in $U(1|1)$ Chern-Simons Theory
Authors:
Niklas Garner,
Wenjun Niu
Abstract:
We analyze the non-semisimple category of line operators in Chern-Simons gauge theories based off the Lie superalgebra $\mathfrak{gl}(1|1)$. Our proposal is that the category of line operators $\mathcal{C}$ can be identified with the derived category of modules for a boundary vertex operator algebra $\mathcal{V}$ realized as a certain infinite-order simple current extension of the affine current a…
▽ More
We analyze the non-semisimple category of line operators in Chern-Simons gauge theories based off the Lie superalgebra $\mathfrak{gl}(1|1)$. Our proposal is that the category of line operators $\mathcal{C}$ can be identified with the derived category of modules for a boundary vertex operator algebra $\mathcal{V}$ realized as a certain infinite-order simple current extension of the affine current algebra $V(\mathfrak{gl}(1|1))$ by boundary monopole operators. By translating this simple current extension of $V(\mathfrak{gl}(1|1))$ to the unrolled, restricted quantum group ${\overline{U}}^E(\mathfrak{gl}(1|1))$, we show that our category of line operators admits a second description in terms of a quantum group $\mathcal{A}$ realized by uprolling. We also compare our results across an expected physical duality with the cyclic orbifold of a free, $B$-twisted hypermultiplet and find a slight discrepancy at the level of braiding. We end with a detailed analysis of coupling to background flat $GL(1, \mathbb{C})$ connections and the resulting category of non-genuine line operators.
△ Less
Submitted 13 September, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Stability and chaos of the duopoly model of Kopel: A study based on symbolic computations
Authors:
Xiaoliang Li,
Kongyan Chen,
Wei Niu,
Bo Huang
Abstract:
Since Kopel's duopoly model was proposed about three decades ago, there are almost no analytical results on the equilibria and their stability in the asymmetric case. The first objective of our study is to fill this gap. This paper analyzes the asymmetric duopoly model of Kopel analytically by using several tools based on symbolic computations. We discuss the possibility of the existence of multip…
▽ More
Since Kopel's duopoly model was proposed about three decades ago, there are almost no analytical results on the equilibria and their stability in the asymmetric case. The first objective of our study is to fill this gap. This paper analyzes the asymmetric duopoly model of Kopel analytically by using several tools based on symbolic computations. We discuss the possibility of the existence of multiple positive equilibria and establish necessary and sufficient conditions for a given number of positive equilibria to exist. The possible positions of the equilibria in Kopel's model are also explored. Furthermore, in the asymmetric model of Kopel, if the duopolists adopt the best response reactions or homogeneous adaptive expectations, we establish rigorous conditions for the local stability of equilibria for the first time. The occurrence of chaos in Kopel's model seems to be supported by observations through numerical simulations, which, however, is challenging to prove rigorously. The second objective is to prove the existence of snapback repellers in Kopel's map, which implies the existence of chaos in the sense of Li-Yorke according to Marotto's theorem.
△ Less
Submitted 28 May, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Complex dynamics of knowledgeable monopoly models with gradient mechanisms
Authors:
Xiaoliang Li,
Jiacheng Fu,
Wei Niu
Abstract:
In this paper, we explore the dynamics of two monopoly models with knowledgeable players. The first model was initially introduced by Naimzada and Ricchiuti, while the second one is simplified from a famous monopoly introduced by Puu. We employ several tools based on symbolic computations to analyze the local stability and bifurcations of the two models. To the best of our knowledge, the complete…
▽ More
In this paper, we explore the dynamics of two monopoly models with knowledgeable players. The first model was initially introduced by Naimzada and Ricchiuti, while the second one is simplified from a famous monopoly introduced by Puu. We employ several tools based on symbolic computations to analyze the local stability and bifurcations of the two models. To the best of our knowledge, the complete stability conditions of the second model are obtained for the first time. We also investigate periodic solutions as well as their stability. Most importantly, we discover that the topological structure of the parameter space of the second model is much more complex than that of the first one. Specifically, in the first model, the parameter region for the stability of any periodic orbit with a fixed order constitutes a connected set. In the second model, however, the stability regions for the 3-cycle, 4-cycle, and 5-cycle orbits are disconnected sets formed by many disjoint portions. Furthermore, we find that the basins of the two stable equilibria in the second model are disconnected and also have complicated topological structures. In addition, the existence of chaos in the sense of Li-Yorke is rigorously proved by finding snapback repellers and 3-cycle orbits in the two models, respectively.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
A Castelnuovo-Mumford regularity bound for threefolds with rational singularities
Authors:
Wenbo Niu,
Jinhyung Park
Abstract:
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…
▽ More
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$.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
3d Mirror Symmetry and the $βγ$ VOA
Authors:
Andrew Ballin,
Wenjun Niu
Abstract:
We study the simplest example of mirror symmetry for 3d $\mathcal N=4$ SUSY gauge theories: the A-twist of a free hypermultiplet and the B-twist of SQED. We particularly focus on the category of line operators in each theory. Using the work of Costello-Gaiotto, we define these categories as appropriate categories of modules for the boundary vertex operator algebras present in each theory. For the…
▽ More
We study the simplest example of mirror symmetry for 3d $\mathcal N=4$ SUSY gauge theories: the A-twist of a free hypermultiplet and the B-twist of SQED. We particularly focus on the category of line operators in each theory. Using the work of Costello-Gaiotto, we define these categories as appropriate categories of modules for the boundary vertex operator algebras present in each theory. For the A-twist of a free hyper, this will be a certain category of modules for the $βγ$ VOA, properly containing the category previously studied by Allen-Wood. Applying the work of Creutzig-Kanade-McRae and Creutzig-McRae-Yang, we show that the category of line operators on the A side possesses the structure of a braided tensor category, extending the result of Allen-Wood. In addition, we prove that there is a braided tensor equivalence between the categories of line operators on the A side and B side, completing a non-trivial check of the 3d mirror symmetry conjecture. We derive explicit fusion rules as a consequence of this equivalence and obtain interesting relations with associated quantum group representations.
△ Less
Submitted 6 March, 2022; v1 submitted 2 February, 2022;
originally announced February 2022.
-
Local Operators of 4d $\mathcal{N}=2$ Gauge Theories From the Affine Grassmannian
Authors:
Wenjun Niu
Abstract:
We give a new, fully mathematical, construction of the space of local operators in the holomorphic-topological twist of 4d $\mathcal N=2$ gauge theories. It is based on computations of morphism spaces in the DG category of line operators, which (by work of Kapustin-Saulina and Cautis-Williams) may be represented as ind-coherent sheaves on the affine Grassmannian and, more generally, on the…
▽ More
We give a new, fully mathematical, construction of the space of local operators in the holomorphic-topological twist of 4d $\mathcal N=2$ gauge theories. It is based on computations of morphism spaces in the DG category of line operators, which (by work of Kapustin-Saulina and Cautis-Williams) may be represented as ind-coherent sheaves on the affine Grassmannian and, more generally, on the $\mathcal R_{G,N}$ spaces of Braverman-Finkelberg-Nakajima. We prove that characters of our morphisms spaces reproduce the Schur indices of 4d $\mathcal N=2$ theories, and that the spaces themselves agree with the 4d $\mathcal N=2$ vertex algebras of Beem-Lemos-Liendo-Peelaers-Rastelli-Van Rees, Oh-Yagi, Butson and Jeong. We also generalize our construction to local operators at junctions of Wilson-'t Hooft lines, and compare the Euler character of the morphism spaces to the Schur indices in the work of Cordova-Gaiotto-Shao.
△ Less
Submitted 1 February, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Compactness and stable regularity in multiscale homogenization
Authors:
Weisheng Niu,
Jinping Zhuge
Abstract:
In this paper we develop some new techniques to study the multiscale elliptic equations in the form of $-\text{div} \big(A_\varepsilon \nabla u_{\varepsilon} \big) = 0$, where $A_\varepsilon(x) = A(x, x/\varepsilon_1,\cdots, x/\varepsilon_n)$ is an $n$-scale oscillating periodic coefficient matrix, and $(\varepsilon_i)_{1\le i\le n}$ are scale parameters. We show that the $C^α$-Hölder continuity w…
▽ More
In this paper we develop some new techniques to study the multiscale elliptic equations in the form of $-\text{div} \big(A_\varepsilon \nabla u_{\varepsilon} \big) = 0$, where $A_\varepsilon(x) = A(x, x/\varepsilon_1,\cdots, x/\varepsilon_n)$ is an $n$-scale oscillating periodic coefficient matrix, and $(\varepsilon_i)_{1\le i\le n}$ are scale parameters. We show that the $C^α$-Hölder continuity with any $α\in (0,1)$ for the weak solutions is stable, namely, the constant in the estimate is uniform for arbitrary $(\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_n) \in (0,1]^n$ and particularly is independent of the ratios between $\varepsilon_i$'s. The proof uses an upgraded method of compactness, involving a scale-reduction theorem by $H$-convergence. The Lipschitz estimate for arbitrary $(\varepsilon_i)_{1\le i\le n}$ still remains open. However, for special laminate structures, i.e., $A_\varepsilon(x) = A(x,x_1/\varepsilon_1, \cdots, x_d/\varepsilon_n)$, we show that the Lipschitz estimate is stable for arbitrary $(\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_n) \in (0,1]^n$. This is proved by a technique of reperiodization.
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
Homogenization of locally periodic parabolic operators with non-self-similar scales
Authors:
Jun Geng,
Weisheng Niu
Abstract:
We investigate quantitative estimates in homogenization of the locally periodic parabolic operator with multiscales
$$ \partial_t- \text{div} (A(x,t,x/\varepsilon,t/κ^2) \nabla ),\qquad \varepsilon>0,\, κ>0. $$ Under proper assumptions, we establish the full-scale interior and boundary Lipschitz estimates. These results are new even for the case $κ=\varepsilon$, and for the periodic operators…
▽ More
We investigate quantitative estimates in homogenization of the locally periodic parabolic operator with multiscales
$$ \partial_t- \text{div} (A(x,t,x/\varepsilon,t/κ^2) \nabla ),\qquad \varepsilon>0,\, κ>0. $$ Under proper assumptions, we establish the full-scale interior and boundary Lipschitz estimates. These results are new even for the case $κ=\varepsilon$, and for the periodic operators $
\partial_t-\text{div}(A(x/\varepsilon, t/\varepsilon^{\ell}) \nabla ),$ $0<\varepsilon,\ell<\infty, $ of which the large-scale Lipschitz estimate down to $\varepsilon+\varepsilon^{\ell/2}$ was recently established by the first author and Shen in Arch. Ration. Mech. Anal. 236(1): 145--188 (2020). Due to the non-self-similar structure, the full-scale estimates do not follow directly from the large-scale estimates and the blow-up argument. As a byproduct, we also derive the convergence rates for the corresponding initial-Dirichlet problems, which extend the results in the aforementioned literature to more general settings.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Combined Effects of Homogenization and Singular Perturbations: Quantitative Estimates
Authors:
Weisheng Niu,
Zhongwei Shen
Abstract:
We investigate quantitative estimates in periodic homogenization of second-order elliptic systems of elasticity with singular fourth-order perturbations. The convergence rates, which depend on the scale $κ$ that represents the strength of the singular perturbation and on the length scale $ε$ of the heterogeneities, are established. We also obtain the large-scale Lipschitz estimate, down to the sca…
▽ More
We investigate quantitative estimates in periodic homogenization of second-order elliptic systems of elasticity with singular fourth-order perturbations. The convergence rates, which depend on the scale $κ$ that represents the strength of the singular perturbation and on the length scale $ε$ of the heterogeneities, are established. We also obtain the large-scale Lipschitz estimate, down to the scale $ε$ and independent of $κ$. This large-scale estimate, when combined with small-scale estimates, yields the classical Lipschitz estimate that is uniform in both $ε$ and $κ$.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Singularities and syzygies of secant varieties of nonsingular projective curves
Authors:
Lawrence Ein,
Wenbo Niu,
Jinhyung Park
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Quantitative Estimates in Reiterated Homogenization
Authors:
Weisheng Niu,
Zhongwei Shen,
Yao Xu
Abstract:
This paper investigates quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients that oscillate on multiple separated scales. We establish large-scale interior and boundary Lipschitz estimates down to the finest microscopic scale via iteration and rescaling arguments. We also obtain a convergence rate in the $L^2$ space by the reiterated homogenizati…
▽ More
This paper investigates quantitative estimates in the homogenization of second-order elliptic systems with periodic coefficients that oscillate on multiple separated scales. We establish large-scale interior and boundary Lipschitz estimates down to the finest microscopic scale via iteration and rescaling arguments. We also obtain a convergence rate in the $L^2$ space by the reiterated homogenization method.
△ Less
Submitted 20 September, 2019;
originally announced September 2019.
-
Log canonical thresholds of generic links of determinantal varieties
Authors:
Youngsu Kim,
Lance Edward Miller,
Wenbo Niu
Abstract:
We show that the log canonical threshold of a generic determinantal variety and its generic link are the same.
We show that the log canonical threshold of a generic determinantal variety and its generic link are the same.
△ Less
Submitted 7 November, 2020; v1 submitted 11 August, 2019;
originally announced August 2019.
-
On Behaviors of Maximal Dimension
Authors:
Wenjun Niu
Abstract:
In this paper, we investigate behaviors of Maximal Dimension, a group invariant involving certain configuration of maximal subgroups, which we denote by MaxDim. We prove that in some special cases, MaxDim(G\times H) = MaxDim(G) + MaxDim(H). We also prove a conjecture stated by Ellie Thieu which shows that groups with m < MaxDim can be constructed from groups with m < i.
In this paper, we investigate behaviors of Maximal Dimension, a group invariant involving certain configuration of maximal subgroups, which we denote by MaxDim. We prove that in some special cases, MaxDim(G\times H) = MaxDim(G) + MaxDim(H). We also prove a conjecture stated by Ellie Thieu which shows that groups with m < MaxDim can be constructed from groups with m < i.
△ Less
Submitted 25 January, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
Convergence rates in homogenization of higher order parabolic systems
Authors:
Weisheng Niu,
Yao Xu
Abstract:
This paper is concerned with the optimal convergence rate in homogenization of higher order parabolic systems with bounded measurable, rapidly oscillating periodic coefficients. The sharp $O(\va)$ convergence rate in the space $L^2(0,T; H^{m-1}(\Om))$ is obtained for both the initial-Dirichlet problem and the initial-Neumann problem. The duality argument inspired by \cite{suslinaD2013} is used her…
▽ More
This paper is concerned with the optimal convergence rate in homogenization of higher order parabolic systems with bounded measurable, rapidly oscillating periodic coefficients. The sharp $O(\va)$ convergence rate in the space $L^2(0,T; H^{m-1}(\Om))$ is obtained for both the initial-Dirichlet problem and the initial-Neumann problem. The duality argument inspired by \cite{suslinaD2013} is used here.
△ Less
Submitted 7 January, 2018;
originally announced January 2018.
-
Convergence Rates in Almost-Periodic Homogenization of Higher-order Elliptic Systems
Authors:
Yao Xu,
Weisheng Niu
Abstract:
This paper concentrates on the quantitative homogenization of higher-order elliptic systems with almost-periodic coefficients in bounded Lipschitz domains. For coefficients which are almost-periodic in the sense of H. Weyl, we establish uniform ocal $L^2$ estimates for the approximate correctors. Under an additional assumption on the frequencies of the coefficients (see (1.10)), we derive the exis…
▽ More
This paper concentrates on the quantitative homogenization of higher-order elliptic systems with almost-periodic coefficients in bounded Lipschitz domains. For coefficients which are almost-periodic in the sense of H. Weyl, we establish uniform ocal $L^2$ estimates for the approximate correctors. Under an additional assumption on the frequencies of the coefficients (see (1.10)), we derive the existence of the true correctors as well as the sharp $O(\varepsilon)$ convergence rate in $H^{m-1}$. As a byproduct, the large-scale Hölder estimate and a Liouville theorem are obtained for higher-order elliptic systems with almost-periodic coefficients in the sense of Besicovish. Since (1.10) is not well-defined for the equivalence classes of almost-periodic functions in the sense of H. Weyl or Besicovish, we provide another condition that implies the sharp convergence rate in terms of perturbations on the coefficients.
△ Less
Submitted 29 January, 2020; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Uniform Boundary Estimates in Homogenization of Higher Order Elliptic Systems
Authors:
Weisheng Niu,
Yao Xu
Abstract:
This paper focuses on the uniform boundary estimates in homogenization of a family of higher order elliptic operators $\mathcal{L}_ε$, with rapidly oscillating periodic coefficients. We derive uniform boundary $C^{m-1,λ} (0\!<\!λ\!<\!1)$, $ W^{m,p}$ estimates in $C^1$ domains, as well as uniform boundary $C^{m-1,1}$ estimate in $C^{1,θ} (0\!<\!θ\!<\!1)$ domains without the symmetry assumption on t…
▽ More
This paper focuses on the uniform boundary estimates in homogenization of a family of higher order elliptic operators $\mathcal{L}_ε$, with rapidly oscillating periodic coefficients. We derive uniform boundary $C^{m-1,λ} (0\!<\!λ\!<\!1)$, $ W^{m,p}$ estimates in $C^1$ domains, as well as uniform boundary $C^{m-1,1}$ estimate in $C^{1,θ} (0\!<\!θ\!<\!1)$ domains without the symmetry assumption on the operator. The proof, motivated by the profound work "S.N. Armstrong and C.~K. Smart, Ann. Sci. Éc. Norm. Supér. (2016), Z. Shen, Anal. PDE (2017)", is based on a suboptimal convergence rate in $H^{m-1}(Ω)$. Compared to "C.E. Kenig, F. Lin and Z. Shen, Arch. Ration. Mech. Anal. (2012), Z. Shen, Anal. PDE (2017)", the convergence rate obtained here does not require the symmetry assumption on the operator, nor additional assumptions on the regularity of $u_0$ (the solution to the homogenized problem), and thus might be of some independent interests even for second order elliptic systems.
△ Less
Submitted 12 September, 2017;
originally announced September 2017.
-
Convergence Rates and Interior Estimates in Homogenization of Higher Order Elliptic Systems
Authors:
Weisheng Niu,
Zhongwei Shen,
Yao Xu
Abstract:
This paper is concerned with the quantitative homogenization of $2m$-order elliptic systems with bounded measurable, rapidly oscillating periodic coefficients. We establish the sharp $O(\varepsilon)$ convergence rate in $W^{m-1, p_0}$ with $p_0=\frac{2d}{d-1}$ in a bounded Lipschitz domain in $\mathbb{R}^d$ as well as the uniform large-scale interior $C^{m-1, 1}$ estimate. With additional smoothne…
▽ More
This paper is concerned with the quantitative homogenization of $2m$-order elliptic systems with bounded measurable, rapidly oscillating periodic coefficients. We establish the sharp $O(\varepsilon)$ convergence rate in $W^{m-1, p_0}$ with $p_0=\frac{2d}{d-1}$ in a bounded Lipschitz domain in $\mathbb{R}^d$ as well as the uniform large-scale interior $C^{m-1, 1}$ estimate. With additional smoothness assumptions, the uniform interior $C^{m-1, 1}$, $W^{m,p}$ and $C^{m-1, α}$ estimates are also obtained. As applications of the regularity estimates, we establish asymptotic expansions for fundamental solutions.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
A strongly geometric general residual intersection
Authors:
Shihoko Ishii,
Wenbo Niu
Abstract:
In this paper, we prove a formula of Grauert-Riemenschneider canonical sheaf and log canonical thresholds for a general residual intersection as well as an equality of minimal log discrepancies under a general link. We also prove an evidence that MJ-singularities can be preserved under a general residual intersection.
In this paper, we prove a formula of Grauert-Riemenschneider canonical sheaf and log canonical thresholds for a general residual intersection as well as an equality of minimal log discrepancies under a general link. We also prove an evidence that MJ-singularities can be preserved under a general residual intersection.
△ Less
Submitted 10 January, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
A Castelnuovo-Mumford regularity bound for scrolls
Authors:
Wenbo Niu,
Jinhyung Park
Abstract:
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.
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.
△ Less
Submitted 4 July, 2017; v1 submitted 7 March, 2016;
originally announced March 2016.
-
Mather-Jacobian singularities under generic linkage
Authors:
Wenbo Niu
Abstract:
In this paper, we prove that Mather-Jacobian (MJ) singularities are preserved under the process of generic linkage. More precisely, let $X$ be a variety with MJ-canonical (resp. MJ-log canonical) singularities. Then a generic link of $X$ is also MJ-canonical (resp. MJ-log canonical). This further leads us to a result on minimal log discrepancies under generic linkage.
In this paper, we prove that Mather-Jacobian (MJ) singularities are preserved under the process of generic linkage. More precisely, let $X$ be a variety with MJ-canonical (resp. MJ-log canonical) singularities. Then a generic link of $X$ is also MJ-canonical (resp. MJ-log canonical). This further leads us to a result on minimal log discrepancies under generic linkage.
△ Less
Submitted 26 September, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety
Authors:
Wenbo Niu
Abstract:
In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals.
In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Theta-regularity of curves and Brill-Noether loci
Authors:
Luigi Lombardi,
Wenbo Niu
Abstract:
We provide a bound on the $Θ$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus o…
▽ More
We provide a bound on the $Θ$-regularity of an arbitrary reduced and irreducible curve embedded in a polarized abelian variety in terms of its degree and codimension. This is an "abelian" version of Gruson-Lazarsfeld-Peskine's bound on the Castelnuovo--Mumford regularity of a non-degenerate curve embedded in a projective space. As an application, we provide a Castelnuovo type bound for the genus of a curve in a (non necessarily principally) polarized abelian variety. Finally, we bound the $Θ$-regularity of a class of higher dimensional subvarieties in Jacobian varieties, i.e. the Brill-Noether loci associated to a Petri general curve, extending earlier work of Pareschi-Popa.
△ Less
Submitted 18 May, 2015; v1 submitted 29 October, 2014;
originally announced October 2014.
-
A note on Mather-Jacobian multiplier ideals
Authors:
Wenbo Niu,
Bernd Ulrich
Abstract:
By using Mather-Jacobian multiplier ideals, we first prove a formula on comparing Grauert-Riemenschneider canonical sheaf with canonical sheaf of a variety over an algebraically closed field of characteristic zero. Then we turn to study Mather-Jacobian multiplier ideals on algebraic curve, in which case the definition of Mather-Jacobian multiplier ideal can be extended to a ground field of any cha…
▽ More
By using Mather-Jacobian multiplier ideals, we first prove a formula on comparing Grauert-Riemenschneider canonical sheaf with canonical sheaf of a variety over an algebraically closed field of characteristic zero. Then we turn to study Mather-Jacobian multiplier ideals on algebraic curve, in which case the definition of Mather-Jacobian multiplier ideal can be extended to a ground field of any characteristic. We show that Mather-Jacobian multiplier ideal on curves is essentially the same as an integrally closed ideal. Finally by comparing conductor ideal with Mather-Jacobian multiplier ideal, we give a criterion when an algebraic curve is a locally complete intersection.
△ Less
Submitted 20 April, 2014;
originally announced April 2014.
-
Castelnuovo-Mumford regularity bounds for singular surfaces
Authors:
Wenbo Niu
Abstract:
We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.
We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.
△ Less
Submitted 10 August, 2015; v1 submitted 27 June, 2013;
originally announced June 2013.
-
Geometric nullstellensatz and symbolic powers on arbitrary varieties
Authors:
Wenbo Niu
Abstract:
In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstell…
▽ More
In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein-Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ein-Lazarsfeld-Smith and Hochster-Huneke.
△ Less
Submitted 21 January, 2014; v1 submitted 18 January, 2013;
originally announced January 2013.
-
Regularity of curves in abelian varieties
Authors:
Luigi Lombardi,
Wenbo Niu
Abstract:
Inspired by a theorem of Gruson-Lazarsfeld-Peskine bounding the Castelnuovo-Mumford regularity of curves in projective spaces, we bound the Theta-regularity of curves in polarized abelian varieties.
Inspired by a theorem of Gruson-Lazarsfeld-Peskine bounding the Castelnuovo-Mumford regularity of curves in projective spaces, we bound the Theta-regularity of curves in polarized abelian varieties.
△ Less
Submitted 19 September, 2012;
originally announced September 2012.
-
Singularities of generic linkage of algebraic varieties
Authors:
Wenbo Niu
Abstract:
Let $Y$ be a generic link of a subvariety $X$ of a nonsingular variety $A$. We give a description of the Grauert-Riemenschneider canonical sheaf of $Y$ in terms of the multiplier ideal sheaves associated to $X$ and use it to study the singularities of $Y$. As the first application, we give a criterion when $Y$ has rational singularities and show that log canonical threshold increases and log canon…
▽ More
Let $Y$ be a generic link of a subvariety $X$ of a nonsingular variety $A$. We give a description of the Grauert-Riemenschneider canonical sheaf of $Y$ in terms of the multiplier ideal sheaves associated to $X$ and use it to study the singularities of $Y$. As the first application, we give a criterion when $Y$ has rational singularities and show that log canonical threshold increases and log canonical pairs are preserved in generic linkage. As another application we give a quick and simple liaison method to generalize the results of de Fernex-Ein and Chardin-Ulrich on the Castelnuovo-Mumford regularity bound for a projective variety.
△ Less
Submitted 18 June, 2013; v1 submitted 4 July, 2012;
originally announced July 2012.
-
Some Results on Asymptotic Regularity of Ideal Sheaves
Authors:
Wenbo Niu
Abstract:
Let $\mathscr{I}$ be an ideal sheaf on $P^n$ defining a subscheme $X$. Associated to $\mathscr{I}$ there are two elementary invariants: the invariant $s$ which measures the positivity of $\mathscr{I}$, and the minimal number $d$ such that $\mathscr{I}(d)$ is generated by its global sections. It is now clear that the asymptotic behavior of $\reg \mathscr{I}^t$ is governed by $s$ but usually not lin…
▽ More
Let $\mathscr{I}$ be an ideal sheaf on $P^n$ defining a subscheme $X$. Associated to $\mathscr{I}$ there are two elementary invariants: the invariant $s$ which measures the positivity of $\mathscr{I}$, and the minimal number $d$ such that $\mathscr{I}(d)$ is generated by its global sections. It is now clear that the asymptotic behavior of $\reg \mathscr{I}^t$ is governed by $s$ but usually not linear. In this paper, we first describe the linear behavior of the asymptotic regularity by showing that if $s=d$, i.e., $s$ reaches its maximal value, then for $t$ large enough $\reg \mathscr{I}^t=dt+e$ for some positive constant $e$. We then turn to concrete geometric settings to study the asymptotic regularity of $\mathscr{I}$ in the case that $X$ is a nonsingular variety embedded by a very ample adjoint line bundle. Our approach also gives regularity bounds for $\mathscr{I}^t$ once we know $\reg \mathscr{I}$ and assume that $X$ is a local complete intersection.
△ Less
Submitted 13 June, 2011;
originally announced June 2011.
-
A Vanishing Theorem and Asymptotic Regularity of Powers of Ideal Sheaves
Authors:
Wenbo Niu
Abstract:
Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by…
▽ More
Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by using multiplier ideal sheaves, we give a vanishing theorem of powers of $\mathscr{I}$ when it defines a local complete intersection subvariety with log canonical singularities.
△ Less
Submitted 13 June, 2011; v1 submitted 1 September, 2010;
originally announced September 2010.
-
A Bound for the Castelnuovo-Mumford Regularity of Log Canonical Varieties
Authors:
Wenbo Niu
Abstract:
In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal $I$ in terms of the degrees of its generators. We assume that $I$ defines a local complete intersection with log canonical singularities.
In this note, we give a bound for the Castelnuovo-Mumford regularity of a homogeneous ideal $I$ in terms of the degrees of its generators. We assume that $I$ defines a local complete intersection with log canonical singularities.
△ Less
Submitted 31 January, 2011; v1 submitted 16 December, 2009;
originally announced December 2009.
