Torsionfree sheaves over a nodal curve of arithmetic genus one

We classify all isomorphism classes of stable torsionfree sheaves on an irreducible nodal curve of arithmetic genus one defined over ℂ. Let X be a nodal curve of arithmetic genus one defined over ℝ, with exactly one node, such that X does not have any real points apart from the node. We classify all isomorphism classes of stable real algebraic torsionfree sheaves over X of even rank. We also classify all isomorphism classes of real algebraic torsionfree sheaves over X of rank one.     

Smooth Stable Planes and the Moduli Spaces of Locally Compact Translation Planes

 Smooth stable planes have been introduced in [3]. At every point p of a smooth stable plane the tangent spaces of the lines through p form a compact spread (see the definition in Section 2) on the tangent space thus defining a locally compact topological affine translation plane . We introduce the moduli space of isomorphism classes of compact spreads, . We show that for the topology of is not by constructing a sequence of non-classical spreads in that converges to the classical spread in , where . Moreover, we prove that the isomorphism type of varies continuously with the point p. Finally, we give examples of smooth affine planes which have both classical and non-classical tangent translation planes. (Received 15 April 1999; in revised form 22 October 1999)     

The computable embedding problem

Calvert calculated the complexity of the computable isomorphism problem for a number of familiar classes of structures. Rosendal suggested that it might be interesting to do the same for the computable embedding problem. By the computable isomorphism problem and (computable embedding problem) we mean the difficulty of determining whether there exists an isomorphism (embedding) between two members of a class of computable structures. For some classes, such as the class of \mathbbQ \mathbb{Q} -vector spaces and the class of linear orderings, it turns out that the two problems have the same complexity. Moreover, calculations are essentially the same. For other classes, there are differences. We present examples in which the embedding problem is trivial (within the class) and the computable isomorphism problem is more complicated. We also give an example in which the embedding problem is more complicated than the isomorphism problem.     

Equivariant deformations of the affine multicone over a flag variety

We prove that the invariant Hilbert scheme parameterising the equivariant deformations of the affine multicone over a flag variety is, under certain hypotheses, an affine space. More specifically, we obtain that the isomorphism classes of equivariant deformations of such a multicone are in correspondence with the orbits of a well-determined wonderful variety.     

On symmetric nets and generalized Hadamard matrices from affine designs

Symmetric nets are affine resolvable designs whose duals are also affine. It is shown that. up to isomorphism, there are exactly four symmetric (3, 3)-nets (v=b=27,k=9), and exactly two inequivalent 9×9 generalized Hadamard matrices over the group of order 3. The symmetric (3, 3)-nets are found as subnets of affine resolvable 2-(27, 9, 4) designs. Ten of the 68 non-isomorphic affine resolvable 2-(27, 9, 4) designs are not extensions of symmetric (3, 3)-subnets, providing the first examples of affine 2-(q³, q², q²–1/q–1) designs without symmetric (q, q)-subnets.     

On Framed Instanton Bundles and Their Deformations

We consider a compact twistor space P and assume that there is a surface S ⊂ P, which has degree one on twistor fibres and contains a twistor fibre F, e.g. P a LeBrun twistor space ([20], [18]). Similar to [6] and [5] we examine the restriction of an instanton bundle V equipped with a fixed trivialization along F to a framed vector bundle over (S, F). First we develope inspired by [13] a suitable deformation theory for vector bundles over an analytic space framed by a vector bundle over a subspace of arbitrary codimension. In the second section we describe the restriction as a smooth natural transformation into a fine moduli space. By considering framed U(r)‐instanton bundles as a real structure on framed instanton bundles over P, we show that the bijection between isomorphism classes of framed U(r)‐instanton bundles and isomorphism classes of framed vector bundles over (S, F) due to [5] is actually an isomorphism of moduli spaces.     

Enumeration of nilpotent loops via cohomology

The isomorphism problem for centrally nilpotent loops can be tackled by methods of cohomology. We develop tools based on cohomology and linear algebra that either lend themselves to direct count of the isomorphism classes (notably in the case of nilpotent loops of order 2q, q a prime), or lead to efficient classification computer programs. This allows us to enumerate all nilpotent loops of order less than 24.     

Hill‐climbing to Pasch valleys

Exhaustive enumeration of Steiner Triple Systems is not feasible, due to the combinatorial explosion of instances. The next‐best hope is to quickly find a sample that is representative of isomorphism classes. Stinson's Hill‐Climbing algorithm [ 20 ] is widely used to produce random Steiner Triple Systems, and certainly finds a sample of systems quickly, but the sample is not uniformly distributed with respect to the isomorphism classes of STS with ν ≤ 19, and, in particular, we find that isomorphism classes with a large number of Pasch configurations are under‐represented. No analysis of the non‐uniformity of the distribution with respect to isomorphism classes or the intractability of obtaining a representative sample for ν > 19 is known. We also exhibit a modification to hill‐climbing that makes the sample if finds closer to the uniform distribution over isomorphism classes in return for a modest increase in running time. © 2007 Wiley Periodicals, Inc. J Combin Designs 15: 405–419, 2007     

Regular orientable embeddings of complete bipartite graphs

In this paper, it will be shown that the isomorphism classes of regular orientable embeddings of the complete bipartite graph K_n,n are in one‐to‐one correspondence with the permutations on n elements satisfying a given criterion, and the isomorphism classes of them are completely classified when n is a product of any two (not necessarily distinct) prime numbers. For other n, a lower bound of the number of those isomorphism classes of K_n,n is obtained. As a result, many new regular orientable embeddings of the complete bipartite graph are constructed giving an answer of Nedela‐?koviera's question raised in 12 . © 2005 Wiley Periodicals, Inc. J Graph Theory     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with odd characteristic

This paper is devoted to computing the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus-4 case and the finite fields are of odd characteristic. The number of isomorphism classes is computed. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The results have applications in the classification problems and in the hyperelliptic curve cryptosystems.     

Order isomorphisms in cones and a characterization of duality for ellipsoids

We study order isomorphisms in finite-dimensional ordered vector spaces. We generalize theorems of Alexandrov, Zeeman, and Rothaus (valid for ??non-angular?? cones) to wide classes of cones, including in particular polyhedral cones, using a different and novel geometric method. We arrive at the following result: whenever the cone has more than n generic extremal vectors, an order isomorphism must be affine. In the remaining case, of precisely n extremal rays, the transform has a restricted diagonal form. To this end, we prove and use a new version of the well-known Fundamental theorem of affine geometry. We then apply our results to the cone of positive semi-definite matrices and get a characterization of its order isomorphisms. As a consequence, the polarity mapping is, up to a linear map, the only order-reversing isomorphism for ellipsoids.     

Constructions of Commutative Automorphic Loops

A loop whose inner mappings are automorphisms is an automorphic loop (or A-loop). We characterize commutative (A-)loops with middle nucleus of index 2 and solve the isomorphism problem. Using this characterization and certain central extensions based on trilinear forms, we construct several classes of commutative A-loops of order a power of 2. We initiate the classification of commutative A-loops of small orders and also of order p ³, where p is a prime.     

Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even characteristic

This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.     

Isomorphisms of formal matrix incidence rings

Abstract—In a paper published in 2008 P. A. Krylov showed that formal matrix rings Ks(R) and Kt(R) are isomorphic if and only if the elements s and t differ up to an automorphism by an invertible element. Similar dependence takes place in many cases. In this paper we consider formal matrix rings (and algebras) which have the same structure as incidence rings. We show that the isomorphism problem for formal matrix incidence rings can be reduced to the isomorphism problem for generalized incidence algebras. For these algebras, the direct assertion of Krylov’s theorem holds, but the converse is not true. In particular, we obtain a complete classification of isomorphisms of generalized incidence algebras of order 4 over a field. We also consider the isomorphism problem for special classes of formal matrix rings, namely, formal matrix rings with zero trace ideals.     

Auslander–Bridger Modules

Classically, the Auslander–Bridger transpose finds its best applications in the well-known setting of finitely presented modules over a semiperfect ring. We introduce a class of modules over an arbitrary ring R, which we call Auslander–Bridger modules, with the property that the Auslander–Bridger transpose induces a well-behaved bijection between isomorphism classes of Auslander–Bridger right R-modules and isomorphism classes of Auslander–Bridger left R-modules. Thus we generalize what happens for finitely presented modules over a semiperfect ring. Auslander–Bridger modules are characterized by two invariants (epi-isomorphism class and lower-isomorphism class), which are interchanged by the transpose. Via a suitable duality, we find that kernels of morphisms between injective modules of finite Goldie dimension are also characterized by two invariants (mono-isomorphism class and upper-isomorphism class).     

Affine cellular algebras

Graham and Lehrer have defined cellular algebras and developed a theory that allows in particular to classify simple representations of finite dimensional cellular algebras. Many classes of finite dimensional algebras, including various Hecke algebras and diagram algebras, have been shown to be cellular, and the theory due to Graham and Lehrer successfully has been applied to these algebras.We will extend the framework of cellular algebras to algebras that need not be finite dimensional over a field. Affine Hecke algebras of type A and infinite dimensional diagram algebras like the affine Temperley–Lieb algebras are shown to be examples of our definition. The isomorphism classes of simple representations of affine cellular algebras are shown to be parameterised by the complement of finitely many subvarieties in a finite disjoint union of affine varieties. In this way, representation theory of non-commutative algebras is linked with commutative algebra. Moreover, conditions on the cell chain are identified that force the algebra to have finite global cohomological dimension and its derived category to admit a stratification; these conditions are shown to be satisfied for the affine Hecke algebra of type A if the quantum parameter is not a root of the Poincaré polynomial.     

Results on undecidability of isomorphism of forms over polynomial rings

We show the undecidability of the question of isomorphism of forms over a polynomial ring $ R[t_1,\ldots,t_n] $, assuming a hypothesis about units in certain quaternion rings. Assuming this, it follows that isomorphisms of modules, and of affine algebraic varieties over R are undecidable.In memory of Gian-Carlo Rota     

Homotopy invariance of coherent Witt groups

 We prove the following general homotopy invariance theorem for coherent Witt groups: Let be a flat morphism of separated Gorenstein schemes of finite Krull dimension with affine fibers,i.e. π⁻¹(y) is an affine space over the residue field k(y) for all yY, then the induced homomorphism of coherent Witt groups is an isomorphism. As an application we calculate the (classical) Witt group of the affine hyperbolic sphere over a regular local ring. Received: 22 August 2001; in final form: 22 June 2002 / Published online: 1 April 2003     

On quadratic APN functions and dimensional dual hyperovals

In this paper we characterize the d-dimensional dual hyperovals in PG(2d + 1, 2) that can be obtained by Yoshiara’s construction (Innov Incid Geom 8:147–169, 2008) from quadratic APN functions and state a one-to-one correspondence between the extended affine equivalence classes of quadratic APN functions and the isomorphism classes of these dual hyperovals.     

Anisotropic Forms of Higher Degree Under Finite Dimensional Field Extensions

Let F be a field of characteristic 0 or greater than d. We investigate anisotropic forms of degree d > 2 and their behaviour under field extensions of degree coprime to d. A form of degree d over F which permits composition or Jordan composition remains anisotropic under any field extension of degree coprime to d. Other classes of forms are constructed which stay anisotropic under such extensions.