Related papers: On Nakayama's theorem

We prove a theorem of Tits type for automorphism groups of projective varieties over an algebraically closed field of arbitrary characteristic, which was first conjectured by Keum, Oguiso and Zhang for complex projective varieties.

Recently, there are many developments on the second main theorem for holomorphic curves into algebraic varieties intersecting divisors in general position or subgeneral position. In this paper, we refine the concept of subgeneral position…

We present a combinatorial model of configuration spaces and polytopes associated to the quotients of $\mathbb{C} A_n$, the path algebra of the linearly oriented $A_n$ quiver, i.e. the algebra of upper triangular matrices. These quotient…

In this paper we discuss some variations of Nagata's conjecture on linear systems of plane curves. The most relevant concerns non-effectivity (hence nefness) of certain rays, which we call \emph{good rays}, in the Mori cone of the blow-up…

In this note is we exhibit an elementary method to construct explicitly curves over finite fields with many points. Despite its elementary character the method is very efficient and can be regarded as a partial substitute for the use of…

In part I we reduced the arithmetic (characteristic zero) version of the P \not \subseteq NP conjecture to the problem of showing that a variety associated with the complexity class NP cannot be embedded in the variety associated the…

The notion of an exterior differential system (on a manifold) has recently been extended to the setting of a Lie algebroid. Here, we further develop the theory and we present two versions of the Cartan-K\"ahler theorem in the case where the…

We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…

Modifying an approach of J. Roe, this paper gives an improved lower bound on the degrees d such that for general points p1,...,pn in P2 and m > 0 there is a plane curve of degree d vanishing at each point pi with multiplicity at least m. In…

For a Frobenius cellular algebra, we prove that if the left (right) dual basis of a cellular basis is again cellular, then the algebra is symmetric. Moreover, some ideals of the center are constructed by using the so-called Nakayama twisted…

The purpose of this paper is to prove the First and Second Fundamental Theorems of invariant theory for the complex special linear supergroup and discuss the superalgebra of invariants, via the super Plucker relations.

We give a complete classification of all $d$-representation-finite symmetric Nakayama algebras and of all $d$-representation-finite trivial extensions of path algebras of quivers, over an arbitrary field. As a consequence we get a…

In this note we generalize the trace inequality derived by [1] to the case where the number of terms of the sum (denoted by K) is arbitrary.

This paper explores the relationship between closed curves on surfaces and their intersections. Like Dehn-Thurston coordinates for simple curves, we explore how to determine closed curves using the number of times they intersect other…

We discuss a version of the fundamental theorem of calculus in several variables and some applications, of potential interest as a teaching material in undergraduate courses.

For affine algebraic plane curves we reduce a calculation of its invariants to calculation of the intersection of kernels of some derivations.

A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem.

We define center manifold as usual as an invariant manifold, tangent to the invariant subspace of the linearization of the mapping defining a continuous dynamical system, but the center subspace that we consider is associated with…