相关论文: Complexity of the Zero Set of a Matrix Schubert Id…

The ABCT variety is defined as the closure of the image of $G(2,n)$ under the Veronese map. We realize the ABCT variety $V(3,n)$ as the determinantal variety of a vector bundle morphism. We use this to give a recursive formula for the…

We study the GIT quotient of the minimal Schubert variety in the Grassmannian admitting semistable points for the action of maximal torus $T$, with respect to the $T$-linearized line bundle ${\cal L}(n \omega_r)$ and show that this is…

A normal variety $X$ is called $H$-spherical for the action of the complex reductive group $H$ if it contains a dense orbit of some Borel subgroup of $H$. We resolve a conjecture of Hodges--Yong by showing that their spherical permutations…

Given any toric subvariety $Y$ of a smooth toric variety $X$ of codimension $k$, we construct a length $k$ resolution of $\mathcal O_Y$ by line bundles on $X$. Furthermore, these line bundles can all be chosen to be direct summands of the…

We consider the parity variants of basic problems studied in fine-grained complexity. We show that finding the exact solution is just as hard as finding its parity (i.e. if the solution is even or odd) for a large number of classical…

We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory

In the Determinant Maximization problem, given an $n\times n$ positive semi-definite matrix $\bf{A}$ in $\mathbb{Q}^{n\times n}$ and an integer $k$, we are required to find a $k\times k$ principal submatrix of $\bf{A}$ having the maximum…

The theory of singularities defined by Frobenius has been extensively developed for $F$-finite rings and for rings that are essentially of finite type over excellent local rings. However, important classes of non-local excellent rings, such…

We determine the Chow rings of the complex algebraic groups of the exceptional type E_6, E_7, and E_8, giving the explicit generators represented by the pull-back images of Schubert varieties of the corresponding flag varieties. This is a…

In this paper we study some new theories of characteristic homology classes for singular complex algebraic varieties. First we introduce a natural transformation T_{y}: K_{0}(var/X) -> H_{*}(X,Q)[y] commuting with proper pushdown, which…

Using Galois descent tools, we extend the Altmann-Hausen presentation of normal affine algebraic varieties endowed with an effective torus action over an algebraically closed field of characteristic zero to the case where the ground field…

We introduce a new approach to isolate the real roots of a square-free polynomial $F=\sum_{i=0}^n A_i x^i$ with real coefficients. It is assumed that each coefficient of $F$ can be approximated to any specified error bound. The presented…

Given a generic map between flagged vector bundles on a Cohen-Macaulay variety, we construct maximal Cohen-Macaulay modules with linear resolutions supported on the Schubert-type degeneracy loci. The linear resolution is provided by the…

We introduce a notion of complexity for systems of linear forms, called sequential Cauchy-Schwarz complexity, which is parametrized by two positive integers $k,\ell$ and refines the notion of Cauchy-Schwarz complexity introduced by Green…

We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…

A cohomology class u of a topological space X is atoroidal if its pullback to the torus vanishes for every map from a torus to X. Furthermore, X is atoroidally symplectic if there is an atoroidal cohomology class $u\in H^2(X;F)$ such that…

In this paper, we study when a real matrix Schubert variety is stationary with respect to the first variation. We first show that a necessary condition for its open dense regular part to be a minimal submanifold is that the corresponding…

Given a countable o-minimal theory T, we characterize the Borel complexity of isomorphism for countable models of T up to two model-theoretic invariants. If T admits a nonsimple type, then it is shown to be Borel complete by embedding the…

This paper studies the solvability, existence of unique solution, closed-form solution and numerical solution of matrix equation $X=Af(X) B+C$ with $f(X) =X^{\mathrm{T}},$ $f(X) =\bar{X}$ and $f(X) =X^{\mathrm{H}},$ where $X$ is the…

A formula is derived for the fixed point resolution matrices of simple current extended WZW-models and coset conformal field theories. Unlike the analogous matrices for unextended WZW-models, these matrices are in general not symmetric, and…