相关论文: $\Cal M_{15}$ is rationally connected

Let $M$ be an irreducible smooth projective variety, defined over an algebraically closed field, equipped with an action of a connected reductive affine algebraic group $G$, and let ${\mathcal L}$ be a $G$--equivariant very ample line…

The study of rational relations is fundamental to the study of formal languages and automata theory. A rational relation is conjugate if each pair of words in the relation is conjugate (or cyclic shifts of each other). The notion of…

We prove that a contractible orbifold is a manifold.

With recent advances in natural language processing, rationalization becomes an essential self-explaining diagram to disentangle the black box by selecting a subset of input texts to account for the major variation in prediction. Yet,…

Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally…

Let $G$ be a finite subgroup of $GL_4(\bm{Q})$. The group $G$ induces an action on $\bm{Q}(x_1,x_2,x_3,x_4)$, the rational function field of four variables over $\bm{Q}$. Theorem. The fixed subfield…

We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized…

In this paper we give a simple proof of the equivalence between the rational link associated to the continued fraction $\left[ a_{1},a_{2},\cdots a_{m}\right],$ $a_{i}\in\mathbb{N}$, and the two bridge link of type $p/q,$ where $p/q$ is the…

For those of us who generally live in the world of syntax, semantic proof techniques such as reducibility, realizability or logical relations seem somewhat magical despite -- or perhaps due to -- their seemingly unreasonable effectiveness.…

In this work, we show that for a certain class of threefolds in positive characteristics, rational-chain-connectivity is equivalent to supersingularity. The same result is known for K3 surfaces with elliptic fibrations. And there are…

We give a short elementary proof of the fact that connected semisimple real Lie groups satisfy property RD. The proof is based on a process of linearization.

We prove that a Latt' es map admits an eventually simply-connected wandering continuum precisely when it is flexible. The simply-connected wandering continuum is a line segment in a bi-infinite geodesic under the flat metric.

We investigate, and prove equivalent, effective versions of local connectivity and uniformly local arcwise connectivity for connected and computably compact subspaces of Euclidean space. We also prove that Euclidean continua that are…

Let $M$ be a $3$-connected matroid. A pair $\{e,f\}$ in $M$ is detachable if $M \backslash e \backslash f$ or $M / e / f$ is $3$-connected. Williams (2015) proved that if $M$ has at least 13 elements, then at least one of the following…

This note contains a short proof of a classical result: any rational symplectic matrix can be put in diagonal form after right and left multiplication by integral symplectic matrices.

In this paper, we analyse the question of existence of a natural and projectively equivariant symbol calculus, using the theory of projective Cartan connections. We establish a close relationship between the existence of such a natural…

Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group…

We give an overview of five rationalization theories for spaces (Bousfield-Kan's $\mathbb Q$-completion; Sullivan's rationalization; Bousfield's homology rationalization; Casacuberta-Peschke's $\Omega$-rationalization;…

We give a generalization of a result of R. Pandharipande to arbitrary characteristic: We prove that, if $X$ is a convex, separably rationally connected, smooth complete intersection in $\mathbb{P}^N$ over an algebraically closed field of…

Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu…