On the galois module structure of semisimple holomorphic differentials

LetL/K be a finite Galoisp-extension of algebraic function fields of one variable over an algebraically closed fieldk of characteristicp, with Galois groupG=Gal(L/K). The space Ώ _L ^s (0) of semisimple holomorphic differentials ofL is thek-vector space of holomorphic differentials which are fixed by the Cartier operator. We obtain the isomorphism classes and multiplicities of the summands in a Krull-Schmidt decomposition of thek[G]-module Ώ _L ^s (0) into a direct sum of indecomposablek[G]-modules. Partially supported by CONACyT, project No. 25063-E.     

On some infinite dimensional linear groups

Let F be a field, A be a vector space over F, and GL(F,A) the group of all automorphisms of the vector space A. A subspace B of A is called nearly G-invariant, if dim _F (BFG/B) is finite. A subspace B is called almost G-invariant, if dim _F (B/Core _G (B)) is finite. In the present article we begin the study of subgroups G of GL(F,A) such that every subspace of A is either nearly G-invariant or almost G-invariant. More precisely, we consider the case when G is a periodic p′-group where p = charF.      

Geometry of Periodic Modules over Tame Concealed and Tubular Algebras

Let A be a tame concealed or tubular algebra and d the dimension-vector of a periodic module with respect to the action of the Auslander–Reiten translation. We prove that the affine variety mod _A (d) of all A-modules of dimension-vector d is a normal complete intersection. Moreover, we show that a module M in mod _A (d) is nonsingular if and only if Ext _A ²(M,M)=0.     

First Cohomology Group from the Virasoro-Like Algebra to its Larsson Functor Module

Let 𝒲 be the Virasoro-like algebra, and d ₁, d ₂ be the degree derivations of 𝒲. Set ? = W⊕C d ₁⊕C d ₂. Let F ^α(V) be the ?-module defined by Larsson's functor applied to a finite dimensional sl ₂-module V. In this article, the derivations from ? to ?-modules F ^α(V) and the first cohomology group H ¹(?, F ^α(V)) are given.     

A determinantal version of the frobenius-könig theorem

Let F be a field and let {d ₁,…,d_k } be a set of independent indeterminates over F. Let A(d ₁,…,d_k ) be an n × n matrix each of whose entries is an element of F or a sum of an element of F and one of the indeterminates in {d ₁,…,d_k }. We assume that no d ¹ appears twice in A(d ₁,…,d_k ). We show that if det A(d ₁,…,d_k ) = 0 then A(d ₁,…,d_k ) must contain an r × s submatrix B, with entries in F, so that r + s = n + p and rank B ? p ? 1: for some positive integer p.     

Tame and wild subspace problems

