(日本語版)

Online Version

https://fd-applet.dt.r.appspot.com/

This online demo has restricted computation memory and may run at a slower pace. Additionally, the connection could be unstable. For a better experience, we recommend installing the local version from this page.

FD Applet Usage Examples

FD Applet 1

There are 255,364 τ-rigid modules!

FD Applet 2

The Hasse quiver of resolving subcategories

FD Applet 3

One of cotorsion pairs

FD Applet 4

Ext-injectives of some IE-closed subcategories

About FD Applet

FD Applet is a PC application that, from your inputted algebra, performs various calculations related to modules, enumerates specific modules and subcategories of module categories, and generates the AR quiver and various Hasse quivers and so on.

This guide covers the installation and usage instructions for FD Applet on Windows, Mac, and other systems.

Implementation

The implementation consists of a server backend using Kotlin, a frontend using React, and scripts for update verification, automatic updating, and startup assistance. The source code will be published in the future. The development of the app and the creation of this documentation have greatly benefited from the support of ChatGPT.

Source codes

Changelog

  • 2023-04-15: Released version 0.2.1. Minor UI fixes, and add online demo.

  • 2023-04-14: Released version 0.2.0. UI updates (mainly for the AR quiver), and added “projectively/injectiely stable Hom” calculator.

  • 2023-04-07: Released version 0.1.2. Minor UI fixes.

  • 2023-04-06: Released version 0.1.1. Fixed UI and behavior:

    • Added “Zoom” options for quivers (default: disabled), allowing users to choose whether scrolling in a quiver will zoom or not.
    • When the browser or the tab is closed, the server will now shut down automatically.
  • 2023-04-04: Released the initial version 0.1.0.

Installation

  1. Install the Java environment (JDK 17): If you have no preference, it’s easy to download and install the “Latest LTS Release” from https://adoptium.net/. (Then you can install it with the default settings without changing anything during the installation process.)

  2. Download the appropriate zip file for your system:

  3. Extract the downloaded zip file.

Directory Structure

The extracted directory contains the following files and folders:

  • Windows: fd-applet.bat
  • Mac: fd-applet.command, initial-setup.scpt
  • examples folder: contains examples of algebras. See Open and Save for how to use them.
  • lib folder: contains a java file fd-applet-fat.jar. Do not double-click it.

Launching FD Applet

Important Notes

  • Do not double-click fd-applet-fat.jar. Launching it either won’t work or, if it does, you won’t be able to close it. Always double-click fd-applet.bat (Windows) or fd-applet.command (Mac) instead, or follow the instructions for other operating systems.
  • If you encounter errors in your browser such as “Unable to access the site” or “Cannot connect to the server,” please wait a few seconds before refreshing your browser.

Windows Users

  1. Double-click fd-applet.bat to launch the app. (This file automatically checks for updates, runs fd-applet-fat.jar, and opens http://localhost:8080 in your browser.)

Mac Users

  1. For the first time only, open initial-setup.scpt and click the Run button (the triangle icon) in the Script Editor (to grant fd-applet.command execute permissions).
  2. Double-click fd-applet.command to launch the app. (This file automatically checks for updates, runs fd-applet-fat.jar, and opens http://localhost:8080 in your browser.)

  3. On the first launch, you may need to allow the app to run by following these steps:
    • Go to System Preferences > Security & Privacy.
    • Click the “Open Anyway” button next to the message about the app being from an unidentified developer.

Other OS or Advanced Users

  1. lib/fd-applet-fat.jar is the main body of FD Applet. After installing the Java environment, execute the command java -jar fd-applet-fat.jar (from lib directory) to start the server. Do not double-click the jar file. You won’t be able to close the server.
  2. Once the server is up and running, access http://localhost:8080 in your browser to use FD Applet.
  3. Note that in this case, the app will not be updated automatically. If a message appears on the screen indicating that a newer version is available, manually download fd-applet-fat.jar and replace the one in the lib folder.

Closing FD Applet

To close the app, simply close the browser (or the tab). Starting from version 0.1.1, the background server will shut down automatically when the browser is closed, so you no longer need to close the terminal manually.

Usage

(日本語版)

TL;DR:

  1. Input your algebra (quiver, monomial/commutative relations) in the left input area.
  2. Click Update button, then use right tabs (Basic Info, Calculator, Enumerator, Quivers).
  3. Most features only work for a finite-dimensional special biserial algebra (e.g. a gentle or string algebra); In addition, Enumerator and Quiver tabs only work for a representation-finite algebra.

Input Your Algebra

Enter your algebra in the left input area. Input Nakayama algebra from Kupisch series via “File” menu if needed.

Quiver

  • Add vertices: click canvas.
  • Add arrows: click source vertex, then target vertex (or empty space for a new target vertex).
  • Delete vertices/arrows: use Delete or Backspace key, or middle “Delete selected item” button.
  • Fit canvas: left “Fit” button.
  • Clear all: right “Clear all” button.

Relation

Supported: monomial and commutative relations only.

  • Monomial relation: write ab, a b, or a*b for the path -a-> -b->.
  • Commutative relation: write expressions like ab-cd or a * b - c * d.

Update

Click Update button to finish.

Open and Save

You can save your algebra by selecting “File” > “Save” menu, and load a saved algebra using “Open.”

For example, when you choose a file from within the examples folder using “Open,” a quiver and relations will be loaded automatically.

Right Tabs

  • Input algebra, press “Get Data” button to use each tab.

  • Toggle the “Show AR Quiver” switch to determine whether the AR quiver should be displayed (for all tabs) or not. Click on “Compute AR Quiver” to actually show the AR quiver.

Indecomposable module notation:

  • 1, 2: the simple modules at 1 and 2.
  • a*b*!c: the string module 1 -a-> 2 -b-> 3 <-c- 4.
  • a*b=d*e: the biserial module with commutative square -a->-b-> = -d->-e->.

Basic Info

Displays basic info: homological dimensions, projective/injective modules, etc.

(Most features only work for finite-dimensional special biserial algebras.)

Calculator

Calculates things like dimensions of Hom or Ext and projective resolutions based on input (e.g. dim Ext^2(a*b + c*d*e, f*g)).

(Most features only work for finite-dimensional special biserial algebras.)

Enumerator

  • Enumerates modules/subcategories (e.g. tilting modules, semibricks). Show distribution with “Show Distribution” button.
  • When the AR quiver is diaplayed, if a module/subcategory is selected, it is colored. Highlight Ext-projectives/injectives in the chosen subcategory.

(Only Works for representation-finite special biserial algebras.)

Quivers

  • Displays quivers related to algebra (e.g. τ-tilting quiver, Hasse quivers of various subcategories).
  • When the AR quiver is diaplayed, the selected module/subcategory in the quiver is colored in the AR quiver.

(Only Works for representation-finite special biserial algebras.)

Support

If you have any questions or issues or feature requests (e.g., a function to perform a specific calculation or a question about whether a certain calculation is possible), please use the menu’s Files > “Send Feedback or report issues” option, or send an email to henomoto [at] omu.ac.jp.