Related papers: Rationality of inner twisted flags of type $A_n$
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…
In Theorem 3.1 of [12], we proved a rigidity result for self-shrinkers under the integral condition on the norm of the second fundamental form. In this paper, we relax the such bound to any finite constant (see Theorem 4.4 for details).
If K is an odd-dimensional flag closed manifold, flag generalized homology sphere or a more general flag weak pseudomanifold with sufficiently many vertices, then the maximal number of edges in K is achieved by the balanced join of cycles.…
We study the rationality of the intersection points of certain lines and smooth plane quartics C defined over F_q. For q \geq 127, we prove the existence of a line such that the intersection points with C are all rational. Using another…
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to…
Let G be an adjoint simple algebraic group of inner type. We express the Chow motive (with integral coefficients) of some anisotropic projective G-homogeneous varieties in terms of motives of simpler G-homogeneous varieties, namely, those…
We give a proof of the $A_2$ conjecture in geometrically doubling metric spaces (GDMS), i.e. a metric space where one can fit not more than a fixed amount of disjoint balls of radius $r$ in a ball of radius $2r$. Our proof consists of three…
We study the $2$-Selmer ranks of elliptic curves. We prove that for an arbitrary elliptic curve $E$ over an arbitrary number field $K$, if the set $A_E$ of 2-Selmer ranks of quadratic twists of $E$ contains an integer $c$, it contains all…
For a rational number $q$, a rational $D(q)$-$n$-tuple is a set of $n$ distinct nonzero rationals $\{a_1, a_2, \dots, a_n\}$ such that $a_ia_j+q$ is a rational square for all $1 \leqslant i < j \leqslant n$. For every $q$ we find all…
As a generalization of the Mukai conjecture, we conjecture that the Fano manifolds $X$ which satisfy the property $\rho_X(r_X-1)\geq\dim X-1$ have very special structure, where $\rho_X$ is the Picard number of $X$ and $r_X$ is the index of…
We define tropical rational function semifields $\overline{\boldsymbol{T}(X_1, \ldots, X_n)}$ and prove that a tropical curve $\varGamma$ is realized (except for points at infinity) as the congruence variety $V \subset \boldsymbol{R}^n$…
Raymond and Wiliams constructed an action of the p-adic integers on an n-dimensional compactum, n>1, with the orbit space of dimension n+2. The author earlier presented a simplified approach for constructing such an action. In this paper we…
We discuss two dimensional N-extended supersymmetry in Euclidean signature and its R-symmetry. For N=2, the R-symmetry is SO(2)\times SO(1,1), so that only an A-twist is possible. To formulate a B-twist, or to construct Euclidean N=2 models…
We prove that a real number a greater than or equal to 2 is the irrationality exponent of some computable real number if and only if a is the upper limit of a computable sequence of rational numbers. Thus, there are computable real numbers…
Let M be a compact, connected and simply-connected Riemannian manifold, and suppose that G is a compact, connected Lie group acting on M by isometries. The dimension of the space of orbits is called the cohomogeneity of the action. If the…
Given a flag variety $X$ defined over $\mathbb{Q}$ and a point $x$ in $X(\mathbb{R})$, we study approximations to $x$ by points $v$ in $X(\mathbb{Q})$, and show that, with an appropriate rescaling, those approximations equidistribute when…
Given a rational dominant map $\phi: Y \dashrightarrow X$ between two generic hypersurfaces $Y,X \subset \mathbb{P}^n$ of dimension $\ge 3$, we prove (under an addition assumption on $\phi$) a "Noether-Fano type" inequality $m_Y \ge m_X$…
In the first half of this article, we review the Steinberg theory for double flag varieties for symmetric pairs. For a special case of the symmetric space of type AIII, we will consider $ X = GL_{2n}/P_{(n,n)} \times GL_n / B_n^+ \times…
It is known that all but finitely many leaves of a measured foliated 2-complex of thin type are quasi-isometric to an infinite tree with at most two topological ends. We show that if the foliation is cooriented, and the associated R-tree is…
Let $k$ be a field with char $k \not= 2$, $X$ be an affine surface defined by the equation $z^2=P(x)y^2+Q(x)$ where $P(x), Q(x) \in k[x]$ are separable polynomials. We will investigate the rationality problem of $X$ in terms of the…