Assume thatB is a finite-dimensional algebra over an algebraically closed fieldk, B _d =Spec k[(B _d ] is the affine algebraic scheme whoseR-points are theB _k k[B_d]-module structures onR ^d, and M_d is a canonical B_k k[B_d]-module supported by k[B_d]^d. Further, say that an affine subscheme of B_d isclass true if the functor F_gn X M_{d k[B]} X induces an injection between the sets of isomorphism classes of indecomposable finite-dimensional modules over k[] andB. If B_d contains a class-true plane for somed, then the schemes B_e contain class-true subschemes of arbitrary dimensions. Otherwise, each B_d contains a finite number of classtrue puncture straight linesL(d, i) such that for eachn, almost each indecomposableB-module of dimensionn is isomorphic to someF _{L(d, i)} (X); furthermore,F _{L(d, i)} (X) is not isomorphic toF _{L(l, j)} (Y) if(d, i) (l, j) andX 0. The proof uses a reduction to subspace problems, for which an inductive algorithm permits us to prove corresponding statements.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 3, pp. 313–352, March, 1993.     

Indecomposables as Elements in Affine Composition Algebras

LetAbe a path algebra of tame type over a finite field, letMbe an indecomposableA-module, and let (A) be the composition algebra ofA. The main result in this paper is that [M] ∈ (A) if and only ifMis a stone, i.e., Ext¹_A(M, M) = 0.     

Monomorphism Operator and Perpendicular Operator

For a quiver Q, a k-algebra A, and an additive full subcategory 𝒳 of A-mod, the monomorphism category Mon(Q, 𝒳) is introduced. The main result says that if T is an A-module such that there is an exact sequence 0 → T _m  → … → T ₀ → D(A _A ) → 0 with each T _i  ∈ add(T), then Mon(Q, ^⊥ T) =^⊥(kQ ? _k T); and if T is cotilting, then kQ ? _k T is a unique cotilting Λ-module, up to multiplicities of indecomposable direct summands, such that Mon(Q, ^⊥ T) =^⊥(kQ ? _k T).

As applications, the category of the Gorenstein-projective (kQ ? _k A)-modules is characterized as Mon(Q, 𝒢𝒫(A)) if A is Gorenstein; the contravariantly finiteness of Mon(Q, 𝒳) can be described; and a sufficient and necessary condition for Mon(Q, A) being of finite type is given.     

Notes on flatness and the quot functor on rings

For flat modules M over a ring A we study the similarities between the three statements,dim _k (P) ( _k (P)? _A M =dfor all prime ideals P of A, the Ap-module M _p is free of rank d for all prime ideals P of A, and M is a locally free J4-module of rank d. We have particularly emphasized the case when there is an>l-algebra B, essentially of finite type, and M is a finitely generated B-module.     

Infinite dimensional linear groups with many G — invariant subspaces

Let F be a field, A be a vector space over F, GL(F, A) be the group of all automorphisms of the vector space A. A subspace B of A is called nearly G-invariant, if dim _F (BFG/B) is finite. A subspace B is called almost G-invariant, if dim _F (B/Core _G (B)) is finite. In the current article, we study linear groups G such that every subspace of A is either nearly G-invariant or almost G-invariant in the case when G is a soluble p-group where p = char F.     

Existence and comparison results for nonlinear volterra integral equations in a banach space

Let L ⁰(ΩA,P) be the space of equivalent classes of random variables defined on a probability space (Ω,A,P). Let H be the closed subspace of L ⁰(Ω,A,P) spanned by a sequence of i.i.d. (independent and identically distributed) random variables having the symmetric nondegenerate law F. It is proved that H is linearly homeomorphic to l _p for 0<p≤2 if F belongs to the domain of normal attraction of symmetric stable law withexponent p.     

On p-rank representations

The p-rank of an algebraic curve X over an algebraically closed field k of characteristic p>0 is the dimension of the vector space H¹(X_et,F_p). We study the representations of finite subgroups GAut(X) induced on H¹(X_et,F_p)k, and obtain two main results.First, the sum of the nonprojective direct summands of the representation, i.e., its core, is determined explicitly by local data given by the fixed point structure of the group acting on the curve. As a corollary, we derive a congruence formula for the p-rank.Secondly, the multiplicities of the projective direct summands of quotient curves, i.e., their Borne invariants, are calculated in terms of the Borne invariants of the original curve and ramification data. In particular, this is a generalization of both Nakajima's equivariant Deuring–Shafarevich formula and a previous result of Borne in the case of free actions.     

Decomposability and embeddability of discretely Henselian division algebras

LetF be a discretely Henselian field of rank one, with residue fieldk a number field, and letD/F be anF-division algebra. We conduct an exhaustive study of the decomposability of an arbitraryD. Specifically, we prove the following:D has a semiramified (SR)F-division subalgebra if and only ifD has a totally ramified (TR) subfield. However, there may be TR subfields not contained in any SR subalgebra. IfD has prime-power index, thenD is decomposable if and only ifD properly contains a SR division subalgebra. Equivalently,D has a decomposable Sylow factor if and only if ii(D ^⊗n )≠1/n i(D) for somen dividing the period ofD, that is, if and only if the index fails to mimic the behavior of the period ofD. There exists indecomposableD with prime-power periodp ² and indexp ³. Every proper division subalgebra ofD is indecomposable. Conversely, every indecomposableF-division algebra ofp-power index embeds properly in someD ofp-power index if and only ifk does not have a certain strengthened form of class field theory’s Special Case. Semiramified division algebras and division algebras of odd index always properly embed. Finally, these results apply to an extent overk(t), and we prove that there exist indecomposablek(t)-division algebras of periodp ² and indexp ³, solving an open problem of Saltman. Dedicated to the memory of Amitsur Research supported in part by NSF Grant DMS-9100148.     

The Dichotomy Between Traces on d-sets F in R^n and the Density of D（R^n／Г） in Function Spaces

A space Apq^s （R^n） with A ： B or A = F and s ∈R, 0 〈 p, q 〈 ∞ either has a trace in Lp（Г）, where Г is a compact d-set in R^n with 0 〈 d 〈 n, or D（R^n／Г） is dense in it. Related dichotomy numbers are introduced and calculated.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

Twistor quantization of the space of half-differentiable vector functions on the circle revisited

We discuss the twistor quantization problem for the classical system (V _d ,A _d ), represented by the phase space V _d , identified with the Sobolev space H ₀^1/2 (S ¹,ℝ ^d ) of half-differentiable vector functions on the circle, and the algebra of observables A _d , identified with the semi-direct product of the Heisenberg algebra of V _d and the algebra Vect(S ₁) of tangent vector fields on the circle.     

Piercing Numbers for Balanced and Unbalanced Families

Given a finite family F\mathcal{F} of convex sets in ℝ ^d , we say that F\mathcal{F} has the (p,q) _r property if for any p convex sets in F\mathcal{F} there are at least r q-tuples that have nonempty intersection. The piercing number of F\mathcal{F} is the minimum number of points we need to intersect all the sets in F\mathcal{F}. In this paper we will find some bounds for the piercing number of families of convex sets with (p,q) _r properties.     

Diagrammes de Diamond et (<Emphasis Type="Italic">φ</Emphasis>, Γ)-modules

Let ρ be a 2-dimensional continuous semi-simple generic representation of Gal(̅ℚ _p /ℚ _p ) over ̅F _p . The modulo p Langlands correspondence for GL₂(ℚ _p ) defined in [5], as realized in [9], can be reformulated as a quite simple recipee giving back the (φ, Γ)-module of the dual of ρ starting from the “Diamond diagram” associated to ρ. Let F be a finite unramified extension of ℚ _p and ρ a 2-dimensional continuous semi-simple generic representation of Gal(̅ℚ _p /F) over ̅F _p . When one formally extends this recipee to the Diamond diagrams associated to ρ in [6], we show that one essentially finds the (φ, Γ)-module of the tensor induction from F to ℚ _p of the dual of ρ.     

Intersection theorems with geometric consequences

In this paper we prove that ifℱ is a family ofk-subsets of ann-set, μ₀, μ₁, ..., μ_s are distinct residues modp (p is a prime) such thatk ≡ μ₀ (modp) and forF ≠ F′ ≠ℱ we have |F ∩F′| ≡ μ_i (modp) for somei, 1 ≦i≦s, then |ℱ|≦( _s ⁿ ). As a consequence we show that ifR ⁿ is covered bym sets withm<(1+o(1)) (1.2) ⁿ then there is one set within which all the distances are realised. It is left open whether the same conclusion holds for compositep.     

Modular Lie powers and the Solomon descent algebra

Let V be an r-dimensional vector space over an infinite field F of prime characteristic p, and let L_n(V) denote the nth homogeneous component of the free Lie algebra on V. We study the structure of L_n(V) as a module for the general linear group GL_r(F) when n=pk and k is not divisible by p and where r≥n. Our main result is an explicit 1-1 correspondence, multiplicity-preserving, between the indecomposable direct summands of L_k(V) and the indecomposable direct summands of L_n(V) which are not isomorphic to direct summands of V^⊗n. Our approach uses idempotents of the Solomon descent algebras, and in addition a correspondence theorem for permutation modules of symmetric groups. Second author supported by Deutsche Forschungsgemeinschaft (DFG-Scho 799).